Problem 2
Let be a point inside acute triangle such that and . (a) Calculate the ratio . (b) Prove that the tangents at to the circumcircles of and are perpendicular.
Step 2 of 4: Encode both hypotheses
In plain words
A complex quotient records a ratio and an angle at once.
Detailed analysis
The length equality gives the modulus of (b-d)/(1-d), while the angle condition gives its argument as the direction of b followed by a quarter-turn. Therefore the quotient equals bi.