logo

古代の三大作図不可能問題の証明 📂抽象代数

古代の三大作図不可能問題の証明

定理 1

以下の3つの作図は不可能である。

  • [1] 円を正方形にする: 与えられた正方形と同じ面積の円を作図せよ。
  • [2] 立方体を倍にする: 与えられた立方体の体積が2倍になるような立方体を作図せよ。
  • [3] 角度を三等分する: 与えられた角度を三等分せよ。

反証

これらの長く続いた幾何学の問題が代数学によって解決されるのは、本当に驚異的だ。基本的には以下の補題の対偶を使用する。

作図可能数の性質: 11 を含む有限回の基本演算と平方根を取り得る数を作図可能constructibleとする。

  • (1): 作図可能数は代数的数である。
  • (2): γ∉Q\gamma \not\in \mathbb{Q} が作図可能ならば、i=2,,ni=2, \cdots , nに対して [Q(a1,,ai1,ai):Q(a1,,ai1)]=2Q(γ)=Q(a1,,an) \left[ \mathbb{Q} \left( a_{1} , \cdots , a_{i-1} , a_{i} \right) : \mathbb{Q} \left( a_{1} , \cdots , a_{i-1} \right) \right] = 2 \\ \mathbb{Q} ( \gamma) = \mathbb{Q} \left( a_{1} , \cdots , a_{n} \right) を満たす有限数列 {ai}i=1n\left\{ a_{i} \right\}_{i=1}^{n} が存在し、ある rNr \in \mathbb{N} に対して [Q(γ):Q]=2r \left[ \mathbb{Q} \left( \gamma \right) : \mathbb{Q} \right] = 2^{r}

[1]

面積がπ\piの円が反例であることを示せば十分である。

代数的数と超越数: 体FFの拡大体をEEとする。非定数関数f(x)F[x]f(x) \in F [ x ]に対してf(α)=0f( \alpha ) = 0を満たすαE\alpha \in Eが存在するならば、FF上で代数的algebraicとし、そうでなければ超越的transcendentalという。F=QF = \mathbb{Q},E=CE = \mathbb{C}とするとき、αC\alpha \in \mathbb{C}が代数的ならば代数的数、超越的ならば超越数という。

正方形の面積がπ\piになるようにするには、一辺の長さがπ\sqrt{\pi}でなければならないが、π\piQ\mathbb{Q}上で超越数であるため、補題(1)の対偶により作図不可能である。したがって、その平方根であるπ\sqrt{\pi}も作図不可能である。

[2]

体積が11の立方体が反例であることを示せば十分である。

立方体の体積が22になるようにするには、1つの辺の長さが23\sqrt[3]{2}でなければならないが、 2r=[Q(23):Q]=3 2^{r} = \left[ \mathbb{Q} \left( \sqrt[3]{2} \right) : \mathbb{Q} \right] = 3 を満たすrNr \in \mathbb{N}は存在しないため、補題(2)の対偶により、23\sqrt[3]{2}は作図不可能である。

[3]

大きさが6060^{\circ}の角度が反例であることを示せば十分である。

三角関数の3倍角の公式により、 cos60=4cos3203cos20 \cos 60^{\circ} = 4 \cos^{3} 20^{\circ} - 3 \cos 20^{\circ} である。cos60=12\displaystyle \cos 60^{\circ} = {{1} \over {2}}とすると、α:=cos20\displaystyle \alpha := \cos 20^{\circ}と定義でき、 4α33α=12    8α36α1=0 4 \alpha^3 - 3 \alpha = {{1} \over {2}} \implies 8 \alpha^3 - 6 \alpha - 1 = 0 つまりα\alphaは多項関数(8x36x1)Q[x]( 8 x^3 - 6 x - 1 ) \in \mathbb{Q} [ x ]である。この整数係数多項関数の因数になり得る候補は、 (8x±1),(4x±1),(2x±1),(x±1) (8x \pm 1), (4x \pm 1), (2x \pm 1), (x \pm 1) のみである。しかし、実際に計算してみると、 18,14,12,1 \mp {{1} \over {8}} , \mp {{1} \over {4}} , \mp {{1} \over {2}} , \mp 1 根になるものはない。(8x36x1)( 8 x^3 - 6 x - 1 )11次の項で因数分解されないということは、22次の項を因子として持たないということである。要するに、 2r=[Q(α):Q]=3 2^{r} = \left[ \mathbb{Q} \left( \alpha \right) : \mathbb{Q} \right] = 3 であり、2r=32^r = 3を満たすrNr \in \mathbb{N}は存在しない。補題(2)の対偶により、cos20\cos 20^{\circ}は作図不可能で、大きさが6060^{\circ}の与えられた角度を三等分することはできない。

一般知識

特に、“Square the circle"は、“不可能なことをする"や"まともなことを言え"という意味でアングロサクソン圏で使われた。한국어로는 “팥으로 메주를 쒀라"와 같은 느낌으로考えればいい。


  1. Fraleigh. (2003). A first course in abstract algebra(7th Edition): p297. ↩︎