Ninth Grade Mathematics: Heron's Formula: Derivation & Proof
The standard formula for the area of a triangle—Area = (1/2) * Base * Height—requires knowing the perpendicular altitude. However, in practical land surveying and engineering, measuring the interior height of a field is often impossible. Over two thousand years ago, Heron of Alexandria developed an extraordinary formula that computes the exact area of any triangle using only the lengths of its three sides.
Statement of Heron's Formula
Let a, b, and c denote the lengths of the three sides of a triangle.
The Semi-Perimeter (s):
The semi-perimeter is exactly half of the total perimeter:
a + b + c
s = -----------
2
Heron's Formula:
Area = sqrt( s * (s - a) * (s - b) * (s - c) )
where:
a, b, c are the lengths of the three sides
s is the semi-perimeter: s = (a + b + c) / 2
Heron's formula is completely symmetric with respect to all three sides: permuting a, b, and c produces no change in the computed area.
Pure Algebraic Derivation using the Pythagorean Theorem
We can prove Heron's formula by dropping an altitude and applying the Pythagorean theorem to eliminate the unknown height algebraically:
A
*
/|\
/ | \
c / | \ b
/ |h \
/ | \
*-----+-----*
B x D c-x C
<---- a ---->
Step 1: Set up the geometric model.
Let AD = h be the perpendicular altitude from vertex A to side BC (length a).
Let D divide base a into BD = x and CD = a - x.
Step 2: Apply the Pythagorean theorem to right triangles ABD and ACD:
In Triangle ABD: x^2 + h^2 = c^2 ===> h^2 = c^2 - x^2 (Equation 1)
In Triangle ACD: (a - x)^2 + h^2 = b^2 ===> h^2 = b^2 - (a - x)^2 (Equation 2)
Step 3: Equate the two expressions for h^2:
c^2 - x^2 = b^2 - (a^2 - 2*a*x + x^2)
c^2 - x^2 = b^2 - a^2 + 2*a*x - x^2
c^2 = b^2 - a^2 + 2*a*x
Step 4: Solve explicitly for x:
2*a*x = c^2 + a^2 - b^2
c^2 + a^2 - b^2
x = -----------------
2*a
Step 5: Substitute x back into Equation 1 to find h^2:
h^2 = c^2 - x^2 = (c - x) * (c + x)
/ c^2 + a^2 - b^2 \ / c^2 + a^2 - b^2 h^2 = | c - ----------------- | * | c + ----------------- |
\ 2*a / \ 2*a /
/ 2*a*c - c^2 - a^2 + b^2 \ / 2*a*c + c^2 + a^2 - b^2 h^2 = | ------------------------- | * | ------------------------- |
\ 2*a / \ 2*a /
Rewrite the numerator terms using perfect squares:
2*a*c - (a^2 + c^2) = -(a - c)^2, so numerator 1 = b^2 - (a - c)^2
2*a*c + (a^2 + c^2) = (a + c)^2, so numerator 2 = (a + c)^2 - b^2
Applying difference of squares to both numerators:
b^2 - (a - c)^2 = (b - a + c) * (b + a - c)
(a + c)^2 - b^2 = (a + c - b) * (a + c + b)
Step 6: Express terms in terms of the semi-perimeter s = (a + b + c)/2:
a + b + c = 2*s
a + b - c = (a + b + c) - 2*c = 2*s - 2*c = 2*(s - c)
a + c - b = (a + b + c) - 2*b = 2*s - 2*b = 2*(s - b)
b + c - a = (a + b + c) - 2*a = 2*s - 2*a = 2*(s - a)
Step 7: Multiply all four factors together:
Numerator of h^2 = [ 2*(s - a) ] * [ 2*(s - c) ] * [ 2*(s - b) ] * [ 2*s ]
= 16 * s * (s - a) * (s - b) * (s - c)
Denominator of h^2 = 2*a * 2*a = 4*a^2
Therefore:
16 * s * (s - a) * (s - b) * (s - c) 4 * s * (s - a) * (s - b) * (s - c)
h^2 = -------------------------------------- = -------------------------------------
4 * a^2 a^2
Taking the square root to find height h:
2
h = ----- * sqrt( s * (s - a) * (s - b) * (s - c) )
a
Step 8: Compute the Area:
Area = (1/2) * Base * Height = (1/2) * a * h
= (1/2) * a * [ (2 / a) * sqrt( s * (s - a) * (s - b) * (s - c) ) ]
= sqrt( s * (s - a) * (s - b) * (s - c) ).
The proof is complete. The algebraic terms collapse into Heron's elegant radical formula.
Special Case: Area of an Equilateral Triangle
When all three sides are equal (a = b = c), Heron's formula reproduces the classic equilateral triangle formula:
For Equilateral Triangle of side a:
s = (a + a + a) / 2 = 3*a / 2
s - a = (3*a / 2) - a = a / 2
Area = sqrt( (3*a / 2) * (a / 2) * (a / 2) * (a / 2) )
= sqrt( 3 * a^4 / 16 )
= (sqrt(3) / 4) * a^2
Chapter Exercises
Exercise 1: Calculate the area of a triangle with sides 13 cm, 14 cm, and 15 cm using Heron's formula. Show the values of s, (s - a), (s - b), and (s - c).
Exercise 2: Use Heron's formula to calculate the area of a right-angled triangle with sides 6 cm, 8 cm, and 10 cm. Verify your answer by comparing with the standard area formula (1/2) * base * height.
Exercise 3: Explain why, if any side of a triangle is greater than or equal to the semi-perimeter s (meaning s - a <= 0), a real triangle cannot exist. Connect this to the Triangle Inequality Theorem.
Solutions and Explanations
Solution 1: Let the three sides be a = 13 cm, b = 14 cm, and c = 15 cm. Compute the semi-perimeter: s = (a + b + c) / 2 = (13 + 14 + 15) / 2 = 42 / 2 = 21 cm. Compute the three differences: s - a = 21 - 13 = 8 cm; s - b = 21 - 14 = 7 cm; s - c = 21 - 15 = 6 cm. Apply Heron's formula: Area = sqrt(s * (s - a) * (s - b) * (s - c)) = sqrt(21 * 8 * 7 * 6). Factor the radicand into prime factors: 21 = 3 * 7; 8 = 2^3; 7 = 7; 6 = 2 * 3. Grouping factors: Area = sqrt((2^4) * (3^2) * (7^2)) = (2^2) * 3 * 7 = 4 * 3 * 7 = 84 square cm.
Solution 2: For sides a = 6 cm, b = 8 cm, and c = 10 cm: compute semi-perimeter s = (6 + 8 + 10) / 2 = 24 / 2 = 12 cm. Compute differences: s - a = 12 - 6 = 6; s - b = 12 - 8 = 4; s - c = 12 - 10 = 2. Apply Heron's formula: Area = sqrt(12 * 6 * 4 * 2) = sqrt(576) = 24 square cm. Verify using the standard formula for a right triangle with legs 6 and 8: Area = (1/2) * base * height = (1/2) * 6 * 8 = 24 square cm. Both formulas produce the exact same area of 24 square cm.
Solution 3: In Heron's formula, the quantity under the square root is s * (s - a) * (s - b) * (s - c). If any side, say a, were greater than or equal to the semi-perimeter s (a >= s), then s - a <= 0. If s - a = 0, the area evaluates to zero (a degenerate triangle collapsed into a line). If s - a < 0, the product under the square root becomes negative, yielding an imaginary non-real area. Geometrically, s = (a + b + c) / 2, so the condition a < s translates to 2*a < a + b + c, which simplifies to a < b + c. This is precisely the fundamental Triangle Inequality Theorem: the length of any side must be strictly less than the sum of the other two sides. If this condition fails, the three sides cannot meet to enclose a real planar area.