この記事の目標
よく、高校数学で
などという問題を目にしますよね。ここではその解説はしませんが、簡単にいうと、三角形の相似条件を使って解くのが一般的でした。しかし、一般の正角形のなす条件は、その方法をそのまま使おうとしてもうまくいきません。では、どうしたらよいのでしょうか?
この記事では、正n角形の成立条件を与える、次の定理を証明したいと思います。
正n角形の成立条件
個の複素数について、次の3つは同値である。
- は正角形をなす。
- とおくとき、は重根を持つ。
証明
正直、愚直に計算していけば証明すること自体はそう難しくはないような気がしますが、以下に記す証明は、正角形の図形的な対称性をうまく活かしたもので、とても面白いです。
(ii)と(iii)の同値は明らかである。実際、(ii)は
すなわち
であるということなので、係数比較して整理すれば(iii)を得る。よって、以下では(i)と(ii)が同値であることを示す。(ii)ならば(i)も上の式から明らかなので、(i)から(ii)を導けばよい。
関数を
とおく。正角形の重心周りの回転である。このとき、
となり、はで不変である。ただし、上の二つ目のは、(i)を用いた。をで微分して、
であるから、の零点集合も、重複を含めてで不変である、すなわち正角形の重心周りの回転に関して対称性を持つ。しかし、この零点集合は元が個しかない。それなのにこのような対称性を持つのは、個の零点がすべて重心に一致する場合のみであり、(ii)が導かれた。
ガロア理論
以下、少し高度な内容なので、読み飛ばしてもらって構いません。
全体を平行移動させて、重心が原点に一致する場合で考えましょう。すると、定理1の(ii)は、がの形(の多項式)をしている、ということになります。上の証明を少し一般化することによって、全く同様にして、次の定理が導かれます。
複素数係数の多項式の根全体が、重複も含めて原点周りの回転対称性を持つことと、
なる複素数係数の多項式および以上未満の整数が存在することと同値である。
の次数はの倍数なので、はの次数をで割ったあまりに相当し、というのは個の零点が対称性を邪魔しないように原点に集まっている、というだけのことなので、「原点周りの回転対称性を持つ多項式は"本質的には"の多項式である」と言うことができます。ここで、上の証明からわかるように、の次数がの倍数なら、多項式の根が原点周りの回転対称性を持つことと、自体が原点周りの回転対称性を持つことは同値であることに注意してください。
さて、この事実の裏には、次のような命題があると言えるでしょう。
一変数有理関数体の自己同型群の、で生成される部分群の不変体はである。
の位数はである。よって、その不変体をとすると、が成り立つ。明らかにはの元だから、である。はを根にもつので、と合わせて、である。よって、すなわちとなる。
つまり、の有理関数で、原点周りの回転対称性を持つものは、の有理関数である、ということもわかりました!
おわりに
今回の記事はここまでです。読んでいただきありがとうございました。