■既約性判定基準(その23)
正多角形の作図は円周等分問題という幾何学問題ですが,x^n −1=0という代数方程式の解と密接な関係にあります.また,定規とコンパスで描ける図形は直線と円ですから,その作図は線分の長さの加減乗除と平方根をとる操作に相当します.すなわち,定規(直線)とコンパス(円)による作図は,たとえそれらを繰り返し用いたとしても,+,−,×,÷,√なる5つの演算によって得られるものに限られています.
z^2−1=(z−1)(z+1)
z^3−1=(z−1)(z^2+z+1)
z^4−1=(z^2−1)(z^2+1)
は2次方程式に帰着できますが,n=5の場合
z^5−1=(z−1)(z^4+z^3+z^2+z+1)
の右辺には4次方程式があるので,一見不可能に見えますが,2次以下に因数分解できます.z+1/z=xとおけばよいのです.正5角形の作図は黄金比と関連していて,2次方程式:x^2 −x−1=0を解く,すなわち(√5+1)/2を求めることによって可能となりました.ギリシャ人は黄金分割を用いた見事な方法で正五角形の作図に成功したのですが,この方法は二次方程式の幾何学的解法を利用した賢明な方法といえます.
[補]ガウス平面で正5角形の頂点を表す4次方程式
x^4+x^3+x^2+x+1=0
の両辺をx^8でわり,
y=x+1/x=2cos(2π/5)
と変数変換すると2次方程式
y^2+y−1=0
に帰着され,
y=(√5−1)/2=2cos(2π/5)
cos(2π/5)=(√5−1)/4
が得られる.
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
z^6−1=(z^2)^3−1
z^8−1=(z^2)^4−1
なので,それぞれ正三角形,正方形に対する角度を求め,それを二等分することによって幾何学的に解けます.
z^9−1=(z^3)^3−1
は正三角形に対する角度を求め,それを三等分する必要がありますが,これは不可能です.
z^7−1=(z−1)(z^6+z^5z^4+z^3+z^2+z+1)
も幾何学的に解くのは無理です.正7角形,正9角形はそれぞれ3次方程式:x^3 +x^2 −2x−1=0,x^3 −3x+1=0に帰着します.したがって,正7角形,正9角形の作図のように3次方程式に帰着する作図問題は+−×÷√の演算を組み合わせても解けません.
n=10〜14は省略.n=15は2つの異なるフェルマー数の積です.実際,正三角形(120°)と正五角形(72°)の差48°の半分として正十五角形(24°)を幾何学的に作ることができます.n=51,85,355も異なるフェルマー数の積で作図可能です.
n=17の場合は,n=5の場合にもう1ステップ要しますが,全く同様に得ることができます.
[補]16次方程式
x^16+x^15+・・・・+x+1=0
の両辺をx^8でわり,
y=x+1/x=2cos(2π/17)
と変数変換をし,最後に2次方程式に帰着させると失敗する.
z=x^4+x+1/x+1/x^4
w=x^8+x^4+x^2+x+1/x+1/x^2+1/x^4+1/x^8
と変数変換する手がある.
ζ=cos(2π/17)+isin(2π/17)
y=ζ+ζ^-1=2cos(2π/17)
y’=ζ^4+ζ^-4
z=ζ+ζ^4+ζ^-1+ζ^-4
z’=ζ^2+ζ^8+ζ^-2+ζ^-8
w=ζ+ζ^2+ζ^4+ζ^8+ζ^-1+ζ^-2+ζ^-4+ζ^-8
w’=ζ^3+ζ^5+ζ^6+ζ^7+ζ^-3+ζ^-5+ζ^-6+ζ^-7
とおく.
x^16+x^15+・・・・+x+1=0
より,w+w’=−1,ww’=−4となるから,wはx^2+x−4=0の根. w=(√17−1)/2=1.56155
同様に,
z+z’=w,zz’=−1となるから,zはx^2−wx−1=0の根. z=(w+√(w^2+4))/2=(−1+√17+√(34−2√17))/4=2.04948
y+y’=z,yy’=ζ^3+ζ^5+ζ^-3+ζ^-5=z”,z”’=ζ^6+ζ^7+ζ^-6+ζ^-7とおくと,
z”+z”’=w’,z”z”’=−1
となるから,z”はx^2−w’x−1=0の根.
z”=(−1−√17+√(34+2√17))/4
yはx^2−yx+y”=0の根より,
y=2cos(2π/17)=1/8{−1+√17+√(34−2√17)+2√(17+3√17+√(170−26√17)−4√(34+2√17)}=1.86494
が得られる.
===================================
アルキメデスは円柱とそれに内接する球の体積比が3:2であることを発見した記念に,自分の墓の上に円柱の形をした記念碑をおくように遺言したといわれています.アルキメデスと同じように,ガウスは正17角形を墓石に彫るよう遺言しています.このことはガウス自身がその発見をいかに重視したかを物語っています.数々の大発見をしたガウスですが,19才の青年がアルキメデスをもってしてもできなかった古代ギリシア以来2000年の謎を解いたのですから,まさに驚きとしかいいようがありません.この正17角形の作図は彼を本格的に数学の道に入らせるきっかけとなったといわれています.
===================================