A Survey of Alternative Solutions to the Congruum Problem

TL;DR

This paper reviews the historical problem of congruums, presents four new proofs with varying mathematical approaches, and highlights alternative methods to Pisano's original proof from 1225.

Contribution

It introduces four novel proofs of the congruum problem, expanding the mathematical techniques used to understand this ancient problem.

Findings

Four alternative proofs demonstrated: Diophantine analysis, parameterization, Heronian triangle construction, and infinite descent.

Proofs require different levels of mathematical knowledge, showcasing diverse approaches.

Confirms that congruums cannot be perfect squares, aligning with Fermat's theorem.

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.