Tham khảo: Phương trình Diophantine (tiếng Anh: diophantine equation), phương trình Đi-ô-phăng hay phương trình nghiệm nguyên bất định có dạng: f(x1;x2;x3;...;xn)=0 (*) Z thỏa (*) được gọi là một nghiệm nguyên của phương trình. Một phương trình có một hoặc nhiều cách giải gọi là phương trình có thể giải quyết được.