Approximations to Equilateral Triangles by Heronian Triangles

Theorem
The sequence of best approximations to an equilateral triangle by a Heronian triangle begins:


 * The $\paren {3, 4, 5}$ triangle, with area $6$


 * The $\paren {13, 14, 15}$ triangle, with area $84$, where $14 = 4^2 - 2$


 * The $\paren {193, 194, 195}$ triangle, where $194 = 14^2 - 2$


 * The $\paren {37 \, 633, 37 \, 634, 37 \, 635}$ triangle, where $37 \, 634 = 194^2 - 2$

and so on.

Proof
Suppose a triangle with side lengths $\tuple {a - 1, a, a + 1}$ is Heronian.

By Heron's Formula, the area of this triangle is:

By, $\dfrac a 4 \sqrt {3 a^2 - 12} \in \N$.

Hence it is necessary for $a$ to be even.

Writing $a = 2 n$:
 * $\dfrac a 4 \sqrt {3 a^2 - 12} = \dfrac {2 n} 4 \sqrt {3 \paren {2 n}^2 - 12} = n \sqrt {3 n^2 - 3}$

So we need to find $n$ such that $\sqrt {3 n^2 - 3}$ is an integer.

This corresponds to a Pell-like equation $x^2 - 3 n^2 = -3$.

This equation has a trivial solution $\tuple {x, n} = \tuple {0, 1}$.

The smallest $n$ with integer $x$ solution to $x^2 - 3 n^2 = 1$ are:
 * $\tuple {n, x} = \tuple {0, 1}$ (trivial), $\tuple {1, 2}$

Then a family of solutions can be found by:
 * $x^2 - 3 y^2 = 1 = \paren {2^2 - 3 \times 1^2}^m$ for all $m \in \N$

Factorising gives:
 * $\paren {x - \sqrt 3 y} \paren {x + \sqrt 3 y} = \paren {2 - \sqrt 3}^m \paren {2 + \sqrt 3}^m$

The system of equations:
 * $x - \sqrt 3 y = \paren {2 - \sqrt 3}^m$
 * $x + \sqrt 3 y = \paren {2 + \sqrt 3}^m$

Has solutions:
 * $x = \dfrac {\paren {2 - \sqrt 3}^m + \paren {2 + \sqrt 3}^m} 2$
 * $y = \dfrac {\paren {2 + \sqrt 3}^m - \paren {2 - \sqrt 3}^m} {2 \sqrt 3}$

Suppose that $p^2 - 3 q^2 = -3, r^2 - 3 s^2 = 1$.

Then:

showing that $\tuple {p r \pm 3 q s, p s \pm q r}$ is a solution for $x^2 - 3 y^2 = -3$.

In particular:
 * $\tuple {\dfrac {\sqrt 3 \paren {\paren {2 + \sqrt 3}^m - \paren {2 - \sqrt 3}^m}} 2, \dfrac {\paren {2 - \sqrt 3}^m + \paren {2 + \sqrt 3}^m} 2}$ is a solution.

From our discussion above:
 * $a = \paren {2 - \sqrt 3}^m + \paren {2 + \sqrt 3}^m$ is a family of solutions for the almost-equilateral Heronian triangles.

The sequence above is a subfamily of the solution above, as seen by:

Some other solutions include:
 * $m = 3: \tuple {51, 52, 53}$, with area $\sqrt {78 \times 27 \times 26 \times 25} = 1170$
 * $m = 5: \tuple {723, 724, 725}$, with area $\sqrt {1086 \times 361 \times 362 \times 363} = 226 \, 974$

Also see
These triangles are known as Fleenor-Heronian triangles.