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 4 of 4: Prove perpendicular tangents
In plain words

The same quarter-turn encoded by the hypotheses appears as a minus-one quotient between tangent directions.

ℓ1⊥ℓ2\ell_1\perp\ell_2
Detailed analysis

For the tangents at C to the circles ACD and BCD, use the normalized complex coordinates from the third approach. The first similarity gives the same expression for d as in that approach; the circumcenter directions of the two circles then have quotient -1. Hence the two tangent directions at C are perpendicular.