A triangle is given. A circle passes through vertex and is tangent to side at point . The circle intersects sides and at points and , respectively. Prove that (minor) arcs and are equal if and only if is tangent to the circumcircle of at .
Solution
If , the result is obvious due to symmetry (both statements are equivalent to being the midpoint of ). WLOG assume . Let be the intersection of the line and the tangent at to the circumcircle .
If and are equal, then is parallel to the tangent at to , which is . It follows that
which implies is tangent to . Therefore, is tangent to at .

Conversely, if and are tangent at , then is tangent to . Therefore, we have
which implies . This shows is the midpoint of as desired.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.