初等数论精解【8】

未来之蓝

已于 2024-08-07 13:22:13 修改

阅读量319

点赞数 6

分类专栏：基础数学与应用数学文章标签：算法

于 2024-08-07 11:25:30 首次发布

本文链接：https://blog.csdn.net/sakura_sea/article/details/140968390

版权

基础数学与应用数学专栏收录该内容

63 篇文章 1 订阅

订阅专栏

文章目录

同余
- 基础
参考文献

同余

基础

$\equiv b \quad(mod \quad m),否则a\not \equiv b\quad(mod \quad m)$
$\equiv 12\quad (mod\quad 4),4|(32-12)$
$\equiv a \quad(mod \quad m)$
$\equiv b \quad(mod \quad m)=>b \equiv a \quad(mod \quad m)，\\（这个显然，同余关系构成剩余类，构成等价关系，但这是抽象代数，不属于初等数论）$
$\equiv b \quad(mod \quad m)=>a-b=mt,t \in Z$
$\equiv b \quad(mod \quad m),c \equiv d \quad(mod \quad m)=>a+c \equiv b+d\quad(mod \quad m)$
$\equiv b \quad(mod \quad m),c \equiv d \quad(mod \quad m)=>a-c \equiv b-d\quad(mod \quad m)$
$\equiv b \quad(mod \quad m)=>ac \equiv bc\quad(mod \quad m)$
$\equiv b \quad(mod \quad m),c \equiv d \quad(mod \quad m)=>ac \equiv bd\quad(mod \quad m)$
$\equiv b \quad(mod \quad m)=>a^n \equiv b^n\quad(mod \quad m)$
$如果a_1,a_2，...,b_1,b_2,...,b_n都是正整数，而m,n都是正整数，则当 \\a_1\equiv b_1(mod \quad m) \\a_2\equiv b_2(mod \quad m) \\... \\a_n\equiv b_n(mod \quad m) \\则a_1+a_2+...+a_n\equiv b_1+b_2+...+b_n(mod \quad m)$
例：5781308能被9整除吗？
$\\5\times10^6+7\times10^5+8\times10^4+1\times10^3+3\times10^2+0\times10^1+8 \\10\quad mod \quad 9=1,10^n\equiv1(mod\quad 9),10^6\equiv 1(mod\quad 9),5\times10^6\equiv 5\times1(mod\quad9) \\5781308=5+7+8+1+3+0+8=32 \\9 \nmid 32 \\5781308不能被9整除 \\2.能被7整除吗 \\10\quad mod \quad 7=3,10^n\equiv3(mod\quad 7),10^6\equiv 3(mod\quad 7),5\times10^6\equiv 5\times3(mod\quad7) \\5781308=5*3+7*3+8*3+1*3+3*3+0*3+8*3=96,7\nmid96 \\5781308不能被7整除 \\3.能被4整除吗 \\10\quad mod \quad 4=2,10^n\equiv2(mod\quad 4),10^6\equiv 2(mod\quad 4),5\times10^6\equiv 5\times2(mod\quad4) \\5781308=5*2+7*2+8*2+1*2+3*2+0*2+8*2=64,4\mid 64 \\5781308能被4整除$
例： 7742238能被6整数吗？
$\\1. \\7\times10^6+7\times10^5+4\times10^4+2\times10^3+2\times10^2+3\times10^1+8 \\10\quad mod \quad 6=4,10^n\equiv4(mod\quad6),10^6\equiv 4(mod\quad 6),7\times10^6\equiv 7\times4(mod\quad9) \\7742238=7*4+7*4+4*4+2*4+2*4+3*4+8*4=132 \\6 \mid 132 \\5781308能被6整除$
弃九法
$a=a_n10^n+a_{n-1}10^{n-1}+...+a_0 \\b=b_n10^n+b_{n-1}10^{n-1}+...+b_0 \\ab=P \\P=c_l10^l+c_{l-1}10^{l-1}+...+c_0 \\a\equiv a_n+a_{n-1}+...+a_0(mod\quad9) \\b\equiv b_m+b_{m-1}+...+b_0(mod\quad9) \\P\equiv c_l+c_{l-1}+...+c_0(mod\quad9) \\(a_n+a_{n-1}+...+a_0)(b_m+b_{m-1}+...+b_0)\equiv c_l+c_{l-1}+...+c_0(mod\quad9) \\特别注意，上面这个式子不成立，则ab\ne P \\但上面式子如果成立，不能说ab=P$
$2431 * 92 = 93452 ?$
$2431=2+4+3+1=10\equiv1(mod\quad9) \\92=9+2=11\equiv 2（mod \quad 9) \\93452=9+3+4+5+2=23\equiv5(mod\quad 9) \\1\times2=2\not \equiv5(mod\quad9) \\所以上面等式不成立。$