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: Compare the two tangents
In plain words

A quarter-turn is represented algebraically by multiplication by -1 in the tangent direction quotient.

zz‾=−o1o1‾\frac{z}{\overline z}=-\frac{o_1}{\overline{o_1}}
Detailed analysis

For a circle through the origin, the tangent at the origin is perpendicular to its circumcenter vector. Compute the two circumcenters and substitute the formula for d; the resulting direction ratios differ by -1, proving perpendicularity.