# 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'

Γ