数学甜点001 | 数论系列-无穷递降法

揭开庐山真面目

今天做题时看到了这样一道题：
证明：存在正整数n，使得方程$\frac{1}{a}+\frac{1}{b}+\frac{1}{c}+\frac{1}{abc}=\frac{n}{a+b+c}$有无穷多组正整数解$(a,b,c)$。

分析

这题是本人在学习无穷递降法时遇到的，于是自然而然地就用了这种方法解出了本题。下面给出我对这一方法的理解：（由于本人还是一名学生，水平不足，下文可能有勘误，请大家多多在评论区指正，谢谢！）

无穷递降法是证明不定方程无解的一种方法。其步骤为：假设方程有解，并设$x$为最小的解。

从$x$推出一个更小的解$y$，从而与X的最小性相矛盾。所以，方程无解。

个人认为，这种方法实为巧妙，因为它包含了一种很“高端”的思想：极限思想。这种方法通常用于证明一个不定方程没有一种特殊形式的解，但是如果到了这道题，用处却恰恰相反——由于题目未给出解的形式，因此利用无穷递降法证明这个方程有无穷个解便是本题的关键。

思路大概就是这样：

先找到一组解$(a,b,c)$，然后可以由它根据一种固定的“套路”推出一组更小的解$(a_1,b_1,c_1)$，接着又可以由它根据这种固定的“套路”推出一组更加小的解$(a_2,b_2,c_2)$，以此类推。

由此可见，关键在于看穿这道题的构造方法。

答案的“标准解法”

这样的正整数存在。

若$a=b=c=1$，则$m=12$，令

$\frac{1}{a}+\frac{1}{b}+\frac{1}{c}+\frac{1}{abc}-\frac{12}{a+b+c}=\frac{p(a,b,c)}{abc(a+b+c)}$

其中$p(a,b,c)={\sum }_{cyc}{a}^2\left(b+c\right)+a+b+c-9abc$.

设$(x,a,b)$是满足$p(a,b,c)=0$的一组解且$x<a<b$.

因为$p(a,b,c)=0$为关于$x$的二次方程，

所以$y=\frac{ab+1}{x}>b为p(a,b,c)=0$的另一组解.

设$a_0=a_1=a_2=1$.

令$a_{n+2}=\frac{a_n{a}_{n+1}+1}{a_{n-1}}(n\ge 1)$

下面证明：

$a_{n-1}|a_n{a}_{n+1}+1$

$a_n|a_{n-1}+a_{n+1}$

$a_{n+1}|a_{n-1}{a}_n+1$

。。。。。。

这里突然冒出来三个结论，就连当时看答案的我自己都懵了：你是怎么看出来这三个如此巧妙的“相辅相成”的引理的？^ _ ^

个人认为，突然冒出来的三个引理虽然也适当使用了无穷递降法，但一定程度上消减了无穷递降法的“艺术”，下面给出我的一种证明：

窝的证明——无穷递降法

我们尝试去找一个这样的$n$，并证明有无穷多组$(a,b,c)$，使得

$\frac{1}{a}+\frac{1}{b}+\frac{1}{c}+\frac{1}{abc}=\frac{n}{a+b+c}$（题目翻译）

化简有：

$(ab+bc+ac+1)(a+b+c)=nabc$

$(b+c)a^2+[(n+c{)}^2+bc+1-nbc]a+(b+c)(bc+1)=0$

我们假设$(a_0,b_0,c_0,d_0)$为原方程的一组解，我们想要说明有一组通过特定方式变换而来的另一组不同的解，从而达到无穷递降法的目的。

按照几乎与标答一样的思路，经过一番摸索，我们发现

$(\frac{b_0{c}_0+1}{a_0},b_0,c_0,n)$、$(a_0,\frac{a_0{c}_0+1}{b_0},c_0,n)$、$(a_0,b_0,\frac{b_0{a}_0+1}{c_0},n)$

也是原方程的解。

我们接下来要证的，就是无穷递降下来，整个数列是整数数列。先看看前几组$(a,b,c)$。

$(1,1,1)\to (1,1,2)\to (1,3,2)\to (7,3,2)\to (7,3,11)\to \dots \dots$

{ a n } = { 1 , 1 , 2 , 3 , 7 , 11 , … … } \left\{a_{n}\right\}=\left\{1,1,2,3,7,11,……\right\} {an​}={1,1,2,3,7,11,……}

我们需要证明 { a n } \left\{a_{n}\right\} {an​}是整数构成的数列。

$a_1=a_2=1,a_3=2$，

$a_{n+3}=\frac{a_{n+2}{a}_{n+1}+1}{a_n}$

{ a n + 1 a n + 4 = a n + 3 a n + 2 + 1 a n a n + 3 = a n + 2 a n + 1 + 1 \{ ^{a_{n}a_{n+3}=a_{n+2}a_{n+1}+1}_{a_{n+1}a_{n+4}=a_{n+3}a_{n+2}+1} {an+1​an+4​=an+3​an+2​+1an​an+3​=an+2​an+1​+1​

$a_{n+1}{a}_{n+4}-a_n{a}_{n+3}=a_{n+3}{a}_{n+2}-a_{n+2}{a}_{n+1}$

$\frac{a_{n+4}+a_{n+2}}{a_{n+3}}=\frac{a_n+a_{n+2}}{a_{n+1}}=\frac{a_n+a_{n-2}}{a_{n-1}}$

$\frac{a_{2k+2}+a_{2k}}{a_{2k+1}}=\dots \dots =\frac{a_4+a_2}{a_3}=\frac{1+3}{2}$

$\frac{a_{2k+3}+a_{2k+1}}{a_{2k+2}}=\dots \dots =\frac{a_3+a_1}{a_2}=\frac{1+2}{1}$

$a_{2k+2}=2a_{2k+1}-a_{2k}$

$a_{2k+3}=3a_{2k+2}-a_{2k+1}$

此时，我们取$(a,b,c,n)=(1,1,1,12)$。

我们完成了证明！

---

下面是每篇的结束语（凑字数专用） ：

欢迎大家关注我的博客！

我的洛谷账号：这是我

我的洛谷团队：这是我的团队

欢迎大家关注我，并加入我的团队哦^ _ ^