线性同余方程

✍ dations ◷ 2025-11-06 00:38:56 #同余,方程

在数论中,线性同余方程是最基本的同余方程,“线性”表示方程的未知数次数是一次,即形如:

的方程。此方程有解当且仅当 能够被 与 的最大公约数整除(记作 gcd(,) | )。这时,如果 是方程的一个解,那么所有的解可以表示为:

其中 是 与 的最大公约数。在模 n 的完全剩余系 {0,1,…,n-1} 中,恰有 个解。

中, d = gcd(3,6) = 3 ,3 不整除 2,因此方程无解。

中, d = gcd(5,6) = 1,1 整除 2,因此方程在{0,1,2,3,4,5} 中恰有一个解: =4。

中, d = gcd(4,6) = 2,2 整除 2,因此方程在{0,1,2,3,4,5} 中恰有两个解: =2以及=5。

对于线性同余方程

若 = gcd(, ) 整除 ,那么 b d {\displaystyle {b \over d}} +=,因此 x = r b d {\displaystyle x={rb \over d}} 同余。

举例来说,方程

中 d = gcd(12,28) = 4 。注意到 4 = 12 × ( 2 ) + 28 × 1 {\displaystyle 4=12\times (-2)+28\times 1} ≡ 1 (mod 3),于是令 = 3 + 1,第二个方程就变为:

解得 ≡ 3 (mod 7)。于是,再令 = 7 + 3,第三个方程就可以化为:

解出: ≡ 0 (mod 4),即 = 4。代入原来的表达式就有 = 21(4) + 10 = 84 + 10,即解为:

对于一般情况下是否有解,以及解得情况,则需用到数论中的中国剩余定理。

相关

  • 北魏北魏(386年-534年)是北朝时期的第一个朝代,由鲜卑人拓跋珪所建立,定都平城(遗址在今山西省大同市)。439年,魏太武帝统一华北,与南方的汉人政权对峙。494年,魏孝文帝迁都洛阳。495年,孝
  • 一纲四目一纲四目,是1963年中华人民共和国国务院总理周恩来归纳的中国共产党对台政策。
  • 织金洞织金洞,中国贵州省织金县境内的一个溶洞,位于距县城东北23公里的民寨乡,距贵阳市区166公里,已探明长度为13.5公里,面积70万平方米。该洞原名打鸡洞,1980年被织金县旅游资源勘察队
  • 完全竞争完全竞争(英语:perfect competition),是经济学中理想的市场竞争状态,也是几个典型的市场形式之一。可以证明,完全竞争的结果符合帕累托最优。如果市场中的买者和卖者规模足够大,并
  • 郎潜纪闻郎潜纪闻,清陈康祺著作四笔。成书于光绪十二年(1886年),共十一卷;是一部内容丰富,材料广泛的史料笔记,书中内容多辑录清代掌故琐事、风土民情,可补正史不足;中华书局已将前三笔合为一
  • 赛义德赛义德,是伊斯兰世界对穆罕默德女儿法蒂玛两个儿子哈桑和胡塞因的后裔的敬称,如果是女性则称赛义达。在伊斯兰世界的一些地区,如印度,穆罕默德的后裔被赋予阿米尔或米尔的称号,意
  • 格哈德·许雷尔保罗·格哈德·许雷尔(德语:Paul Gerhard Schürer,1921年4月14日-2010年12月22日),德国统一社会党政治局候补委员,东德部长会议副主席、国家计划委员会主席。1921年,出生于茨维考县
  • 栋多夫 (克滕)栋多夫(Dohndorf)位于德国萨克森-安哈尔特州克滕以西8公里处,于2004年1月1日并入克滕,成为克滕的城区。 该地地名意为“一个名叫Dodo的人的村庄”,在古代文字记载中被称为Dodendr
  • 并查集在计算机科学中,并查集是一种树型的数据结构,用于处理一些不交集(Disjoint Sets)的合并及查询问题。有一个联合-查找算法(union-find algorithm)定义了两个用于此数据结构的操作:由
  • Logo (程序语言)Logo是一种计算机程序设计语言,在1966年由西摩尔·派普特和Wally Feurzeig设计,设计Logo的初衷是为了向儿童教授计算机编程技能。Logo一词源自希腊语逻各斯(logos)。Logo的原型