Geometry Problem 765: Triangle, Inradius, Exradii, Three Exradius, Harmonic Mean. Level: High School, College.

The figure shows a triangle ABC with the inradius r and the exradii r_a, r_b, r_c. Prove that the inradius is one-third the harmonic mean of the exradii, therefore, .