Un triangle est appelé triangle de Héron (ou triangle héronien ) si chacune des 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
(
a
,
b
,
c
,
s
)
{\displaystyle (a,b,c,s)}
en nombres entiers naturels de l'équation diophantienne
16
s
2
=
(
a
+
b
+
c
)
(
a
+
b
−
c
)
(
b
+
c
−
a
)
(
c
+
a
−
b
)
{\displaystyle 16s^{2}=(a+b+c)(a+b-c)(b+c-a)(c+a-b)}
en prenant
0
<
a
⩽
b
⩽
c
{\displaystyle 0<a\leqslant b\leqslant c}
.
On attribue à Héron d'Alexandrie la solution
(
13
,
14
,
15
,
84
)
{\displaystyle (13,14,15,84)}
[ 1] .
Les trois premières solutions ordonnées par la croissance de leur plus grand côté sont (3, 4, 5, 6), (5, 5, 6, 12), (5, 5, 8, 12).
Les suites donnant les valeurs successives de
(
a
,
b
,
c
,
s
)
{\displaystyle (a,b,c,s)}
sont les suites ( A055594 , A055593 , A055592 A055595 ).
Voici une méthode pour déterminer des triangles de Héron ; on peut paramétrer les quatre inconnues
(
a
,
b
,
c
,
s
)
{\displaystyle (a,b,c,s)}
par trois entiers
(
m
,
n
,
k
)
{\displaystyle (m,n,k)}
de la façon suivante :
a
=
n
(
m
2
+
k
2
)
b
=
m
(
n
2
+
k
2
)
c
=
(
m
+
n
)
(
m
.
n
−
k
2
)
s
=
k
.
m
.
n
(
m
+
n
)
(
m
.
n
−
k
2
)
{\displaystyle {\begin{array}{lcl}a&=&n(m^{2}+k^{2})\\b&=&m(n^{2}+k^{2})\\c&=&(m+n)(m.n-k^{2})\\s&=&k.m.n(m+n)(m.n-k^{2})\end{array}}}
Ces constructions garantissent, pour toutes les valeurs de
(
m
,
n
,
k
)
{\displaystyle (m,n,k)}
choisies, une solution
(
a
,
b
,
c
,
s
)
{\displaystyle (a,b,c,s)}
valide[ 2] .
Voir aussi
Références
↑ (en) K. R. S. Sastry, « Heron triangles: A Gergonne-Cevian-and-median perspective », Forum Geometricorum , vol. 1, 2001 , p. 17-24 (lire en ligne )
↑ Gérard Villemin, « Triangles héroniens », sur villemin.gerard.free.fr (consulté le 15 février 2017 ) .
Description
Types
Points remarquables (Nombre de Kimberling )
Droites remarquables
Cercles remarquables
Triangles remarquables
Courbes remarquables
Théorèmes
Relations entre triangles
Résolution