A 2011 IMO Tangency Problem
A 2011 IMO Tangency Problem
Let be an acute triangle with circumcircle . Let be a tangent line to at the point and let , , and be the lines obtained by reflecting in the lines , , and , respectively. Let be the triangle formed by the intersections of , , and . Then the circumcircle of is tangent to the circle .
ABC
Γ
l
Γ
M
l
a
l
b
l
c
l
BC
CA
AB
A'B'C'
l
a
l
b
l
c
A'B'C'
Γ