円積問題
解決済み、1882年幾何学代数学
問題の内容
コンパスと目盛りのない定規だけを用いて、有限回の操作で、与えられた円と同じ面積を持つ正方形を作図せよ。
半径1の円を、コンパスと定規で正方形にするには、長さ の線分を作図できなければならない。ピエール・ヴァンツェルは1837年、この方法で作図できる長さはすべて、平方根の繰り返しで得られる代数的数——とくに、その代数的次数が2のべき乗であることを示していた。フェルディナント・フォン・リンデマンは1882年、 自身が超越数(有理数係数のいかなる非零多項式の根でもない)であることを、シャルル・エルミートが1873年に の超越性を証明した手法を応用して証明し、この問題に決着をつけた。 が超越数である以上 も超越数であり、コンパスと定規による作図では決して得られない。
ヴァンツェルの同じ代数的枠組みは、残る二つの古典的問題も同時に解決した。立方体倍積問題( の次数が3であり2のべき乗でないため不可能)と、任意の角の三等分問題(一般に三次方程式を解く必要があるため不可能)である。道具を拡張すれば——たとえば目盛り付き定規(ネウシス作図)を用いたり、折り紙による折り畳み(三次方程式を解ける)を許したりすれば——この三つはいずれも可能になる。また、ラマヌジャンによるものなど、小数点以下多くの桁まで正確な円積問題の近似作図は、正確な作図が存在しえないにもかかわらず、今も人気がある。
参考文献
- Ferdinand von Lindemann (1882). Über die Zahl π
- Pierre Laurent Wantzel (1837). Recherches sur les moyens de reconnaître si un problème de géométrie peut se résoudre avec la règle et le compas
- Petr Beckmann (1971). A History of Pi