Formule de Héron
En géométrie euclidienne, la formule de Héron, portant le nom de Héron d'Alexandrie, permet de calculer l'[[Aire d'un triangle|aire Modèle:Mvar d'un triangle]] quelconque en ne connaissant que les longueurs Modèle:Mvar, Modèle:Mvar et Modèle:Mvar de ses trois côtés :
La formule était déjà connue d'Archimède<ref>Modèle:Ouvrage.</ref>.
Démonstrations
Héron d'Alexandrie énonce et démontre son théorème dans son traité Les Métriques. Sa démonstration s'appuie sur les propriétés du cercle inscrit dans un triangle et sur l'exploitation des rapports de longueurs dans des triangles semblables<ref> Pour une étude détaillée de sa démonstration voir Modèle:Lien web.</ref>.
Les propriétés trigonométriques permettent une démonstration plus courte de cette égalité.
Ainsi, la formule de Héron peut se déduire de manière algébrique de la loi des cosinus <ref>Modèle:Ouvrage</ref>. Modèle:Démonstration Il existe beaucoup d'autres démonstrations : voir notamment l'article « Loi des cotangentes ».
Il existe également un moyen simple de retrouver la formule de Héron par des considérations sur la forme que doit prendre le polynôme Modèle:Math en exploitant les propriétés des triangles plats, les propriétés d'homogénéité et de symétrie<ref>.Exercices de maths -CSK - 2017/2018, Exercice 14, sur le site animath.fr</ref>. Modèle:Démonstration
Autres écritures de la formule
À l'aide de polynômes symétriques
D'après les calculs intermédiaires ci-dessus, on a aussi : Modèle:Retrait Modèle:Retrait
Sous forme d'un déterminant
On a : <math>16S^2=-\begin{vmatrix}0 & 1& 1& 1 \\1 & 0 & a^2 & b^2 \\1 & a^2 & 0 & c^2 \\1 & b^2 & c^2 & 0 \end{vmatrix} </math> (déterminant de Cayley-Menger).
Pour une mise en œuvre numérique
La formule de Héron présente une instabilité lors du calcul numérique, qui se manifeste pour les triangles en épingle, c'est-à-dire dont un côté est de dimension très petite par rapport aux autres (confrontation de petites et grandes valeurs).
En choisissant les noms de côtés de telle sorte que a > b > c, et en réorganisant les termes de façon à optimiser les grandeurs ajoutées ou soustraites, William Kahan propose une formule plus stable<ref>Modèle:Lien web.</ref> :
<math>S=\frac14\sqrt{[a+(b+c)]\,[c-(a-b)]\,[c+(a-b)]\,[a+(b-c)]}.</math>
Généralisations
En géométrie sphérique
En trigonométrie sphérique, il existe une formule analogue à la formule de Héron qui permet de déduire l'aire d'un triangle sphérique à partir de ses côtés : elle est donnée par le théorème de l'Huilier.
Pour les quadrilatères
Il existe des formulations analogues pour déterminer l'aire d'un quadrilatère, mais à moins qu'il soit inscriptible, la donnée supplémentaire d'angles ou des diagonales est nécessaire. Voir : Formule de Bretschneider et Formule de Brahmagupta.
Pour les tétraèdres
Le volume d'un tétraèdre est donné en fonction de la longueur de ses arêtes par le déterminant de Cayley-Menger <ref>Voir aussi Modèle:Lien web.</ref>.
