En diofantisk ekvation är en ekvation av en eller flera obekanta variabler där endast heltalslösningar för alla obekanta variabler sökes. Alla koefficienter i ekvationen måste vara heltal och eventuella exponenter vara icke-negativa heltal. Obekanta variabler får förekomma som exponent. En term får bestå av obekant exponent och obekant bas samtidigt. Huvudkaraktären av en diofantisk ekvation är att alla innegående tal är heltal och att endast heltalslösningar sökes.

Linjära diofantiska ekvationer har formen ax + by = c (där a, b, c är heltal och x, y obekanta variabler). I undervisningsmaterial benämns dessa korrekt som diofantiska ekvationer, men specificerar inte alltid att de är just den linjära formen av diofantiska ekvationer. Andra former och grader av diofantiska ekvationer existerar som sagt.

En diofantisk ekvation som definieras av ett homogent polynom kallas för en homogen diofantisk ekvation.

Diofantiska ekvationer har fått sitt namn av den grekiske matematikern Diofantos som var verksam under mitten av 200-talet och studerade denna typ av ekvationer.

Problem nr. 10 av de klassiska Hilbertproblemen var att finna en algoritm som avgör om en diofantisk ekvation har en heltalslösning. Yuri Matiyasevich bevisade år 1970 att en allmän sådan algoritm inte existerar.

Diofantiska ekvationer har antingen ingen, ett ändligt antal eller ett oändligt antal lösningar.

Olika typer av diofantiska ekvationer fordrar olika lösningsmetoder och har olika klasser av möjliga lösningar. Exempelvis linjära diofantiska ekvationer har antingen ingen eller ett oändligt antal lösningar, men aldrig ett ändligt antal lösningar. För ekvationer av formen xⁿ + yⁿ = zⁿ (x,y,z obekanta) med n=2 (Pythagoreisk trippel) finns det alltid oändligt många lösningar, men om n>2 i denna ekvation så saknar ekvationen positiva heltalslösningar enligt Fermats stora sats.

Linjära diofantiska ekvationer är polynomekvationer på formen a₁x₁ + a₂x₂ + .... + a_nx_n = c där a₁, a₂, ..., a_n är nollskilda heltalskonstanter, c är en heltalskonstant, och x₁, x₂, ..., x_n är variabler, "de obekanta". Dessa diofantiska ekvationer kan lösas algoritmiskt. Det från algoritmisk synpunkt viktigaste fallet är när n = 2. Ekvationen kan då också skrivas ax + by = c.

Den linjära diofantiska ekvationen har lösningar precis om den största gemensamma delaren av alla koefficienter delar c. I envariabelfallet betyder detta att a₁ skall dela c, det vill säga att c = a₁s för något heltal s. I detta fall har ekvationen den unika lösningen x₁ = s.

I tvåvariabelfallet har vi följande sats.

Om är en lösning till den diofantiska ekvationen där tillhör de hela talen fås alla lösningar av

,

där är den största gemensamma delaren av heltalen och och där är ett godtyckligt heltal.

För tre eller flera variabler kan liknande slutsatser dras.

Skillnaden mellan de linjära och icke-linjära diofantiska ekvationerna är att de icke-linjära har variabler med grad högre än 1 och kan dessutom innehålla produkter av två eller fler av de ingående variablerna.

Genom historien har ett antal diofantiska ekvationer uppkommit och vissa har blivit mer kända än andra. Nedan följer några välkända diofantiska ekvationer.

Ekvationen a² + b² = c² och dess heltalslösningar utgör sidorna i en rätvinklig triangel och kallas ofta för Pythagoranska tripplar.

Den mest kända lösningen är a=3, b=4, c=5 vilken kallas den egyptiska triangeln.

Ekvationen för saknar lösningar och kallas för Fermats förmodan eller Fermats sista sats efter den franske 1600-talsmatematikern Pierre de Fermat. Satsen kunde bevisas först efter 350 år.

x²-ny² = 1, där n är ett positivt heltal men ej en heltalskvadrat, kallas för Pells ekvation efter den engelske matematikern John Pell.
Exempel: x²-5y² = 1 löses t. ex. av x = 9, y = 4.

• L.J. Mordell (1969). Diophantine equations. Academic Press. ISBN 0125062508 
• H. Cohen (2007). Number theory. Vol. 1, Tools and diophantine equations. Springer Science+Business Media. ISBN 0387499229