Analyzing the Setup
We are given two complex numbers, z1=a+ib and z2=c+id, both resting on the unit circle. This implies their magnitudes are unity, leading to the constraints:
We are further given the condition Re(z1zˉ2)=0. Expanding the product z1zˉ2 yields:
(a+ib)(c−id)=(ac+bd)+i(bc−ad)
The real part is ac+bd=0. Geometrically, this indicates that the vectors (a,b) and (c,d) are orthogonal (perpendicular) to each other.
The Power of Substitution
Since ac+bd=0, we can rearrange this to ac=−bd. This implies the existence of a common ratio λ:
We can express the components as a=λb and d=−λc. Substituting a=λb into the first constraint gives:
Similarly, substituting d=−λc into the second constraint yields:
Because both expressions equal 1, we arrive at the hidden structural truth: b2=c2.
The Transformation
We evaluate the new complex numbers w1=a+ic and w2=b+id. First, we check the magnitude of w1:
Substituting c2=b2, we obtain:
∣w1∣2=λ2b2+b2=b2(λ2+1)=1
Thus, ∣w1∣=1. Applying the same logic to w2:
∣w2∣2=b2+d2=b2+(−λc)2=b2+λ2c2
Substituting c2=b2 again, we find ∣w2∣2=b2(1+λ2)=1. Both w1 and w2 lie on the unit circle.
Final Verification of Orthogonality
Finally, we check the orthogonality of w1 and w2 by evaluating Re(w1wˉ2). Expanding (a+ic)(b−id), the real part is ab+cd.
Substituting a=λb and d=−λc:
Re(w1wˉ2)=(λb)b+c(−λc)=λb2−λc2
Since b2=c2, the expression simplifies to:
The orthogonality is preserved. We have demonstrated that this transformation is a symmetry that preserves the fundamental geometric properties of the original pair.