Consider the constructible angle whose cosine is and sine is . If one fifth of this angle were constructible, its cosine would satisfy the displayed polynomial, by the identity . The identity follows by taking the real part of and substituting .
The polynomial is irreducible by Eisenstein's criterion at five, so has degree five over the rational numbers. The initial angle field already has degree two, and adjoining any finite collection of constructible numbers gives total degree over the rational numbers a power of two. Such a field cannot contain the degree-five element , by the tower law for field extensions. Hence this constructible angle cannot be divided into five equal angles by straightedge and compass construction. Some particular angles can be quintisected; the obstruction disproves a construction valid for all angles.
Articles by others on the same topic
There are currently no matching articles.