|
第８６話
正七角形の作図問題
|
「主な対象読者」
今回の主な対象読者は「第８０話 不可能にまつわる話 ５．角の三等分」を読まれた方です。しかし、「５．作図不可能性」を除いて、第８０話の知識を必要とはしていません。高校生か、場合によっては中学生以上なら、挑戦してみる価値があるかも知れません。
「著者の実験」
アクセスログの解析から、第８０話が読まれているようです。試しに、その続きを書いて、反応を調べてみたいと思います。
本 文 目 次
１．はじめに
２．複素数
３．複素数の表現
４．１の７乗根
５．作図不可能性
６．おわりに
著者 坂田 明治
第８６話 正七角形の作図問題
１．はじめに
今回は、正七角形の作図問題です。
理科好き子供の広場のアクセスログを見ていると、第８０話「不可能にまつわる話」が読まれているっぽいです（なぜか第２４話も読まれているみたい。こっちは、「スネルの法則 計算」、「最速降下曲線」というキーワード検索で入ってきている）。本当に読んだかどうかは、本人しか解らない永遠の謎ですが、アクセスしている時間から考えて、５章「角の三等分」まで読んでいるような感じです。一応、ログを見る限り、ボットやクローラーとは宣言されていません（そもそも、ボットやクローラーならさっとなめてどっかへ行ってしまう）。自分で読んだ時間と比べても、「やっぱり人かなー」と思えます。本当は、「角の三等分なんて読む人はあまりいないだろう」と思っていたのですが。（ページを作るときに、自分で読むか、誰かに読ませるかして、その時間を計っておくのは手です。後で、アクセスログを見て、開いただけか、開いて下までスクロールしただけか、ちゃんと読んでいるかの手がかりになりますから）
そこで、角の三等分問題を読みに来る人がいると思って、その続きにあたる、「正七角形の作図問題」を書いてみることにしました。はたして、「待ってましたぁー」と喜ぶ人はいるかな。
２．複素数
今回は複素数が必要となってきます（前回も使っていましたが）。
普通の教科書に書いてある導入理由は、x 2 = −1の解がないから、無理矢理導入したというものでした（実係数の多項式を x 2＋1 で割った余りで導入する方法もあります）。実数の２乗は正か０なんで、２乗して負になりっこないですからね。
ここで、注意をひとつ。「方程式の解がある」と「方程式が解ける」とは全く意味が違います。前者は、とにかく方程式の解があるというだけで、具体的に解く方法は何も示していません。それどころか、解く方法がなくても、解の近似値すら求められなくても「俺は知らんもんねー」という立場です。後者は実際に解を求める方法を示す必要があります（例えば解の公式）。
もう少し説明をつけると、複素係数のｎ次方程式は、必ず複素数の解を持ちます。これは「代数学基本定理」というもので、ガウスの学位論文で示されたものです。
一方、１次方程式、２次方程式は簡単に解け（解の公式）、３次方程式、４次方程式も、やがて解けました（解の公式が発見されたこと）。
普通に考えると、「じゃ次は５次方程式の解の公式だ」でしょう。しかし、そうはうまくいきませんでした。「なんとか求まるはずだ」と考え求めようとしても、結局、代数的に解くあらゆる試みは全部失敗しました。後に、５次以上の代数方程式は「代数的に解けない」（代数的な解の公式は存在しない）ということが示されたのです。なお、代数的でなければ５次方程式の解の公式はあります。
ということで、「解がある」と「解ける」は別ものです。注意しましょう。
さて、複素数を導入しましょう。普通にやっても面白くないので、いつものように遠回りしていきます（好き勝手デタラメやりたい放題ともいう）。
まずは平面上で三角形の見直しからはじめましょう。
三角形の構成要素は、３個の点、３本の辺、三角形の面です。この構成要素を個々に見ていきます。図１にあるように、三角形の面を与えれば三角形ですので、この場合を考える必要はないでしょう。３個の点を勝手に取れば（以下、同一直線状にないとか、重なっていないとか、そういう細かなことはいちいち書きません。どうすればよいかは自分で考えましょう）、３点を線分で結ぶことによって三角形ができます。この場合も問題ありませんね。
問題になるのは、３本の辺です。勝手な線分を３本与えても三角形にはなりません。ばらばらな線分が３本あるだけです。たとえ線分を平行移動して端点を重ねたとしても、やはり三角形にはなりません。端点を、どうつないでも無理です。更に、平行移動以外に回転や折り返しを許したとしても、状況は変わりません。たとえば、１００の長さの線分１本と１の長さの線分２本とを考えてみれば、どうつないでも三角形はできません。
では、元々三角形の辺だった線分を平行移動して端点を重ねてみましょう。今度は、三角形が４個できました。端点のつなぎ方を変えたものは、元の三角形に対して１８０度回転したものになっています。平行移動して重ねられる三角形を同じものとみなせば、三角形は２個です。元の三角形と１８０度回転したものです。
これから解ることは、勝手な３本の線分を与えても、三角形ができなかったり、できても１個だけにはならないということです。都合が悪いですね。なんか別な手を考える必要がありそうです。
よく考えてみると、線分を３本も与えたのが原因のようです。それでは、線分を２本だけ与えてみましょう。以下、平行移動は自由に行います。
２本の線分の端点をつなぎ、残りの端点を線分で結べば、とりあえず三角形ができます。ただ、この場合でも三角形は４個できてしまいます。しかし、とりあえず、三角形ができたので、問題は１個に限定することです。
図４をよく見てみましょう。線分の端点は２個あるので、２本の線分の端点のつなぎ方は４通りになります。その組み合わせのそれぞれに三角形ができますので、結果として４個の三角形ができます。そうすると、つなぐ端点を指定しておけば、つなぎ方が１通りに決まり、できる三角形も１個だけになるはずです。
そこで線分の端点の指定方法を考えます。普通、線分ＡＢと書いても、線分ＢＡと書いても同じものです。あえてここで、線分ＡＢと線分ＢＡとを異なるものとして扱いたいため、ＡからＢへの矢印を書き、有向線分ということにしましょう。（どうしてもちゃんとやりたいという人は、Ａ、Ｂの順序対（Ａ，Ｂ）として定義すればいいです）
図５にあるように、有向線分の端点は、矢印の始まりの方を「始点」、矢印の終わりの方を「終点」と呼び区別します（順序対で定義した場合は、第１成分が始点、第２成分が終点）。そして、有向線分ＡＢと書いた場合は、Ａが始点、Ｂが終点です。
有向線分は、平行移動して、矢印の向きまで込めて重なるものを「等しい」とみなします（順序対で定義した場合の同値関係は自分で考えてね）。これから、有向線分ＡＢと有向線分ＢＡは別ものになります（矢印の向きが逆だから）。
そして、有向線分から三角形を作るときは、必ず双方の始点をつなぎ、おのおのの終点を線分で結んで作るものとします。こうすると、つなぎ方が１通りになりますので、できる三角形は１個だけになります。図７をよく見ると、三角形の合同条件を思い出すでしょう。２辺とはさむ角が等しければ合同でしたね。ここで、「あれっ」と気づいた人はエライ。今までやってきたことから、２辺とはさむ角が決まれば三角形は決まりますが、３辺が決まっても三角形は決まりません。正確には、三角形のできないことがあるということです。
つまり、「三角形・・・において」という前提があれば、「対応する３辺が等しい」と「対応する２辺とはさむ角が等しい」は同じになりますが、三角形という前提がなければ同じになりません。と「対応する１辺と両端の角が等しい」については自分で考えましょう。
「三角形なんとかにおいて、・・・」とちゃんと前提を正しく示して説明していても、その実、この前提がなぜ必要か理解していない人がいます。慣例に従って書いており、どこにも間違いがないのだけれども、このようなこともあります。理科好き子供の広場のあっちこっちで、「何事も疑ってかかり、自分でよく考えろ」と書いてきましたが、それはこういうことだったのです。とにかく、自分でよく考えましょうね。
図７に関連して、「対応する２辺とはさむ角が等しい」というのは合同条件でしたが、これを少しゆるめると相似条件になります。
さっそく、三角形の相似を考えてみましょう。
三角形ＡＢＣと三角形ＰＱＲが相似であれば、
です。逆に、上の二つの式が成り立てば、三角形ＡＢＣと三角形ＰＱＲは相似です。図８と式（１）をみれば解りますが、２辺と挟む角によって三角形が構成されて、その上で相似の条件が扱われています。
有向線分を用いると、有向線分２本で三角形が構成されてしまい、見かけ上、はさむ角が表に出てきません。ということは、有向線分によって相似の条件を記述すれば、角が表にでてこないと期待されます。
最初に、有向線分で式を記述するために、有向線分を表す記号を定めましょう。
式（２）のように、線分の記号の上に矢印を付けて表すことにします。
このとき、Ａを始点、Ｂを終点とします。こうしておいて、形式的に、
と書きます。そして、この式の意味するところは式（１）であるとします。つまり、「有向線分の比が等しい」ということを式（１）で定義します。（注：「比が等しい」ということを定義したのであって、「比」を定義したのではありません。この手の微妙な表現の差を混同している人をよく見かけますので）
「なんだ、むりやり角を表に出さないように書いただけじゃないか」といわれればその通りですが、その意見は無視して話を進めましょう。比が等しいとき、内項の積は外項の積でしたから、式（３）を形式的に積の形にして、
と書くことにします。この意味は式（３）であって、結局は式（１）を示しています。
一応、図１１から、
が成り立つので、
となって、可換（順序を入れ替えてもよいということ）になります。
式（４）に戻って、有向線分ＡＢの長さを１とします。
図１２より、
なので、
これより、式（４）で、有向線分ＡＢは長さが１で、相似の基準となっているから、書かないことにすれば、
となって、形式的に、有向線分の積を定義したようなものになります。この式の意味を考えてみましょう。実態は、式（８）なので、式（８）と元になった図１２を見ながら考えます。
まず、ＰＲはＰＱとＡＣの積であることから、ＰＲはＰＱのＡＣ倍となります。次に、角ＱＰＲが角ＢＡＣであることから、ＰＲはＰＱを角ＢＡＣだけ回転したものになります。これから、有向線分ＰＲは有向線分ＰＱをＡＣの長さ倍して角ＢＡＣだけ回転したと考えられます。これでうまく有向線分の積を定義できそうですね。と思ったら甘い。
図１３のような場合はどうするのでしょうか。今までとは角度を計る向きが逆です。式（８）はそのまま成り立ちますが、しかし、角度については角ＢＡＣ分逆回転したものになっています。それなら角度に符号をつければよさそうですね。いや待てよ。１８０度より大きい方の角度（三角形の角の外側の角度）を取って回転したと考えてもいいのではないでしょうか。結局のところ、どちらでもよくなります。それどころか、図１２、図１３とも何周かして計ってもよいことが解ります。ここは自分でよく考えてみましょう。
ここまで準備的な考察をすれば、有向線分の積をどう定義すればよいかが解ります。簡単のために、平面上に点Ｏを取り、有向線分を平行移動して、始点をＯとします。次に、Ｏを始点とする長さ１の有向線分ＯＥを引き、これを基準とします。角度を計る方向は、Ｏを中心として反時計回りを正、時計回りを負とします。
図１４を基にして、有向線分の積を定義します。
式（１０）の意味は、ＯＲの長さは、ＯＰとＯＱの長さの積で定義し、有向線分ＯＲが有向線分ＯＥ（基準）となす角は、有向線分ＯＰと有向線分ＯＥのなす角に、有向線分ＯＱと有向線分ＯＥのなす角を加えたものです。言い換えると、ＯＰの長さをＯＱの長さ倍して、有向線分ＯＰが有向線分ＯＥに対してなす角を、有向線分ＯＱが有向線分ＯＥとなす角だけ回転させたものです。
これから、すぐに式（１１）、式（１２）が成り立つことが解ります。なお、式（１１）を「交換律」、式（１２）を「結合律」といいます。
式（１１）は有向線分ＯＰをＯＱ倍して回転させても、有向線分ＯＱをＯＰ倍して回転させても同じになるということです。図１４を見れば解るでしょう。
式（１２）の幾何学的意味は自分で絵を書いて考えましょう（手抜き）。式（１２）から、特に計算の順序を指定する必要がなければ（ ）を省略してもよくなります。
更に、定義から式（１３）の成り立つことが解るでしょう。
基準となる有向線分ＯＥとの積は、何もしないのと同じですからね。有向線分ＯＥのことを「乗法単位元」とか、「積の単位元」といいます。なお、交換律が成り立ちますので、片側単位元だけで十分です。以下同様に、片側だけで手抜きをします。
ここで、図１５、式（１３）の意味を少し考えなければいけません。図１４で、三角形ＯＥＰと三角形ＯＱＲが合同で、有向線分ＯＱが有向線分ＯＥに重なっているということです。大したことではありませんが、このように、常に式の意味を考えるようにしましょう。それがやがて自分のためになってきます。
積の定義である式（１０）と図１４を見れば、有向線分の逆数みたいなものが求まります。
図１６のように長さの逆数をとって、逆回転させればよいだけです。これを、
と書くことにしましょう。そうすれば、
が成り立ちます（このときに、式（１４）を有向線分ＯＰの「逆元」とか「逆数」といいます）。そこで、式（１６）のように表記することにしましょう。
すると、今までのことから、有向線分の積と割り算（分数）は全く普通の数と同じように計算できることになります。
分数が定義できれば比が定義できますので、
として比を導入できます。こうすると、出発点となった、式（３）が意味を持ち、それ以降の形式的な記法が正しいものになります。
ここまでを振り返ると、割り算（分数、比）は相似比という幾何学的対象であり、かけ算（積）は拡大縮小と回転という幾何学的対象でした。ここから先は、出発点になった図７をもう一度よく考え直してみることから始まります。
図７は有向線分２本で三角形ができることを示していました。具体的には、有向線分の終点を結ぶ線分を引けば三角形が出来るということです。ここだけ線分ではまとまりがないので（線分と有向線分が入り混じっているということ）、有向線分としてまとめることを考えましょう。
とりあえず、有向線分化して図１７を考えます。
有向線分ＯＡと有向線分ＯＢとで三角形はできますが、このときに、線分ＡＢを無理矢理有向線分化して、有向線分ＡＢを考えます。さて、有向線分ＡＢは、有向線分ＯＡと有向線分ＯＢからどのように作られたと考えられるでしょうか。
まず、線分ＡＢはそれぞれの終点を結べばよいので、問題は矢印の向き、つまり方向です。図１７をながめると、有向線分ＯＡの終点を始点、有向線分ＯＢの終点を終点としています。ということは、この２本の有向線分は対等ではなく逆の性質を持っているはずです。
そこでとりあえず、形式的に、
と書くことにしましょう。更に、形式的に移行して、
と書くことにします。式（１９）と図１７をよく見てみると、有向線分ＯＡの終点に有向線分ＡＢの始点をつなぎ合わせてできた三角形に対して、有向線分ＯＢを作っていると考えられます。
そこで、図１８のように、有向線分の和を、第１項の有向線分の終点に、第２項の有向線分の始点をつなげてできた三角形に対して、第１項の始点を始点とし、第２項の終点を終点とする有向線分と定義します。
有向線分が一般の位置にある場合を考えましょう。
この場合は、図１９のように平行移動させ、終点と始点を一致させて和をつくります。
次に、図２０をよくながめてみます。
これから、式（２２）が成り立つことが解ります。
式（２０）と式（２２）とから、
が成り立ちます。ここで、
です。これでは解りにくいので、一般の位置で考えましょう。
一般の位置で考えると、次の式（２５）が成り立つことがわかります。なお、式（２５）を「交換律」といいます。
更に、次の式（２６）も成り立ちますが、これば自分で絵を書いて確かめましょう（またも手抜き）。なお、式（２６）を「結合律」といいます。
これから、特に計算の順序を指定する必要がなければ（ ）を省略してもよくなります。
ところで、図２２を見ると、式（２７）が成り立ちます。
このため、１点も有向線分と考えなければ不都合が生じます（有向線分の和が１点になるから）。それで、１点も有向線分としておきましょう。今度はこれによって考え直さねばならないことが出てきますが、その前に、式（２８）が成り立ちます。
式（２８）から、１点のことを「加法単位元」とか、「和の単位元」といいます。
ここで、式（２７）から、有向線分ＢＡのことを、有向線分ＡＢの「逆元」といいます。（この場合、積のように逆数とはいいません）
和の逆元ですから、式（２９）のように書いてさしつかえなくなります。
以上から、有向線分の差、または引き算を式（３０）で定義できます。
こうしても、差を考える元になった図１７と矛盾しません。
これから、有向線分の和（足し算）と差（引き算）も、幾何学的対象から出発して考えてきたものと矛盾せず、都合がよくなります。この意味をもう少し詳しく書くと、計算をしていく際に、幾何学的イメージを描き、何をしているのかが解るということです。
この少し前に、１点も有向線分にすると、少し考え直さなければならないことがあると書きましたが、今度はそれを考えましょう。
１点と、基準になる有向線分ＯＥとが作る角は考えられません（図１４参照）。しかしながら、１点の長さは０なので、どんな有向線分との長さの積も０です。ですから、この際、角度の方は無視して、長さが０である方に着目し、式（３１）のように１点との積を定義します。参考：「第１５話 ゼロは脅威の数 」
さて、和と積が入り混じった式の計算はどうしましょうか。そういう計算もできるようにしておけば、今までの数と同様な機械的計算ができるようになります。その際、（ ）がやたらと付くと見づらくなるため、計算の際に、積は和に優先するとしておきます。これで、普通の数の計算と同様に（ ）がだいぶ減ります。
和と積が入り混じった式の計算で基本となるのは式（３２）です。
この式は、図２４から成り立つことが解ります。ちょっと複雑ですが、順を追って有向線分を追いかけてみれば納得できるでしょう。
一般の位置で考えると、次の式（３３）の成り立つことがわかります。なお、式（３３）を「分配律」といいます。
分配律を用いて、式（３４）を計算します。
より、
交換律が成り立つことから、これは式（３１）と同じものです（ただし、一般の位置になってる）。つまり、１点との積もうまく定義できているということです。
以上から、有向線分は通常の数と全く同様に四則演算のできることが解りました。つまり、体（たい）になっています（特に、積の交換律が成り立つので可換体です）。（「第８０話 不可能にまつわる話 ５．角の三等分」参照）
そこで、有向線分に、今までやった四則演算を入れた体系を、「複素数」（２元数ともいう）と呼ぶことにします。単なる数の集合ではなく、演算が入っていることに注目しましょう。
普通は、
足し算 → 引き算 → かけ算 → 割り算
と進むのに、ここでのやり方は、
割り算（比） → かけ算 → 引き算 → 足し算
でした。幾何学的な意味を重視してやったので面白かったかも。
３．複素数の表現
複素数は自由に四則演算ができて、今までの数と同じように計算できることは解りましたが、いちいち幾何学的にやるのは面倒です。ここでは、数値表現を行って、機械的に計算することを考えましょう。
まず、前章の結果を踏まえて、平面が必要であることは解りますね。数値表現を行うので、直交座標を導入するのが自然です。
座標の中心を慣例にしたがって原点Ｏと書きます。横軸は普通に数値の目盛りをとります。縦軸ですが、これも普通に数値の目盛りをとったのでは、座標を（ a , b ）などと書かなくてはならなくなります。それでもいいのだけれども、ここは少しひねって、縦軸には、文字を付けて、文字付きの目盛りとしてしまいましょう。この威力は後ほど解ります。
付ける文字はなんでもいいのだけれども、これも慣例にしたがって i と書きます。ここで、やっぱり慣例にしたがって、横軸を「実軸」、縦軸を「虚軸（きょじく）」と呼ぶことにします。ウソの軸だなんて、よっぽど自信がなかったんだろうけど、言葉の意味は深く考えません。
更に、実軸上の点 a を原点Ｏから a への有向線分（有向線分Ｏa）と同一視します。特に違和感はないでしょう。同様に、虚軸上の点 b i を原点Ｏから b i への有向線分（有向線分Ｏ b i）と同一視します。なお、実軸上の点 a は実数 a と同一視します。そうすることによって、複素数は実数を拡張したものと考えられます。何を拡張して、その違いが何かは、おいおい明らかになっていきます。
原点Ｏから点Ｐへ向かう有向線分（有向線分ＯＰのこと）を考えましょう。図２６をよく見ると、有向線分Ｏa の終点 a に、有向線分Ｏ b i を、始点が a に重なるように平行移動して、加えたものが、有向線分ＯＰになっています。そうすると、これは有向線分（複素数）の和ということで、式（３６）のように書いてもいいでしょう。
有向線分（複素数）の表現ができたので、以下、順次、今までやった有向線分（複素数）の演算がどう表現されていくかを見ていきます。
まずは、有向線分（複素数）の和です。
図２７を見れば、有向線分（複素数）の和が式（３７）で表現できることが解ります。
次に、有向線分の差です。
図２８を見れば、有向線分（複素数）の差が式（３８）で表現できることが解ります。
式が複雑でうっとうしくなるのを避けるため、式（３９）のように略記することにしましょう。
さてここで、普通に教えられる複素数の取り扱いをながめてみましょう。ここでやってきた方法と混同しないように、順序対で書くことにします。まず、複素平面の点を複素数として、その上で、和と差の定義をそれぞれ式（４０）、式（４１）としていました。
なんのへんてつもないように見えますが、点の平行移動はどう解釈するのでしょうか。どの２点も平行移動で重なるから、平行移動で重なる点を同一視するということに意味はありません。あえて和を幾何学的に解釈しようとすれば、図２９のようになります。
図２９のように、原点と２点が張る平行四辺形を考えて、その対角線と解釈しなくてはならないでしょう。平行移動の概念がうまく解釈できないので、図２７のような取り扱いはできません。
差の解釈にいたっては、更にややこしくなります。
点 ( a, b ) から原点に対して対称の位置に点を作り、その上で平行四辺形を作って対角線と解釈しなくてはなりません。これも図２８のような取り扱いはできません。
そもそも、点と点の和とか、点と点の差というのはなんなのでしょうか。このような問題点が出てきます（点とベクトルを対応させ、２次元ベクトル空間と同一視するという手はありますが）。同型ならなんでも同じというのは重要なことです。しかし、個々の場合の個性を重視するというのも同様に重要です。本稿でのやり方は、このように幾何学的な視点を重視し、いい加減な取り扱いになっているものを明らかにすることです。これが目的の一つです。そして、本稿の最大の目的は、もちろん「面白半分」です。
話を元へ戻して、v、w、z を複素数としたときに、次の式（４２）、（４３）、（４４）、（４５）は成り立ちます。簡単な計算で確認できますので、自分で確認してみましょう（成り立つことは２章でやっていますが）。
式（４２）、（４３）、（４４）、（４５）はそれぞれ、交換律、結合律、単位元の存在、逆元の存在です。
さて、積がどう表現されていくかを見ていきましょう。
積は、線分の長さ倍と回転からなっていたので、それに合わせた表現で考えましょう。図３１を見ると、式（４６）の左辺で表すのが自然です。
しかし、式（４６）の左辺では書くのが面倒くさくなるので、右辺のように書くことにします。
では、積について考えましょう。
図３２は有向線分（複素数）の積を表した図です。これを基にして考えます。
まず、式（４７）の左辺（１段目の式）は有向線分（複素数）の積そのものです。図３２から、有向線分（複素数）の積は、有向線分の長さ倍して、回転したものなので、右辺（２段目の式）のようになります。
次に、割り算について考えましょう。
図３３は有向線分（複素数）の割り算を表した図です。これを基にして考えます。
まず、式（４８）の左辺（１段目の式）は有向線分（複素数）の割り算そのものです。図３３から、有向線分（複素数）の割り算は、有向線分の長さで割って、逆回転したものなので、右辺（２段目の式）のようになります。
以上のことから、v、w、z を複素数としたときに、式（４９）、（５０）、（５１）、（５２）は成り立ちます。簡単な計算で確認できますので、自分で確認してみましょう（成り立つことは２章でやっていますが）。
式（４９）、（５０）、（５１）、（５２）はそれぞれ、交換律、結合律、単位元の存在、０でない元の逆元の存在です。
今度は、複素数最大の特徴である i の２乗について考えましょう。
図３４をよく見ると、今までやった有向線分の回転と考えても、または、最初にやった相似の問題まで立ち返って、直角二等辺三角形の相似比から考えても、i の２乗の位置は−１になります。つまり、式（５３）が成り立ちます。
式（５３）は、実数の範囲では成り立ちません。実数の２乗は正か０でしたからね。しかし、複素数では、２乗して負になるものがあるということです。なお、i のことを虚数単位といいます。
ここで、積や割り算のときの複素数の表記と、和や差のときの複素数の表記が少し違っています。これらの間の関係を考えましょう。
図３５は２通りの表現方法で複素数を表したものです。各文字の間の関係は式（５４）のようになります。
そこで、実際に積を計算してみます。なお、計算には sin 、cos の加法定理を用います。
式（５５）の一行目は、和や差のときの表現で積を書いたものです。２行目は、単に積や割り算に都合のよい形に書き換えただけのものです。３行目は、積の結果です。以下、加法定理を使って計算し、最終行が得られます。最初と最後だけ書き出すと式（５６）になります。
式（５６）の左辺（第１行）は、少し後で出てくる「分配律」を使ってガシガシ計算し、i の２乗が出てきたら−１に置き換えたものになっています。こういう意味でも、この計算結果は妥当なものであるといえます。
割り算についても全く同様に計算できます。
これも、最初と最後だけ書き出すと式（５８）のようになります。
こちらは、分母の実数化（ ( c − d i ) を分母分子にかけること ）とこの後すぐに出てくる、「分配律」を使ってガシガシ計算し、i の２乗が出てきたら−１に置き換えたものになっています。こういう意味でも、この計算結果は妥当なものであるといえます。
さて、和と積のあいだの関係が式（５９）です。ここで、v 、w 、z は複素数です。
式（５９）を分配律といいます。この式は、有向線分のときに示されていますが、式（５６）などを用い、ガシガシ計算しても確かめられます。念のために書いておきますが、分配律は、式（５６）を示すのに用いていません。式（５６）は複雑なので、忘れてしまったときは、分配律を用いてガシガシ計算して出せばよいということです。ここでやってるのは、あくまでも数値表現がうまくいっているという確認ですので、お間違いなく。
前章で書いたように、複素数では、四則演算が自由におこなえます。つまり体になっています（しかも、可換体）。ということで、実数と全く同じように計算できます。
計算法則は実数と同じですが、複素数では２乗して−１になったり、それどころか、２乗しても実数にならないこともあるので（絵を描いて確かめましょう）、この点は実数と異なっています。その代わり、式（６０）が解けます。
実数の範囲では、式（６０）に解はありません。２乗すると正か０になるからです。しかし、複素数では解け、解は式（６１）になります。
これも自分で絵を書いて確かめましょう。
ここでは、これ以上代数方程式に入り込みませんが、複素数の範囲で、３次方程式と４次方程式は代数的に解けます（べき乗根を使った解の公式があるということ）。更に、代数学基本定理が成り立ちます。この辺は２章の最初の辺りに書いてありましたね。
他にも実数との違いがあります。その前に、よく複素数に大小関係は入らないと思い込んでいる人がいますが、これは正しくありません。どのような集合にも大小関係は入れられます（整列可能定理）。
例えば、式（６２）のようにすれば大小関係が入ります。
そもそも、大小関係というのは、式（６３）が成り立つことです。
式（６２）が大小関係になっていることは自分で確かめてみましょう。
それで、複素数で大小関係が入らないというのは、大小関係と、四則演算がうまく結び付けられていないということです。実数の大小関係を思い出しましょう。正の数をかけても不等号の向きが変わらないなどの性質があったでしょう。
複素数では、実数のように大小関係が四則演算とうまく結びついていない例が式（６４）です。
このように、都合の悪いことが起こるので、複素数では大小関係を考えません。
ここで、平方根号に関する注意をひとつ（−１ の平方根の意味は自分で考えて）。式（６５）のようなことをやって喜ぶ人がいます。
「おっ、−１＝１なのか」と感激する人はあまりいないでしょう。「なんか変だな」と思いますが。では、どこが悪いのでしょうか。
式変形を順番に見ていくと、式（６６）を使っているところが一番怪しく思えます。
この式は無条件には成り立ちません。教科書か何かをよく調べてみましょう。a が0以上、b が正のときしか証明されていませんよ。ということは、成り立っているかどうか不明なもの（この場合成り立ってないけど）を勝手に使って、間違った結論を出しているということです。
この章の中ごろで、「点の平行移動はどう解釈するのでしょうか」と書きましたが、それは何も考えずに「こんな感じ」なんてやると、式（６５）のような間違いを犯す危険性があるからでした。こういうこともあるので注意しましょう。
４．１の７乗根
この章では正七角形の作図問題の準備として、１の７乗根について考えます。
１の７乗根というのは、７乗して１になる複素数です。したがって、式（６７）の解になります。
あるいは、１を移行して、式（６８）の解といっても同じです。
式（６７）と式（６８）のどちらを使うかは、目的によります。ここでは、式（６７）の方を使います。まず、実数の範囲では、式（６７）の解は１だけです。そして、式（６７）の解となる複素数（有向線分）は、長さが１です。これは、１より大きければ、その長さの７乗は当然１より大きいし、１より小さければ、その長さの７乗は当然１より小さくなって、いずれも解にならないからです。
そうすると、始点を原点に取って図示すると、単位円（原点を中心、半径１の円）の円周上に解が乗っています。解を７乗するということは、図３６のように角度を７倍することですから、式（６９）のようになります。ここで、７倍すると、原点の周りを何回か回ることもあるので、２πの整数倍になります。
三角関数で２πの整数倍は、関数値に影響を与えませんので無視して、この式を解くと、式（７０）のようになります。
式（７０）から、１の７乗根は、式（７１）のように７個求まります。
これを図示すると、図３７のようになります。
この解を順番に線分で結ぶと、各辺に対応する中心角は全て ２π／７ なので正七角形となります。
えっ、式（７１）の解じゃ「よくわかんない」だって。三角関数表示の解じゃ、なんか解った気がしないという人もいるかも知れません。そういう人は式（６８）を解きましょう。
まず、因数分解して式（７２）のようにします。
第１の因数はどうってことありませんから、第２の因数が問題です。ということで、式（７３）を考えましょう。
ここでちょっと式（７４）のように式変形をします。
更に、式（７５）のように置くと式（７６）になります。
式（７６）は３次方程式なので、代数的に解けます。つまり、w は求まります。そうすれば、式（７５）から z が求まります。どうしても代数的な解が欲しいという人は、頑張って解きましょう。
５．作図不可能性
いよいよ正七角形の作図問題を考えるときがきました。やり方は、「第８０話 不可能にまつわる話 ５．角の三等分」と全く同じです。必要な概念や、記号等はそこに書いてあるものを使用しますので、あらかじめ読んでおきましょう。
まず、作図問題と言っているのは、定規とコンパスで作図できるかどうかという問題です。したがって、正七角形の作図問題とは、定規とコンパスで正七角形を作図できるかどうかということです。図３７で見たように、１の７乗根が作図できるかどうかという問題になります（ただし、解のうち１は除く）。
ということで、式（７７）に対応する式（７８）の作図を考えましょう。
図３６を参考にして、式（７８）をよく見てみると、z が作図できることと、cos θ が作図できることは同じです（ cos θ の位置から垂線を立てることと、単位円との交点は作図できるから、これによって i sin θ も作図できる）。
更に、式（７９）から、w が作図できることと同じです。これから、w が作図できなければ、cos θ も作図できず（ z も作図できない）、結果として、正七角形の作図はできないことになります。
それで、w が作図できないことを示せば完了です。ここに至って、前回（「第８０話 不可能にまつわる話 ５．角の三等分」）で手抜きした定理が必要になりました。今度は、一般の場合についてちゃんとやりましょう。
式（８０）を整数係数の３次方程式とします。
一般的な定理の形で書けば、「整数係数の３次方程式は、有理数解を持たなければ、作図可能な解を持たない」ということです。
式（８１）は、今回使うのでやむなく書きますが、詳しくは「第８０話 不可能にまつわる話 ５．角の三等分」に書いてあるので、そちらを参考にしてください。
もし、式（８０）が有理数解を持たないにもかかわらず、作図可能な解 x を持ったとして、x を始めて含む拡大体をF k とします。つまり、式（８２）となる最小の k を取ります。
そして、式（８２）を式（８０）へ代入して整理します（この計算合ってるかなー）。
これから、式（８４）が出てきます（第２式が 0 から、第１式が 0 ）。
もし、そうでないと、式（８５）のようになって、k の取り方に反します。
今度は、式（８６）のように y を置きます。
すると、式（８０）の左辺へ代入して、式（８７）のようになりますから、y も式（８０）の解です。
また、式（８２）の仮定から、式（８８）が出てきます。
式（８０）の残り一つの解をα とすると、解と係数の関係から式（８９）が成り立ちます。
これより、α を求めて式（９０）のようになります。
これは k の取り方に反していますので、結局、作図可能な解を持つということは誤りになります。
あとは、式（７６）が有理数の解を持たないことさえ示せば、正七角形は作図不可能になります。
今度も式（７６）が有理数の解を持ったとして、式（９１）のように置きます。
式（９１）を式（７６）へ代入して整理すると式（９２）になります。
式（９２）から、有理数の解を持たないことが解ります（詳細は自分で考えましょう）。
以上から、正七角形は定規とコンパスで作図できないということが解りました。
６．おわりに
今回はやたらと長くなってしまいました。しかも、実際には、後半の正七角形の作図問題よりも、前半の複素数が中心の話です。はたして、読みに来られていた方が満足するような話かどうかも解りません。それ以前に、読みに来られる方が、本当にいるかどうかも解らない状況です。
もっとも、読まれなくたって別に大した問題ではありません。途中でも書いたように、「面白半分」で書いていたものですから。
そういう意味では、今回の原稿は一番動機が不純です。アクセスログを見て、「書いてみるか」となっていますから。いつもなら、「今回は、これこれのネタでいこう。面白そうだから」とネタを考えてから書いています。つまり、「面白全部」がいつもの執筆動機ですが、今回に限って「面白半分」でした。
いや、よく考えたら、頼まれて書いたのもありましたっけ。まあ、いいや。いつも、「好き勝手デタラメやりたい放題」ということで書いていますので、中途半端な書き方や、肝心なことが書いてないといった批判をしても意味がありませんよ。啓発なんて目的ではありませんから。
そもそも、自分が面白いと思わないものを書いても、誰が面白いと思うのでしょうか。さて、今回のような動機に対して、みなさんはどうお考えでしょうか。
完
平成24年7月7日
著作者 坂田 明治（あきはる）
|