Phương trình:
\(2^{x} - 3^{y} = 1 \Rightarrow 2^{x} = 3^{y} + 1\)
Cả hai số \(2^{x}\) và \(3^{y} + 1\) đều là số nguyên dương, vậy \(x \geq 1\), \(y \geq 0\).
Bước 2: Thử với các số nguyên nhỏy = 0:\(2^{x} = 3^{0} + 1 = 1 + 1 = 2 \textrm{ }\textrm{ } \Longrightarrow \textrm{ }\textrm{ } x = 1\)
✅ Giải được: \(\left(\right. x , y \left.\right) = \left(\right. 1 , 0 \left.\right)\)
y = 1:\(2^{x} = 3^{1} + 1 = 4 \textrm{ }\textrm{ } \Longrightarrow \textrm{ }\textrm{ } x = 2\)
✅ Giải được: \(\left(\right. x , y \left.\right) = \left(\right. 2 , 1 \left.\right)\)
y = 2:\(2^{x} = 3^{2} + 1 = 9 + 1 = 10 \textrm{ }\textrm{ } \Longrightarrow \textrm{ }\textrm{ } x = \left(log \right)_{2} 10 \notin \mathbb{Z}\)
❌ Không có nghiệm nguyên
y = 3:\(2^{x} = 3^{3} + 1 = 27 + 1 = 28 \textrm{ }\textrm{ } \Longrightarrow \textrm{ }\textrm{ } x = \left(log \right)_{2} 28 \notin \mathbb{Z}\)
❌ Không có nghiệm nguyên
y = 4:\(2^{x} = 3^{4} + 1 = 81 + 1 = 82 \textrm{ }\textrm{ } \Longrightarrow \textrm{ }\textrm{ } x = \left(log \right)_{2} 82 \notin \mathbb{Z}\)
❌ Không có nghiệm nguyên
Bước 3: Kiểm tra tính khả thi tổng quátKhi \(y \geq 3\), \(3^{y} \equiv 0 \left(\right. m o d 9 \left.\right) \textrm{ }\textrm{ } \Longrightarrow \textrm{ }\textrm{ } 3^{y} + 1 \equiv 1 \left(\right. m o d 9 \left.\right)\)Các lũy thừa của 2: \(2^{x} m o d \textrm{ } \textrm{ } 9\) lặp theo chu kỳ: 2, 4, 8, 7, 5, 1,…Xét \(2^{x} \equiv 1 \left(\right. m o d 3 \left.\right)\) hay \(2^{x} - 1 = 3^{y}\), theo định lý Catalan, nghiệm duy nhất cho phương trình lũy thừa cách nhau 1 là \(\left(\right. x , y \left.\right) = \left(\right. 3 , 2 \left.\right)\) cho phương trình \(3^{2} - 2^{3} = 1\), nhưng ở đây thứ tự khác nên chỉ có các nghiệm nhỏ đã tìm.Do đó, không có nghiệm lớn hơn.
✅ Kết luậnCác nghiệm nguyên của phương trình \(2^{x} - 3^{y} = 1\) là:
\(\boxed{\left(\right. x , y \left.\right) = \left(\right. 1 , 0 \left.\right) \&\text{nbsp};\text{v} \overset{ˋ}{\text{a}} \&\text{nbsp}; \left(\right. x , y \left.\right) = \left(\right. 2 , 1 \left.\right)}\)