初等数论--同余方程--同余方程组:中国剩余定理

博主是初学初等数论(整除+同余+原根),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。
我整理成一个系列:初等数论,方便检索。

中国剩余定理:
若正整数m1,m2,……mkm_1,m_2,……m_km1​,m2​,……mk​两两互素,那么对于任意kkk个整数a1,a2……aka_1,a_2……a_ka1​,a2​……ak​,则对于同余方程组
{x≡a1(modm1)x≡a2(modm2)x≡a3(modm3)……………x≡ak(modmk)\left\{ \begin{aligned} x\equiv a_1(mod m_1) \\ x\equiv a_2(mod m_2) \\ x\equiv a_3(mod m_3) \\ ……………\\ x\equiv a_k(mod m_k) \end{aligned} \right. ⎩⎪⎪⎪⎪⎪⎪⎨⎪⎪⎪⎪⎪⎪⎧​x≡a1​(modm1​)x≡a2​(modm2​)x≡a3​(modm3​)……………x≡ak​(modmk​)​
我们可以得到以下结论:

  • 该同余方程组有解
  • 模∏i=1kmi\prod_{i=1}^{k}m_i∏i=1k​mi​的解个数为1
  • 该解为x≡M1M1−1a1+M2M2−1a2+……+MkMk−1ak(modm),x\equiv M_1M_1^{-1}a_1+M_2M_2^{-1}a_2+……+M_kM_k^{-1}a_k(mod m),x≡M1​M1−1​a1​+M2​M2−1​a2​+……+Mk​Mk−1​ak​(modm),其中Mi=mmi,MiMi−1≡1(modmi),m=∏i=1kmi,1≤∀i≤kM_i=\frac{m}{m_i},M_iM_i^{-1}\equiv 1(mod m_i),m=\prod_{i=1}^{k}m_i,1\le {\forall}i \le kMi​=mi​m​,Mi​Mi−1​≡1(modmi​),m=∏i=1k​mi​,1≤∀i≤k

证明:

  • 该解形式存在

因为Mi=mmiM_i=\frac{m}{m_i}Mi​=mi​m​,正整数m1,m2,……mkm_1,m_2,……m_km1​,m2​,……mk​两两互素,所以(Mi,mi)=1,→MiMi−1≡1(modmi)(M_i,m_i)=1,\rightarrow M_iM_i^{-1}\equiv 1(mod m_i)(Mi​,mi​)=1,→Mi​Mi−1​≡1(modmi​)中Mi−1M_i^{-1}Mi−1​存在。

  • 该解确实是方程组的解

因为MiMi−1≡1(modm),mi∣Mj(i≠j)M_iM_i^{-1}\equiv 1(mod m),m_i\mid M_j(i\neq j)Mi​Mi−1​≡1(modm),mi​∣Mj​(i​=j),所以xxx满足方程组,是方程组的解。

  • 模∏i=1kmi\prod_{i=1}^{k}m_i∏i=1k​mi​的解个数为1

反证法:假设存在x1,x2x_1,x_2x1​,x2​同时满足,则
x1≡x2≡ai(modmi)x_1\equiv x_2\equiv a_i(mod m_i)x1​≡x2​≡ai​(modmi​)
即mi∣x1−x2→x1−x2m_i\mid x_1-x_2\rightarrow x_1-x_2mi​∣x1​−x2​→x1​−x2​是[m1,m2,……,mk][m_1,m_2,……,m_k][m1​,m2​,……,mk​]的倍数,而m=[m1,m2,……,mk]m=[m_1,m_2,……,m_k]m=[m1​,m2​,……,mk​],即m∣x1−x2→x1≡x2(modm)m\mid x_1-x_2\rightarrow x_1\equiv x_2(mod m)m∣x1​−x2​→x1​≡x2​(modm)

初等数论--同余方程--同余方程组:中国剩余定理相关推荐

  1. 数论 —— 线性同余方程组与中国剩余定理

    [线性同余方程组] 由若干个线性同余方程构成的线性方程组. 例如: 其解法最早由我国<孙子算经>给出,因此解法称为"孙子定理",又叫"中国剩余定理" ...

  2. 初等数论四大定理(威尔逊定理,欧拉定理,中国剩余定理,费马小定理)

    1.威尔逊定理:在初等数论中,威尔逊定理给出了判定一个自然数是否为素数的充分必要条件.即:当且仅当p为素数时:( p -1 )! ≡ p-1 ( mod p ),但是由于阶乘是呈爆炸增长的,其结论对于 ...

  3. C语言韩信点兵3人一列余1,韩信点兵又称为中国剩余定理,相传汉高祖刘邦问大将军韩信统御兵士多少,韩信答说,每3人一列余1人、5人一...

    韩信点兵又称为中国剩余定理,相传汉高祖刘邦问大将军韩信统御兵士多少,韩信答说,每3人一列余1人.5人一 答案:2  信息版本:手机版 解决时间 2020-07-26 19:39 已解决 2020-07 ...

  4. 中国剩余定理matlab程序,中国剩余定理即孙子定理的五种解法

    中国剩余定理即孙子定理的五种解法 -- 学习初等数论心得笔记 2013-10-04 博文2015-12修改 "中国剩余定理"是公元5-6世纪.我国南北朝时期的一部著名算术著作< ...

  5. 密码学基础算法(二)中国剩余定理

    随便谷歌了一个图片做首图 原图地址: http://www.siwapu.com/etagid41968b0/ 密码学基础系列: (一) 基于整数的欧几里得算法和扩展欧几里得算法 (二) 中国剩余定理 ...

  6. 扩展欧几里得算法、乘法逆元与中国剩余定理

    文章目录 前言 定义.定理和部分证明 整除 定义 定理 定理的证明 同余 定义 同余的性质 同余的运算律 运算律的证明 扩展欧几里得算法 代码模板 算法详解 乘法逆元 求解逆元 乘法逆元的作用 中国剩 ...

  7. python中国剩余定理公式_《孙子算经》之物不知数题:中国剩余定理

    1.<孙子算经>之"物不知数"题 今有物不知其数,三三数之剩二,五五数之剩七,七七数之剩二,问物几何? 2.中国剩余定理 定义: 设 a,b,m 都是整数.  如果 m ...

  8. 中国剩余定理及扩展中国剩余定理

    目录 中国剩余定理CRT 扩展中国剩余定理ExCRT TJOI2009 猜数字 HDU 1573 X问题 中国剩余定理CRT 中国剩余定理是用来求线性同于方程组的. \[ \begin{aligned ...

  9. 中国剩余定理拓展中国剩余定理

    复习 中国剩余定理: x ≡ a 1 ( m o d m 1 ) x ≡a_1(mod m_1) x≡a1​(modm1​) x ≡ a 2 ( m o d m 2 ) x ≡a_2(mod m_2) ...

最新文章

  1. 能使曲线变平滑的一维滤波器_音响电源滤波器有什么作用?有人说能提升音质!你信不信?...
  2. Windows热键注册(反汇编方法 查看win32api 原理)
  3. WCF RIA Service实体类中发复杂类型
  4. 【Oracle】触发器最系统入门学习指导
  5. 均方误差、平方差、方差、均方差、协方差(重点)
  6. php 多个 csv 文件,php - 如何将CSV文件上传到多个数据库目录中? - SO中文参考 - www.soinside.com...
  7. 归纳一下:C#线程同步的几种方法
  8. 2008年具有高校自主选拔录取资格的考生名单 - 江苏版
  9. python3 beautifulsoup_Python3中BeautifulSoup的使用方法
  10. 【浙江大学PAT真题练习乙级】1001 害死人不偿命的(3n+1)猜想(15分)真题解析
  11. sublime text3怎么运行python代码_sublime text3 怎么配置、运行python
  12. 动态规划(DP)算法初识
  13. MySQL基本操作——1
  14. Common sense-墨菲定律
  15. 记一次rc.local中python脚本无法运行的解决过程
  16. 2022最新独立版智狐聚合支付v1.0.5.21_聚合支付系统源码
  17. 500错误及服务器内部错误
  18. BiFunction介绍
  19. JS - scroll属性
  20. 获取Avrix上Computer Vision and Pattern Recognition的论文,进一步进行统计分析。

热门文章

  1. html文本长度不一样的对齐,关于html:文本在中间不对齐
  2. 马哥linux2020博客,马哥linux学习(bash shell学习)
  3. 电脑显示器变色_两千元档超强电竞小金刚:180hz的泰坦军团T27QR显示器
  4. Database之SQL:SQL之over partition by开窗函数的简介、使用方法(求各班级内各自排名/求各班级内第一名/求各班级内分数递增和等案例解析)之详细攻略
  5. Python:利用collections库实现统计单个字或单个字母的频率统计并进行降序输出、统计一个列表内重复元素并以字典形式输出
  6. Tool/IDE之MinGW:MinGW(C++环境)的简介、安装、使用方法之详细攻略
  7. DL:The development history of the important stage of DL
  8. 【CF1063B】Labyrinth [最短路? 01BFS]
  9. nodejs之思维导图(浅理解)
  10. Python3-笔记-E-001-库-随机数random