If and are two complex numbers such that , then
Note that at least one of is different from 0. Suppose we can write
as or as
This shows that lies on the perpendicular bisector of the segment joining
and [See Theory].
Thus, lies on the imaginary axis.