The Math Forum

Ask Dr. Math - Questions and Answers from our Archives
Associated Topics || Dr. Math Home || Search Dr. Math

Derivations of Heron's Formula

Date: 11/24/98 at 00:52:32
From: Hath
Subject: Heron's theory

I understand how to use Heron's Theory, but how exactly is it derived?

Date: 11/24/98 at 12:07:31
From: Doctor Rob
Subject: Re: Heron's theory

Here is one derivation:

   Proof of Hero's Formula   

Another proof uses these three formulas:

   K = (1/2)*a*b*sin(C)
   c^2 = a^2 + b^2 - 2*a*b*cos(C)
   sin^2(C) + cos^2(C) = 1

The first uses the definition of the sine as the side opposite over the 
hypotenuse in the right triangle whose hypotenuse is side a, one leg is 
part of side b, and the other leg is the altitude h to side b. The 
second is the Law of Cosines, and the third is one of the simplest
identities from trigonometry.

Another proof uses the Pythagorean Theorem instead of the trigonometric
functions sine and cosine. Drop from B a perpendicular to side b. Let
its length be h. Let the side b be divided by it into parts of lengths
x and b - x. Then using the Pythagorean Theorem on the two small
triangles, and the usual formula for area of a triangle:

   a^2 = h^2 + x^2
   c^2 = h^2 + (b-x)^2
     K = b*h/2

Then by subtracting the second equation from the first:

   a^2 - c^2 = 2*b*x - b^2
           x = (a^2+b^2-c^2)/(2*b)

Substituting this back into the first equation:

   h^2 = a^2 - (a^2+b^2-c^2)^2/(4*b^2)

Now using the third equation:

   K^2 = b^2*h^2/4
       = (b^2/4)*[a^2 - (a^2+b^2-c^2)^2/(4*b^2)]
       = a^2*b^2/4 - (a^2+b^2-c^2)^2/16
       = (4*a^2*b^2-a^4-2*a^2*b*2-b^4+2*b^2*c^2-c^4+2*a^2*c^2)/16
       = -(a^4+b^4+c^4-2*b^2*c^2-2*a^2*c^2-2*a^2*b^2)/16
       = -(c^4 + [-2*b^2-2*a^2]*c^2 + [a^4-2*a^2*b^2+b^4])/16

We factor this by completing the square on c^2, then using the 
difference of two squares three times, then a + b + c = 2*s:

   K^2 = -(c^4 + [-2*b^2-2*a^2]*c^2 + [a^2+b^2]^2 - 4*a^2*b^2)/16
       = -([c^2-a^2-b^2]^2-[2*a*b]^2)/16
       = -([c^2-a^2-2*a*b-b^2]*[c^2-a^2+2*a*b-b^2])/16
       = -(c^2-[a+b]^2)^2*(c^2-[a-b]^2)/16
       = -(c+[a+b])*(c-[a+b])*(c+[a-b])*(c-[a-b])/16
       = (a+b+c)*(a+b-c)*(a-b+c)*(-a+b+c)/16
       = (2*s)*(2*s-2*c)*(2*s-2*b)*(2*s-2*a)/16
       = s*(s-a)*(s-b)*(s-c)
     K = sqrt[s*(s-a)*(s-b)*(s-c)]

- Doctor Rob, The Math Forum   
Associated Topics:
High School Basic Algebra
High School Geometry
High School Triangles and Other Polygons
High School Trigonometry

Search the Dr. Math Library:

Find items containing (put spaces between keywords):
Click only once for faster results:

[ Choose "whole words" when searching for a word like age.]

all keywords, in any order at least one, that exact phrase
parts of words whole words

Submit your own question to Dr. Math

[Privacy Policy] [Terms of Use]

Math Forum Home || Math Library || Quick Reference || Math Forum Search

Ask Dr. MathTM
© 1994- The Math Forum at NCTM. All rights reserved.