# Rational solutions to a+b+c=abc=6a+b+c=abc=6

The following appeared in the problems section of the
March 2015 issue of the American Mathematical Monthly.

Show that there are infinitely many rational triples
$(a, b, c)$ such that $a + b + c = abc = 6$.

For example, here are two solutions $(1,2,3)$
and $(25/21,54/35,49/15)$.

The deadline for submitting solutions was July 31 2015,
so it is now safe to ask: is there a simple solution?
One that doesn’t involve elliptic curves, for instance?

(Edit at the bottom.) Here is an elementary way (known to Fermat) to find an infinite number of rational points. From $a+b+c = abc = 6$, we need to solve the equation,

Solving $(1)$ as a quadratic in $b$, its discriminant $D$ must be made a square,

Using any non-zero solution $a_0$, do the transformation,

For this curve, let $a_0=2$, and we get,

Assume it to be a square,

Expand, then collect powers of $x$ to get the form,

where the $p_i$ are polynomials in $p,q,r$. Then solve the system of three equations $p_2 = p_1 = p_0 = 0$ using the three unknowns $p,q,r$. One ends up with,

Thus, $x =-16/35$ or,

and you have a new rational point,

Use this on $(2)$ as $x = y+54/35$ and repeat the procedure. One gets,

Again using this on $(2)$, we eventually have,

where the denominator $d$ is a large integer too tedious to write.

Conclusion: Starting with a “seed” solution, just a few iterations of this procedure has yielded $a_i$ with a similar form $6n^{\color{red}2}/d$ that grow rapidly in “height”. Heuristically, it then suggests an infinite sequence of distinct rational $a_i$ that grow in height with each iteration.

$\color{blue}{Edit}$: Courtesy of Aretino’s remark below, then another piece of the puzzle was found. We can translate his recursion into an identity. If,

then subsequent ones are,

where,

Starting with $a_0=2$, this leads to $v_1 = 6\times 3^2/35$, then $v_2 = 6\times 4286835^2/37065988023371$, ad infinitum. Thus, this is an elementary demonstration that there an infinite sequence of rational $a_i = v_i$ without appealing to elliptic curves.