単位円に内接する正多角形
今回の記事では, タイトルにも書いたように, 単位円に内接する正多角形に関する面白い定理を紹介します.単位円に内接する正 角形のある頂点から, 他の 個の頂点への距離の積は .
例.
いくつか例を見てみましょう.・正三角形の場合
1 辺の長さは なので,
.
・正四角形(正方形)の場合
1 辺の長さは で, 対角線の長さは なので,
.
・正五角形の場合
1 辺の長さは
対角線の長さは
なので,
\begin{align*}
\left(2\sin\frac{\pi}{5}\times4\sin\frac{\pi}{5}\cos\frac{\pi}{5}\right)^2 &= \left(8\sin^2\frac{\pi}{5}\cos\frac{\pi}{5}\right)^2\\
&= \left(8\cdot\left(\frac{\sqrt{10-2\sqrt{5}}}{4}\right)^2\cdot\frac{\sqrt{5}+1}{4}\right)^2\\
&= 5
\end{align*}
と確かに成り立っています.
定理の証明.
ここでは複素平面上で単位円に内接する正多角形を使って証明していきたいと思います.(おそらくもっと簡単な証明の仕方があるかと思います.知っている方がいたら教えて下さい.)
まず, 必要になる補題を用意しておきます.
\begin{align*}
V_n = \left(\begin{array}{llll}
1 & 1 & \cdots & 1\\
x_1 & x_2 & \cdots & x_n\\
\vdots & \vdots & \ddots & \vdots\\
x_1^{n-1} & x_2^{n-1} & \cdots & x_n^{n-1}\end{array}\right)
\end{align*}
という形をした行列を Vandermonde 行列という.
このとき, 行列式は
\begin{align*}
\det V _ n = \prod _ {1\leq j < k\leq n}(x _ k - x _ j).
\end{align*}
を満たす に対して, が成り立つとき は 2 つの列が一致して行列式 となるので, の多項式である は を因数として持つことが分かり,
\begin{align*}
\det V _ n = f(\boldsymbol x)\prod_{1\leq j < k\leq n}(x _ k - x _ j)
\end{align*}
() は の多項式) と書けます.
一方で, とすると, 行列式の定義から
なので, は について 次の式です.
を満たす の組は 組なので, は定数になります.
最後に, として恒等置換を選んだ場合に出てくる項 の係数を比較することで, と求まります.
\begin{align*}
f(x) &= \sum_{k=0}^n a_k x^k\\
g(x) &= \sum_{k=0}^n b_k x^k
\end{align*}
() について, 個の相異なる複素数 に対して
\begin{align*}
f(x_i) = g(x_i)\quad (i=0, 1, \ldots, n)
\end{align*}
が成り立つとき, .
すなわち, for all
(証明).
とおき, の次数を として,
\begin{align*}
h(x) = \sum_{k=0}^{n^\prime}c_k x^k
\end{align*}
とおきます.
\begin{align*}
h(x_0) = h(x_1) = \cdots = h(x_{n^\prime}) = 0
\end{align*}
が成り立つので,
Vandermonde 行列
行ベクトル を考えると,
\begin{align*}
\boldsymbol v V_{n^\prime} = \boldsymbol 0
\end{align*}
が成り立ちます.
は相異なるので,
\begin{align*}
\det V_{n^\prime} &= \prod_{1\leq j < k\leq n^\prime}(x_j-x_k)\\
&\neq 0
\end{align*}
となり, は正則行列で, .
すなわち, で より, .
ここから, いよいよ定理の証明に入っていきます.
複素数平面上で, の表す点は, 単位円に内接する正 角形の頂点を与え, はすべて方程式 の解になっているので,
\begin{align*}
z^n-1 = \prod_{k=0}^{n-1}\left(z-e^{\frac{2k\pi}{n}i}\right)
\end{align*}
と書けます.
の場合を考えて, 両辺を で割ると,
\begin{align}
z^{n-1}+z^{n-2}+\cdots+z+1 = \prod_{k=1}^{n-1} (z-e^{\frac{2k\pi}{n}i})\tag{1}
\end{align}
はこの式を満たしますが, のときを考えると,
(左辺) =
(右辺) =
となり, のときも成り立ちます.
これで, の 個の数が の 次の等式 (1) を満たすので, 補題2. により, (1) 式は恒等式となります.
よって(1) は でも成り立ち, 代入すると
\begin{align*}
n = \prod_{k=1}^{n-1}(1-e^{\frac{2k\pi}{n}i}).
\end{align*}
もう結論が見えてきましたね.
複素平面上で 1 の表す頂点から他の頂点への距離の積を考えると,
\begin{align*}
\prod_{k=1}^{n-1}|1-e^{\frac{2k\pi}{n}i}| &= \left|\prod_{k=1}^{n-1}(1-e^{\frac{2k\pi}{n}i})\right|\\
&= |n|\\
&= n.
\end{align*}