4

n個の複素数が正n角形をなす条件

607
0

この記事の目標

よく、高校数学で

複素数α1,α2,α3が正三角形をなす条件を求めよ。

などという問題を目にしますよね。ここではその解説はしませんが、簡単にいうと、三角形の相似条件を使って解くのが一般的でした。しかし、一般の正n角形のなす条件は、その方法をそのまま使おうとしてもうまくいきません。では、どうしたらよいのでしょうか?
この記事では、正n角形の成立条件を与える、次の定理を証明したいと思います。

正n角形の成立条件

n個の複素数α1,,αnについて、次の3つは同値である。

  1. α1,,αnは正n角形をなす。
  2. f(z)=(zα1)(zαn)とおくとき、f(z)n1重根を持つ。
  3. i1<<inαi1αin=(nk)(α1++αnn)k (k{2,,n1})

証明

正直、愚直に計算していけば証明すること自体はそう難しくはないような気がしますが、以下に記す証明は、正n角形の図形的な対称性をうまく活かしたもので、とても面白いです。

(ii)と(iii)の同値は明らかである。実際、(ii)は
f(z)=n(zα1++αnn)n1
すなわち
f(z)=(zα1++αnn)n+c
であるということなので、係数比較して整理すれば(iii)を得る。よって、以下では(i)と(ii)が同値であることを示す。(ii)ならば(i)も上の式から明らかなので、(i)から(ii)を導けばよい。
関数ϕ(z)
ϕ(z)=(zα1++αnn)ei2πn+α1++αnn
とおく。正n角形の重心周りの2πn回転である。このとき、
f(ϕ(z))=(ϕ(z)α1)(ϕ(z)αn)=(ϕ(z)ϕ(α1))(ϕ(z)ϕ(αn))={ei2πn(zα1)}{ei2πn(zαn)}=f(z)
となり、f(z)ϕで不変である。ただし、上の二つ目の=は、(i)を用いた。f(ϕ(z))=f(z)zで微分して、
f(z)=df(ϕ(z))dz=f(ϕ(z))ei2πn
であるから、f(z)の零点集合も、重複を含めてϕで不変である、すなわち正n角形の重心周りの2πn回転に関して対称性を持つ。しかし、この零点集合は元がn1個しかない。それなのにこのような対称性を持つのは、n1個の零点がすべて重心に一致する場合のみであり、(ii)が導かれた。

ガロア理論

以下、少し高度な内容なので、読み飛ばしてもらって構いません。

全体を平行移動させて、重心が原点に一致する場合で考えましょう。すると、定理1の(ii)は、f(z)zn+cの形(znの多項式)をしている、ということになります。上の証明を少し一般化することによって、全く同様にして、次の定理が導かれます。

複素数係数の多項式f(z)の根全体が、重複も含めて原点周りの2πn回転対称性を持つことと、
f(z)=zrg(zn)
なる複素数係数の多項式g(z)および0以上n未満の整数rが存在することと同値である。

g(zn)の次数はnの倍数なので、rf(z)の次数をnで割ったあまりに相当し、zrというのはr個の零点が対称性を邪魔しないように原点に集まっている、というだけのことなので、「原点周りの2πn回転対称性を持つ多項式は"本質的には"znの多項式である」と言うことができます。ここで、上の証明からわかるように、f(z)の次数がnの倍数なら、多項式の根が原点周りの2πn回転対称性を持つことと、f(z)自体が原点周りの2πn回転対称性を持つことは同値であることに注意してください。
さて、この事実の裏には、次のような命題があると言えるでしょう。

一変数有理関数体C(z)の自己同型群の、σ:f(z)f(e2πnz)で生成される部分群σの不変体はC(zn)である。

σの位数はnである。よって、その不変体をKとすると、[C(z):K]=nが成り立つ。明らかにznC(z)Kの元だから、KC(zn)である。XnznC(zn)[X]zを根にもつので、C(z)=C(zn)(z)と合わせて、[C(z):C(zn)]nである。よって、[K:C(zn)]=1すなわちK=C(zn)となる。

つまり、zの有理関数で、原点周りの2πn回転対称性を持つものは、znの有理関数である、ということもわかりました!

おわりに

今回の記事はここまでです。読んでいただきありがとうございました。

投稿日:2021524
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. この記事の目標
  2. 証明
  3. ガロア理論
  4. おわりに