MathLabs

円積問題

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

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

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

  1. リンデマンによる π\pi の超越性の証明が円積問題を解決する(1882年)Ferdinand von Lindemann, 1882難易度 4/5発展

参考文献

  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