まず、点P, Q, Mの複素数表示をそれぞれp, q, mとする。
Mは辺BCの中点なので、m=2β+γ Pは辺ABを斜辺とする直角二等辺三角形の頂点なので、
β−αp−α=21e−4πi=21(cos(−4π)+isin(−4π))=21(1−i) よって、
p=α+21(1−i)(β−α)=α+2β−α−2i(β−α)=2α+β−2i(β−α) Qは辺ACを斜辺とする直角二等辺三角形の頂点なので、
γ−αq−α=21e4πi=21(cos(4π)+isin(4π))=21(1+i) よって、
q=α+21(1+i)(γ−α)=α+2γ−α+2i(γ−α)=2α+γ+2i(γ−α) 次に、p−mq−mを計算する。 q−m=2α+γ+2i(γ−α)−2β+γ=2α−β+2i(γ−α) p−m=2α+β−2i(β−α)−2β+γ=2α−γ−2i(β−α) p−mq−m=2α−γ−2i(β−α)2α−β+2i(γ−α)=α−γ−i(β−α)α−β+i(γ−α)=(α−γ)2+(β−α)2(α−β+i(γ−α))(α−γ+i(β−α)) (α−β+i(γ−α))(α−γ+i(β−α))=(α−β)(α−γ)−(γ−α)(β−α)+i[(α−β)(β−α)+(γ−α)(α−γ)] =α2−αγ−αβ+βγ−(γβ−γα−αβ+α2)+i[αβ−α2−β2+αβ+γα−γ2−α2+γα] =2αγ−2βγ+i[2αβ+2γα−2α2−β2−γ2] (α−γ)2+(β−α)2=α2−2αγ+γ2+β2−2βα+α2=2α2+β2+γ2−2αγ−2βα 上記より、
p−mq−m=2α2+β2+γ2−2αγ−2βα2αγ−2βγ+i(2αβ+2γα−2α2−β2−γ2) ここで問題文の解答例を見てみると
p=α+21(1−i)(β−α)=21(α+β)−2i(β−α) q=α+21(1+i)(γ−α)=21(α+γ)+2i(γ−α) m=2β+γ p−mq−m=21(α+β)−2i(β−α)−2β+γ21(α+γ)+2i(γ−α)−2β+γ=α−γ−i(β−α)α−β+i(γ−α) q−m=21(α−β+i(γ−α)) p−m=21(α−γ−i(β−α)) ここで、i(p−m)=21(iα−iγ+(β−α))=21(β−α+i(α−γ))=−(q−m) よって p−mq−m=−i. したがってargp−mq−m=arg(−i)=−2πなので、MP⊥MQ。 また、∣p−mq−m∣=∣−i∣=1なので、∣q−m∣=∣p−m∣, すなわちMP=MQ。