A Heronian triangle is a triangle having rational side lengths and rational area. The triangles are so named because such triangles are related to Heron's formula
|
(1)
|
giving a triangle area in terms of its side lengths
,
,
and semiperimeter
. Finding a Heronian triangle is therefore equivalent
to solving the Diophantine equation
|
(2)
|
A Heronian triangle can be scaled to have integer side lengths and integer area. Choose
a common multiple
of the denominators, multiply the side lengths by
, and multiply the area
by
.
The complete set of solutions for integer Heronian triangles
was found by Euler (Buchholz 1992; Dickson 2005, p. 193), and parametric versions
were given by Brahmagupta and Carmichael (1952) as
|
(3)
| |||
|
(4)
| |||
|
(5)
| |||
|
(6)
| |||
|
(7)
|
This produces one member of each similarity class of Heronian triangles for integers ,
, and
such that
,
,
, and
(Buchholz 1992).
The first few integer Heronian triangles sorted first by increasing longest side, then by second-longest side, and then by shortest side,
are (3, 4, 5), (5, 5, 6), (5, 5, 8), (6, 8, 10), (10, 10, 12), (5, 12, 13), (10,
13, 13), (9, 12, 15), (4, 13, 15), (13, 14, 15), (10, 10, 16), ... (OEIS A055594,
A055593, and A055592),
having areas 6, 12, 12, 24, 48, 30, 60, 54, ... (OEIS A055595).
The first few integer Heronian scalene
triangles, sorted first by increasing longest side, then by second-longest side,
and then by shortest side, are (3, 4, 5), (6, 8, 10), (5, 12, 13), (9, 12, 15), (4,
13, 15), (13, 14, 15), (9, 10, 17), ... (OEIS A046128,
A046129, and A046130),
having areas 6, 24, 30, 54, 24, 84, 36, ... (OEIS A046131).
R. Rathbun has cataloged all integer Heronian triangles
with perimeters smaller than (Peterson 2003).
Schubert (1905) claimed that Heronian triangles with two rational triangle medians do not exist (Dickson 2005). This
was shown to be incorrect by Buchholz and Rathbun (1997), who discovered the triangles
given in the following table, where are triangle median lengths
and
is the area.
| 73 | 51 | 26 | 420 | ||
| 626 | 875 | 291 | 572 | 55440 | |
| 4368 | 1241 | 3673 | 1657 | 2042040 | |
| 14791 | 14384 | 11257 | 11001 | 75698280 | |
| 28779 | 13816 | 15155 | 21937 | 23931600 | |
| 1823675 | 185629 | 1930456 | 142334216640 |
D. Borris (pers. comm., Oct. 22, 2003) considered primitive pairs of Heronian triangles, one a right triangle with sides and the other an isosceles
triangle with sides
, such that the two triangles share a common area
and a common perimeter. Here primitive means that the
greatest common divisor of all the side
lengths in the pair is 1. Borris found the pair
and
(corresponding to area
and perimeter
864), with no other such pairs with right triangle
smallest side length less than
.