円積問題
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/25 15:22 UTC 版)
この問題は有理数体から出発して、体のある元の平方根を追加して新しい体を得るという操作の有限回の繰り返しで円周率を含むような体が得られるか、と言い換えることができる。1882年に、円周率が超越数であることが示されたことにより、円積問題は実現不可能だと証明された。
一方、コンパスや定規以外の道具を用いて円を正方形化することや、コンパスと定規のみを用いて近似的な解を作図する方法が多く知られている。
歴史
与えられた円に対し、それに近い面積の正方形を近似的に求める方法はバビロニアの数学者にも既に知られていた。紀元前1800年頃のエジプトのリンド数学パピルスには、直径が の円の面積は 、即ち だと記載されている[注 1]。シュルバ・スートラにはインドの数学者による近似の手法(精度は劣るが)が記録されている。また、インドの数学者たちは与えられた正方形に対して、それに近い面積の円を近似的に作図する方法も与えている[1]。
古代ギリシアで円の正方形化に最初に取り組んだのは、イオニア学派のアナクサゴラスだとされている。キオスのヒポクラテスは円積問題に取り組む過程で、いくつかの三日月形(2つの円弧で囲まれた領域)の正方形化を達成している。ソフィストのアンティポンは、円に内接する正多角形に注目した。多角形は正方形化できるので、円の内接多角形の辺の数を倍々に増やして円を正多角形で埋めつくせば円と同じ面積の正方形を求められると彼は主張した。それに対する懐疑的な見方は当時から存在し、ロドスのエウデモスは、"magnitudes cannot be divided up without limit, so the area of the circle will never be used up." (「数量というものは無限分割不可能なのであり、故にその円の面積は決して尽くされはしないのだ」)と反論した[2]。円積問題はアリストパネスの喜劇『鳥』の中にまで登場している。
正方形化を定規とコンパスだけを使って作図する問題として提示したのはキオスのオイノピデスが最初だと考えられている。ジェームズ・グレゴリーは、1667年に「Vera Circuli et Hyperbolae Quadratura(円と双曲線の正方形化)」において、円積問題は不可能だと証明しようとした。結果的に彼の証明は間違っていたが、円積問題に対して初めて円周率 (π) の代数的な性質に基づいた議論を試みたものになった。1882年にフェルディナント・フォン・リンデマンが円周率の超越性を証明したことで、円積問題が不可能であることの厳密な証明が得られた。
不可能性の証明
与えられた円と等しい面積の正方形を作図するためには、単位長さに対して √π の長さを作図することが必要となる。π が代数的数(代数方程式の解となる複素数)ではなく超越数であることを示すことによって円積問題の不可能性が示される。実際、作図可能な数は代数的数になるので、円の正方形化が可能ならば円周率は代数的数だということになってしまう。円の正方形化の可能性は正方形の円化の可能性と同値なので、こちらの不可能性も示されたことになる。
ヨハン・ハインリッヒ・ランベルトは、1768年の論文で π が無理数であることを証明し、さらに、当時はまだ超越数の存在すら証明されていなかったが、π は超越数だろうと予想している。π が超越数であることは1882年にフェルディナント・フォン・リンデマンによって証明された。
制限を緩めて、コンパスや定規を仮想的に無限回使うことを認めたり、ある種の非ユークリッド空間で作図することを認めたりした場合には、円積問題の作図は可能になる。例えば、ユークリッド空間では正方形化は不可能な一方、ガウス・ボヤイ・ロバチェフスキーが提唱した双曲幾何学の空間では正方形化が可能となる。
注釈
- ^ 円周率を256/81=3.160493…とした場合に相当する。
出典
- ^ O'Connor, John J. and Robertson, Edmund F. (2000). The Indian Sulbasutras, MacTutor History of Mathematics archive, St Andrews University.
- ^ Heath, Thomas (1981). History of Greek Mathematics. Courier Dover Publications. 日本語訳はT・L・ヒース 『ギリシア数学史』平田寛・大沼正則・菊池俊彦訳(復刻版)、共立出版、1998年5月。ISBN 4-320-01588-6。
- ^ Kochanski's Approximation -- from Wolfram MathWorld
- ^ square the circle weblio
- 1 円積問題とは
- 2 円積問題の概要
- 3 近代の近似作図法
- 4 喩えとしての用法
- 円積問題のページへのリンク