Matematyka.pl

Muszę udowodnić takie zdanie:
"Iloczyn liczb zespolonych jest liczbą rzeczywistą wtedy i tylko wtedy, gdy jedna z nich różni się od sprzężonej do drugiej o czynnik rzeczywisty". I tu prosiłbym o zinterpretowanie drugiego zdania oraz jego zapis arytmetyczny.

\(\displaystyle{ z_{1} \cdot z_{2} \in \Re \Leftrightarrow \bigvee_{t\in \Re} z_{1}=t \cdot \overline{z_{2}}}\).