נוסחת לייבניץ ל-π

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש
תמונתו של גוטפריד וילהלם לייבניץ

במתמטיקה, נוסחת לייבניץ ל-π,ידוע גם כנוסחת לייבניץ גרגורי על שם גוטפריד וילהלם לייבניץ וג'יימס גרגורי, היא הנוסחה:

113+1517+19=π4.

או ברישום מקוצר:

n=0(1)n2n+1=π4.

הוכחה

ניתן להוכיח טענה זו בקלות על ידי טור טיילור של פונקציה הופכית של טנגנס (נקראת טור גרגורי) שאומרת:

0xdu1+u2=arctanx=xx33+x55x77+

ולהציב x = 1 ונקבל בקלות את הנוסחה. הנה הוכחה נוספת:

π4=arctan(1)=0111+x2dx=01(k=0n(1)kx2k+(1)n+1x2n+21+x2)dx=k=0n(1)k2k+1+(1)n+101x2n+21+x2dx.

ניתן להבין מהשורה האחרונה כי:

0<01x2n+21+x2dx<01x2n+2dx=12n+30 as n.

מכאן עבור n שואף לאינסוף, ניתן לראות כי: π4=k=0(1)k2k+1.

קישורים חיצוניים

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

נוסחת לייבניץ ל-π35259332Q97226587