Math: Geometry Problem 1009: Tangent Circles, Common External Tangent, Common Internal Tangent, Arithmetic Mean. Level: School, College.

Circles O and Q are tangent externally at T (see the figure below). If AB and CD are common external tangents and EF is the common internal tangent, prove that EF is the arithmetic mean of AD and BC.