Definition and statement
📐 Geometric Interpretation
The circumradius $R$ measures the distance from the circumcenter (intersection of perpendicular bisectors) to any vertex. The inradius $r$ measures the perpendicular distance from the incenter (intersection of angle bisectors) to any side, acting as the radius of the inscribed circle tangent to all three sides. The exradii $r_1, r_2, r_3$ correspond to circles tangent to one side externally and the extensions of the other two sides.
⚙️ Algebraic & Structural Meaning
These relations connect symmetric algebraic polynomials of side lengths with trigonometric functions of half-angles (e.g., $r = 4R \sin\frac{A}{2}\sin\frac{B}{2}\sin\frac{C}{2}$), enabling swift reduction of complex trigonometric expressions in triangle geometry.