mula_14，并且还有以下关系式：formula_17为任意整数，故此一次不定方程有无限多解。请参见贝祖等式。
丢番图分析.
希尔伯特第十问题.1900年，希尔伯特提出丢番图问题的可解答性为他的23个问题中的第10题。1970年，一个数理逻辑的结果说明：一般来说，丢番图问题都是不可解的。更精确的说法是，不可能存在一个演算法能够判定任何丢番图方程是否有解，甚至，在任何相容于皮亚诺算数的系统当中，都能具体构造出一个丢番图方程，使得没有任何办法可以判断它是否