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 2 of 4: Transform the length condition
In plain words
The multiplicative condition is designed to become equality of two image lengths.
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.