(1) 3点 A,B,C が一直線上にあるとき、α−βγ−β が実数となる。 α−βγ−β=c+i−13i−1=(c−1)+i3i−1 (c−1)+i3i−1=((c−1)+i)((c−1)−i)(3i−1)((c−1)−i)=(c−1)2−i23i(c−1)−3i2−(c−1)+i=(c−1)2+13i(c−1)+3−(c−1)+i=(c−1)2+1−(c−4)+i(3c−2) この複素数が実数となるためには、虚部が0でなければならない。つまり、
(2) 点 A が線分 BC を直径とする円上にあるとき、∠BAC=90∘ である。これは、β−αγ−α が純虚数となることを意味する。 β−αγ−α=1−(c+i)3i−(c+i)=(1−c)−i−c+2i=((1−c)−i)((1−c)+i)(−c+2i)((1−c)+i)=(1−c)2−i2−c(1−c)−ci+2i(1−c)+2i2=(1−c)2+1−c+c2−ci+2i−2ci−2=(1−c)2+1c2−c−2+i(−3c+2) この複素数が純虚数となるためには、実部が0でなければならない。つまり、
c2−c−2=0 (c−2)(c+1)=0