//
Modular Arithmetic
Search
Try Notion
Modular Arithmetic
概念:若有a%m=b%m则整数ab对模m同余,记作ab(mod  m)若有a\%m=b\%m则整数a与b对模m同余,记作a≡b(mod\; m)
性质
满足等价关系
加法\乘法
若有ab( mod m)cd( mod m )a\equiv b(\ mod \ m) \quad c\equiv d (\ mod \ m \ ) 则有以下运算律
(a±c)(b±d)( mod m)(a\pm c)\equiv (b \pm d) (\ mod \ m) 
(ac)(bd)( mod m)(ac)\equiv (bd) (\ mod \ m) 
推论1:由自反性可得两边加减或乘上任意数同余方程依旧成立
除法性质
若有(ac)(cd)( mod m)(ac)\equiv (cd) (\ mod \ m) 则有ab (mod mgcd(m,c))a \equiv b \ (mod \ \frac{m}{gcd(m,c)}) 
证明
(ac)(cd)( mod m)可得ac=cd+km同除ca=d+mkc若有mkc则才能讨论余数问题显然可将其化为两个整数mgcd(c,m)=nkgcd(c,m)c=k保证当mk/c=nk时候n取最小k取最大则有ab (mod mgcd(m,c))由(ac)\equiv (cd) (\ mod \ m) \\可得ac=cd+km \\ 同除c得 a=d+\frac{mk}{c} \\若有mk|c则才能讨论余数问题\\显然可将其化为两个整数\frac{m}{gcd(c,m)}=n \quad \frac{k*gcd(c,m)}{c}=k' 保证当mk/c=nk'时候n取最小k取最大 \\则有a \equiv b \ (mod \ \frac{m}{gcd(m,c)})