数论 —— 整除与同余

最新推荐文章于 2023-12-13 22:03:55 发布

Alex_McAvoy

最新推荐文章于 2023-12-13 22:03:55 发布

阅读量4.1k

点赞数 1

分类专栏： ——————数论—————— # 数论——整除与同余

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/u011815404/article/details/81280625

版权

——————数论—————— 同时被 2 个专栏收录

17 篇文章 5 订阅

订阅专栏

数论——整除与同余

5 篇文章 0 订阅

订阅专栏

【整除】

1.定义

若 $\exists$ q $\in$ Z , s.t. b=a*q ，则称 b 被 a 整除，记作 a|b，其中，b 是 a 的倍数，a 是b 的约数。

2.性质

1）若 a|b 且 b|c，则：a|c

2）若 a|b 且 a|c，对于 $\forall$ x,y $\in$ Z，有：a|(b*x+c*y)

3）若 a|b 且 $\exists$ m $\neq$ 0，则：(m*a)|(m*b)

4）若 a|n 且 b|n，当 $\exists$ x,y $\in$ Z，满足：a*x+b*y=1 时，有：(a*b)|n

3.能被整除的整数的特征

1）0 与 1 的特性：对于任何整数a，总有：1|a；若 a≠0，则：a|0

2）能被 2 整除的数：整数的个位能被 2 整除

3）能被 4 整除的数：整数末尾的两位数能被 4 整除

4）能被 8 整除的数：整数末尾的三位数能被 8 整除

5）能被 3 整除的数：整数各位数字之和能被 3 整除

6）能被 6 整除的数：整数能被 2、3 同时整除

7）能被 9 整除的数：整数各位数字之和能被 9 整除

8）能被 5 整除的数：整数的末位是 0 或 5

9）能被 7 整除的数：截去整数的个位，再减去个位数的 2 倍，若差是 7 的倍数，则原数能被7整除。

注：若所得新数差太大或扔不易看出是否为 7 的倍数，需要继续上述「截尾、倍大、相减、验差」的过程，直到能判断为止

10）能被 11 整除的数：整数的奇位和与偶位和的差能被 11 整除

【同余】

1.定义

若 $\exists$ a,b $\in$ Z，且 m|(a-b)，则称 a 与 b 关于模 m 同余，记为：a $\equiv$ b(mod m)

同余意味着 a-b=m*k,k $\in$ Z，例如：32 $\equiv$ 2（mod 5），此时 k=6

2.性质

1）基础性质

① 传递性：若 a $\equiv$ b(mod m)，b $\equiv$ c(mod m)，则：a $\equiv$ c(mod m)

② 对称性：若 a $\equiv$ b(mod m)，则：b $\equiv$ a(mod m)

③ 自反性： a $\equiv$ a(mod m)

2）运算性质

① 同加性：若 a $\equiv$ b(mod m)，则：a+c $\equiv$ b+c(mod m)

② 同幂性：若 a $\equiv$ b(mod m)，则： $a^{^{n}}$ $\equiv$ $b^{^{n}}$ (mod m)

③ 同乘性：

若 a $\equiv$ b(mod m)，则：a*c $\equiv$ b*c(mod m)

若 a $\equiv$ b(mod m)，c $\equiv$ d(mod m)，则：a*c $\equiv$ b*d(mod m)

3）推论

① 若 a mod p=x，a mod q=x，且 p、q 互质，则 a mod p*q =x

② a*b mod k=(a mod k) *(b mod k) mod k

【同余式定理】

1.同余模公式

(A+B)%M = (A%M+B%M) % M
(A*B)%M = (A%M*B%M+M) % M
(A/B)%M = (A*C)%M = (A%M*C%M) % M，其中 B*C≡1(mod M)，B、M 互质，C 称为 B 的逆元

关于逆元：点击这里

(A/B)%M 的推导：(A/B)%M = (A/B) * 1 % M = (A/B)*B*C % M = (A*C) % M

2.威尔逊定理

若 p 为素数，则： $(p-1)!\equiv-1(mod\:p)$

其逆定理同样成立，即：若 $(p-1)!\equiv-1(mod\:p)$ ，则 p 为素数

3.二次探测定理

内容：若 p 是素数且 0<x<p，则 $x^{2}\equiv 1(mod\:p)$ 仅有的两个解为：x=1，p-1

证明：

由于 $x^{2}\equiv 1(mod\:p)$ ，因此： $x^{2}-1\equiv 0(mod\:p)$ ，也即 $(x+1)(x-1)\equiv 0(mod\:p)$

因为 p 是素数，因此 p 必然是或整除 x-1 或整除 x+1，由此可推出定理。

4.费马小定理

对于正整数 a、b、p，若 p 是质数且 GCD(a,p)=1

那么： $a^{p-1} \equiv 1(mod\:\, p)$

因此： $a^b\equiv a^{b\:mod\:(p-1)}(mod\:\:p)$

5.欧拉定理

对于正整数 a、m，若 a 与 m 互质

有： $a^{\phi(m)}\equiv1(mod\:m)$

因此： $a^b \equiv a^{b\:\:mod\:\:\phi(m)}(mod\:\:m)$

关于欧拉函数 $\phi(x)$ ：点击这里

6.扩展欧拉定理

对于三个正整数 a、b、m

有： $a^b\equiv \left\{\begin{matrix} a^b,b<\phi(m) \\ a^{(b\:\:mod\:\:\phi(m))+\phi(m)},b\geqslant \phi(m) \end{matrix}\right.(mod\:\:m)$

模版：点击这里

【例题】

Maya Calendar（POJ-1008）(整数取余)：点击这里
Integer Divisibility（LightOJ-1078）(同余定理基本应用)：点击这里
欧拉定理（洛谷-P5091）(扩展欧拉定理)：点击这里
Fansblog（HDU-6608）(威尔逊定理+素数判断+快速乘法)：点击这里

关注

1
点赞
踩
15

收藏

觉得还不错? 一键收藏
0
评论
复制链接

分享到 QQ

分享到新浪微博

扫一扫

专栏目录

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。