整除性与最大公约数

最新推荐文章于 2023-12-31 22:42:52 发布

CheneyBlue

最新推荐文章于 2023-12-31 22:42:52 发布

阅读量862

点赞数

分类专栏： NumberTheory 文章标签：整除最大公约数最小公倍数辗转相除法欧几里得算法

本文链接：https://blog.csdn.net/rememberingc/article/details/90372883

版权

NumberTheory 专栏收录该内容

3 篇文章 0 订阅

订阅专栏

整除的定义：设a是非零整数，b是整数。如果存在一个整数q，使得b=a*q，那么就说b可被a整除，记作 $a\mid b$ ，且称b是a的倍数，a是b的约数(因子)。

整除的一些性质：

1.如果 $a\mid b$ 且 $b\mid c$ ，那么 $a\mid c$ 。（如果a|b且b|c，则b=q*a，c=p*b；得c=p*q*a，所以a|c。）

2. $a\mid b$ 且 $a\mid c$ 等价于对任意的整数x和y，有 $a\mid (b*x+c*y)$ 。

证明：设a|b且a|c，用整除的定义即b=q*a且c=p*a，对于任意整数x，y有q*a*x+p*a*y=(q*x+p*y)*a,所以对任意整数x和y，有 $a\mid (b*x+c*y)$ 。

3.设 $m\neq 0$ ，那么 $a\mid b$ 等价于 $(m*a)\mid (m*b)$ 。

4.设整数x和y满足下式： $\small a*x+b*y=1,a|n,b|n$ ，那么 $\small (a*b)|n$ 。

5.若b=q*d+c，那么d|b的充要条件是d|c。

最大公约数定义：一般地，设 $\small a_{1},a_{2},a_{3},...a_{k}是k个非零整数，如果存在一个非零整数d，使得$ 是k个非零整数，如果存在一个非零整数d，使得 $\small d\mid a_{1},d\mid a_{2},d\mid a_{3},...d\mid a_{k}$ ，那么d就称为 $\small a_{1},a_{2},a_{3},...a_{k}是k个非零整数，如果存在一个非零整数d，使得$ 的公约数。公约数中最大的一个就称为最大公约数，记为GCD( $\small a_{1},a_{2},a_{3},...a_{k}是k个非零整数，如果存在一个非零整数d，使得$ )，显然它是存在的，至少为1。

辗转相除法（欧几里得算法）：求解两个数的最大公约数，其原理就是：GCD(a, b)=GCD(a, a-b) $\small \Rightarrow$ GCD(a, b)=GCD(b,a%b)。

证明：1）令x是GCD(a,b)，x|a=p,x|b=q，即a=p*x, b=q*x；所以a-b=(p-q)x $\small \Rightarrow$ x|a-b；

2）令x不是a的因子，则x不是a，a-b的因子。

3）令x|a，不是b的因子，则x不是a，a-b的公因子。

4）设整数m、r，且p=m*q+r,m*q表示a减m次b，由1）可以得到a%b=r*x；所以GCD(a, b)=GCD(b,a%b)。

定理（欧几里得算法）：要计算两个整数a与b的最大公因数，先令 $\small r_{-1}=a,r_{0}=b$ ，然后计算相继的商和余数

$\small r_{i-1}=q_{i+1}*r_{i}+r_{i+1},(i=0,1,2,...)$ 直到某余数 $\small r_{n+1}$ 为0.最后的非零余数 $\small r_{n}$ 就是a与b的最大公因数。

最小公倍数定义：一般地，设 $\small a_{1},a_{2},a_{3},...a_{k}是k个非零整数，如果存在一个非零整数d，使得$ 是k个非零整数，如果存在一个非零整数L，使得 $\small a_{1}\mid L,a_{2}\mid L,a_{3}\mid L,...,a_{k}\mid L,$ ，那么L就称为 $\small a_{1},a_{2},a_{3},...a_{k}是k个非零整数，如果存在一个非零整数d，使得$ 的公倍数。公倍数中最小的一个就称为最小公倍数，记为LCM( $\small a_{1},a_{2},a_{3},...a_{k}是k个非零整数，如果存在一个非零整数d，使得$ )。

关于两个数的最小公倍数设整数a、b、x、L，其中x为GCD(a, b)，L为LCM(a,b)；因为x是a和b的最大公约数，所以x|a和x|b肯定是互素的（即最大公约数为1），推出L=(a/x)*(b/x)*x，两边同乘x得到最小公倍数与最大公约数的关系：LCM(a,b)*GCD(a,b)=a*b.

CheneyBlue

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
整除性与最大公约数

整除的定义：设a是非零整数，b是整数。如果存在一个整数q，使得b=a*q，那么就说b可被a整除，记作，且称b是a的倍数，a是b的约数(因子)。整除的一些性质：1.如果且，那么。（如果a|b且b|c，则b=q*a，c=p*b；得c=p*q*a，所以a|c。）2.且等价于对任意的整数x和y，有。证明：设a|b且a|c，用整除的定义即b=q*a且c=p*a，对于任意整数x，y有q...
复制链接

扫一扫