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)
|
The complete set of solutions for integer Heronian triangles (the three side lengths and area can be multiplied by their least common multiple to make them all integers) were 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 any integers , , and such that , , and (Buchholz 1992).
The first few integer Heronian triangles sorted by increasing maximal side lengths, 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 by increasing maximal side lengths, 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 triangle share a common area and a common perimeter. Borris found the pair and (corresponding to area and perimeter 864), with no other such pairs with right triangle smallest side length less than .