论克拉维乌斯的二重双假设法求解公式的一致性

意大利数学家斐波那契(Fibonacci,C.1170-C.1250)在《计算之书》(Liber Abaci,1202)中首次利用多重双假设法求解多元线性方程组问题,成为之后三百多年欧洲数学家处理此类问题的标准算法。德国数学家克拉维乌斯(Clavius,1538-1612)在《算术实践概要》(Epitome Arithmeticae Practicae,1583)中运用二重双假设法求解三元线性方程组问题时,发现了求解公式的一致性,开始对斐波那契的方法做出重要简化。该文通过对比二者求解的异同,对克拉维乌斯的方法如何简化运算给出了量化分析,解释了克拉维乌斯双假设法求解公式一致性的数学原理,并进一步提出,他可能是基于对4个特殊三元线性方程组问题的计算结果进行分析和归纳,从而发现了求解公式的一致性。