]> Pi - Proof that Pi is Irrational

Proof that Pi is Irrational

Suppose π=a/b. Define

f(x)=x n(abx) nn!

and

F(x)=f(x)f (2 )(x)+f (4 )(x)...+(1 ) nf (2 n)(x)

for every positive integer n.

First note that f(x) and its derivatives f (i)(x) have integral values for x=0 , and also for x=π=a/b since f(x)=f(a/bx).

We have

ddx(F(x)sinxF(x)cosx)=F(x)sinx+F(x)sinx=f(x)sinx

whence

0 πf(x)sinxdx=[F(x)sinxF(x)cosx] 0 π=F(π)+F(0 )

But for 0 <x<π, we have

0 <f(x)sinx<π na nn!

which means we have an integer that is positive but tends to zero as n approaches infinity, which is a contradiction.