BC is tangent to circumcircle of DEF iff D is midpoint of BC, AB=AC, <FDE=<ABC
Source: 2013 Grand Duchy of Lithuania, Mathematical Contest p2 (Baltic Way TST)
October 2, 2020
geometryisoscelestangentequal angles
Problem Statement
Let be an isosceles triangle with . The points and are taken on the sides and , respectively, so that and is not parallel to . Prove that the line is tangent to the circumcircle of if and only if is the midpoint of the side .