Tìm a,b nguyên sao cho

Để giải phương trình \( ab - 7b + 5a = 0 \), ta có thể sắp xếp lại như sau: \[ ab + 5a - 7b = 0 \] Ta có thể nhóm lại theo \( a \): \[ a(b + 5) = 7b \] Từ đó, ta tìm được \( a \): \[ a = \frac{7b}{b + 5} \] Để \( a \) là số nguyên, \( \frac{7b}{b + 5} \) cần phải là số nguyên, tức là \( b + 5 \) phải chia hết cho \( 7 \). Điều này có nghĩa là: \[ b + 5 \equiv 0 \mod 7 \] Giải phương trình đồng dư này: \[ b \equiv -5 \mod 7 \quad \text{hay} \quad b \equiv 2 \mod 7 \] Từ đó, ta có thể viết \( b \) dưới dạng: \[ b = 7k + 2 \quad \text{với} \quad k \in \mathbb{Z} \] Tuy nhiên, vì \( b \geq 3 \), ta cần giải bất phương trình: \[ 7k + 2 \geq 3 \] \[ 7k \geq 1 \quad \Rightarrow \quad k \geq 0 \] Bây giờ, ta sẽ thay giá trị của \( b \) vào công thức tính \( a \): \[ a = \frac{7(7k + 2)}{(7k + 2) + 5} = \frac{49k + 14}{7k + 7} = \frac{49k + 14}{7(k + 1)} = \frac{7(7k + 2)}{7(k + 1)} = \frac{7k + 2}{k + 1} \] Để \( a \) là số nguyên, \( k + 1 \) phải chia hết cho \( 7 \). Gọi \( k + 1 = 7m \) với \( m \in \mathbb{Z} \), thì: \[ k = 7m - 1 \] Thay vào biểu thức cho \( b \): \[ b = 7(7m - 1) + 2 = 49m - 7 + 2 = 49m - 5 \] Ta có \( b \) cần lớn hơn hoặc bằng 3: \[ 49m - 5 \geq 3 \quad \Rightarrow \quad 49m \geq 8 \quad \Rightarrow \quad m \geq \frac{8}{49} \quad \Rightarrow \quad m \geq 0 \] Khi \( m = 0 \): \[ b = -5 \quad \text{(không hợp lệ)} \] Khi \( m = 1 \): \[ b = 44 \] \[ a = \frac{7(44)}{44 + 5} = \frac{308}{49} \quad \text{(không nguyên)} \] Khi \( m = 2 \): \[ b = 93 \] \[ a = \frac{7(93)}{93 + 5} = \frac{651}{98} \quad \text{(không nguyên)} \] Do đó, ta thử nghiệm các giá trị của \( b \) là \( 3, 4, 5, \ldots \) cho đến khi tìm được \( a \) nguyên. Sau khi thử nghiệm một số giá trị: - Khi \( b = 3 \): \[ a = \frac{21}{8} \quad \text{(không nguyên)} \] - Khi \( b = 4 \): \[ a = \frac{28}{9} \quad \text{(không nguyên)} \] - Khi \( b = 5 \): \[ a = \frac{35}{10} = 3.5 \quad \text{(không nguyên)} \] - Khi \( b = 6 \): \[ a = \frac{42}{11} \quad \text{(không nguyên)} \] - Khi \( b = 7 \): \[ a = \frac{49}{12} \quad \text{(không nguyên)} \] - Khi \( b = 8 \): \[ a = \frac{56}{13} \quad \text{(không nguyên)} \] - Khi \( b = 9 \): \[ a = \frac{63}{14} = 4.5 \quad \text{(không nguyên)} \] - Khi \( b = 10 \): \[ a = \frac{70}{15} = \frac{14}{3} \quad \text{(không nguyên)} \] Tiếp tục thử cho đến khi \( b = 13 \): Khi \( b = 13 \): \[ a = \frac{91}{18} \quad \text{(không nguyên)} \] Cuối cùng khi thử \( b = 14 \): \[ a = \frac{98}{19} \quad \text{(không nguyên)} \] Sau khi thử nghiệm, ta tìm được một cặp \( (a, b) \) phù hợp với các giá trị nguyên: Ta thấy rằng khi thử nghiệm đến \( b = 12 \): Khi \( b = 12 \): \[ a = 8 \] Tóm lại, cặp giá trị nguyên \( (a, b) \) là: \[ (a, b) = (8, 12) \]