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 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.
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.