## Heron’s formula

January 30, 2010 by Qiaochu Yuan

Heron’s formula for the area of a triangle with side lengths is

where is the semiperimeter. Today I’d like to try to prove this using as little geometry as possible.

**The assumption**

If we assume that is a symmetric polynomial of degree in , there is only one polynomial it can be. This is because the area of a triangle satisfying any of is equal to zero. (Because area is a continuous function of the side lengths, any proposed area formula has to make sense in the degenerate cases.) This already implies that has to be divisible by (for example by the Nullstellensatz), and the remaining linear factor must be symmetric in , so we already know that

for some constant . But the area of a triangle with side lengths is , so

and as desired. No geometry necessary!

This is not a particularly deep argument, but during my math competition years when Heron’s formula was an important tool I never saw it proven in this way.

**Justifying the assumption**

is evidently homogeneous of degree in , and it is evidently symmetric, but is it evidently a polynomial? One approach is to let denote the altitude dropping down to side , and similarly for ; then

so the question is whether is a polynomial. Some handwaving about Stewart’s theorem suggests that the answer is yes, but I don’t want to do any computations to answer this question.

An answer much more in line with modern mathematics is that the square of the area of a parallelogram spanned by vectors is the determinant of its Gram matrix

.

The squares of the side lengths of the triangle are , and , so it does in fact follow that the determinant of the Gram matrix is a polynomial in the side lengths. Is this “obvious”? Arguably one can take this as following from the volume definition of the determinant, and then the question is why this definition is equal to the definition in terms of a sum over permutations. And that, of course, is a matter of exterior algebra. The Unapologetic Mathematician has written on determinants, although I’m not sure he discussed the volume definition in detail.

### Like this:

Like Loading...

*Related*

on May 11, 2010 at 9:34 pm |cnPhil » 海倫公式的非幾何證明[…] 本文譯自Annoying Precision, 並且處於自定版測試中. Share and Enjoy: […]

on April 6, 2010 at 10:06 pm |Alex A.This works for the area of a cyclic quadrilateral as well…

on March 25, 2010 at 3:49 am |Fórmula de Herão da área de um triângulo « problemas | teoremas[…] Qiaochu Yuan mostra que é possível prová-la, sem usar métodos trigonométricos ou geométricos, no seu post Heron’s formula. […]

on March 13, 2010 at 7:21 am |vijayi my self vijay from india, i know so many proofs for herions formula, but this proof is quit different very nice.

on February 17, 2010 at 1:02 am |DavidThe squared volume V^2 of a tetrahedron is likewise a polynomial function of its edge lengths, and the volume is zero if any of the faces are degenerate. Why does it not follow that V^2 has factors of the form (a+b-c)?

on February 17, 2010 at 7:14 am |Qiaochu YuanA degenerate tetrahedron satisfies additional polynomial relationships among its side lengths: when one of the vertices degenerates to lie on one of the edges of a tetrahedron, the edge connecting the degenerate vertex to the opposite vertex becomes a cevian of a triangle, and there is a nontrivial polynomial relationship coming from Stewart’s theorem. This does not occur in the triangle case. (In other words, the correct fix should be that V^2 lies in the ideal generated by (a+b-c) and the relationship coming from Stewart’s theorem.)

on February 17, 2010 at 9:59 pm |Qiaochu YuanThis was implicit, but I should say it explicitly: the reason we don’t need to worry about something similar happening in the triangle case is that the space of degenerate triangles satisfying a + b – c = 0 is Zariski dense in the line a + b – c = 0, and similarly for the other two degeneracy conditions. This doesn’t occur in the tetrahedron case because the relation coming from Stewart’s theorem puts us in a lower-dimension subvariety than we expect.

on February 8, 2010 at 5:17 am |More fun with trigonometry and income inequality | Canadian Agri Food[…] (HT: Annoying Precision) […]

on February 3, 2010 at 12:00 pm |Larry HammickOne sometimes proves a result in number theory by aid of a little geometry, but here is a rare specimen of the reverse: a theorem in geometry (Heron’s formula) deduced with some help from number theory.

http://sci.tech-archive.net/Archive/sci.math/2006-11/msg05191.html

A typically eccentric LH effort. 😀

on January 30, 2010 at 1:26 pm |Theo$G(v,w) = \left[ \begin{smallmatrix} v \\ w \end{smallmatrix} \right] \left[ \begin{smallmatrix} v & w \end{smallmatrix} \right]$, so if you believe that $\det$ is multiplicative and $\det \left[ \begin{smallmatrix} v & w \end{smallmatrix} \right]$ is the appropriate volume, then you’re done. It’s more or less clear that volume is an antisymmetric $n$-linear form; the $n$-linearity is obvious, and the antisymmetry follows from polarization, since the volume of a linearly-dependent set is $0$. Thus, if you believe that the space of $n$-linear antisymmetric forms is one-dimensional, you’re done: your argument does not require that determinant gives volume, but only that they are non-zero scalar multiples of each other. And of course, by $n$-linearity and antisymmetry, such a form is determined by its value on an ordered basis. I guess that’s how I’d finish the argument.

on January 30, 2010 at 10:34 am |John ArmstrongI didn’t use the geometric definition to begin with, because my treatment of linear algebra was purely, well, algebraic. But as I moved into multivariable integration, I defined parallelepipeds, the connection of signed volumes to determinants, and also the connection of unsigned volumes to absolute value of determinants.