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.
Problem
Source: IMO LongList 1959-1966 Problem 33
Tags: geometry, tangent circles, Inequality, geometric inequality, IMO Shortlist, IMO Longlist