View source for User:Karlhahn/user pi-irrational

<div style="float:{{{float|left}}}; border:{{{border-width|1}}}px solid {{{border-color|{{{1|black}}}}}}; margin:1px;">
{| cellspacing="0" style="width:238px; background:{{{info-background|{{{2|#F3F3F3}}}}}};"
| style="width:45px; height:45px; background:{{{logo-background|{{{1|#ffffff}}}}}}; text-align:center; font-size:{{{logo-size|{{{5|16}}}}}}pt; color:{{{logo-color|{{{id-fc|black}}}}}}; padding:{{{logo-padding|{{{id-p|1pt}}}}}}; line-height:{{{logo-line-height|{{{id-lh|1.25em}}}}}}; {{{logo-other-param|{{{id-op|}}}}}}" | '''{{{logo|{{{3| <!--'''π''' [[Image:Letter-Pi.png|18px]] ≠ p/q''--> <math>\pi \ne \frac {p} {q}</math>}}}}}}'''
| style="font-size:{{{info-size|10}}}pt; padding:{{{info-padding|{{{info-p|4pt}}}}}}; line-height:{{{info-line-height|{{{info-lh|1.25em}}}}}}; color:{{{info-color|#505080}}}; {{{info-other-param|text-align:center; padding:4pt; line-height:1.25em}}}" | This user can prove that <!-- <big>'''''π'''''</big> --> <math>\pi</math> is irrational.
|}</div>
<noinclude>{{clear}}
<!-- <pre>
Original source:
<nowiki>{{subst:userbox</nowiki>
<nowiki>  |id=<math>\pi \ne \frac {p} {q}</math></nowiki>
<nowiki>  |id-s=16</nowiki>
<nowiki>  |id-c=#ffffff</nowiki>
<nowiki>  |info=This user can prove that <math>\pi</math> is irrational.</nowiki>
<nowiki>  |info-c=#F3F3F3</nowiki>
<nowiki>  |info-fc=#505080</nowiki>
<nowiki>  |info-s=10</nowiki>
<nowiki>  |info-op=text-align:center; padding:4pt; line-height:1.25em</nowiki>
<nowiki>  |border-c=black</nowiki>
<nowiki>  |border-s=1</nowiki>
<nowiki>}}</nowiki>
</pre> -->

'''Usage: <nowiki>{{User:Karlhahn/user pi-irrational}}</nowiki>'''

'''PROOF:'''

If <math>\scriptstyle \pi</math> were rational, then

:<math>\pi = \frac {p} {q}</math>

where <math>\scriptstyle p</math> and <math>\scriptstyle q </math> are positive integers.

The function, <math>\scriptstyle x (\pi - x)</math> has zeros at <math>\scriptstyle x = 0</math> and at <math>\scriptstyle x = \pi</math>. So does <math>\scriptstyle x^n (\pi - x)^n</math>, where <math>\scriptstyle n</math> is an arbitrary positive integer -- which is to say that <math>\scriptstyle n</math> can be chosen to be arbitrarily large. Now we scale the function by <math>\scriptstyle q^n</math> to get <math>\scriptstyle q^n x^n (\pi - x)^n = x^n (p - qx)^n</math>, which also has zeros at <math>\scriptstyle x = 0</math> and at <math>\scriptstyle x = \pi</math>. Observe that this function is a <math>\scriptstyle 2n</math>th degree polynomial with integer coefficients.

Finally we scale this function by <math>\scriptstyle \frac {1} {n!}</math> to form

:<math>f(x) = \frac {x^n (p - qx)^n} {n!}</math>

Looking at the derivatives of <math>\scriptstyle f(x)</math>, we find that the first <math>\scriptstyle n-1</math> derivatives also have zeros at <math>\scriptstyle x=0</math> and <math>\scriptstyle x= \pi</math>. At the <math>\scriptstyle n</math>th derivative, [[Leibniz rule (generalized product rule)|Leibniz' rule]] yields the following:

:<math>f^{(n)}(x) = \frac {1} {n!} \sum_{k=0}^n \binom {n} {k} \frac {n!} {k!} x^{n-k} \frac {n!} {(n-k)!} (-q)^{n-k} (p - qx)^k = </math>

:<math>\frac {1} {n!} \sum_{k=0}^n {\binom {n} {k}}^2 n! (-q)^{n-k} x^{n-k} (p - qx)^k =</math>

:<math>\sum_{k=0}^n {\binom {n} {k}}^2 (-q)^{n-k} x^{n-k} (p - qx)^k</math>

Observe that all of the coefficients in the last expression are integers. Further observe that

:<math>f^{(n)}(0) = p^n</math>

which is an integer, and that

:<math>f^{(n)}(\pi) = (-q^n) \pi^n = (-p)^n</math>

which is also an integer. The same kind of analysis on higher derivatives up to the <math>\scriptstyle 2n</math>th derivative shows that they too have all integer coefficients, and more importantly, at <math>\scriptstyle x=0</math> and at <math>\scriptstyle x=\pi</math>, they too have integer values. Beyond the <math>\scriptstyle 2n</math>th derivative, all derivatives are identically zero. Why? Because <math>\scriptstyle f(x)</math> is a polynomial of degree <math>\scriptstyle 2n</math>.

Now define a new polynomial function, <math>\scriptstyle F(x)</math>, which is an [[alternating sum]] of even derivatives of <math>\scriptstyle f(x)</math>

:<math>F(x) = f(x) - f'' (x) + f^{(4)} (x) - f^{(6)} (x) + ... f^{(2n)} (x)</math>

It's quite easy to see that <math>\scriptstyle F(x) + F''(x) = f(x)</math>. With only a little more effort you can see that

:<math>(F'(x) \sin(x) - F(x)\cos(x))' = f(x) \sin(x)</math>

This means that

:<math>\int_0^\pi f(x) \sin(x) dx  =  \left [ { F'(x) \sin(x) - F(x) \cos(x)} \right ]_0^\pi</math>

Since <math>\scriptstyle \sin(x)</math> is zero at <math>\scriptstyle x=0</math> and at <math>\scriptstyle x=\pi</math>, the right hand side of the above is simply equal to <math>\scriptstyle F(\pi) + F(0)</math>. The previous analysis of derivatives of <math>\scriptstyle f </math> requires that <math>\scriptstyle F(\pi) + F(0)</math> be an integer. That means that the area under the curve, 

:<math> g(x) = \frac {x^n (p - qx)^n} {n!} \sin(x) = \frac {q^n x^n (\pi - x)^n} {n!} \sin(x)</math>

between <math>\scriptstyle x=0</math> and <math>\scriptstyle x=\pi</math> is an integer. We know that <math>\scriptstyle g(x)</math> is positive throughout that open interval. We also know that <math>\scriptstyle g(x)</math> can be bounded in the interval to as small a positive value as you like simply by choosing <math>\scriptstyle n</math> large enough. The area under the curve can be no greater than <math>\scriptstyle \pi</math> times that bound. Hence the area can also be bounded to as small a positive value as you like by choosing <math>\scriptstyle n</math> large enough. That means the area can be bounded to less than unity. We are left with an area whose value is an integer that is strictly between zero and unity, which is clearly impossible. Hence <math>\scriptstyle \pi</math> cannot be rational.

[[Category: Mathematics user templates|Irrational pi]]
</noinclude>