r^2 <= 1/9 (r_A^2 + r_B^2+r_C^2), 3 mutually tangent externally circles
Source: Thailand Mathematical Olympiad 2015 p7
August 16, 2020
geometric inequalitygeometrycirclestangent circlesradiiinradius
Problem Statement
Let be centers of three circles that are mutually tangent externally, let be the radii of the circles, respectively. Let be the radius of the incircle of . Prove that and identify, with justification, one case where the equality is attained.