問題
複素数平面上の3点,,を原点をまわりに回転した点をそれぞれ,,とする(ここに).このとき,次の問いに答えよ.
(1) ,,を表す複素数を求めよ.
(2) 三角形との一方の三角形の各辺はもう一方の三角形の辺との交点によって三等分されていることを示せ.
方針
60度回転は複素数 を掛ける操作である。 は120度回転を表すので、、 は角度を足して求められる。(2)は正三角形どうしの回転対称性があるため、1辺 だけで交点の位置を座標計算すればよい。辺 を とおき、もう一方の三角形の2辺との交点が になることを示す。
解答
(1)
60度の回転を表す複素数を とおく。原点のまわりに60度回転することは、複素数に を掛けることに対応する。
したがって である。また だから であり、
である。
(2)
座標で確認する。点を
と見る。また
である。
辺 上の点を とおく。この点の座標は である。
まず辺 は直線 である。これと の交点では だから である。したがってこの交点は辺 を に分ける。
次に辺 と の交点を求める。辺 の方程式は、2点 、 を通るので である。 上の点を代入すると である。両辺に を掛けて となり、 を得る。
よって辺 は、三角形 の2辺との交点によって3等分される。図形全体は原点を中心とする120度回転で保たれるので、辺 、 についても同じことが成り立つ。また2つの三角形の役割を入れ替えても同じ対称性があるため、三角形 の各辺も三角形 の辺との交点によって3等分される。
別解。三等分は、正三角形の辺上のアフィン比で見ることもできる。1辺上の交点比が であることを1つの辺で示せば、原点中心の120度回転が2つの三角形と交点配置を保つため、残りの5辺の結果はすべて回転で移る。