■定規とコンパスで作図可能な正多角形(その53)

角Aの3等分である角xの余弦を求める方程式は

4x^3-3x-cos(A)=0

となる。A=90度ならば 4x^3-3x=0となり、きれいに解けるが、A=120度ではそうはならない。→正9角形は作図できない。

3次方程式となる正7角形も作図できない。11,13,14角形も作図できないが、意外なことの正17角形は作図できる(ガウス)。

ガウスは事実上任意の角等分する作図不可能性を明らかにした。

しかし、厳密な証明は19世紀にはいって、フランスの数学者ワンツェルの成果を待たねばならなかった。

===================================