Un triangle est appelé triangle de Héron (ou triangle héronien) si les longueurs de ses côtés ainsi que son aire sont exprimés en nombres entiers naturels non nuls. En condensé, c'est un triangle entier d'aire entière.
D'après la formule de Héron il s'agit de déterminer les solutions en nombres entiers naturels de l'équation diophantienne en prenant .
On attribue à Héron d'Alexandrie la solution .
Les trois premières solutions ordonnées par la croissance du plus grand côté sont (3, 4, 5, 6), (5, 5, 6, 12), (5, 5, 8, 12).
Les suites donnant les valeurs successives de sont, dans l'encyclopédie des suites entières : , , , . Paramétrisation de Brahmagupta Le mathématicien indien Brahmagupta (598-668 après J.-C.) a découvert la paramétrisation suivante générant des triangles de Héron..
Étant donné trois entiers strictement positifs , et premiers entre eux dans leur ensemble et vérifiant et (pour l'unicité), on peut poser :
où est le demi-périmètre, est l'aire et est le rayon du cercle inscrit.
Le triangle de Héron résultant n'est pas toujours primitif, et une homothétie peut être nécessaire pour obtenir le triangle primitif correspondant. Par exemple, en prenant , et on obtient un triangle vérifiant , et , multiple du triangle de Héron avec un facteur de proportionnalité de .
Le fait que le triangle généré ne soit pas primitif est un obstacle à l'utilisation de cette paramétrisation pour générer tous les triangles de Héron avec des longueurs inférieures à une borne donnée, puisque la taille de ne peut être prédite . Paramétrisation d'Euler La méthode suivante générant tous les triangles de Héron a été découverte par Leonhard Euler, avec démonstration de l'universalité.
Étant donné quatre entiers positifs premier avec et premier avec vérifiant , on peut poser :
Même lorsque , , et sont deux à deux premiers entre eux, le triangle de Héron résultant peut ne pas être primitif. En particulier, si , , et sont tous impairs, les trois longueurs de côtés sont paires. Il est également possible que , et aient un diviseur commun autre que . Par exemple, avec , , et , on obtient , où chaque longueur de côté est un multiple de ; le triplet primitif correspondant est , qui peut également être obtenu en divisant le triplet résultant de par deux, puis en échangeant et .
Références
Voir aussi
Articles connexes Quadruplet pythagoricien, permettant d'engendrer un triangle de Héron Triangle de Brahmagupta, triangle de Héron dont les côtés sont des entiers consécutifs Tétraèdre de Héron Suite d'Alcuin, donnant le nombre de triangles entiers de périmètre donné. Quadrilatère de Brahmagupta Pentagone de Robbins
Liens externes
Triangles héroniens sur le site de Gérard Villemin
Catégorie:Triangle Catégorie:Équation diophantienne