Edit made on February 26, 2009 by DerekCouzens at 18:45:09
Deleted text in red
Inserted text in green
The proof that pi is an irrational number is a little tricky.
You can find it easily with a Google search:
In fact, we have this continued fraction:
EQN:\pi is more than just an irrational number, it is a transcendental number.
An immediate consequence of Lindemann's proof of the transcendence of EQN:\pi is that it proves the impossibility of the geometric problem of antiquity known as squaring the circle i.e. constructing a square with the same area as a circle with ruler and compass only.