Tìm [tex]x, y \ \epsilon \ Z^+[/tex] thỏa mãn [tex]x^2+x-1=3^{2y+1}[/tex]
dễ thấy vế phải chia hết cho 3
xét với x chia hết cho 3 => VT đồng dư -1 (mod 3) => vô nghiệm
với x đồng dư 1 (mod 3) => VT đồng dư 1 (mod 3) => vô nghiệm
với x đồng dư 2 (mod 3) => VT đồng dư 2 (mod 3) => vô nghiệm
vậy phương trình vô nghiệm