丢番图方程
丢番图方程
丢番图方程（），又称不定方程，是未知数只能使用整数的整数系数多项式等式；即形式如formula_1
的等式，并且其中所有的formula_2、formula_3和formula_4均是整数。若其中能找到一组整数解formula_5者则称之有整数解。
丢番图问题一般可以有数条等式，其数目比未知数的数目少；丢番图问题要求找出对所有等式都成立的整数组合。换言之，丢番图问题定义了代数曲线或者代数曲面，或更为一般的几何形，要求找出其中的栅格点。对丢番图问题的数学研究称为丢番图分析。线性丢番图方程为线性整数系数多项式等式，即此多项式为次数为0或1的单项式的和。
丢番图方程的名字来源于3世纪希腊数学家亚历山大城的丢番图，他曾对这些方程进行研究，并且是第一个将符号引入代数的数学家。
关于丢番图方程的理论的形成和发展是二十世纪数学一个很重要的发展。丢番图方程的例子有贝祖等式、勾股定理的整数解、佩尔方程、四平方和定理和费马最后定理等。
一次不定方程.
一次不定方程是形式如formula_6的方程，一次不定方程有整数解的充要条件为：
gcdformula_7
换言之formula_8须是formula_4的因数，其中formula_8表示formula_11的最大公因数。
若有二元一次不定方程formula_12，且formula_13，则其必有一组整数解formula_14，并且还有以下关系式：
formula_17为任意整数，故此一次不定方程有无限多解。请参见贝祖等式。
丢番图分析.
希尔伯特第十问题.
1900年，希尔伯特提出丢番图问题的可解答性为他的23个问题中的第10题。1970年，一个数理逻辑的结果说明：一般来说，丢番图问题都是不可解的。更精确的说法是，不可能存在一个演算法能够判定任何丢番图方程是否有解，甚至，在任何相容于皮亚诺算数的系统当中，都能具体构造出一个丢番图方程，使得没有任何办法可以判断它是否有解。
本站由爱斯园团队开发维护，感谢那些提出宝贵意见和打赏的网友，没有你们的支持，网站不可能发展到今天，
继往开来，善终如始，我们将继续砥砺前行。
Copyright ©2014 iissy.com, All Rights Reserved.