MathLabs

Problem 2

Let DD be a point inside acute triangle ABCABC such that ∠ADB=∠ACB+π2\angle ADB=\angle ACB+\frac{\pi}{2} and AC⋅BD=AD⋅BCAC\cdot BD=AD\cdot BC. (a) Calculate the ratio AB⋅CDAC⋅BD\frac{AB\cdot CD}{AC\cdot BD}. (b) Prove that the tangents at CC to the circumcircles of △ACD\triangle ACD and △BCD\triangle BCD are perpendicular.
Step 2 of 4: Encode both hypotheses
In plain words

A complex quotient records a ratio and an angle at once.

b−d1−d=bi\frac{b-d}{1-d}=bi
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.