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: Transform the length condition
In plain words

The multiplicative condition is designed to become equality of two image lengths.

AC⋅BD=AD⋅BC⟹B′D′=B′CAC\cdot BD=AD\cdot BC\Longrightarrow B'D'=B'C
Detailed analysis

Use the inversion distance formula for AC, BD, AD and BC. Substitution into the given product equality cancels the common radius factors and yields B'D'=B'C.