丢番图方程理论是一个古老的学科,它通常涉及求解整数中的(系统)多项式方程。也许最著名的丢番图方程是费马的方程,他在 17 世纪断言方程 x n + y n = z n {\displaystyle x^{n}+y^{n}=z^{n}} 当 n {\displaystyle n} 大于或等于 3 时,在整数中没有解(这被称为费马大定理)。费马从未发表过这个问题的解决方案(他实际上有有效的解决方案这一点备受争议),花了数学家接下来的 350 年才最终解决了这个问题。