Let a, b, c be the sides of the triangle and A, B, C the angles opposite those sides. We have

by the law of cosines. From this we get the algebraic statement:

The altitude of the triangle on base a has length bsin(C), and it follows
Method 2:(Using Pythagorean theorem)
Heron's original proof made use of cyclic quadrilaterals, while other arguments appeal to trigonometry as above, or to the incenter and one excircle of the triangle. The following argument reduces Heron's formula directly to the Pythagorean theorem using only elementary means.
In the form 4A2 = 4s(s − a)(s − b)(s − c), Heron's formula reduces on the left to (ch)2, or
- (cb)2 − (cd)2
using b2 − d2 = h2 by the Pythagorean theorem, and on the right to
- (s(s − a) + (s − b)(s − c))2 − ((s(s − a) − (s − b)(s − c))2
via the principle (p + q)2 − (p − q)2 = 4pq. It therefore suffices to show
- cb = s(s − a) + (s − b)(s − c), and
- cd = s(s − a) − (s − b)(s − c).
The former follows immediately by substituting (a + b + c) / 2 for s and simplifying. Doing this for the latter reduces s(s − a) − (s − b)(s − c) only as far as (b2 + c2 − a2) / 2. But if we replace b2 by d2 + h2 and a2 by (c − d)2 + h2, both by Pythagoras, simplification then produces cd as required.