■円分方程式の因数分解(その22)

 ガウス平面で正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

が得られる.

 正17角形の場合は,もう2ステップ要するものであったが,n=5の場合と全く同様に証明することができた.

 1796年,ガウスは19才のときに正17角形の作図を思いついたのみならず,nが素数の正n角形について,n=22^m+1が素数の場合に限り定規とコンパスだけで作図可能であることを発見したのである.

 それでは,正33角形(32次円分方程式)は本当に作図不可能なのか? もちろん,フェルマー素数でないから作図できないのであるから,そういってしまえばそれまでであるが,やはり「ガウスは天才だった」として一言で済ませたくないのである.

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

 この問いかけは結局ガウスの円分体の理論を「初等的に」説明せよということになるのかもしれません.一般的なn=2^m+1でなく,そのうちの特別な2^2^k+1に限る,さらにそのうちの素数のものに限るということは,

  2^3+1=9=3・3,2^5+1=33=3・11

などが素数でないことから推察できます.だからもしも正33角形が作図できれば正11角形が作図できることになっておかしいという説明はできます.

 枝葉の話ですが,t=x+1/xでうまくゆくのは結局cos(π/n),sin(π/n)が二重根号((10+2√5)^1/2など)で表されることに対応します.以下のようにいうとギリシャ数学史の専門家から叱られますが,ユークリッド原論第10巻は今日の我々の眼からみると二重根号量((a+√b)^1/2,(a−√b)^1/2)の扱いであり,それが(特に(10±2√5)^1/2が)第13巻で正十二面体,正二十面体の構成にうまく活用されています.

 正17角形では3重根号数と4重根号数が必要になります.ある歴史家の話では,これは古代ギリシャの数学者の手に負えなかった話題(?)だろうということです.正5角形が(定規とコンパスで)作図できる,そしてその作図に黄金比と関連した二重根号で表される量が本質的に関わっているという事実の発見が古代ギリシャ数学のひとつの頂上であったように思います.  (一松信)

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