数论基础学习

最新推荐文章于 2024-04-29 22:48:08 发布

anxianghun1314

最新推荐文章于 2024-04-29 22:48:08 发布

阅读量74

点赞数

文章标签：学习

本文链接：https://blog.csdn.net/u011949148/article/details/132392380

版权

一.模运算的定义

$\forall a\in \mathbb{Z}$ ， $n\in \mathbb{N}+$ ，有且仅有一个整数q，满足：

$a=qn+r, r\in \mathbb{N}\, \, and\, \, 0\leqslant r< n$ .

证明：

1.存在性

（1）反证法：假设不存在这样的q，则对于任意的整数q，需要满足：

$r=a-qn\geq n\, \, \, \, or\, \, \, \, r=a-qn< 0$

即：

$a\geq (q+1)n\, \, \, \, or\, \, \, \, \,a<qn$

这与a是任意整数是矛盾的。

（2）分类讨论法

当a=0时，q=0，r=0

当0<a<n时，q=0，r=a

当a=n时，q=1，r=0

当a>n时，q=a/n（取整）， r=a-n（a/n）（取整）

当a<0时情况类似。

2.唯一性

假设至少存在两个不同的q满足条件，设为q1，q2，对应的r值为r1，r2，则有

$\left\{\begin{matrix} a=q1n+r1\, \, \, \, \, ,0\leq r1<n & \\ a=q2n+r2\, \, \, \, \, ,0\leq r2<n & \end{matrix}\right.$

两式相减：

$-n<r1-r2=(q2-q1)n<n$

此时q2-q1只能是0，于是有q2=q1，与假设矛盾。

事实上这里对于n<0的时候也是成立的，只不过数论中一般讨论的模数都是大于0的。

定义模运算

$a\, mod\, n=r$

二.模运算的基本性质

1.加法性质

$\left\{\begin{matrix} a\, mod\, n=r1 & \\ b\, mod\, n=r2 & \end{matrix}\right.\Rightarrow (a+b)\, mod\, n=(a\, mod\, n\, +\, b\, mod\, n)\, mod\, n=(r1+r2)\, mod\, n$

证明：

先证明

$a\, mod\, n=(a+kn)\, mod\, n$

k为任意整数。

$a\, mod\, n\Rightarrow a=q1n+r1$

$(a+kn)\, mod\, n\Rightarrow a+kn=q2n+r2\Rightarrow a=(q2-k)n+r2$

两式相减可得：

$-n<r1-r2=(q2-k-q1)n<n$

$\Rightarrow -1<q2-k-q1<1\Rightarrow q2-k-q1=0\Rightarrow r1=r2$

于是有

$a\, mod\, n=(a+kn)\, mod\, n$

成立。下面证明加法性质：

$(a+b)\, mod\, n=(q1n+r1+q2n+r2)\, mod\, n=((q1+q2)n+(r1+r2))\, mod\, n=(r1+r2)\, mod\, n=(a\, mod\, n+b\, mod\, n)\, mod\, n$

2.乘法性质

$\left\{\begin{matrix} a\, mod\, n=r1 & \\ b\, mod\, n=r2 & \end{matrix}\right.\Rightarrow (a\times b)\, mod\, n=(a\, mod\, n\, \times \, b\, mod\, n)\, mod\, n=(r1\times r2)\, mod\, n$

证明：

$(ab)\, mod\, n=((q1n+r1)(q2n+r2))\, mod\, n= ((q1q2n+q1r2+q2r1)n+r1r2)\, mod\, n=(r1r2)\, mod\, n=(a\, mod\, n\times b\, mod\, n)\, mod\, n$

3.幂的性质

由乘法性质可得：

$a\, mod\, n=r\Rightarrow a^{m}\, mod\, n=r^{m}\, mod\, n$

简单的应用：

$5^{100}\, mod\, 3=(5\, mod\, 3)^{100}\, mod\, 3=2^{100}\, mod\, 3=2^{2\cdot 50}\, mod\, 3=4^{50}\, mod\, 3=(4\, mod\, 3)^{50}\, mod\, 3=1^{50}\, mod\, 3=1$

anxianghun1314

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
数论基础学习

有且仅有一个整数q，满足：证明：1.存在性（1）反证法：假设不存在这样的q，则对于任意的整数q，需要满足：即：这与a是任意整数是矛盾的。（2）分类讨论法当a=0时，q=0，r=0当0<a<n时，q=0，r=a当a=n时，q=1，r=0当a>n时，q=a/n（取整）， r=a-n（a/n）（取整）当a<0时情况类似。2.唯一性假设至少存在两个不同的q满足条件，设为q1，q2，对应的r值为r1，r2，则有两式相减：此时q2-q1只能是0，于是有q2=q1，与假设矛盾。
复制链接

扫一扫