京都大学 2001年度後期・理系数学後期第3問解答・解説

問題

複素数平面上の単位円に内接し、1を頂点にもつ正五角形を考える。その辺を延長した直線どうしの交点のうち、元の頂点以外で実部・虚部がともに正のものを $z$ とする。

(1) $α = cos \frac{2 π}{5} + i sin \frac{2 π}{5}$ とするとき、 $z$ を $α$ で表せ。

(2) 3点 $1, α^{2}, z$ を通る円が原点を通ることを示せ。

出典：京都大学 2001年度後期日程第2次学力試験後期・理系後期第3問

単位円上の2点 $u, v$ を通る直線を $w + uv \overline{w} = u + v$ と表す。第1象限の交点は辺 $α α^{2}$ と辺 $α^{4} 1$ の延長の交点である。(2)は4点の複比が実数になることを示す。

単位円上の異なる2点 $u, v$ を通る直線は

w + uv \overline{w} = u + v

と表せる。正五角形の頂点を $1, α, α^{2}, α^{3}, α^{4}$ と並べると、求める交点は辺 $α α^{2}$ と辺 $α^{4} 1$ の延長の交点である。従って

z + α^{3} \overline{z} = α + α^{2}, z + α^{4} \overline{z} = 1 + α^{4} .

$α^{5} = 1$ 、 $1 + α + α^{2} + α^{3} + α^{4} = 0$ を用いて解くと

z = \frac{α ( 1 + α )}{1 + α ^{2}} .

係数 $α / (1 + α^{2}) = 1/ (α + α^{4}) > 0$ で、 $1 + α$ の偏角は $π /5$ だから、この点は第1象限にある。

4点 $0, 1, α^{2}, z$ の複比を調べる。(1)の式から

\frac{( z - 1 ) ( 0 - α ^{2} )}{( z - α ^{2} ) ( 0 - 1 )} = α^{2} \frac{z - 1}{z - α ^{2}} = α^{2} \frac{α - 1}{α - α ^{4}} = - (α + α^{4}) .

右辺は $- 2 cos (2 π /5)$ で実数である。従って $0, 1, α^{2}, z$ は同一円周上にあり、3点 $1, α^{2}, z$ を通る円は原点を通る。