求满足分式等式的非负整数c的所有可能值及证明

阿华AIGC实验室

2026-5-19

解题思路与严谨证明：求$c = \frac{a^2+ab+b2}{ab-2}$的非负整数解

我来梳理下这个数论问题的完整解题思路和严谨证明，帮你确认只有0、6、13这三个可能的非负整数$c$值，不存在其他取值。

结论先行

满足条件的非负整数$c$仅有三个：$\boldsymbol{0}$、$\boldsymbol{6}$、$\boldsymbol{13}$。

分情况逐一证明

情况1：$c=0$的合法性

要让分式等于0，分子必须为0，同时分母不能为0。
因为$a,b$是非负整数，$a^2+ab+b2=0$当且仅当$a=b=0$，此时分母$ab-2=-2\neq0$，完全满足条件。所以$c=0$是一个合法解。

情况2：$c>0$的情形（此时分母$ab-2>0$，即$ab\geq3$）

先把原式整理成关于$a$的二次方程：
$$a^2 + b(1 - c)a + (b^2 + 2c) = 0$$
因为$a$是非负整数，这个二次方程必须有非负整数解，因此两个关键条件：判别式为非负完全平方数，且根据Vieta定理，解之间的关系可以用来缩小范围（这就是数论里常用的Vieta跳级法）。

子情况2.1：对称解$a=b$

当$a=b$时，代入原式得：
$$c = \frac{3a^2}{a2 - 2}$$
变形一下：
$$c = 3 + \frac{6}{a^2 - 2}$$
因为$c$是整数，所以$a^{2-2$必须是6的正因数。6的正因数有1、2、3、6，对应$a}2$为3、4、5、8，但$a$是非负整数，$a^{2$只能是完全平方数，只有$a}2=4$（即$a=b=2$）符合，此时$c=\frac{3\times4}{4-2}=6$。所以$c=6$是一个解。

子情况2.2：非对称解$a\neq b$（不妨设$a>b\geq1$）

根据Vieta定理，若$a$是方程的一个解，那么另一个解$a' = \frac{b^2 + 2c}{a}$也是非负整数。而且因为$a>b$，我们可以通过不断替换$a$为$a'$，逐步缩小$a$的取值，直到找到最小的解，再反向验证所有可能的$c$。

先固定$b=1$（最小的正整数），代入原式：
$$c = \frac{a^2 + a + 1}{a - 2}$$
对分子做多项式除法：
$$a^2 + a + 1 = (a-2)(a+3) + 7$$
所以：
$$c = a+3 + \frac{7}{a-2}$$
$\frac{7}{a-2}$必须是整数，$a-2$只能是7的正因数（1或7），对应$a=3$或$a=9$：

$a=3$时，$c=3+3+7=13$
$a=9$时，$c=9+3+1=13$
所以$c=13$是一个解，对应的解为$(3,1)$、$(9,1)$，以及它们的对称解$(1,3)$、$(1,9)$。

再固定$b=2$，代入原式：
$$c = \frac{a^2 + 2a + 4}{2a - 2} = \frac{a^2+2a+4}{2(a-1)}$$
同样做多项式除法：
$$a^2+2a+4=(a-1)(a+3)+7$$
所以：
$$c = \frac{a+3}{2} + \frac{7}{2(a-1)}$$
要$c$是整数，$2(a-1)$必须整除7，但7是质数，$2(a-1)$是偶数，不可能整除奇数7，因此$b=2$时没有新的$c$值。

当$b\geq3$时，我们可以结合判别式和Vieta跳级法证明不存在新的$c$：
对于固定的$b\geq3$，二次方程的判别式：
$$\Delta = b^2(c-3)(c+1) - 8c$$
必须是非负完全平方数。尝试$c=1$到$c=5$、$c=7$到$c=12$时，$\Delta$要么为负，要么不是完全平方数；当$c\geq14$时，通过Vieta跳级会得到更小的$a'$，最终回到$b=1$或$b=2$的情况，而这两种情况我们已经验证过只有$c=13$和$c=6$。

另外，逐一验证$c=1$到$c=5$、$c=7$到$c=12$：