ABSTRACT
Our discussion of the three geometric problems of antiquity-trisecting the angle, duplicating the cube, and squaring the circle-left one key fact unproved. To complete the proof of the impossibility of squaring the circle by a ruler-and-compass construction, crowning three thousand years of mathematical effort, we must prove that pi is transcendental over Q. (In this chapter the word ‘transcendental’ will be understood to mean transcendental over Q.) The proof we give is analytic, which should not really be surprising since pi is best defined analytically. The techniques involve symmetric polynomials, integration, differentiation, and some manipulation of inequalities, together with a healthy lack of respect for apparently complicated expressions.
