>>315
方べきの定理いいね。(i)の結果も使ってるし。
(ii)をもう一つ。
円周角の定理（？）より∠OAB＝∠OCB
点O,A,B,Cを表す複素数をo,a,b,cとすると

arg｛（a-b）/（a-o）｝＝arg｛（c-b）/（c-o）｝