MathDB
d(O,BC) = inradius of ABC, excircle related

Source: Mathematics Regional Olympiad of Mexico Center Zone 2014 P3

November 11, 2021
geometryinradiusexcircle

Problem Statement

Let ABAB be a triangle and Γ\Gamma the excircle, relative to the vertex AA, with center DD. The circle Γ\Gamma is tangent to the lines ABAB and ACAC at EE and FF, respectively. Let PP and QQ be the intersections of EFEF with BDBD and CDCD, respectively. If OO is the point of intersection of BQBQ and CPCP, show that the distance from OO to the line BCBC is equal to the radius of the inscribed circle in the triangle ABCABC.