משפט דה מואבר-לפלס

250px|ממוזער|שמאל|נניח שאנו מטילים קבוצה של n מטבעות מספר רב מאוד של פעמים וסופרים את מספר הפעמים שהתקבל "עץ". מספר הפעמים שיצא "עץ" בכל הטלה, המסומן ב-k, נע בין 0 ל-n בציר האופקי, בעוד הציר האנכי מייצג את התדירות היחסית של התוצאה k פעמים "עץ". גובה כל נקודה בתרשים משקף את ההסתברות להופעת k הצלחות בהטלת n מטבעות (המתוארת על ידי התפלגות בינומית עם n ניסיונות). על פי משפט דה-מואבר-לפלס, כאשר n גדל, הצורה של ההתפלגות הבדידה מתכנסת לעקומה הגאוסית הרציפה של התפלגות נורמלית.  
משפט דה-מואבר-לפלס (באנגלית: De Moivre–Laplace theorem) הוא מקרה פרטי של משפט הגבול המרכזי, הקובע כי ניתן להשתמש בהתפלגות נורמלית כקירוב להתפלגות בינומית תחת תנאים מסוימים. בפרט, המשפט מראה כי פונקציית ההסתברות של מספר ההצלחות בסדרה של  ניסויי ברנולי בלתי תלויים, שכל אחד מהם בעל הסתברות הצלחה , מתכנסת לפונקציית הצפיפות של ההתפלגות הנורמלית עם תוחלת  וסטיית תקן , כאשר  גדול ובהנחה ש- אינו 0 או 1.

המשפט הופיע במהדורה השנייה של הספר "The Doctrine of Chances" מאת אברהם דה-מואבר, שפורסם בשנת 1738. דה-מואבר חקר את התפלגות מספר הפעמים שיצא "עץ" כאשר מטילים מטבע 3600 פעמים, והראה שההתפלגות מתקרבת לנורמלית. 

קירוב זה הוא אחד הדרכים לקבל את הגאוסיאן המשמש כבסיס להתפלגות הנורמלית בעזרת גבול. 

משפט דה-מואבר-לפלס הוא מקרה פרטי של משפט הגבול המרכזי, מאחר שניתן להתייחס לתהליך ברנולי כאל דגימה בלתי תלויה של משתנים אקראיים מהתפלגות דיסקרטית בינארית בעלת ערכים 0 ו-1. ההתפלגות הבינומית מתארת את מספר ההצלחות, ומשפט הגבול המרכזי קובע כי כאשר  גדול מספיק, התפלגות ממוצע המדגם תהיה בקירוב נורמלית. במקרה זה, מאחר ששכיחות ההצלחות שווה לממוצע המדגם, ההתפלגות הבינומית המנורמלת והתפלגות הממוצעים מתלכדות, והתוצאה היא ההתכנסות להתפלגות נורמלית.

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


כאשר  ו-.  

במובן אסימפטוטי, יחס ההסתברויות בין אגף שמאל לאגף ימין שואף ל-1.
 תקציר ההוכחה 

ההוכחה מבוססת על קירוב הביטוי באגף שמאל של משפט דה-מואבר-לפלס לאגף ימין בשלושה שלבים עיקריים.

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

באמצעות קירוב זה, מתקבל ביטוי מקורב להסתברות הבינומית:

 שלב שני: שימוש בקירוב  
משימוש בקירוב:

נקבל:

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

מתקבל לאחר הצבה ופיתוח:

כל המעברים בסימן  הם במובן אסימפטוטי, כלומר כאשר , היחס בין אגפי השוויונות מתכנס ל-1, בדיוק כפי שמופיע בניסוח המשפט.

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

כאשר  היא ההתפלגות הנורמלית המקורבת.

 דוגמאות מעשיות 
ממוזער|250px|שמאל|תיבת גלטון המשמשת להדגמת המשפט
 בהסקה סטטיסטית, כאשר מודדים משתנה בעל התפלגות בינומית במדגם גדול (כגון שיעור הצבעה בבחירות), ההתפלגות בקירוב נורמלית, דבר שמאפשר לבצע בדיקות סטטיסטיות כגון מבחני Z למדגמים גדולים.
 בתורת התורים ובקרת איכות, כאשר מנתחים מספר תקלות או הצלחות במערכת גדולה.
 בתיבת גלטון – הדגמה ויזואלית למשפט, בה כדורים נופלים במסלול בינומי ומתפלגים בסופו של דבר בקירוב נורמלי.

 הדגמה מספרית 

נניח שמטילים מטבע הוגן (כלומר, הסתברות הצלחה ) מספר רב של פעמים, למשל  הטלות, ומתעניינים בהתפלגות מספר הפעמים שיצא "עץ".

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

מכאן שסטיית התקן היא:

נחשב כעת את ההסתברות שמספר ה"עצים" יהיה בטווח של שלוש סטיות תקן סביב התוחלת, כלומר בטווח :

לאחר נירמול ההתפלגות הבינומית להתפלגות נורמלית תקנית, מתקבל:

לפי טבלאות ההתפלגות הנורמלית הסטנדרטית:

מכאן שההסתברות שמספר הפעמים שיצא "עץ" יהיה בטווח של שלוש סטיות תקן סביב התוחלת היא כ-99.73%, בהתאם לכלל שלושת סטיות התקן בהתפלגות נורמלית.

ראו גם
 משפט הגבול המרכזי
 משפט הגבול של פואסון
 התפלגות נורמלית

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


 הערות שוליים 

דה מואבר-לפלס
דה מואבר-לפלס