同余数问题的替代解法综述

同余数（congruum）由莱昂纳多·皮萨诺（Leonardo Pisano）于1225年首次定义，它是指三个完全平方数所构成的等差数列中的公差。同年晚些时候，皮萨诺在其著作《平方数之书》（Liber Quadratorum）中证明了同余数本身永远不可能是完全平方数，这一发现后来在1670年由皮埃尔·德·费马（Pierre de Fermat）重新审视。他的证明如今被称为费马直角三角形定理。本文展示并提供了皮萨诺原始证明的四种替代证法，每种证法所需数学知识范围各不相同。这些证明分别采用直接丢番图分析、差分参数化、海伦三角形构造以及无穷递降法。通过展示这些证明，本文表明存在替代皮萨诺在1225年证明中所用“将完全平方数分解为奇数之和”这一方法的其他途径。