丢番图方程

✍ dations ◷ 2024-12-23 14:04:19 #丢番图方程

丢番图方程,又称不定方程,是未知数只能使用整数的整数系数多项式等式;即形式如 a 1 x 1 b 1 + a 2 x 2 b 2 + . . . . . . + a n x n b n = c {\displaystyle a_{1}x_{1}^{b_{1}}+a_{2}x_{2}^{b_{2}}+......+a_{n}x_{n}^{b_{n}}=c} 的等式,并且其中所有的 a j {\displaystyle a_{j}} b j {\displaystyle b_{j}} c {\displaystyle c} 均是整数。若其中能找到一组整数解 m 1 , m 2 . . . m n {\displaystyle m_{1},m_{2}...m_{n}} 者则称之有整数解。

丢番图问题一般可以有数条等式,其数目比未知数的数目少;丢番图问题要求找出对所有等式都成立的整数组合。换言之,丢番图问题定义了代数曲线或者代数曲面,或更为一般的几何形,要求找出其中的栅格点。对丢番图问题的数学研究称为丢番图分析。线性丢番图方程为线性整数系数多项式等式,即此多项式为次数为0或1的单项式的和。

丢番图方程的名字来源于3世纪希腊数学家亚历山大城的丢番图,他曾对这些方程进行研究,并且是第一个将符号引入代数的数学家。

关于丢番图方程的理论的形成和发展是二十世纪数学一个很重要的发展。丢番图方程的例子有裴蜀等式、勾股定理的整数解、佩尔方程、四平方和定理和费马最后定理等。

一次不定方程是形式如 a 1 x 1 + a 2 x 2 + . . . + a n x n = c {\displaystyle a_{1}x_{1}+a_{2}x_{2}+...+a_{n}x_{n}=c} 的方程,一次不定方程有整数解的充要条件为:

换言之 gcd ( a 1 , . . . , a n ) {\displaystyle \gcd(a_{1},...,a_{n})} 须是 c {\displaystyle c} 的约数,其中 gcd ( a 1 , . . . , a n ) {\displaystyle \gcd(a_{1},...,a_{n})} 表示 a 1 , . . . , a n {\displaystyle a_{1},...,a_{n}} 的最大公约数。

若有二元一次不定方程 a x + b y = c {\displaystyle ax+by=c} ,且 gcd ( a , b ) | c {\displaystyle \gcd(a,b)|c} ,则其必有一组整数解 x 1 , y 1 {\displaystyle x_{1},y_{1}} ,并且还有以下关系式:

t {\displaystyle t} 为任意整数,故此一次不定方程有无限多解。请参见裴蜀等式。

1900年,希尔伯特提出丢番图问题的可解答性为他的23个问题中的第10题。1970年,一个数理逻辑的结果马蒂雅谢维奇定理(英语:Matiyasevich's theorem)说明:一般来说,丢番图问题都是不可解的。更精确的说法是,不可能存在一个算法能够判定任何丢番图方程是否有解,甚至,在任何相容于皮亚诺算数的系统当中,都能具体构造出一个丢番图方程,使得没有任何办法可以判断它是否有解。

相关

  • 共面在几何学中,共面或共平面是指几何形状落在同一平面上的关系。
  • 重水氧化氘 (deuterium oxide) 水-d2 (water-d2) 一氧化二氘 (dideuterium monoxide)重水(或称氘代水,化学式D2O或者2H2O)是水的一种,它的摩尔质量比一般水要重。普通的水(H2O)是由两
  • 社会民主主义政党列表本列表条列世界上自认为支持社会民主主义原则及价值的政党。其中有些属于社会党国际成员。有时候自称为社会民主主义政党的各种表现,在批评者眼中并不一定符合社会民主主义。
  • 奥古斯特·费迪南德·莫比乌斯奥古斯特·费迪南德·莫比乌斯(德语:August Ferdinand Möbius,1790年11月17日-1868年9月26日),德国数学家和天文学家,被认为是拓扑学的先驱。莫比乌斯最著名的成就是发现了三维欧
  • 米可斯泰特卡尔洛·米可斯泰特(Carlo Michelstaedter,1887年6月3日-1910年10月17日),意大利哲学家,其代表作为《雄辩与修辞》(),后自杀身亡。
  • 承德钢铁承德钢铁集团有限公司,1954年于中国河北承德成立。公司主要从事钢铁业务,包括生产钒钛产品、冶金等业务。2006年被唐山钢铁集团收购。2008年,母公司与河北邯郸的邯钢合并成“河
  • 中国计算机学会夏培肃奖中国计算机学会夏培肃奖是中国计算机学会于2014年设立的奖项,奖励在学术、工程、教育及产业等领域,为推动中国的计算机事业做出杰出贡献、取得突出成就的中国计算机学会女性会
  • 高永高永(1966年7月3日-),台湾男性漫画家及作家,英文名“Kao Yung”,出生于台中县大甲镇(今台中市大甲区)。身高170cm,体重55kg,血型O型,星座巨蟹座。毕业于国立政治大学法律学系。代表作为
  • 怒族怒族主要分布在中国云南省怒江傈僳族自治州的贡山独龙族怒族自治县,人口约为2.8万人(2000年)。使用多种语言,差异明显,互相不能通话。没有本民族的文字,多使用汉文,但由于与傈僳族
  • 樊嘉禄樊嘉禄(1964年-),男,安徽金寨人,中国非物质文化遗产保护学者,现任安徽艺术学院党委书记、院长、教授。1985年毕业于安徽师范大学物理系,1991年于中国科学技术大学科学史系硕士研究生