9c637f433c9779eb.tex
1: \begin{abstract} 
2: Triangles with integer length sides and integer area are known as Heron triangles. Taking rescaling freedom into account,  
3: one can apply the same name when all sides and the area are rational numbers. 
4: A perfect triangle is 
5: a Heron triangle with all three medians being rational, and it is a longstanding conjecture that no such triangle exists. 
6: However, Buchholz and Rathbun showed that there are  
7: infinitely many Heron triangles with two rational medians, an infinite subset of which are associated with rational points on 
8: an elliptic curve $E(\Q)$ with Mordell-Weil group  $\Z\times \Z/2\Z$, and they observed a connection with 
9: a pair of Somos-5 sequences. Here we make the latter connection more precise by providing explicit formulae 
10: for the integer side lengths, the two rational medians,  and the area in this infinite family of Heron triangles. 
11: The proof uses a combined approach to Somos-5 sequences and associated Quispel-Roberts-Thompson 
12: (QRT) maps in the plane, from several different viewpoints: complex analysis, real dynamics, and reduction modulo a prime.
13: \end{abstract}