解法: リンデマンによる $\pi$ の超越性の証明が円積問題を解決する(1882年)
半径 の円が与えられたとする;その面積は である。『円積問題』とは、定規とコンパスだけを使って、それとまったく同じ面積を持つ正方形を作ることを意味する——辺の長さが の正方形の面積は であるから、これは辺の長さが の正方形を作ることを意味する。
ギリシャの幾何学者たちは何世紀にもわたって巧妙な部分的な工夫でこれに挑んだ(ヒッピアスのクアドラトリクスのような曲線を使えば可能だが、それらは定規とコンパスの道具ではない)。この問いは二千年以上未解決のままだった: は本当にコンパスが到達できる数の1つなのだろうか。
この古典的な問題は、ギリシャ数学において少なくとも紀元前5世紀にまでさかのぼり、与えられた円と同じ面積を持つ正方形を定規とコンパスで作図することを求める。円の半径を (面積 )とすると、求める正方形は辺の長さ が 、すなわち を満たす。
(角の三等分と立方体倍積を解決するのに使われた)ヴァンツェルの1837年の定理により、定規とコンパスで作図可能などんな実数も、 上の二次拡大の塔の頂上に位置し、特に代数的である——すなわち有理数係数を持つある非零多項式の根である。したがって円積問題が可能であるのは が代数的である場合に限られる。代数的数の平方は代数的であり、その逆も成り立つので(代数的数 は多項式 を満たし、 は から作られる関連する多項式を満たす)、 が代数的であることと が代数的であることは同値である。
こうして幾何学的な問いは、1つの特定の実数についての問いに完全に帰着する: は代数的なのか、それとも超越的(有理数係数のどんな多項式方程式も満たさない)なのか。フェルディナント・フォン・リンデマンは1882年にこれに答え、9年前シャルル・エルミートが を扱うのに用いた方法を拡張した。
- 代数的数
- 有理数(同値に整数)係数を持つある非零多項式の根である数——例えば は の根である。
- 超越数
- 代数的でない実数または複素数——どれほど次数が大きくても、有理数係数のいかなる多項式方程式も満たさない。