Saturday, June 6, 2015

Proof - PI is irrational


                                                    [image source: wikipedia]
 Lets assume PI is rational.
Then PI = a/b, a and b are integers.

We also know pi is not an integer as its value lies between 3 and 4.

We know the equation:

e^(i PI) = -1

substituting its rational form:
 e^(i * (a/b)) = -1

raising both sides to bth power.
e^(a i) = (-1) ^b

now there are two cases:

1. b is odd.
in this case e^(a i) = -1
this means cos a = -1
this implies a is an odd multiple of PI. That is PI, 3PI, 5PI etc. As cosx  takes -1 only in these points.
but we know PI is not an integer. so a is not an integer either.

2. b is even
in this case e^(a i) = 1
this means cos a =1
this means a is an even multiple of PI. That is 0, 2 PI, 4 PI etc.
but again 2 PI etc. are not integers. So only option left is a = 0 which would mean PI = 0!

This proves by contradiction that PI is irrational.