Problem

Source: IMO LongList 1959-1966 Problem 33

Tags: geometry, tangent circles, Inequality, geometric inequality, IMO Shortlist, IMO Longlist



Given two internally tangent circles; in the bigger one we inscribe an equilateral triangle. From each of the vertices of this triangle, we draw a tangent to the smaller circle. Prove that the length of one of these tangents equals the sum of the lengths of the two other tangents.