无穷递降法

无穷递降法，又名無窮遞減法，是数学中证明方程无解的一种方法。

步骤

• 假设方程有解，并设X为最小的解。
• 从X推出一个更小的解Y。
• 从而与X的最小性相矛盾。所以，方程无解。

例子

证明下列方程无正整数解:

$a^2+b^2=3 \cdot (s^2+t^2),\,$

证明:

假设该方程有正整数解。

设$a_1, b_1, s_1, t_1$为最小的解。即

$a_1^2+b_1^2 = 3 \cdot (s_1^2+t_1^2)$

显然，$a_1$和$b_1$都必须能被3整除。设

$3 a_2 = a_1\,$及$3 b_2 = b_1.\,$

我们得到

$(3 a_2)^2 + (3 b_2)^2 = 3 \cdot (s_1^2+t_1^2)$

$3(a_2^2+b_2^2) = s_1^2+t_1^2.\,$

这是更小的解，与$a_1, b_1, s_1, t_1$的最小性相矛盾。所以，原方程无正整数解。