线性同余方程求解

对于线性同余方程:axb(modn) 其中 a>0,n>0 进行求解。
首先我们可以将其改写为线性不定方程的形式:ax+ny=b
注:以下讨论的方程的解都是整数解,非整数解不做讨论。

1. 解的情况#

根据裴蜀定理:若 a,b 是整数,且 gcd(a,b)=d,那么对于任意的整数 x,yax+by 都一定是 d 的倍数,特别地,一定存在整数 x,y,使 ax+by=d 成立。

我们可以得知,ax+ny 的值一定是 gcd(a,n) 的倍数,那么:

bgcd(a,n) 的倍数时,原方程有整数解;反之则无整数解。

2. 解的数量#

方程 axb(modn) 或者对模 nd 个不同的解,或者无解,这里 d=gcd(a,n)

3.求解#

d=gcd(a,n),假设对某些整数 xy,有 d=ax+ny。如果 db,则方程 axb(modn) 有一个解的值为 x0,这里有 x0=x (b/d) mod n

假设方程 axb(modn) 有解(即 db,这里 d=gcd(a,n)),且 x0 是该方程的任意一个解。因此,该方程对模 n 恰有 d 个不同的解,分别为 xi=x0+i(n/d),这里 i=0,1,,d1

特例:#

对任意 n>1,如果 gcd(a,n)=1,则方程 axb(modn) 对模 n 有唯一解。

其实当 b=1 时,这里求的 x 就是 a 对模 n乘法逆元

对任意 n>1,如果 gcd(a,n)=1,则方程 ax1(modn) 对模 n 或者有唯一解,或者无解。

证明以后再慢慢补。

作者:白简

出处:https://www.cnblogs.com/baijian0212/p/17075102.html

版权:本作品采用「署名-非商业性使用-相同方式共享 4.0 国际」许可协议进行许可。

posted @   -白简-  阅读(174)  评论(0编辑  收藏  举报
相关博文:
阅读排行:
· TypeScript + Deepseek 打造卜卦网站:技术与玄学的结合
· Manus的开源复刻OpenManus初探
· AI 智能体引爆开源社区「GitHub 热点速览」
· C#/.NET/.NET Core技术前沿周刊 | 第 29 期(2025年3.1-3.9)
· 从HTTP原因短语缺失研究HTTP/2和HTTP/3的设计差异
点击右上角即可分享
微信分享提示
more_horiz
keyboard_arrow_up dark_mode palette
选择主题
menu