One of the oldest problems in the theory of Diophantine equations is to find right triangles with integer side lengths, or equivalently, triples of positive integers (a, b, c) such that \(a^2 + b^2 = c^2\), which are called Pythagorean triples. Examples were known to the Babylonians around 1800 BCE. Taking positive integers \(m>n\) and \(\tau \), all such triples can be determined from the formula
which was given by Euclid, but without the arbitrary scale factor \(\tau \). A primitive Pythagorean triple is one for which \(\gcd (a,b,c)=1\), and (up to switching a and b) all primitive triples are obtained from (1) by taking \(\tau =1\) and m, n coprime with at least one of them even.
The formula (1) can be derived directly from simple congruences modulo 2 and 4, but another way to obtain it is to consider rational points on an algebraic curve, namely the unit circle
For any rational point \((x,y)\in {{\mathbb {Q}}}^2\) on this circle distinct from the point \((-1,0)\), we form the chord joining them, given by the line \(y=t(x+1)\) with slope t. Hence we obtain the rational parametrization of the circle
related to the usual trigonometric parametrization \(x=\cos \theta \), \(y=\sin \theta \) by the “t-substitution” of integral calculus, that is, \(t=\tan {\theta }/{2}\), and formula (1) follows by taking rational \(t={n}/{m}\) with \(0<t<1\).
Heron Triangles and Unicorns
For a triangle with sides (a, b, c) and semiperimeter s, the area formula
is attributed to Heron of Alexandria. If the side lengths of a triangle are integers and the area \(\Delta \) is also an integer, then it is called a Heron triangle. Allowing the freedom to rescale all the sides by the same factor, it is convenient to define a triangle to be Heron whenever the side lengths and the area are all rational numbers.
Trivially, every right triangle given by a Pythagorean triple is Heron. More generally, dropping a perpendicular from any vertex of a Heron triangle splits it into a pair of right triangles with the same height, either joined back to back or overlapping each other, and it is not hard to see that both triangles must have rational sides, so that (up to rescaling) the Heron triangle is built from a pair of Pythagorean triples. This construction can be used to derive a parametric formula for Heron triangles,
with \(\Delta =rc\), for arbitrary positive rational numbers p, q, r such that \(r^2\ne pq\), which was known to Brahmagupta in the seventh century CE [4].
For a particular example, taking \(p=3,q=4,r=6\) in (4) leads to the Heron triangle with \(a=15\), \(b=13\), \(c=14\) and area \(\Delta =84\), which can be built out of the Pythagorean triangles (5, 12, 13) and (9, 12, 15) by placing them back to back along the altitude \(2r=12\), as in Figure 1. (This choice of parameters is not unique: for instance, by ordering the sides differently as \((a,b,c)=(15,14,13)\) instead of (15, 13, 14), one can obtain the same Heron triangle from \(p={147}/{13}\), \(q={126}/{13}\), \(r={84}/{13}\).)
A systematic method for enumerating Heron triangles with integer sides was given by Hermann Schubert [12]. In Schubert’s scheme, (15, 13, 14) is the first example of a Heron triangle with integer sides that is not right or isosceles. However, if we combine the same two Pythagorean triples by overlapping the triangles (rather than arranging them back to back as in the figure), then we get the (15, 13, 4) Heron triangle with the smaller area \(\Delta =24\), which nevertheless appears farther down in Schubert’s list.
The unicorns in our story are perfect triangles: triangles that have three integer sides, three integer medians, and integer area. Does a perfect triangle exist, or equivalently, is there a Heron triangle with three rational medians? It is generally believed that there is no such thing, all the “proofs” in the literature having proven to be incorrect. The problem remains open [8]. The rest of our discussion is devoted to seeing how close we can get to perfection.
Hereinafter, the medians bisecting sides a, b, c will be denoted respectively by \(k,\ell ,m\), which leads to the relations
We label the angles adjacent to the median k as in Figure 2, and our first step toward the elusive perfect triangle will be to consider the requirement that just this median be rational.
Heron Triangles with One Rational Median
From a construction of parallelograms with rational sides, area, and diagonals, Schubert was led to the case of Heron triangles with one rational median, and he went on to present an argument that such triangles could not have a second rational median, which a fortiori would rule out the existence of perfect triangles. However, as pointed out by Leonard Eugene Dickson [4], his argument contained an oversight that rendered it insufficient. That flaw notwithstanding, an identity of Schubert’s for Heron triangles with one rational median is crucial for what follows.
If we write \(\textbf{b},\textbf{c},\textbf{k}\) for the vectors corresponding to the lengths b, c, k, directed outward from the top vertex in Figure 2, and \(\textbf{a}= \textbf{b}-\textbf{c}=2(\textbf{k}-\textbf{c})=2(\textbf{b}-\textbf{k})\), then the dot product \((\textbf{b}-\textbf{c})\cdot \textbf{k}= \textbf{a}\cdot \textbf{k}\) gives \(bk\cos {\alpha }-ck\cos {\beta }=ak\cos {\gamma }\), while the area of the triangle is \(\Delta =\vert \textbf{b}\times \textbf{k}\vert =\vert \textbf{c}\times \textbf{k}\vert =\tfrac{1}{2}\vert \textbf{a}\times \textbf{k}\vert \), which gives \(\Delta = bk\sin {\alpha }=ck\sin {\beta }=\frac{1}{2}ak\sin {\gamma }\). Combining these relations produces the identity
Given three angles \({\alpha },{\beta },{\gamma }\) in the interval \((0,\pi )\) subject to \({\alpha }+{\beta }<\pi \), it is convenient to take
as parameters, and then by standard trigonometric identities (equivalent to the “t-substitution” in (2) above), the identity (5) becomes a rational relation between these three quantities, namely
This gives the equation of a surface in three-space with coordinates (M, P, X), which can be rewritten as the vanishing of a polynomial:
We shall refer to it as the Schubert surface.
From the half-angle identity \(\cot ({\alpha }/2)=\sin {\alpha }/(1-\cos {\alpha })\), we have \(M=\Delta /(bk-\textbf{b}\cdot \textbf{k})\). Using the analogous expressions for P and X together with dot product relations, we can express these Schubert parameters in terms of the area, side lengths, and median by the formulas
The ratios of the side lengths are given in terms of the Schubert parameters by
Formulas (8) show that every Heron triangle with a rational median k produces a rational point on the Schubert surface (7), with positive coordinates \((M,P,X)\in {{\mathbb {Q}}}^3\). How about the converse: does every rational point on this surface correspond to a Heron triangle with (at least) one rational median? In fact, using certain discrete symmetries of the surface (sending (M, P, X) to \((M^{-1},P^{-1},X^{-1})\) or replacing one of the Schubert parameters by its negative reciprocal), we can begin with any triple of nonzero values \((M,P,X)\in {{\mathbb {Q}}}^3\) satisfying (7) and turn it into a valid positive triple. Then the side lengths (a, b, c) are determined by (M, P, X) using the rational expressions (9), up to an arbitrary choice of scale; after fixing the scale, any pair of equations (8) allow the rational numbers k and \(\Delta \) to be recovered.
Triangles with Two Rational Medians
In striving to get closer to perfection, another possible direction for our first step is to drop the requirement that the area \(\Delta \) be rational and just consider triangles with rational sides (a, b, c) and two rational medians \(k,\ell \). In his PhD thesis [1], Ralph H. Buchholz obtained a rational parametrization of all such triangles, given by the formulas
where \(\theta ,\phi \) are rational numbers subject to constraints ensuring positivity of the side lengths, namely,
and the positive parameter \(\tau \in {{\mathbb {Q}}}\) allows for an arbitrary choice of scale. Conversely, the parameters \((\theta ,\phi )\in {{\mathbb {Q}}}^2\) can be written as rational functions of the side lengths and two medians, given by
where \(s=(a+b+c)/2\) is the semiperimeter, as before.
Note that in (12), there are two independent choices of ± signs, and hence four different pairs \((\theta ,\phi )\) associated with the same rational triangle with two rational medians.
Intermezzo: Somos-5 Sequences
Before we continue our quest for the perfect triangle, we must recall some beautiful observations made by Michael Somos [13]. The saga of Somos sequences attracted widespread attention due to Mathematical Intelligencer articles by David Gale [7], and they provided inspiration for the study of the Laurent phenomenon and its development in Fomin and Zelevinksy’s theory of cluster algebras [5, 6], which has been one of the hottest topics in algebra for almost twenty-five years.
A recurrence relation of Somos type is a homogeneous quadratic recurrence of a particular form. Here we focus on the example of Somos-5 sequences, which are recurrence relations of order 5 given by
for \(n>4\). Somos noticed that if all five initial values are equal to 1, then the resulting Somos-5 sequenceFootnote 1 begins
and consists entirely of integers. This seems very surprising, because at each iteration of (13), one must divide the right-hand side by \(S_n\) to obtain the new term \(S_{n+5}\). The Laurent property provides one explanation for the integrality of the Somos-5 sequence: if the initial values \(S_j\), \(1\le j\le 5\), for the recurrence are considered variables, then each iterate turns out to be a polynomial in these quantities and their reciprocals with integer coefficients: \(S_n ={{\mathcal {P}}}_n (S_{1}^{\pm 1}, S_{2}^{\pm 1},S_{3}^{\pm 1},S_{4}^{\pm 1},S_{5}^{\pm 1})\) (that is, a Laurent polynomial). On substituting \(S_1=S_2=S_3=S_4=S_5=1\) into each polynomial \({{\mathcal {P}}}_n\), the integer sequence (14) results.
Another completely different way to understand Somos-5 sequences relies on a connection with integrable maps, which are discrete analogues of exactly solvable systems in Hamiltonian mechanics. To see this connection, note that the recurrence (13) has three independent scaling symmetries: rescaling even/odd index terms separately, so \(S_{2j}\rightarrow A_+S_{2j}\), \(S_{2j+1}\rightarrow A_-S_{2j+1}\), and rescaling \(S_n\rightarrow B^nS_n\) for any n, where \(A_+,A_-,B\) are arbitrary nonzero constants. Moreover, we can form a sequence of ratios that is left invariant by these scaling symmetries and find that it satisfies a recurrence of second order:
By considering \((U,V)=(u_n,u_{n+1})\) as a point in the plane, we see that each shift \(n\mapsto n+1\) of the discrete “time” in (15) is equivalent to an iteration of a birational transformation (a rational map with a rational inverse)
The transformation (16) is an example of a Quispel–Roberts–Thompson (QRT) map: such maps have arisen in various physical contexts, including statistical mechanics, nonlinear waves (solitons), and quantum field theory [11]. In a suitable regime, the iterates of the map appear like a stroboscopic view of a mechanical system with one degree of freedom. More precisely, the transformation \(\varphi \) is area-preserving (symplectic): it preserves the logarithmic area element \((UV)^{-1}\,\textrm{d}U\,\textrm{d}V\) in the plane, and it obeys conservation of energy, where “energy” in this case is the rational function
The level sets of this function are plane curves \({\tilde{J}}=\text {constant}\), and each orbit of \(\varphi \) lies on a fixed level set. The behavior is especially regular in the positive quadrant \(U>0\), \(V>0\), where each orbit densely fills a compact oval (see Figure 3, where three hundred points are plotted on each orbit).
We shall see that in relation to Heron triangles with two rational medians, two different integer sequences appear, namely the pair of Somos-5 sequences given by
where the terms above are listed starting from the index \(n=0\). The first one, \((S_n)\), is just the original Somos-5 sequence (14), but indexed differently: it corresponds to the orbit of the map \(\varphi \) through the point (1, 1), while the second sequence, \((T_n)\), corresponds to the orbit through the point \((-1,7)\). It is easily verified that both of these orbits lie on the same level curve \({\tilde{J}}=5\) of the function (17),
a plane cubic curve (total degree 3) that is also biquadratic (quadratic in both U and V). The first orbit corresponds to the oval shown in red in Figure 3, whereas the second orbit lies outside the positive quadrant, moving around the three unbounded components of this curve, which can be seen in Figure 4.
Heron Triangles with Two Rational Medians
Buchholz found the first example of a Heron triangle with two rational medians: the (73, 51, 26) triangle with area 420 and \(k={35}/{2}\), \(\ell ={97}/{2}\), which had been overlooked by Schubert in his work on parallelograms. After joining forces, Buchholz and Randall Rathbun conducted a systematic search for such triangles, using the following algorithm based on (10): fix the scale \(\tau =1\), enumerate pairs of rational numbers \((\theta ,\phi )\), and for each pair use Heron’s formula (3) to check whether the area \(\Delta \) is rational [2]. The first few triangles obtained from this search are shown in Table 1, where each triangle is represented by positive integers (a, b, c) with \(\gcd (a,b,c)=1\). Their initial investigations suggested that there should be an infinite family of such triangles (rows labeled with a positive integer n), together with an unknown number of sporadic triangles that do not fit into this family (rows labeled with asterisks).
Heron triangles with two rational medians are associated with two different triples of Schubert parameters, \((M_a,P_a,X_a)\), \((M_b,P_b,X_b)\), each corresponding to a particular set of angles \({\alpha },{\beta },{\gamma }\) adjacent respectively to one of the medians \(k,\ell \). These triples provide two different rational points on the Schubert surface (7), coupled by two constraints coming from the ratios of side lengths, as in (9). Remarkably, by considering the patterns of prime factors appearing in these rational numbers, Buchholz and Rathbun found conjectural formulas for a subset of these parameter triples in terms of the two Somos sequences (18), such as
and analogous expressions for the other elements of each triple. When for successive integers \(n=1,2,3,\ldots \), they plotted the corresponding pairs \((\theta ,\phi )\) found from (12) with a fixed choice of ± signs, they found them to lie on one of five algebraic curves \({{\mathcal {C}}}_j\), \(1\le j\le 5\), isomorphic to one another and repeating in a pattern with period 7, the simplest-looking curve being the biquadratic cubic
It was pointed out by Elkies (see [2]) that the sequences (18) can be written using theta functions associated with the elliptic curve given by the equation
which has infinitely many rational pointsFootnote 2 and is isomorphic (birationally equivalent) to \({{\mathcal {C}}}_4\). Indirectly, this led to a proof that every rational point \((\theta ,\phi )\) on the genus-one curve \({{\mathcal {C}}}_4\) given by (21), subject to the constraints (11), corresponds to a Heron triangle with two rational medians [3].
However, until very recently, (20) and the explicit expressions for the other Schubert parameters remained conjectural. The key to progress in [9] was to observe the elegant factorization pattern in the quantities appearing under the square root in Heron’s formula, namely the semiperimeter s and the reduced side lengths \(s-a\), \(s-b\), \(s-c\) (see Table 2). It turns out that (up to an overall sign) each of these four quantities is given by a specific product of terms from the two Somos-5 sequences, leading to the following result.
Theorem 1.
For every integer \(n\ge 1\), the terms in the pair of Somos-5 sequences \((S_n)\) and \((T_n)\) in (18) provide a Heron triangle with two rational medians having integer side lengths given by
with \(\gcd (a,b,c)=1\), rational median lengths
and integer area
The curve (19) is birationally equivalent to the curve \({{\mathcal {C}}}_4\) in (21), hence also to the curve (22). Its set of rational points is the union of two orbits of the map (16): the orbit associated with the sequence \((S_n)\) lying on the oval in the positive quadrant in Figure 4, and the orbit associated with \((T_n)\), which jumps around the other three quadrants in a pattern that repeats with period 7. Thus these two Somos-5 sequences completely encode the structure of this infinite family of Heron triangles with two rational medians. It would be natural to wonder whether any of the triangles in this family can have a third rational median m, but it has been proven that such is not the case [10].
Still, this leaves some big challenges to the reader: so far, only four sporadic triangles have been found that do not belong to the infinite family! The prime factorization of each semiperimeter and the reduced lengths in Table 3 give tantalizing hints of further structure. Can you extend the search to find more sporadic examples and fit them into one or more new infinite families encoded by Somos (or other) sequences? Or can you show that these four are the only sporadic triangles, thereby proving that unicorns do not exist?
Notes
Sequence A006721 in the On-line Encyclopedia of Integer Sequences (OEIS).
References
R. H. Buchholz. On Triangles with rational altitudes, angle bisectors or medians. PhD thesis, University of Newcastle, 1989.
R. H. Buchholz and R. L. Rathbun. An infinite set of Heron triangles with two rational medians. Amer. Math. Monthly 104 (1997), 107–115.
R. H. Buchholz and R. L. Rathbun. Heron triangles and elliptic curves. Bull. Austral. Math. Soc. 58 (1998), 411–421.
L. E. Dickson. History of the Theory of Numbers, Vol. II: Diophantine Analysis. Carnegie Institution, 1920.
S. Fomin and A. Zelevinsky. The Laurent phenomenon. Adv. Appl. Math. 28 (2002), 119–144.
A. P. Fordy and R. J. Marsh. Cluster mutation-periodic quivers and associated Laurent sequences. J. Algebraic Combin. 34 (2011), 19–66.
D. Gale. The strange and surprising saga of the Somos sequences. Mathematical Intelligencer 13:1 (1991) 40–42; Somos sequence update. Mathematical Intelligencer 13:4 (1991), 49–50; reprinted in Tracking the Automatic Ant. Springer, 1998.
R. K. Guy. Unsolved Problems in Number Theory. Springer, 1981.
A. N. W. Hone. Heron triangles with two rational medians and Somos-5 sequences. European Journal of Mathematics 8 (2022), 1424–1486.
S. Ismail and Z. Eshkuvatov. Perfect triangles: rational points on the curve C4 (the unsolved case). J. Phys. Conf. Ser. 1489 (2020), 012003.
G. R. W. Quispel, J. A. G. Roberts, and C. J. Thompson. Integrable mappings and soliton equations. Phys. Lett. A 126 (1988), 419–421.
H. Schubert. Die Ganzzähligkeit in der algebraischen Geometrie. Spamersche Buchdruckerei, 1905.
M. Somos. Problem 1470. Crux Mathematicorum 15 (1989), 208.
Acknowledgments
This research was supported by Fellowship EP/M004333/1 from the Engineering & Physical Sciences Research Council, UK, with EP/V520718/1 UKRI COVID-19 Grant Extension Allocation, and grant IEC/R3/193024 from the Royal Society.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This column is a place for those bits of contagious mathematics that travel from person to person in the community because they are so elegant, surprising, or appealing that one has an urge to pass them on. Contributions are most welcome. Submissions should be uploaded to https://submission.springernature.com/new-submission/283/3or sent directly to Sophie Morier-Genoud (sophie.morier-genoud@imj-prg.fr) or Valentin Ovsienko (valentin.ovsienko@univ-reims.fr).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Hone, A.N.W. Heron Triangles and the Hunt for Unicorns. Math Intelligencer (2024). https://doi.org/10.1007/s00283-024-10337-2
Accepted:
Published:
DOI: https://doi.org/10.1007/s00283-024-10337-2