通俗地说当 a=2 时,除最后一个乘积外三个方程对 b,c 都是线性的,而乘积的奇偶性只留下两种情形。
方程为 2b−c=2m、2c−b=2n 和 bc−2=2p。由于 n≥1,第二个方程说明 b 为偶数。若 p=1,则 bc=4;结合 2≤b≤c 得 (b,c)=(2,2)。现设 p>1。由于 bc=2p+2≡2(mod4) 且 b 为偶数,所以 b≡2(mod4) 且 c 为奇数。因此 2b−c 为奇数,故 m=0 且 2b−c=1,即 c=2b−1。代入 2c−b=2n 得 3b=2n+2,从而 3c=2n+1+1。此外,bc−2=2p 化为 (2n−1+1)(2n+1+1)=9(2p−1+1)。这里 p≥n;将此恒等式模 2n−1 化简得 1≡9(mod2n−1),所以 n≤4。在 3b=2n+2 中 n=1 不可能,而 n=3 会使 b=(2n+2)/3 不是整数。因此 n=2 或 4,得到 (b,c)=(2,3) 或 (6,11)。