Basic Derivation of Heron’s Formula

Basic Derivation of Heron’s Formula

Introduction

This post is a basic derivation of the famous Heron’s formula, which allows calculation of the area of any triangle in terms of its side lengths a, b, c. We refer to the following diagram:

As is convention, let sides a, b, c be opposite to angles A, B, C. Further, let the altitude length AX=m and BX=n. Then, by the Pythagorean Theorem applied to triangles \triangle BAX and \triangle CAX, we have the following two equations:

    \begin{equation*} $n^2+m^2=c^2$ \end{equation*}

    \begin{equation*} $(a - n)^2+m^2=b^2$ \end{equation*}

Subtracting the two equations cancels the m^2 and yields a(2n - a) = c^2 - b^2. Thus

    \begin{equation*} n = \frac{a}{2} + \frac{c^2 - b^2}{2a} = \frac{a^2 - b^2 + c^2}{2a} \end{equation*}

Plugging n back into the first equation, we have

    \begin{equation*} m^2 = c^2 - n^2 = c^2 - \frac{(a^2 - b^2 + c^2)^2}{4a^2} = \frac{(2ac)^2 - (a^2 - b^2 + c^2)^2}{4a^2} \end{equation*}

We compute the square of the triangle’s area as A^2=\frac{1}{4}a^{2}m^2. Plugging in m^2 and noting that the a^2 cancels out, we obtain

    \begin{equation*} A^2=\frac{(2ac)^2 - (a^2 - b^2 + c^2)}{16}=\frac{(2ac + a^2 - b^2 + c^2)(2ac - a^2 + b^2 - c^2)}{16} \end{equation*}

by difference of squares. Note that each term in the numerator may itself be simplified by difference of squares, namely

    \begin{equation*} 2ac + a^2 - b^2 + c^2 = (a^2 + 2ac + c^2) - b^2 = (a + c)^2 - b^2 = (a + b + c)(a - b + c) \end{equation*}

    \begin{equation*} 2ac - a^2 + b^2 - c^2 = b^2 - (a^2 - 2ac + c^2) = b^2 - (a - c)^2 = (a + b - c)(-a + b + c) \end{equation*}

Thus,

    \begin{equation*} A^2 = \frac{(a + b + c)(a - b + c)(a + b - c)(-a + b + c)}{16}][ = (\frac{a + b + c}{2})(\frac{a - b + c}{2})(\frac{a + b - c}{2})(\frac{-a + b + c}{2}) = (s)(s - b)(s - c)(s - a) \end{equation*}

where s = \frac{a + b + c}{2}. Finally, we arrive at Heron’s Formula:

    \begin{equation*} A = \sqrt{(s)(s - a)(s - b)(s - c) \end{equation*}

Although this process may seem a bit tedious, the motivation was clear and the algebra was greatly simplified using the difference of squares factorization.

Leave a Reply

Your email address will not be published. Required fields are marked *