MathLabs

第2题

求所有正整数三元组 (a,b,c)(a,b,c),使得 ab−cab-c、bc−abc-a、ca−bca-b 这三个数都是 22 的幂(22 的幂是指形如 2n2^n 的整数,其中 nn 为非负整数)。
第 3/8 步:a=2a=2 的情形
通俗地说

当 a=2a=2 时,除最后一个乘积外三个方程对 b,cb,c 都是线性的,而乘积的奇偶性只留下两种情形。

a=2⟹(a,b,c)∈{(2,2,2),(2,2,3),(2,6,11)}a=2\quad\Longrightarrow\quad (a,b,c)\in\{(2,2,2),(2,2,3),(2,6,11)\}
详细分析

方程为 2b−c=2m2b-c=2^m、2c−b=2n2c-b=2^n 和 bc−2=2pbc-2=2^p。由于 n≥1n\ge1,第二个方程说明 bb 为偶数。若 p=1p=1,则 bc=4bc=4;结合 2≤b≤c2\le b\le c 得 (b,c)=(2,2)(b,c)=(2,2)。现设 p>1p>1。由于 bc=2p+2≡2(mod4)bc=2^p+2\equiv2\pmod4 且 bb 为偶数,所以 b≡2(mod4)b\equiv2\pmod4 且 cc 为奇数。因此 2b−c2b-c 为奇数,故 m=0m=0 且 2b−c=12b-c=1,即 c=2b−1c=2b-1。代入 2c−b=2n2c-b=2^n 得 3b=2n+23b=2^n+2,从而 3c=2n+1+13c=2^{n+1}+1。此外,bc−2=2pbc-2=2^p 化为 (2n−1+1)(2n+1+1)=9(2p−1+1)(2^{n-1}+1)(2^{n+1}+1)=9(2^{p-1}+1)。这里 p≥np\ge n;将此恒等式模 2n−12^{n-1} 化简得 1≡9(mod2n−1)1\equiv9\pmod{2^{n-1}},所以 n≤4n\le4。在 3b=2n+23b=2^n+2 中 n=1n=1 不可能,而 n=3n=3 会使 b=(2n+2)/3b=(2^n+2)/3 不是整数。因此 n=2n=2 或 44,得到 (b,c)=(2,3)(b,c)=(2,3) 或 (6,11)(6,11)。