模运算性质及其证明

最新推荐文章于 2024-02-22 02:11:17 发布

Meloor

最新推荐文章于 2024-02-22 02:11:17 发布

阅读量3.3k

点赞数

分类专栏： acm_数论文章标签：模运算

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

本文链接：https://blog.csdn.net/meloor/article/details/90303513

版权

acm_数论专栏收录该内容

6 篇文章 0 订阅

订阅专栏

有的时候数字a太大，题目会要求对m取模(a=a%m), 从而使得a<m.

如果 a%m $\equiv$ b%m 则a和b对m同余。记为 a=b(mod m)

a $\equiv$ b(mod m) 等价于 (a-b) ${\equiv\color{Red} }$ 0(mod m)

if a $\equiv$ c(mod m), b $\equiv$ d(mod m)

then 性质一 a+b $\equiv$ c+d (mod m)

性质二 a-b $\equiv$ c-d (mod m)

性质三 a*b $\equiv$ c*d (mod m)

前两个很简单，两边同时减去（c+d）,(c-d)

a-c+b-d $\equiv$ 0(mod m)

a-c-(b-d) $\equiv$ 0 (mod m)

下面证性质三

令

$a=k_{a}\cdot m+r_{a}$

$b= k_{b}\cdot m+r_{a}$

$c=k_{c}\cdot m+r_{a}$

$d=k_{d}\cdot m+r_{a}.$

$\because$ a $\equiv$ c(mod m), b $\equiv$ d(mod m)

$\therefore r_{a}= r_{c}, r_{b}= r_{d}$

$\Rightarrow r_{a}\cdot r_{b}\equiv r_{c}\cdot r_{d}(mod (m))$

$\Rightarrow (k_{a}\cdot m+r_{a})\cdot (k_{b}\cdot m+r_{b})\equiv (k_{c}\cdot m+r_{c})\dot(k_{d}\cdot m+r_{d})(mod(m))$

$\Rightarrow a\cdot b \equiv c\cdot d (mod (m))$

要求运算结果对m求余时，运算的量可以先求余，以避免中间溢出。

很明显a $\equiv$ a%m(mod m),b $\equiv$ b%m(mod m)

由性质一a+b = (a%m+b%m) (mod m)

a-b,a*b同理

关注

0
点赞
踩
2

收藏

觉得还不错? 一键收藏
3
评论
模运算性质及其证明

有的时候数字a太大，题目会要求对m取模(a=a%m), 从而使得a<m. 如果 a%mb%m 则a和b对m同余。记为 a=b(mod m)ab(mod m) 等价于 (a-b) 0(mod m)if ac(mod m), bd(mod m)then 性质一a+b c+d (mod m) 性质二 a-b c-d (mod m) ...
复制链接

扫一扫

专栏目录

评论 3

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

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

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