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

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

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

　ところで，３次元では非平面図形と平面図形の大きさの間に成り立つ等式として，球が四面体と同じ体積になるという見事な例が知られています．正四面体の２組の相対する辺はねじれの位置にありますが，その中点を結ぶ直線はこれらの辺に直交します．中線を結ぶ直線の長さを２ｒとすると，この正四面体の体積は半径ｒ（直径２ｒ）の球の体積と等しくなるのです．

　このことはカヴァリエリの原理「切り口の面積が等しければ体積も等しい」から簡単に証明できます．中心からｘのところを通る平面で切るとどちらも断面積がπ（ｒ^2−ｘ^2）となるので，円の体積も正四面体の体積も等しくなるのです．

　２つの立体がカヴァリエリ合同であり，中心を通る平面できる断面の形は面積πｒ^2の円と正方形ですから，このことから円積問題が解決されたような気分にさせられてしまうのですが，実はこの正四面体の１辺の長さは２ｒ√πですから問題は解決していないのです．

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

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

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

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

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

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

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

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

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

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

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