Eine diophantische Gleichung (benannt nach dem griechischen Mathematiker Diophant von Alexandrien/Diophantos, um 250) ist eine Gleichung der Form (f Polynomfunktion) mit ganzzahligen Koeffizienten, bei der man sich nur für ganzzahlige Lösungen interessiert. Diese Einschränkung der Lösungsmenge ergibt einen Sinn, wenn Teilbarkeitsfragen beantwortet werden sollen, wenn es sich um Probleme der  Kongruenzarithmetik handelt oder wenn bei Problemen in der Praxis nur ganzzahlige Lösungen sinnvoll sind, z. B. Stückzahlverteilung bei der Herstellung von mehreren Produkten.