【同余】-定义&计算&应用

最新推荐文章于 2022-02-12 14:31:49 发布

末树之墨

最新推荐文章于 2022-02-12 14:31:49 发布

阅读量1.7k

点赞数 1

分类专栏：基础算法题例 STL使用和一些小技巧文章标签：同余同余关系数学

本文链接：https://blog.csdn.net/cryssdut/article/details/18844157

版权

基础算法题例同时被 2 个专栏收录

38 篇文章 0 订阅

订阅专栏

STL使用和一些小技巧

12 篇文章 0 订阅

订阅专栏

同余符号

两个整数 $a$ ， $b$ ，若它们除以正整数 $m$ 所得的余数相等，则称 $a$ ， $b$ 对于模 $m$ 同余

记作 $a \equiv b \pmod{m}$

读作 $a$ 同余于 $b$ 模 $m$ ，或读作 $a$ 与 $b$ 关于模 $m$ 同余。

比如 $26 \equiv 14 \pmod{12}$ 。

同余于的符号是同余相等符号 ≡。统一码值为 U+2261。但因为方便理由，人们有时会把它(误)写为普通等号 (=)。

性质

整除性

$a \equiv b \pmod{m} \Rightarrow c\cdot m=a-b, c \in \mathbb{Z}$ (即是说 a 和 b 之差是 m 的倍数)
换句话说， $a \equiv b \pmod{m} \Rightarrow m \mid(a-b)$ ^[1]

传递性

$\left. \begin{matrix}a \equiv b \pmod{m} \\b \equiv c \pmod{m}\end{matrix} \right\} \Rightarrow a \equiv c \pmod{m}$

保持基本运算

$\left. \begin{matrix}a \equiv b \pmod{m} \\c \equiv d\pmod{m}\end{matrix} \right\} \Rightarrow \left\{ \begin{matrix} a \pm c \equiv b \pm d \pmod{m} \\ ac \equiv bd \pmod{m} \end{matrix} \right.$
这性质更可进一步引申成为这样：
$a \equiv b \pmod{m} \Rightarrow \begin{cases} an \equiv bn \pmod{m}, \forall n \in \mathbb{Z} \\ a^n \equiv b^n \pmod{m}, \forall n \in \mathbb{N}^0\end{cases}$

除法原理

$a \equiv b \pmod{cn} \Rightarrow a \equiv b \pmod n$
$\left. \begin{matrix} a \equiv b \pmod{m} \\ n|m \end{matrix} \right\} \Rightarrow a \equiv b \pmod n$ ^[1]
$\left. \begin{matrix} ac \equiv bc \pmod{m} \\ (c, m) = 1 \end{matrix} \right\} \Rightarrow a \equiv b \pmod m$ ^[2]

$\left. \begin{matrix} a \equiv b \pmod{m_1} \\ a \equiv b \pmod{m_2} \\ \vdots \\ a \equiv b \pmod{m_n} \\ (n \ge 2) \end{matrix} \right\} \Rightarrow a \equiv b \pmod{[m_1,m_2,\cdots,m_n]}$ ^[3]

例子

求自然数a的个位数字，就是求a与哪一个数对于模10同余。

$10\equiv 1 (\textrm{mod }\ 3), 10^{n}\equiv 1 (\textrm{mod }\ 3), 10001\equiv 10^{4}+1\equiv 1+1 (\textrm{mod }\ 3)$ 。

参考链接：

同余：http://zh.wikipedia.org/wiki/%E5%90%8C%E9%A4%98点击打开链接

同余关系：http://zh.wikipedia.org/wiki/%E5%90%8C%E9%A4%98%E9%97%9C%E4%BF%82点击打开链接

末树之墨

关注

1
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
【同余】-定义&计算&应用

同余符号[编辑]两个整数，，若它们除以正整数所得的余数相等，则称，对于模同余记作读作同余于模，或读作与关于模同余。比如。同余于的符号是同余相等符号 ≡。统一码值为 U+2261。但因为方便理由，人们有时会把它(误)写为普通等号 (=)。性质[编辑]整除性[编辑] (即是说 a 和 b 之差是 m 的倍数)换句话说，[1]
复制链接

扫一扫

专栏目录