問題
を虚部が正である複素数とし，，，を複素数平面上の3点とする。，，はの内部と重ならない正三角形とし，3点，，をそれぞれ，，の重心とする。
(1) 3点，，が表す複素数をそれぞれで表せ。
(2) は正三角形であることを示せ。
(3) がを満たしながら動くとき，の重心の軌跡を複素数平面上に図示せよ。ただし，は虚数単位を表す。
方針
外側に作る正三角形の第3頂点を、複素数の 回転で表す。 の外側は下向きなので となり、他の2辺でも三角形 の外側になる向きを選ぶ。各重心は3頂点の平均として の一次式になる。(2)は と の差を計算し、一方がもう一方を 回転したものだと示す。(3)は重心 が であることから、与えられた円が中心と半径を変えて写る。
解答
(1)
は、、、 であり、 の虚部が正なので辺 の上側にある。したがって、辺 の外側に作る正三角形の第3頂点は である。よって である。
次に辺 に外側の正三角形を作る。 から へのベクトルは であり、外側になる向きに 回転するので である。したがって
である。
最後に辺 に外側の正三角形を作ると、第3頂点は である。よって である。以上より である。
(2)
(1)の式から であり、 である。直接整理すると が成り立つ。
ここで は絶対値1、偏角 の複素数である。したがって、ベクトル はベクトル を長さを変えずに 回転したものである。よって かつ であるから、 は正三角形である。
(3)
の重心を とする。複素数で表すと である。(1)の式を加えると であるから である。
条件 を の式へ移す。 なので である。両辺に を掛けると となる。
したがって の軌跡は、中心 半径 の円である。与えられた の円は全体が上半平面にあるので、軌跡もこの円周全体である。