http://www.geocities.jp/ikuro_kotaro/koramu/danmen.htm
【３】高次元の球と立方体の断面の体積

（１）ボールの不等式

　ｎ次元単位立方体の断面の体積の最大値について考えてみましょう．

　１辺の長さが１の正方形（２次元単位立方体）の切り口は単に線分になるから，
その長さが最大となるのは対角線であって，最大値は√２となる．
対角線とは頂点とその対角にある頂点を結ぶ線分で，正方形の原点を通るものである．

　また，（３次元）単位立方体の断面は，
３角形・４角形・５角形・６角形などいろいろな形をとるが，立方体の中心を通り，
辺とその対蹠に位置する辺を含む平面で切ったとき，断面積は最大値√２になる．

　２次元・３次元での問題は，
４次元の場合あるいは考察をもっと高次元化していくこともできますが，
ｎ次元単位立方体を中心を通る超平面で切ったとき，その切り口の体積（断面積）Ｖは，
　　１≦Ｖ≦√２
であることが，ボールによって証明されています（1986年）．

　ボールの不等式のいいところは，Ｖが次元によらず，√２で上から評価されている点です．
ボールの不等式は２，３次元でも一般次元でも同じ形で成立しましたが，
こんなことがつい最近まで証明されなかったのは，一般次元における幾何の問題は，
高い次元になると多くの反例が作れるからだと想像されます．