MathLabs

円積問題

解決済み、1882年幾何学代数学
問題の内容

コンパスと目盛りのない定規だけを用いて、有限回の操作で、与えられた円と同じ面積を持つ正方形を作図せよ。

半径1の円を、コンパスと定規で正方形にするには、長さ π\sqrt{\pi} の線分を作図できなければならない。ピエール・ヴァンツェルは1837年、この方法で作図できる長さはすべて、平方根の繰り返しで得られる代数的数——とくに、その代数的次数が2のべき乗であることを示していた。フェルディナント・フォン・リンデマンは1882年、π\pi 自身が超越数(有理数係数のいかなる非零多項式の根でもない)であることを、シャルル・エルミートが1873年に ee の超越性を証明した手法を応用して証明し、この問題に決着をつけた。π\pi が超越数である以上 π\sqrt{\pi} も超越数であり、コンパスと定規による作図では決して得られない。

ヴァンツェルの同じ代数的枠組みは、残る二つの古典的問題も同時に解決した。立方体倍積問題(23\sqrt[3]{2} の次数が3であり2のべき乗でないため不可能)と、任意の角の三等分問題(一般に三次方程式を解く必要があるため不可能)である。道具を拡張すれば——たとえば目盛り付き定規(ネウシス作図)を用いたり、折り紙による折り畳み(三次方程式を解ける)を許したりすれば——この三つはいずれも可能になる。また、ラマヌジャンによるものなど、小数点以下多くの桁まで正確な円積問題の近似作図は、正確な作図が存在しえないにもかかわらず、今も人気がある。

参考文献

  1. Ferdinand von Lindemann (1882). Über die Zahl π
  2. 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
  3. Petr Beckmann (1971). A History of Pi