証明 (c-d)/(a-b) が純虚数になる条件は ((c-d)/(a-b)) = -(c-d)/(a-b) つまり (c-d)(a-b) = -(c-d)(a-b) である。a,b,c,d は長さが 1 なので、これは 　(d-c)(a-b)/cd = -(c-d)(b-a)/ab である。(d-c)(a-b)　は 0 でないので これは、条件 　cd = -ab と同じである。 ひとつ戻る 戻る