This page looks best with JavaScript enabled

יום קירוב פאי שמח! 🎉

 ·   ·  🩳 Size M

[פוסט זה התפרסם במקור בפייסבוק וגם בגרסה מקוצרת בסניפ.]

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

1. מדוע השבר 22/7 כל כך מדהים?

מתישהו בבית הספר, סיפרו לנו שפאי הוא מספר אי-רציונלי. כלומר, אפשר להתחיל לחשב את הספרות שלו ולקבל 3.1415926535…, אך המספר ממשיך וממשיך בלי שום מחזוריות או חוקיות נראית לעין בספרות שלו. העובדה הזו גורמת לאנשים מסויימים להנות מהתחביב של שינון מאות ספרות אחרי הנקודה העשרונית (איזה אנשים מוזרים… אני מסתפק בלזכור רק 26).

מאז העת העתיקה, אנשים מתעניינים בקירוב של פאי על ידי שבר (גם אם לא מתוך עניין במספר עצמו, בוודאי שכן מתוך צורך מעשי גיאומטרי). לדוגמה, הרבה אנשים מקרבים את פאי בתור השבר העשרוני 3.14, שהוא בעצם השבר הפשוט 314/100. לעומת הקירוב הזה, יש את הקירוב המפורסם 22/7, שמאמינים שנתגלה במצרים העתיקה. אם כותבים את 22/7 בתור שבר עשרוני, מקבלים שבר מחזורי שמתחיל ב-3.142857 (ואז 6 הספרות אחרי הנקודה חוזרות על עצמן אינסוף פעמים - בדקו בעצמכם במחשבון).

הקירוב 22/7 הוא קירוב נהדר לפאי. למעשה, אני רוצה לשכנע אתכם שהוא יותר מנהדר. הוא מדהים, פנטסטי, ולא ייאמן!

עד כמה הקירוב 22/7 לפאי מדהים?

אילו היו שואלים אתכם “בן כמה רובין וויליאמס היה אמור להיות היום?” והייתם עונים “נראה לי שמשהו כמו 65” ואז בודקים ומגלים שהוא היה אמור לחגוג 65 אתמול - זה עד כמה הקירוב מדהים.

הוא מדהים באותה רמה שבה בשנת 1856, מדדו את אחת הפסגות (“פסגה XV”) של הר האוורסט, וגילו שהמדידה היא בדיוק 29,000 רגל; זה היה כל כך מדוייק, שהיה מביך לפרסם את המספר הזה, והוסיפו עוד 2 רגל כדי שאנשים יחשבו שזה לא ניחוש.

בדוגמאות האלה, סדר הגודל של השגיאה (ההפרש בין התוצאה המקורבת לבין התוצאה האמיתית) הוא קטן באופן מדהים ביחס למה שהיינו מצפים מקירוב.

אוקי, אז למה הקירוב 22/7 הוא כמו הדוגמאות האלה? אז ככה:

תחשבו על 22/7 בתור קירוב של פאי על ידי שביעיות. זאת אומרת, לוקחים 22 פעמים את המספר 1/7 והסכום של כל השביעיות האלה הוא בערך פאי.

כשמתחילים לחבר שביעיות אנחנו עדיין לא קרובים לפאי, ובאיזשהו שלב, בין השביעית ה-21 לבין השביעית ה-22 אנחנו “מדלגים מעל” פאי.

לכן מאוד סביר ואפשר לנחש שהשגיאה שנקבל תהיה בסדר גודל של 1/14. זאת מפני שאפשר לנחש שפאי נמצא פחות או יותר באמצע הקטע שבין השביעית ה-21 לבין השביעית ה-22, והמרחק בין אמצע הקטע לקצוות הקטע הוא 1/14.

אבל מה קורה באמת? האם השגיאה בקירוב 22/7 של פאי היא בערך 1/14? לא! היא יותר קרובה ל-1/800. הרבה יותר קטן מהצפוי.

(לשם השוואה, אם היינו מקרבים את פאי על ידי חמישיות (הקירוב 16/5), היינו מצפים לשגיאה בסדר גודל של 1/10, והשגיאה המתקבלת היא בערך 1/17 - די סביר.)

2. איך קרה ש-22/7 הוא קירוב כל כך טוב לפאי?

בואו נסתכל על כמה כפולות של פאי עד 5 ספרות אחרי הנקודה העשרונית:

$$ \begin{aligned} 1\pi & \approx 3.14159 \\ 2\pi & \approx 6.28318 \\ 3\pi & \approx 9.42477 \\ 4\pi & \approx 12.56637 \\ 5\pi & \approx 15.70796 \\ 6\pi & \approx 18.84955 \\ 7\pi & \approx 21.99114 \\ 8\pi & \approx 25.13274 \\ 9\pi & \approx 28.27433 \\ 10\pi & \approx 31.41592 \end{aligned} $$

משהו מאוד מעניין קורה בכפולה $7\pi$. הכפולה הזו מאוד קרובה ל-22, ולכן 22/7 הוא קירוב מאוד מוצלח.

עד כמה הכפולה $7\pi$ קרובה ל-22? ההפרש הוא בערך 0.00886, בערך 1/112.

אם נעריך את הכפולה כ-22, אחרי שנחלק את המספר ב-7 ההפרש גם הוא יתחלק ב-7 (כלומר ה-112 יוכפל ב-7), ולכן אנחנו מקבלים שהקירוב 22/7 נותן שגיאה של כ-1/800.

זה מביא אותנו להגדרה הבאה:

הגדרה: שבר כלשהו שקרוב לפאי נקרא “קירוב טוב ביותר לפאי” אם הכפולה של פאי במכנה יותר קרובה למספר שלם מאשר כל כפולה קודמת של פאי.

לדוגמה, למעלה אנחנו רואים ש-$7\pi$ יותר קרוב לשלם מאשר כל הכפולות הקודמות ($1\pi, 2\pi, 3\pi, 4\pi, 5\pi, 6\pi$).

אבל כשמסתכלים על הכפולות הבאות ($8\pi, 9\pi, 10\pi$), רואים שדווקא מתרחקים משלם.

אז מתי סוף סוף “מנצחים” את הכפולה $7\pi$? מסתבר שצריך להרחיק עד הכפולה $106\pi \approx 333.00882$, כדי למצוא כפולה שיותר קרובה למספר שלם מאשר $7\pi$. אכן, השבר 333/106 הוא הקירוב הטוב ביותר הבא של פאי אחרי 22/7.

זה לא אומר ש-333/106 הוא השבר “הראשון” שיותר קרוב לפאי מאשר 22/7: לדוגמה, 179/57 יותר קרוב, אבל גם הוא נותן שגיאה של 1/800 בערך, כמו 22/7.

לעומת זאת, השבר 333/106 נותן שגיאה שהיא בערך 1/12000, וקיבלנו תמורה מצויינת למחיר ששילמנו - המספר 106 במכנה.

הכפולה הבאה היא $113\pi \approx 354.99996$, והקירוב הטוב ביותר 355/113 נותן שגיאה שהיא בערך 1/3,750,000. כמעט רבע ממיליונית ויש רק 113 במכנה! מחיר מדהים!

אציין כאן שלא צריך לבדוק כפולה-כפולה של פאי כדי למצוא קירובים טובים ביותר - יש שיטה שנקראת “פיתוח לשברים משולבים”, ולא ארחיב עליה כאן, אבל מומלץ לקרוא את הפוסטים של גדי אלכסנדרוביץ' בנושא (פוסט ראשון, פוסט שני).

3. האם יש אינסוף קירובים טובים ביותר לפאי?

ראינו שהכפולה $7\pi$ קרובה מאוד למספר שלם, ו-$106\pi$ אפילו יותר קרוב למספר שלם, ו-$113\pi$ אחריו אפילו יותר קרוב.

הכפולה הבאה של פאי שיותר קרובה למספר שלם מאשר $113\pi$ היא מאוד רחוקה: צריך להרחיק עד לכפולה $33102\pi$, השווה בערך ל-103993.000019.

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

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

ההוכחה די מגניבה, לא קשה בכלל, והיא היתה כנראה ההוכחה הראשונה בעת המודרנית של המתמטיקה שהשתמשה בעקרון שנקרא “עקרון שובך היונים” (הנקרא לפעמים גם “עקרון דיריכלה”). אנסח כאן את המשפט וההוכחה:

משפט הקירוב הדיופנטי של דיריכלה. לכל $Q>1$ שלם קיים $q>1$ שלם כך שהמרחק בין הכפולה $q\cdot\pi$ למספר השלם הקרוב ביותר קטנה מ-$1/Q$.

הוכחה. נחלק את הקטע $[0, 1]$ ל-$Q$ תתי קטעים בגודל שווה:

$$ [0, \frac 1 Q],\ \ [\frac 1 Q, \frac 2 Q],\ \ \ldots $$

נסתכל על קבוצת המספרים 0.14159…, 0.28318…, וכן הלאה, כלומר על החלקים השבריים של $\pi$, $2\pi$, וכן הלאה, עד $Q\pi$. נוסיף לקבוצה הזו גם את המספר 0 שהוא החלק השברי של $0\pi$, וכך נקבל $Q+1$ מספרים בקבוצה.

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

מש"ל. 🙂