Sejam $Z_1$ e $Z_2$ números complexos tais que $Z_2$ é imaginário puro e $|Z_1-Z_2|=|Z_2|$. Para quaisquer valores de $Z_1$ e $Z_2$ que atendam a essas condições tem-se que: