同余_同余放大缩小底数-CSDN博客

本文链接：https://blog.csdn.net/qq_41818544/article/details/99730696

即 $a \equiv b(mod\, \,m)$

性质：

整除性

$a \equiv b(mod \,\,m) \Rightarrow c*m=a-b \Leftrightarrow a\equiv b (mod\,\,m) \Rightarrow m|(a - b)$

传递性

$\begin{matrix} a \equiv b(mod\,\, m) \\ b \equiv c(mod\,\, m) \end{Bmatrix} \Rightarrow a \equiv c(mod\,\, m)$

保持基本运算

$\begin{matrix} a \equiv b(mod\,\, m) \\ c \equiv d(mod\,\, m) \end{Bmatrix} \Rightarrow \begin{Bmatrix} a \pm c \equiv b \pm d (mod\,\, m) \\ ac \equiv bd(mod\,\, m) \end{matrix}$

$a \equiv b (mod\,\, m) \Rightarrow \begin{Bmatrix} an \equiv bn (mod\,\, m), \forall n \in \mathbb{Z} \\ a^n \equiv b^n (mod m), \forall n \in \mathbb{N^{0}} \end{matrix}$

放大缩小底数

k为正整数，n为正整数， $(km \pm a)^n \equiv (\pm a)^n \: (mod\; m)$

放大缩小模数

k为正整数， $a \equiv b (mod\,\, m) \Leftrightarrow ka \equiv kb (mod\,\, km)$