The circle inscribed in a triangle is tangent to all three sides. Its radius has a very simple expression in terms of the area and the semiperimeter.

Theorem — Radius of the inscribed circle

The radius rr of the inscribed circle of a triangle with area SS and perimeter 2p2p is: r=2S2p=Spr = \frac{2S}{2p} = \frac{S}{p} where pp is the semiperimeter.

The centre OO (incentre) is equidistant from the three sides: OHOKOR=rOH\cong OK\cong OR=r.

Proof — r=S/pr = S/p

  1. The inscribed circle is tangent to all the sides, so OHABOH\perp AB, OKBCOK\perp BC, ORACOR\perp AC, with OHOKOR=rOH\cong OK\cong OR = r.
  2. We split triangle ABCABC into three sub-triangles — ABO\triangle ABO, BCO\triangle BCO, ACO\triangle ACO — each with height equal to the radius rr: SABC=ABr2+BCr2+ACr2=(AB+BC+AC)r2=2pr2.S_{ABC} = \frac{AB\cdot r}{2}+\frac{BC\cdot r}{2}+\frac{AC\cdot r}{2} = \frac{(AB+BC+AC)\cdot r}{2} = \frac{2p\cdot r}{2}.
  3. Hence S=prS = p\cdot r, that is r=Spr = \dfrac{S}{p}.

Topics: Euclidean circle
Concepts: Inscribed circle
Skills: Proving · Using formulae