אי-רציונליות של פאי

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

ב-1882 הוכיח פרדיננד לינדמן כי לא זאת בלבד ש-<math>\pi</math> אי-רציונלי, אלא גם מספר טרנסצנדנטי – כלומר אינו שורש של אף פולינום בעל מקדמים רציונליים.

==למברט==
ראשית, הראה למברט באמצעות חילוק פולינומים שוב ושוב כי הפונקציה <math>\tan(x)</math> ניתנת לביטוי כשבר משולב אינסופי:
:<math>\tan(x)=\dfrac{x}{1-\dfrac{x^2}{3-\dfrac{x^2}{5-\dfrac{x^2}{7-\dfrac{x^2}{\ddots}}}}}</math>
לאחר מכן הוכיח כי אם <math>x\ne0</math> רציונלי אזי הביטוי הנ"ל תמיד אי-רציונלי – במילים אחרות, אם הביטוי הנ"ל מספר רציונלי אזי <math>x</math> אי-רציונלי.
מאחר שמתקיים <math>\tan\left(\frac{\pi}{4}\right)=1</math> אזי המספר <math>\frac{\pi}{4}</math> אי-רציונלי, וכך גם <math>\pi</math>.

==הרמיט==
נניח בשלילה כי <math>\pi</math> רציונלי. נגדיר שתי סדרות פונקציות ממשיות:
:<math>\begin{align}A_0(x)&=\sin(x),&&A_{n+1}(x)=\int\limits_0^xyA_n(y)dy\\[4pt]U_0(x)&=\frac{\sin(x)}{x},&&U_{n+1}(x)=-\frac{U_n'(x)}{x}\end{align}</math>
באינדוקציה מתמטית ניתן להוכיח כי
:<math>\begin{align}A_n(x)&=\frac{x^{2n+1}}{(2n+1)!!}-\frac{x^{2n+3}}{2\cdot(2n+3)!!}+\frac{x^{2n+5}}{2\cdot4\cdot(2n+5)!!}-\frac{x^{2n+7}}{2\cdot4\cdot6\cdot(2n+7)!!}\pm\cdots\\[5pt]U_n(x)&=\frac1{(2n+1)!!}-\frac{x^2}{2\cdot(2n+3)!!}+\frac{x^4}{2\cdot4\cdot(2n+5)!!}-\frac{x^6}{2\cdot4\cdot6\cdot(2n+7)!!}\pm\cdots\end{align}</math>
ועל כן נקבל כי <math>U_n(x)=\frac{A_n(x)}{x^{2n+1}}</math>. לכן
:<math>\begin{align}\frac{A_{n+1}(x)}{x^{2n+3}}&=U_{n+1}(x)=-\frac{U_n'(x)}x=-\frac{1}{x}\frac{d}{dx}\left(\frac{A_n(x)}{x^{2n+1}}\right)\\[6pt]&=-\frac{1}{x}\left(\frac{A_n'(x)\cdot x^{2n+1}-(2n+1)x^{2n}A_n(x)}{x^{2(2n+1)}}\right)\\[6pt]&=\frac{(2n+1)A_n(x)-xA_n'(x)}{x^{2n+3}}\\[6pt]A_{n+1}(x)&=(2n+1)A_n(x)-x^2A_{n-1}(x)\end{align}</math>
באמצעות שימוש בהגדרת הסדרה ובאינדוקציה מתמטית ניתן להראות כי
:<math>A_n(x)=P_n(x^2)\sin(x)+xQ_n(x^2)\cos(x)</math>
כאשר <math>P_n,Q_n</math> פולינומים במקדמים שלמים, ומתקיים <math>\deg(P_n)\le\bigl\lfloor0.5n\bigr\rfloor</math> (מעלת הפולינום). בפרט, <math>A_n(0.5\pi)=P_n(0.25\pi^2)</math>.

הרמיט אף מצא נוסחה סגורה לסדרה הראשונה:
:<math>A_n(x)=\frac{x^{2n+1}}{2^nn!}\int\limits_0^1(1-z^2)^n\cos(xz)dz</math>
הוא לא הצדיק את הטענה, אך היא ניתנת להוכחה בקלות. ראשית, טענה זו שקולה לביטוי
:<math>\frac{1}{2^nn!}\int\limits_0^1(1-z^2)^n\cos(xz)dz=\frac{A_n(x)}{x^{2n+1}}=U_n(x)</math>
נמשיך באינדוקציה. עבור <math>n=0</math> מתקיים
:<math>\int\limits_0^1\cos(xz)dz=\frac{\sin(x)}{x}=U_0(x)</math>
עתה נניח כי הנוסחה נכונה עבור <math>n=k</math>, ונוכיח כי היא נכונה עבור <math>n=k+1</math>.
תוך שימוש באינטגרציה בחלקים ובכלל לייבניץ לגזירה תחת סימן האינטגרל, נקבל כי
:<math>\begin{align}\frac{1}{2^{k+1}(k+1)!}\int\limits_0^1(1-z^2)^{k+1}\cos(xz)dz&=\frac{1}{2^{k+1}(k+1)!}\Bigg(\,\overbrace{\left.(1-z^2)^{k+1}\frac{\sin(xz)}{x}\right|_{z=0}^{z=1}}^{=\,0}\ +\ \int\limits_0^12(k+1)(1-z^2)^kz\frac{\sin(xz)}{x}\,dz\Bigg)\\[5pt]&\qquad=\frac{1}{x}\cdot\frac{1}{2^kk!}\int\limits_0^1(1-z^2)^kz\sin(xz)dz\\[5pt]
&\qquad=-\frac{1}{x}\cdot\frac{d}{dx}\left(\frac1{2^kk!}\int\limits_0^1(1-z^2)^k\cos(xz)dz\right)\\[5pt]&\qquad=-\frac{U_k'(x)}{x}\\[5pt]&\qquad=U_{k+1}(x)\end{align}</math>
אם <math>\frac{\pi^2}{4}=\frac{p}{q}</math> כאשר <math>p,q\in\N</math>, אזי מפני שמקדמי <math>P_n</math> שלמים וכן <math>\deg(P_n)\le\bigl\lfloor0.5n\bigr\rfloor</math> – נובע כי <math>q^{\lfloor0.5n\rfloor}P_n(0.25\pi^2)=N</math> מספר שלם. במילים אחרות:
:<math>N=q^{\lfloor0.5n\rfloor}A_n(0.5\pi)=q^{\lfloor0.5n\rfloor}\frac{1}{2^nn!}\left(\dfrac{p}{q}\right)^{n+0.5}\int\limits_0^1(1-z^2)^n\cos(0.5\pi z)dz</math>
ובבירור מתקיים <math>N>0</math>, מאידך, הגבול של ביטוי זה כאשר <math>n\to\infty</math> הוא 0, כלומר עבור <math>n</math> גדול מספיק מתקיים <math>0<N<1</math>. סתירה.

הערה: הרמיט לא הציג הוכחה זו כבפני עצמה אלא כמחשבה נוספת במהלך חיפושיו אחר הוכחה לטרנסצנדנטיות של π. הוא דן ושקל בנוסחאות הנסיגה לצורך השגת ייצוג אינטגרלי נוח. כאשר מתקבל ייצוג אינטגרלי זה, ישנן דרכים שונות להציג הוכחה תמציתית ועצמאית החל מן האינטגרל (כפי שמופיע בהוכחותיהם של בורבאקי, קרטרייט וניוון) אשר הרמיט הבחין בהן בקלות (כפי שעשה בהוכחתו לטרנסצנדנטיות של e).
בנוסף, הוכחתו של הרמיט קרובה להוכחתו של למברט יותר מכפי שנראה. למעשה, <math>A_n(x)</math> היא ה"שארית" של השבר המשולב שהציג למברט עבור הפונקציה <math>\tan(x)</math>.

==בורבאקי==
נניח בשלילה כי <math>\pi</math> רציונלי, כלומר קיימים <math>a,b\in\N</math> עבורם <math>\pi=\frac{a}{b}</math>.
לכל <math>n\in\N</math> נגדיר פולינום
:<math>f(x)=\frac{x^n(a-bx)^n}{n!}=\sum_{m\,=\,n}^{2n}\frac{c_m}{n!}x^m,\quad:c_m\in\Z</math>
מתקיים <math>f(x)=f(\pi-x)</math> ולכן
:<math>\begin{align}f^{(k)}\!(x)=(-1)^kf^{(k)}\!(\pi-x)&=\begin{cases}\displaystyle\sum_{m\,=\,n}^{2n}\frac{k!}{n!}\binom{m}{k}c_mx^{m-k}&:0\le k\le n-1\\[5pt]\displaystyle\sum_{m\,=\,k}^{2n}\frac{k!}{n!}\binom{m}{k}c_mx^{m-k}&:n\le k\le2n\end{cases}\\[5pt]f^{(k)}\!(0)=(-1)^kf^{(k)}\!(\pi)&=\begin{cases}0&:0\le k\le n-1\\[5pt]\displaystyle\frac{k!}{n!}c_k&:n\le k\le2n\end{cases}\end{align}</math>
עתה נגדיר <math>A_n=\int\limits_0^\pi f(x)\sin(x)dx</math>. האינטגרנד חיובי בקטע הפתוח <math>(0,\pi)</math> ומתאפס רק בקצוות, ולכן מתקיים <math>A_n>0</math>.
שימוש חוזר באינטגרציה בחלקים מאפשר לנו להסיק כי
:<math>A_n=-f^{(0)}\!(x)\cos(x)\bigg|_0^\pi+f^{(1)}\!(x)\sin(x)\bigg|_0^\pi+f^{(2)}\!(x)\cos(x)\bigg|_0^\pi-\cdots\pm f^{(2n)}\!(x)\cos(x)\bigg|_0^\pi\mp\int\limits_0^\pi f^{(2n+1)}\!(x)\cos(x)dx</math>
האינטגרל האחרון מתאפס מפני שהביטוי <math>f^{(2n+1)}\!(x)</math> הוא פולינום האפס, שכן <math>\deg(f)=2n</math>.
מכיוון שלכל <math>0\le k\le2n</math> הפונקציות <math>f^{(k)}\!(x),\sin(x),\cos(x)</math> מקבלות ערכים שלמים בקצות הקטע, אזי <math>A_n</math> מספר שלם.

מאידך, בקטע הפתוח מתקיים 
:<math>\begin{align}&0<x<\pi\\&0<a-bx<a\\&0<\sin(x)<1\end{align}</math>
ולכן <math>0<A_n<\pi\frac{(\pi a)^n}{n!}</math>. אך עבור <math>n</math> גדול מספיק מתקיים <math>0<A_n<1</math>. סתירה.

==ניוון==
הוכחה זו זהה ברובה להוכחתו של בורבאקי לעיל. נגדיר <math>f(x),A_n</math> כנ"ל. עתה נגדיר
:<math>F(x)=\sum_{k\,=\,0}^n(-1)^kf^{(2k)}\!(x)</math>
נגזור פעמיים, ומפני שהביטוי <math>f^{(2n+2)}(x)</math> הוא פולינום האפס נקבל כי
:<math>\begin{align}F\!(x)=\sum_{k\,=\,0}^n(-1)^kf^{(2k+2)}\!(x)=\sum_{k\,=\,1}^n(-1)^{k-1}f^{(2k)}\!(x)\\[5pt]F\!(x)+F(x)=f(x)\end{align}</math>
מהמשוואה האחרונה נקבל
:<math>\begin{align}f(x)\sin(x)&=F\!(x)\sin(x)+F(x)\sin(x)\\[5pt]&=\bigl[F\!(x)\sin(x)+F'\!(x)\cos(x)\bigr]-\bigl[F'\!(x)\cos(x)-F(x)\sin(x)\bigr]\\[5pt]&=\bigl[F'\!(x)\sin(x)-F(x)\cos(x)\bigr]'\\[5pt]A_n=\int\limits_0^\pi f(x)\sin(x)dx&=\Big[F'\!(x)\sin(x)-F(x)\cos(x)\Big]_0^\pi=F(\pi)+F(0)\end{align}</math>
הביטוי האחרון הוא מספר שלם, שכן בהוכחה הקודמת הראינו כי הפונקציות <math>f^{(k)}\!(x)</math> מקבלות ערכים שלמים בקצוות. המשך ההוכחה זהה.

==קרטרייט==
נניח בשלילה כי <math>\pi=\frac{a}{b}</math>, כאשר <math>a,b\in\N</math>.
לכל <math>n\in\N</math> נגדיר פולינום
:<math>\begin{align}f(x)&=\frac{(1-x^2)^n}{n!}=\sum_{m\,=\,n}^{2n}\dfrac{c_m}{n!}x^m,\quad:c_m\in\Z\\[5pt]f^{(k)}\!(1)&=\begin{cases}0&:0\le k\le n-1\\[5pt]\displaystyle\sum_{m\,=\,k}^{2n}\frac{k!}{n!}\binom{m}{k}c_m&:n\le k\le2n\end{cases}\end{align}</math>
עתה נגדיר <math>A_n=\int\limits_{-1}^1f(x)\cos(0.5\pi x)dx=2\int\limits_0^1f(x)\cos(0.5\pi x)dx</math>.
שימוש חוזר באינטגרציה בחלקים מאפשר לנו להסיק כי
:<math>\begin{align}A_n=\frac{4}{\pi}f^{(0)}\!(x)\sin(0.5\pi x)\bigg|_0^1+\frac{8}{\pi^2}f^{(1)}\!(x)\cos(0.5\pi x)\bigg|_0^1-\frac{16}{\pi^3}f^{(2)}\!(x)\sin(0.5\pi x)\bigg|_0^1-\cdots\pm\frac{2^{2n+2}}{\pi^{2n+1}}f^{(2n)}\!(x)\sin(0.5\pi x)\bigg|_0^1\\[8pt]A_n=\frac{4}{\pi}\sum_{k\,=\,0}^n\left(\!-\frac{4}{\pi^2}\!\right)^{\!k}\!f^{(2k)}\!(1)\\[8pt]N_n=\frac{\pi}{4}a^{2n}A_n=\sum_{k\,=\,0}^nf^{(2k)}\!(1)\,a^{2n-2k}(-4b^2)^k\end{align}</math>
הביטוי האחרון הוא מספר שלם, ומתקיים <math>0<N_n<\frac{\pi}{2}\frac{a^{2n}}{n!}</math>. אך עבור <math>n</math> גדול מספיק מתקיים <math>0<N_n<1</math>. סתירה.

הערה: בדרך זו ניתן להוכיח כי גם <math>\pi^2</math> אי-רציונלי.

==ראו גם==
*מספר טרנסצנדנטי
*טרנסצנדנטיות של e
*טרנסצנדנטיות של π
*שארל הרמיט
*ניקולא בורבאקי
*מרי קרטרייט

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