同余问题（2）逆元，孙子定理

最新推荐文章于 2022-03-11 14:25:32 发布

theArcticOcean

最新推荐文章于 2022-03-11 14:25:32 发布

阅读量2.1k

点赞数 1

分类专栏： algorithm_数论文章标签：同余

本文链接：https://blog.csdn.net/theArcticOcean/article/details/49454491

版权

本文探讨了中国古代数学名著《孙子算经》中的同余问题，特别是解决“物不知数”问题的方法。通过数学公式n = (70×x+21×y+15×z)%lcm(3,5,7) = 23，揭示了同余方程的最小解。文章还提到了利用程序来实现这一计算过程。" 130204141,7327319,Pytest执行原理与测试流程解析,"['Python', '单元测试', '开发工具', '测试框架']

摘要由CSDN通过智能技术生成

定理：如果a,b和c是正整数，且 $(a,b)=1 \qquad and\qquad a|bc$ 那么有 $a|c$

推导： $(a,b)=1 \longrightarrow ax+by=1 \longrightarrow acx+bcy=c$

因为 $a|bc \qquad and \qquad a|ac$ ，所以， $a|c.$

进一步推出结论：如果a,b,c 和m是整数，且m>0，d=(c,m)， $ac\equiv bc(mod~m)$ ，有 $a\equiv b(mod~m/d).$
推导：

$ac\equiv bc (mod~m) \longrightarrow m|(ac-bc) \\and~because ~d=(c,m) \longrightarrow \frac{m}{d}|(a-b)\frac{c}{d}, 1=(c/d,m/d)\\\longrightarrow \frac{m}{d}|(a-b) \longrightarrow a \equiv b(mod~m/d)$

由此产生的新推论：if a,b,c and m are integers such that m>0，(c,m)=1，and $ac\equiv bc(mod~m)$ , then $a \equiv b(mod~m)$ .

数字变大：ifa,b,c and m are integers such that k>0, m>0,and $a \equiv b (mod~m),~then~a^k \equiv b^k (mod ~m)$
推导：
$a^k-b^k=(a-b)(a^{n-1}+a^{n-2}b+\cdots+ab^{n-2}+b^{n-1}) ~and~ m|a-b \longrightarrow m|a^k-b^k \longrightarrow a^k \equiv b^k (mod ~m)$

有趣的相关定理：
if $a \equiv b(mod~m_1), a \equiv b(mod~m_2),\cdots ,a \equiv b(mod~m_k )$ , then $\\a \equiv b (mod [m_1,m_2,\cdots, m_k])$ { $[m_1,m_2,\cdots, m_k]$ mean