משפט גולדבך-אוילר

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

משפט גולדבך-אוילר הוא משפט הקובע כי הסכום האינסופי של כל המספרים מהצורה ${\tfrac {1}{a-1}}$ כאשר $a$ הוא חזקה מושלמת, שווה 1.

המשפט פורסם על ידי לאונרד אוילר במאמר "Variae observationes circa series infinitas" משנת 1737. אוילר מייחס את גילוי המשפט לכריסטיאן גולדבך, שכתב על התוצאה במכתב לאוילר. המכתב מעולם לא נמצא.

ניסוח פורמלי

חזקה מושלמת הוא מספר טבעי מהצורה $n^{k}$ כאשר $k,n>1$ (במקרה הזה איננו כוללים בהגדרה את המספר 1). למשל מספר ריבועי הוא מקרה פרטי של חזקה מושלמת בו $k=2$ . החזקות המושלמות הראשונות הם:

${\begin{aligned}&2^{2}=4,\ 2^{3}=8,\ 3^{2}=9,\ 2^{4}=4^{2}=16,\ 5^{2}=25,\\&3^{3}=27,\ 2^{5}=32,\ 6^{2}=36,\ 7^{2}=49,\ 2^{6}=4^{3}=8^{2}=64,\ldots \end{aligned}}$

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

$\sum _{a\in A}{\frac {1}{s-1}}={\frac {1}{3}}+{\frac {1}{7}}+{\frac {1}{8}}+{\frac {1}{15}}+{\frac {1}{24}}+{\frac {1}{26}}+{\frac {1}{31}}+\cdots =1$

חשוב להדגיש כי בטור לא מופיעים אברים כפולים. למשל על אף ש-16 ניתן לכתיבה בשתי דרכים שונות כחזקה מושלמת ($2^{4}=4^{2}=16$), המספר ${\tfrac {1}{15}}$ מופיע בסכום רק פעם אחת.

הוכחת אוילר

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

ראשית מסמן אוילר ב-$x$ את סכום הטור ההרמוני:

$x=\sum _{n=1}^{\infty }{\frac {1}{n}}=1+{\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{4}}+{\frac {1}{5}}+{\frac {1}{6}}+{\frac {1}{7}}+{\frac {1}{8}}\cdots$

כעת הוא מחסיר מהשוויון את אברי הטור ההנדסי $\sum _{n=1}^{\infty }{\frac {1}{2^{n}}}={\frac {1}{2}}+{\frac {1}{4}}+{\frac {1}{8}}+\cdots =1$ הכולל את כל ההופכיים של החזקות של 2:

$x-1=1+{\frac {1}{3}}+{\frac {1}{5}}+{\frac {1}{6}}+{\frac {1}{7}}+{\frac {1}{9}}+{\frac {1}{10}}+{\frac {1}{11}}+\cdots$

באופן דומה מחסירים את הופכיי החזקות של 3, $\sum _{n=1}^{\infty }{\frac {1}{3^{n}}}={\frac {1}{3}}+{\tfrac {1}{9}}+{\frac {1}{27}}+\cdots ={\tfrac {1}{2}}$ , ומקבלים:

$x-1-{\frac {1}{2}}=1+{\frac {1}{5}}+{\frac {1}{6}}+{\frac {1}{7}}+{\frac {1}{10}}+{\frac {1}{11}}+{\frac {1}{12}}+\cdots$

נמשיך לפי בתהליך הזה למספרים גדולים יותר. לא נחסיר את הטור ההנדסי של הופכיי 4, כי אלו כבר הוסרו עם הופכיי 2. נמשיך ונסיר את הופכיי 5, 6, 7, אך לא נחסיר את הופכיי 8, 9 כי אלו כבר הוחסרו עם הופכיי 2 והופכיי 3 בהתאמה. וכך באופן כללי בכל שלב מסירים אברים רק במקרים שאינם חזקה מושלמת, ואילו על המקרים של החזקות המושלמות מדלגים, משום שהם כבר הוסרו בשלבים של שורשיהם.

בסוף התהליך, לאחר אינסוף שלבים, יוחסרו כל האברים באגף ימין מלבד האבר הראשון 1. באגף שמאל מוחסר בשלב ה-$t$ , שאינו חזקה מושלמת, סכום הטור ההנדסי שהנו

${\frac {1}{t-1}}={\frac {1}{t}}+{\frac {1}{t^{2}}}+{\frac {1}{t^{3}}}+\cdots$

האברים שיעדרו מההחסרה הם בדיוק האברים ${\frac {1}{a-1}}$ כאשר $a$ חזקה מושלמת. כלומר בסוף התהליך מקבלים את השוויון:

$x-1-{\frac {1}{2}}-{\frac {1}{4}}-{\frac {1}{5}}-{\frac {1}{6}}-{\frac {1}{9}}-\cdots =1$

מעבירים אגפים ומקבלים:

$x-1=1+{\frac {1}{2}}+{\frac {1}{4}}+{\frac {1}{5}}+{\frac {1}{6}}+{\frac {1}{9}}+\cdots$

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

$1={\frac {1}{3}}+{\frac {1}{7}}+{\frac {1}{8}}+{\frac {1}{15}}+{\frac {1}{24}}+{\frac {1}{26}}+{\frac {1}{31}}+\cdots$

ניתן להפוך את הוכחת אוילר להוכחה קבילה אם מחליפים את הטור ההרמוני האינסופי בסכומים החלקיים שלו (הידועים כמספרים הרמוניים $H_{n}$), חוזרים על הוכחת אוילר במקרה הסופי הזה, ומראים שההפרש בין 1 לסכום הטור בכל מקרה סופי שואף לאפס כאשר $n$ שואף לאינסוף.

הוכחה מודרנית

כהכנה להוכחת המשפט נוכיח תוצאה העומדת בפני עצמה: טור ההופכיים של החזקות המושלמות עם חזרות מתכנס ל-1. במקרה הזה אנו מתירים חזרות של אברים בטור. למשל ${\tfrac {1}{16}}$ יופיע פעמיים, פעם אחת לכל הצגה כחזקה מושלמת. הוכחת הטענה פשוטה ומתבססת על הצגת הטור כטור טלסקופי:

${\begin{aligned}\sum _{n=2}^{\infty }\sum _{k=2}^{\infty }{\frac {1}{n^{k}}}&=\sum _{n=2}^{\infty }{\frac {1}{n^{2}}}\sum _{k=0}^{\infty }{\frac {1}{n^{k}}}=\sum _{n=2}^{\infty }{\frac {1}{n^{2}}}\left({\frac {n}{n-1}}\right)\\&=\sum _{n=2}^{\infty }{\frac {1}{n(n-1)}}=\sum _{n=2}^{\infty }\left({\frac {1}{n-1}}-{\frac {1}{n}}\right)=1\end{aligned}}$

בשוויון השני השתמשנו בנוסחה לסכום טור הנדסי.

נסמן ב-$T$ את קבוצת המספרים הטבעיים, מלבד 1, שאינם חזקה מושלמת. נבחין כי כל חזקה מושלמת $a$ ניתנת להצגה בצורה יחידה כ-$a=t^{k}$ כאשר $t\in T,k>1$ ($k$ הוא המחלק המשותף המקסימלי של החזקות בפירוק של $a$ לגורמים). לכן:

$\sum _{a\in A}{\frac {1}{a-1}}=\sum _{k=2}^{\infty }\sum _{t\in T}{\frac {1}{t^{k}-1}}=\sum _{k=2}^{\infty }\sum _{t\in T}\sum _{i=1}^{\infty }{\frac {1}{t^{ki}}}$

בשוויון האחרון השתמשנו שוב בנוסחה לסכום טור הנדסי.

כל מספר טבעי $n>1$ ניתן להצגה בצורה יחידה כ-$n=t^{m}$ כאשר $t\in T,m\in \mathbb {N}$ . מכאן:

$\sum _{t\in T}\sum _{m=1}^{\infty }{\frac {1}{t^{km}}}=\sum _{n=2}^{\infty }{\frac {1}{n^{k}}}$

קיבלנו:

$\sum _{a\in A}{\frac {1}{a-1}}=\sum _{k=2}^{\infty }\sum _{n=2}^{\infty }{\frac {1}{n^{k}}}=1$

טורים קשורים

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

$\sum _{a\in A}{\frac {1}{a}}=\sum _{n=2}^{\infty }\sum _{p}{\frac {1}{n^{p}}}=\sum _{n=2}^{\infty }\mu (n){\bigl (}1-\zeta (n){\bigr )}\approx 0.874464365\ldots$

כאשר $p$ מספר ראשוני, $\zeta (n)$ פונקציית זטא של רימן ו-$\mu (n)$ פונקציית מביוס.

ראו גם

• טור ההופכיים של המספרים הראשוניים

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

• On a series of Goldbach and Euler