MathLabs

Problem 6

Consider an isosceles triangle. Let RR be the radius of its circumcircle and rr the radius of its inscribed circle. Prove that the distance dd between the centers of these two circles is R(R−2r)\sqrt{R(R-2r)}.
Step 5 of 6: Use power of I with the circumcircle
P,Q=intersections of OI extended with the circumcircle⟹AI⋅IL=PI⋅QIP,Q=\text{intersections of }OI\text{ extended with the circumcircle}\quad\Longrightarrow\quad AI\cdot IL=PI\cdot QI
Detailed analysis

Extend OIOI to meet the circumcircle at P,QP,Q. The two secants through II give equal powers of II: the secant AILAIL gives AI⋅ILAI\cdot IL, while the diameter line gives PI⋅QIPI\cdot QI. Thus AI⋅IL=PI⋅QIAI\cdot IL=PI\cdot QI.