R^2=OE^2+CD^2 [1- BC^2/(AB^2+AC^2) ], circle tangent to (ABC)
Source: Indonesia INAMO Shortlist 2008 G3
August 25, 2021
geometrytangent circles
Problem Statement
Given triangle . A circle is tangent to the circumcircle of triangle at and tangent to at . Let be the intersection of circle and . Prove that
where is the center of the circumcircle of triangle , with radius .