ブログ倉庫

━━━━━━━━━━━━━━━━━━━━
数学月間SGK通信 ［2017.11.07］ No.192
<<数学と社会の架け橋＝数学月間>>
━━━━━━━━━━━━━━━━━━━━
与えられた角の3等分は実在しますが，定規とコンパスだけでは，
一般には作図できないということは多分ご存知でしょう．
以下は，ギリシャの幾何学者達が熱心に研究した不可能作図問題です：
（１）与えられた正立方体の2倍の体積の正立方体を作れ
（２）与えられた円と同じ面積の正方形を作れ
（３）任意に与えられた角を3等分せよ
もちろんこのような図形は実在しますが，作図手段を，「定規とコンパスだけを有限回使って」
と制限されての作図ができるか？という問題です．

■長さa,bの２つの線分bが与えられたとき，直線定規とコンパスだけを用いて，
加法a+b，減法a-b，乗法a･b，除法a/b，開平√a
の作図が可能なことは，以下の図をご覧ください．
https://blogs.yahoo.co.jp/tanidr/GALLERY/show_image.html?id=18283150&no=2
https://blogs.yahoo.co.jp/tanidr/GALLERY/show_image.html?id=18283150&no=0

これ以外の作図（例えば，立方根の作図）は定規とコンパスでは出来ません（証明は難しいのでスキップ）．
（１）ではx^3＝2x（a^3）だから，２の立方根の作図が必要
（２）では，x^2＝π(r^2)だから，πという無理数の開平の作図が必要
（３）では，x^3-3x-a=0という角3等分の方程式の根であるxの作図が必要です．
［ただし，aは，与えられる角度Ω（cosΩ＝a/2）により決まる］
例えば，Ω=90°（a=0）のときは，ｘ＝√3の作図になり，これは可能です．
しかし，一般の角の場合，この3次式は有理数の解を持たず，作図は出来ません．
この角3等分の方程式の導出は以下の図をご覧ください．
https://blogs.yahoo.co.jp/tanidr/GALLERY/show_image.html?id=18283668&no=3

Ω＝60°（a=1）のときは，x^3-3x-1=0となり，有理数の解を持たないので，
角の3等分の作図は（定規とコンパスでは）できません．