【１】ヒポクラテスの定理

　ピタゴラスの定理の応用として，正方形の替わりに半円を考えます．すると，直角三角形の面積は直角三角形の辺上に描かれた２つの月形の面積の和に等しいというものがあることはご存知でしょう．この結果は「ヒポクラテスの定理」あるいは「ヒポクラテスの三日月」と呼ばれるのですが，非直線図形と直線図形の大きさの間に成り立つ等式としてなかなかの深みが感じれらます．

　三日月の面積が直角三角形の面積に等しくなったので，彼はギリシア三大問題である円積問題（円と等しい面積の正方形を定規とコンパスで作図する）を解決できたと思いこんだようです．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【２】円積問題（円の正方形化）

　円の正方形化問題（円積問題），すなわち，定規とコンパスだけで円と等積な正方形を作図することはギリシャの３大作図問題の１つとして有名なものですが，実は１９世紀になってから作図不能であることが証明されています．

　円積問題は２次方程式：ｘ^2−π＝０に帰着しますが，√πがコンパスと定規で作図できたとすると，その平方であるπも同様に作図可能ということになります．しかし，πは超越数ですから√πも超越数なのです．したがって，√πは代数方程式の解とはなりえず，円積問題も作図不能となるのです．

　この問題をｎ次元に拡張してみましょう．半径１のｎ次元単位超球の体積は

　　Ｖn＝π^(n/2)／Γ(n/2+1)＝π^(n/2)／（ｎ／２）！

と書けます．Ｖ1＝２（直径），Ｖ2＝π（面積），Ｖ3＝４π／３（体積）はご存知でしょう．４次元から６次元までも具体的に書けば，

　　Ｖ4＝π^2／２，Ｖ5＝８π^2／１５，Ｖ6＝π^3／６

という具合に，πのべき乗は偶数次元になるたびに１つあがります．

　このことから，ｎ次元の円積問題はｎ次方程式：ｘ^n−π^(n/2)／Γ(n/2+1)に帰着されることになり，ｎ次元定規とｎ次元コンパスを用いたとしても作図は不能と考えられます．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝