Las ecuaciones de Diofanto (matemático griego) son aquellas ecuaciones que tienen la restricción de que las solución debe consistir en números enteros. Un ejemplo muy simple: si tenemos la ecuación 2x² + y² = 17, hay una cantidad infinita de soluciones reales. Pero si agregamos la restricción de que la solución debe ser entera (es decir, la convertimos en una ecuación de Diofanto), encontramos que la única solución es x = 2, y = 3. Un caso famoso de ecuación de diofanto es el famoso último teorema de Fermat, que dice que aⁿ + bⁿ = cⁿ no tiene soluciones enteras no triviales para n > 2.