大数计算计划——同余周期理论储备

最新推荐文章于 2024-05-21 21:05:04 发布

icbcnetone

最新推荐文章于 2024-05-21 21:05:04 发布

阅读量214

点赞数

分类专栏：笔记

本文链接：https://blog.csdn.net/icbcnetone/article/details/107920705

版权

模的线性运算公式

$\begin{aligned} a &\equiv b \; (mod \;m) \Leftrightarrow a-b \equiv 0 \; (mod \;m)\\ a&\equiv b \; (mod \;m) \Leftrightarrow -a \equiv -b \; (mod \;m)\\ a&\equiv b \; (mod \;m) \Leftrightarrow a+c \equiv b+c \; (mod \;m)\\ a&\equiv b \; (mod \;m) \Rightarrow a \cdot c \equiv b \cdot c \; (mod \;m)\\ (a+b)\cdot c&\equiv a\cdot c+ b \cdot c \; (mod \;m) \end{aligned}$

定义1 最大公约数

指两个或多个整数共有约数（或因素）中最大的一个。 $a$ ， $b$ 的最大公约数记为： $g c d (a, b)$ 。

定义2 互质

$a$ 与 $b$ 互质指 $g c d (a, b) ＝ 1$

定理1 可约公式

已知
$a$ 、 $b$ 、 $c$ 为整数， $m$ 为非零整数， $a\cdot c \equiv b\cdot c \;(mod \;m)$
若 $g c d (c, m) = 1$ ，则 $a\equiv b\;(mod \;m)$
证：
$\because a\cdot c \equiv b\cdot c \;(mod \;m)$
$\therefore (a-b)\cdot c \equiv 0\;(mod \;m)$ ，即 $(a-b)\cdot c$ 是 $m$ 的倍数
又
$\because gcd(m,c)=1$
$\therefore$ $c$ 无 $m$ 的因素
$\therefore$ 只有 $a - b$ 是 $m$ 的倍数，即 $a-b\equiv 0\;(mod \;m)$
$\therefore a\equiv b\;(mod \;m)$

定理 2 拆模公式

若 $a\equiv b\; (mod \; m_{1} \cdot m_{2})$
则 $a\equiv b\; (mod \; m_{1} )$ ， $a\equiv b\; (mod \; m_{2} )$
证：
$\because a\equiv b\; (mod \; m_{1} \cdot m_{2})$
$\therefore a=b+m_{1}\cdot m_{2} \cdot x$
$\therefore a\equiv b\; (mod \; m_{1} )，a\equiv b\; (mod \; m_{2} )$

最低0.47元/天解锁文章

icbcnetone

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
1
评论
大数计算计划——同余周期理论储备

模的线性运算公式a≡b (mod m)⇔a−b≡0 (mod m)a≡b (mod m)⇔−a≡−b (mod m)a≡b (mod m)⇔a+c≡b+c (mod m)a≡b (mod m)⇒a⋅c≡b⋅c (mod m)(a+b)⋅c≡a⋅c+b⋅c (mod m)\begin{aligned}a &\equiv b \; (mod \;m) \Leftrightarrow a-b \equiv 0 \; (mod \;m)\\a&\equiv
复制链接

扫一扫