円積問題
円積問題(えんせきもんだい)とは古代の幾何学者たちによって定式化された「与えられた長さの半径を持つ円に対し、定規とコンパスによる有限回の操作でそれと面積の等しい正方形を作図することができるか」という問題である。英語では円の正方形化 (えんのせいほうけいか、squaring the circle) とも呼ばれる。
この問題は有理数体から出発して、体のある元の平方根を追加して新しい体を得るという操作の有限回の繰り返しで円周率を含むような体が得られるか、と言い換えることができる。1882年に、円周率が超越数であることが示されたことにより、円積問題は実現不可能だと証明された。
一方、コンパスや定規以外の道具を用いて円を正方形化することや、コンパスと定規のみを用いて近似的な解を作図する方法が多く知られている。