Dimostrare la formula di Erone

Testo

Dimostrare la formula di Erone $S = \sqrt{s(s-a)(s-b)(s-c)}$, con $s=(a+b+c)/2$, a partire dalle formule viste (teorema del coseno e area trigonometrica).

Soluzione

Partiamo dall’area $S = \tfrac12 bc\sin\widehat{A}$, da cui $S^2 = \tfrac14 b^2c^2\sin^2\widehat{A} = \tfrac14 b^2c^2\left(1-\cos^2\widehat{A}\right)$.

Dal teorema del coseno ricaviamo $\cos\widehat{A} = \dfrac{b^2+c^2-a^2}{2bc}$, quindi: $S^2 = \tfrac14 b^2c^2\left[1 - \left(\frac{b^2+c^2-a^2}{2bc}\right)^2\right] = \tfrac{1}{16}\left[(2bc)^2 - (b^2+c^2-a^2)^2\right].$ Il termine tra parentesi è una differenza di quadrati: $(2bc)^2 - (b^2+c^2-a^2)^2 = \bigl[2bc+(b^2+c^2-a^2)\bigr]\bigl[2bc-(b^2+c^2-a^2)\bigr].$ Il primo fattore è $(b+c)^2 - a^2 = (b+c+a)(b+c-a)$; il secondo è $a^2-(b-c)^2 = (a+b-c)(a-b+c)$. Introducendo il semiperimetro $s=(a+b+c)/2$ si ha $b+c+a=2s$, $b+c-a=2(s-a)$, $a+b-c=2(s-c)$, $a-b+c=2(s-b)$. Dunque: $S^2 = \tfrac{1}{16}\cdot 2s\cdot 2(s-a)\cdot 2(s-c)\cdot 2(s-b) = s(s-a)(s-b)(s-c),$ da cui $S = \boxed{\sqrt{s(s-a)(s-b)(s-c)}}$. $\blacksquare$

Collegamenti

Argomenti: Trigonometria triangoli
Concetti: Area triangolo · Formula di erone · Teorema del coseno
Competenze: Dimostrare
Tipo di esercizio: Dimostrazione