A Survey of Alternative Solutions to the Congruum Problem
Nathanael Johnson
TL;DR
The paper addresses whether an arithmetic progression of three perfect squares can have a square common difference (the Congruum Problem) and surveys four independent proofs that avoid Pisano's original method. It employs direct Diophantine analysis, parameterization of differences, Heronian triangle constructions, and infinite descent, drawing on Pythagorean triples, triangle area properties, and descent arguments. Each approach yields a contradiction to the existence of such a quadruple, reinforcing Fermat-like results within multiple mathematical frameworks. The work broadens the toolkit for Diophantine systems and demonstrates how number theory and geometry interconnect in proving nonexistence results.
Abstract
A congruum was first defined by Leonardo Pisano in 1225 and it is defined as the common difference in an arithmetic progression of three perfect squares. Later that year in his book Liber Quadratorum, Pisano proved that congruums can never perfect squares themselves, a finding that was later revisited by Pierre de Fermat in 1670. His proof is now known as Fermat's Right Triangle Theorem. In this paper, four alternative proofs to Pisano's original proof are demonstrated and offered with each proof requiring a different scope of mathematical knowledge. The proofs are by direct Diophantine analysis, parameterization of differences, Heronian triangle construction, and infinite descent. In showing these proofs, it is demonstrated that there are alternatives to the method of decomposing perfect squares as sums of odd numbers as Pisano did in his proof in 1225.