每日一題[1680]縱云梯

求方程 $2^x\cdot 3^y-5^z\cdot 7^w=1$ 的所有非負整數解 $(x,y,z,w)$.

答案? ? $(1,0,0,0),(3,0,0,1),(1,1,1,0),(2,2,1,1)$.

解析? ? 由 $5 ^z\cdot 7^w+1$ 為偶數,可得 $x\geqslant 1$.

情形一? ? 若 $y=0$,此時 $2^x-5^z\cdot 7^w=1$.

① 若 $z\neq 0$,則\[2^x\equiv 1\pmod 5\implies 4\mid x\implies 3\mid 2^x-1,\]這與 $2^x-5^z\cdot 7^w=1$ 矛盾.

② 若 $z=0$,則 $2^x-7^w=1$. 當 $x=1,2,3$ 時,直接計算可得兩組解 $(x,w)=(1,0),(3,1)$. 當 $x\geqslant 4$ 時,有 $7^w=2^x-1\equiv -1 \pmod{16}$,但\[7^w\equiv \begin{cases} 1 \pmod{16},&2\mid w,\\ 7\pmod{16},&2\nmid w,\end{cases}\]矛盾. 所以當 $ y=0 $ 時全部非負實數解為 $(x,y,z,w)=(1,0,0,0),(3,0,0,1)$.

情形二? ? 若 $y\geqslant 1$ 且 $x=1$,此時 $2\cdot 3^y-5^z\cdot 7^w=1$,有\[5^z\cdot 7^w=2\cdot 3^y-1\implies (-1)^z\equiv -1\pmod 3\implies z\equiv 1\pmod 2,\]進而\[2\cdot 3^y=5^z\cdot 7^w+1\implies 2\cdot 3^y\equiv 1\pmod 5\implies y\equiv 1\pmod 4.\]

① 若 $w\neq 0$,則\[2\cdot 3^y\equiv 1 \pmod 7\implies y\equiv 4\pmod 6,\]與 $ y\equiv 1\pmod 4$ 矛盾.

② 若 $ w=0 $,則 $ 2\cdot 3^y-5^z=1 $. 當 $ y=1 $ 時,$ z=1 $. 當 $ y\geqslant 2 $ 時,有\[5^z\equiv -1\pmod 9\implies z\equiv 3\pmod 6 \implies 5^3+1\mid 5^z+1,\]所以 $ 7\mid 5^z+1 $,這與 $ 5^z+1=2\cdot 3 $ 矛盾.

情形三? ? 若 $ y\geqslant 1$ 且 $x\geqslant 2 $.此時\[\begin{cases} 5^z\cdot 7^w\equiv -1\pmod 4,\\ 5^z\cdot 7^w\equiv -1\pmod 3,\end{cases}\implies \begin{cases} (-1)^w\equiv -1\pmod 4,\\ (-1)^z\equiv -1\pmod 3,\end{cases}\]因此 $ z,w $ 都是奇數,從而\[2^x\cdot 3^y=5^z\cdot 7^w+1\equiv 35+1\equiv 4\pmod 8,\]所以 $ x=2 $,原方程變為 $ 4\cdot 3^y-5^z\cdot 7^w=1$,其中 $z,w $ 都是奇數.由此可知\[\begin{cases} 4\cdot 3^y\equiv 1\pmod 5,\\ 4\cdot 3^y\equiv 1\pmod 7,\end{cases}\implies y\equiv 2\pmod{12},\] 設 $ y=12m+2$($m\in\mathbb N$),于是\[5^z\cdot 7^w=4\cdot 3^y-1=(2\cdot 3^{6m+1}-1)(2\cdot 3^{6m+1}+1),\] 所以\[2\cdot 3^{6m+1}-1=5^p\cdot 7^q,\]其中 $ p,q \in\mathbb N$. 根據對情形二的討論,必有\[(6m+1,p,q)=(1,1,0)\implies (x,y,z,w)=(2,2,1,1).\]

綜上所述,所求的非負整數解為 $(x,y,z,w)=(1,0,0,0),(3,0,0,1),(1,1,1,0),(2,2,1,1)$.

此條目發表在每日一題分類目錄,貼了標簽。將固定鏈接加入收藏夾。

發表評論