IMO 1992 LL IRN37

Let the circles C1, C2, and C3 be orthogonal to the circle C

IMO 1992 LL IRN37

Origin: IRN

Problem

Let the circles C1, C2, and C3 be orthogonal to the circle C and intersect each other inside C forming acute angles of measures A, B, and C. Show that A + B + C < \pi.