Kushito Kamigaya tham khảo nhé:
x² + (x+y)² = (x+9)²
<=> (x+y)² = (x+9)² - x²
<=> (x+y)² = 9(2x+9) (*)
Vì: 9 = 3² nên từ (*) ta thấy (2x+9) phải là số chính phương
=> 2x+9 = n² => 2x = (n-3)(n+3) => x = (n-3)(n+3)/2
n-3 và n+3 cùng chẳn hoặc cùng lẽ, nên x nguyên dương khi n là số lẽ lớn hơn 3
đặt n = 2k+1 với k > 1, (k nguyên)
có: 2x + 9 = (2k+1)² = 4k²+4k+1
=> x = 2k²+2k-4, thay x vào (*)
(x+y)² = 9(2k+1)² => x+y = 3(2k+1) = 6k+3 => y = 6k+3-x
=> y = 6k + 3 - 2k² - 2k + 4 = -2k² + 4k + 7 > 0
=> k² - 2k < 7/2 => (k-1)² < 7/2+1 = 9/2
=> k-1 < 3/√2 => k - 1 ≤ 2 => k ≤ 3
với đk k > 1 ở trên ta chỉ chọn được k = 2 hoặc k = 3
*k = 2 => x = 8, y = 7
*k = 3 => x = 20, y = 1
