בעיית בזל

בעיית בזל היא בעיה מפורסמת באנליזה מתמטית, שהוצגה לראשונה בשנת 1644 על ידי פייטרו מנגולי, ונפתרה על ידי לאונרד אוילר בשנת 1735. כיוון שהבעיה נשארה לא פתורה לנוכח ניסיונות מתמשכים של המתמטיקאים המובילים באותה תקופה, פרסום פתרונו של אוילר, כאשר היה בן 28, הביא לו תהילה מיידית. אוילר הכליל את הבעיה באמצעות פונקציית זטא ופתר את הבעיה הכללית, ורעיונותיו שימשו השראה לברנהרד רימן, אשר בעבודתו משנת 1859 השתמש בפונקציה בהקשר למשפט המספרים הראשוניים. הבעיה נקראת על שם בזל, עירו של אוילר כמו גם של בני משפחת ברנולי, שלא הצליחו לפתור את הבעיה.

בעיית בזל היא מציאת סכום הטור האינסופי של הערכים ההופכיים של ריבועי מספרים הטבעיים. כלומר הסכום:

סכום טור זה שווה בקירוב ל-1.644934. בעיית בזל דורשת את הערך המדויק של סכום הטור. אוילר הוכיח שהסכום המדויק הוא  ופרסם את התגלית הזו בשנת 1735. ההוכחה שלו התבססה על שיטות שלא נראו עד אז.

 פתרונו של אוילר 
פתרונו של אוילר לבעיה נחשב מקורי ומבריק. הוא תקף את הבעיה מנקודת מבט שונה לגמרי ממה שנראה עד אז. טיעונו של אוילר הוא כזה: נפתח את טור טיילור של הפונקציה  ונקבל: 

נחלק ב-x ונקבל:

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

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

אך מטור טיילור של , אנו יודעים כי המקדם של  הוא .
אך שני מקדמים אלו חייבים להיות שווים זה לזה, ולפיכך

ועל ידי הכפלת שני האגפים ב- נקבל את הדרוש.

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

 קשר למכפלת וואליס 
ג'ון ואליס גילה ב-1665 את נוסחת המכפלה שלו לפאי:

.

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

נציב  ונקבל:

 פתרון באמצעות אנליזה הרמונית 

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

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

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

לכן,

כעת, נחשב את מקדמי הסינוסים:

בסך הכל, טור פורייה של x הוא 

כעת נשתמש בזהות פרסבל
.
כדי לקבל ש

נחלק ב-2 את הביטוי ונצמצם את פאי באגף הימני ונקבל

כמבוקש.

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

הוכחה זו נמצאה על ידי קושי ב-1821 ופורסמה מחדש ב-1954 על ידי עקיבה ויצחק יגלום בספרם "Nonelementary Problems in an Elementary Exposition".

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

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

על פי הבינום של ניוטון מתקיים

נסמן . אם נשווה את החלק המדומה של שתי התוצאות הנ"ל, נקבל את הזהות

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



יש  שורשים שונים והם . על פי נוסחאות ויאטה נקבל את הזהות

על פי הזהות  נקבל כי

לכל  ממשי מתקיים אי השוויון  (להוכחה, ראו כאן). לאחר היפוך, שינוי כיוון והעלאה בריבוע נקבל את אי השוויון

מכאן נקבל כי

לאחר כפל ב- נקבל כי

נשים לב שהחלק השמאלי והחלק הימני שניהם שואפים ל- כאשר  שואף לאינסוף. לכן על פי כלל הסנדוויץ' החלק האמצעי שואף גם כן ל-, שזה בדיוק מה שרצינו.

 ההוכחה של קאלאבי 

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

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

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

הסבר על הפתרון של אוילר (באנגלית)

הערות שוליים

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