Consider the imaginary

Prove that the following identity holds:

If the quantity is positive, prove that the imaginary parts of the complex numbers and have the same sign.

*Proof.* For the first part of the proof we compute using the definition of and the fact that .

This proves the first part of the theorem. To prove the second part, first we note that for any complex numbers and we have

Therefore, from the identity we established in the first part we have,

So, if then the quantity

(since the denominator is always positive as well). Therefore, and have the same sign

One of the rules for complex conjugates given is that the ratio of two complex numbers is equal to the ratio of their respective conjugates. Using your definition of the conjugate of w would result in it being the same as w. So the conjugate of w is wrong here. If you multiply both sides by the denominator, then use the fact that the product of two complex numbers is equal to the product of their respective conjugates, you get the conjugate of w being the numerator unchanged, but the denominator is the conjugate of the initial denominator. This would mean the problem is wrong though.

I hope this is a joke. Everything in the problem and this solution by RoRi is fine. Your claim that the product of two complex numbers is equal to the product of their respective conjugates is wrong. The product of two complex numbers is equal to the *conjugate* of the product of their respective conjugates.