記事ソース/正五角形の作図
メニュー現在 9 名がオンラインです。 最新の25件2023-12-12
2023-11-11
2023-11-06
2023-07-15
2022-09-14
2022-07-01
2022-06-12
2022-04-13
2021-12-03
2021-10-07
2021-08-12
2021-07-26
2021-06-30
2021-06-06
2021-05-02
2021-04-17
2021-03-20
2021-03-19
2021-03-11
|
記事ソース/正五角形の作図†これはrst2hooktailの記事ソース保存・変換用です（詳細）． コンバート公開・更新メニュー ▼▲記事ソースの内容=============================================
正五角形の作図
=============================================
この記事では、正五角形の作図を考えてみたいと思います。 作図できる正多角形_ の結果より、正五角形は定規とコンパスで作図できる正多角形だということが分かりましたが、既に作図方法を知っている人もいると思います。ここでは、初等幾何としてではなく、代数学的な視点から捉えなおしてみることに意味があると思います。
正五角形の作図は、円周を $5$ つに等分する問題と同じです。ここで、 $\zeta = \cos 72^{o} + i\sin 72^{o}$ として、拡大体 $E=Q(\zeta )$ を考えます。 $\zeta$ の最小多項式は次式で、 $E$ は $f(x)$ の最小分解体になっています。
<tex>
f(x)=x^{5}-1=(x-1)(x^{4}+x^{3}+x^{2}+x+1)
</tex>
ここで $E$ を $Q$ 上のベクトル空間と見たとき、 $\{ \zeta , {\zeta}^{2},{\zeta}^{3},{\zeta}^{4}\} $ は基底を張っており、 $E$ の元は一般に $ \alpha =a_{1} \zeta +a_{2}{\zeta}^{2}+a_{3}{\zeta}^{3}+a_{4}{\zeta}^{4} $ と書けます。（ $\zeta + {\zeta}^{2}+{\zeta}^{3}+{\zeta}^{4}=-1$ が成り立つことに注意。 １のｎ乗根_ 参照。）拡大次数は $[E:Q]=4$ ですのでガロア群の位数は $4$ で、 $\{ \zeta , {\zeta}^{2},{\zeta}^{3},{\zeta}^{4}\} $ を置換する元からなります。これは、 $\sigma (\zeta )={\zeta}^{2}$ と置くと、 $\cal G \it (E/Q)=\{ 1,\sigma , {\sigma}^{2},{\sigma}^{3} \} $ と表わされる巡回群です。
自明な部分群を除くと、 $\cal G \it (E/Q)$ は正規部分群 $\{ 1 ,{\sigma}^{2} \} $ を持ちます。（正規真部分群はこれだけです。）そこで、ガロア理論の基本定理により、 $Q$ と $E$ には中間体 $B$ が存在し、 $\cal G \it (E/B) \subset \cal G \it (E/Q)$ がなりたつことが予想されます。つまり、 $\cal G \it (E/B)=H$ と表記すると、中間体 $B$ が群 $H$ の固定体になっているというわけです。( ガロア理論の基本定理_ 参照。)
ここまでは、既に勉強したガロア理論の基本定理から予想されるカラクリを書き並べてみただけですが、ここまでの説明に引っかかるところある人は、この段階でよく頭を整理してみて下さい。大事なのは、ここまでの大筋で、ここから先は実際の計算です。
ガロア理論の計算
============================================================
まず、 $E$ の元 $ \alpha =a_{1} \zeta +a_{2}{\zeta}^{2}+a_{3}{\zeta}^{3}+a_{4}{\zeta}^{4} $ が $B$ に含まれる条件は、 $B$ の元が ${\sigma}^{2}$ で動かされないことですから ${\sigma}^2(\alpha )=\alpha$ がなりたつことです。では、実際に計算して係数の条件を決めてみましょう。 $\zeta$ の指数が $5$ より大きくなると、 ${\rm mod.}5$ で $\{1, \zeta , {\zeta}^{2},{\zeta}^{3},{\zeta}^{4}\} $ に戻ってくることに注意して下さい。途中の式変形は、添字の変化が分かりやすいように一行ずつ丁寧に書きました。
<tex>
{\sigma}^2 ( \alpha) &= {\sigma}^2(a_{1} \zeta +a_{2}{\zeta}^{2}+a_{3}{\zeta}^{3}+a_{4}{\zeta}^{4} ) \\
&= a_{1}{\sigma}^2( \zeta )+a_{2}{\sigma}^2({\zeta}^{2})+a_{3}{\sigma}^2({\zeta}^{3})+a_{4}{\sigma}^2({\zeta}^{4} ) \\
&= a_{1}{\sigma}( \zeta^2 )+a_{2}{\sigma}({\zeta}^{4})+a_{3}{\sigma}({\zeta}^{6})+a_{4}{\sigma}({\zeta}^{8} ) \\
&= a_{1}( \zeta^4 )+a_{2}({\zeta}^{8})+a_{3}({\zeta}^{12})+a_{4}({\zeta}^{16} ) \\
&= a_{1} \zeta^4 +a_{2}{\zeta}^{3}+a_{3}{\zeta^2}+a_{4}{\zeta}
</tex>
一行目と最終行を見比べて、 ${\sigma}^2(\alpha )=\alpha$ となるのは $a_{1}=a_{4}$ かつ $a_{2}=a_{3}$ の場合であることが分かります。よって、 $B$ の元は一般に次のような形に書けることが分かります。（ $a_{1}=a_{4}=b_{1},\ \ a_{2}=a_{3}=b_{2}$ と置きました。）
<tex>
\alpha = b_{1}(\zeta + \zeta^4)+b_{2}(\zeta^2 + \zeta^3)
</tex>
そこで、さらに $\zeta + \zeta^4 = \mu_{1} ,\ \ \zeta^2 + \zeta^3 = \mu_{2}$ と置くと、次のような興味深い関係が見えてきます。
<tex>
{\mu}_{1}+{\mu}_{2}= {\zeta} + {\zeta}^2 + {\zeta}^3 + {\zeta}^4 = -1
</tex>
<tex>
\mu_{1}\mu_{2}&= (\zeta + \zeta^4 )( \zeta^2 + \zeta^3 ) \\
&= \zeta^3 + \zeta^4 + \zeta + \zeta^2 = -1
</tex>
これを見てピンッと来て欲しいのですが、 $\mu_{1},\mu_{2}$ は解と係数の関係より、方程式 $x^2+x-1=0$ の解となっています！！
.. [*] 作図可能数について ギリシャ三大作図問題３_ で触れましたが、作図可能数は有理数体 $Q$ の $2^{n}$ 次拡大体に限られました。 $\mu$ は二次方程式の解ですから、 $Q(\mu )$ は $Q$ の二次拡大体であり、作図可能体だと言えるわけです。逆に言えば、仮に $\mu$ が三次方程式の解として与えられる数とすれば正五角形は作図不可能なわけで、二次方程式の解として $\mu$ を得られたことが本質的に重要です。これが三次方程式だったら、もう作図不可能なわけで、勘のいい人は、作図可能と聞いた時点で、中間体が二次方程式の分解体になっていることが予想できることでしょう。
解の公式より、 $\mu$ を求めることが出来ます。
<tex>
\mu_{1} = \frac{-1+\sqrt{5}}{2}
</tex>
<tex>
\mu_{2} = \frac{-1-\sqrt{5}}{2}
</tex>
ただし、 $\mu_{1}$ と $\mu_{2}$ の符号は、 $\{ \zeta , {\zeta}^{2},{\zeta}^{3},{\zeta}^{4}\} $ の図形的関係から決めました。
.. image:: Joh-PentaConst2.gif
これより、より具体的に $B=Q(\sqrt{5})$ であることが分かりました。 $B$ 上の代数方程式を考えれば、 $\zeta$ と $\zeta^4$ は $x^2-\mu_{1} x+1=0$ の解として、 $\zeta^2$ と $\zeta^3$ は $x^2+\mu_{2} x-1=0$ の解として与えられます。
.. [*] なんだかガロア群や同型写像を色々考えましたが、結局求めたいのは $\frac{-1 \pm \sqrt{5}}{2}$ だったのです。これなら、三角関数の加法定理を使って $\cos \frac{2\pi}{5} , \sin \frac{2\pi}{5}$ から、高校生でも求めることが出来る値です。しかし三角関数を使うのは代数的方法ではありません。（三角関数は超越関数ですね。）私達は純粋に代数的な方法として、最後に二次方程式に辿りつくような方法を考え、確かに $Q$ の二次拡大であるから作図可能である云々という点を確認しました。あくまで代数的にという点が、難しかったわけで、単になんでもいいから正五角形を作図することだけが目的なら、三角関数を使えば簡単な話だったのです。一番簡単なのは、正五角形をフリーハンドで適当に描き（！？）、補助線を引いてピタゴラスの定理を使って $\frac{-1 \pm \sqrt{5}}{2}$ を求めてしまうことです。図形を描くために計算しているのに、最初に図形を描いてしまったのでは論理的に逆ですが、手段を選ばないというならそんな方法もあります。飽くまで、代数的な解放は一種の美的ゲームのようなものですから、今までの論理やガロア理論の美しさを楽しんでください。
正五角形の作図法
-----------------------------------------------------------
ここからはおまけですが、いよいよ作図法を考えることにします。図より、 $\mu_{1}$ が作図できれば、 $O$ と $\mu_{1}$ の中点から垂線を立て、頂点 $\zeta$ , $\zeta^4$ が求まりますので正五角形が作図できることが分かります。 $\mu_{1}=\frac{-1+\sqrt{5}}{2}$ ですが、ピタゴラスの定理で $1^{2}+\left( \frac{1}{2}\right)^2 =\frac{\sqrt{5}}{2}$ が成り立つことを使うと、意外と簡単に作図できます。以下に作図方法を解説しておきます。
.. image:: Joh-PentagonConst3.gif
【正五角形の作図法】
1. 縦横に二本の線を引き、交点を $O$ とします。 $O$ を中心に円を描きます。
2. 円と直線の交点を、 $A,B,C,D$ と名づけます。 $OD$ の中点に $E$ を取ります。
3. 線分 $AE$ の長さは $OA$ を $1$ とすると $\frac{\sqrt{5}}{2}$ です。
4. $E$ を中心に半径 $AE$ の円を描き $OB$ との交点を $F$ とします。
5. 線分 $OF$ の長さは $\frac{-1+\sqrt{5}}{2}$ になっています。
6. $A$ を中心に半径 $AF$ の円を描きます。最初の円との交点が正五角形の頂点になります。
.. _ガロア理論の基本定理: http://www12.plala.or.jp/ksp/algebra/GaloisFundamentalTheorem/
.. _ギリシャ三大作図問題３: http://www12.plala.or.jp/ksp/algebra/Greek3Probs3/
.. _１のｎ乗根: http://www12.plala.or.jp/ksp/algebra/1sNthRoot/
.. _作図できる正多角形: http://www12.plala.or.jp/ksp/algebra/ConstructablePolygons/
@@author:Joh@@
@@accept: 2007-03-03@@
@@category: 代数学@@
@@id: ConstructPentagon@@
|
