数学奥赛小丛书第二版高中卷数论 2.最大公约数和最小公倍数

本文链接：https://blog.csdn.net/qq_51082388/article/details/113738739

前言

说明：数学系与计算机系在符号应用和认知上以及经验掌握方面边边角角会有一些出入，例如我们今天要讲的最大公约数和最小公倍数

在计算机系中一般使用键盘说事，哈哈，而在数学系中一些证明推导我们经常使用手，笔，纸。

因此：gcm and lcm 便是常被写入代码中的符号喽，
remark :gcm:最大公约数，英文单词：great common divisor

      **lcm:最小公倍数，英文单词：least common multiple**
      common 就是普遍的，共同有的
      divisor 为 因数（它把人家给分了嘛，那可不就是因数干的活嘛，嘿嘿），
      multiple除了多样的之外还有一个名词的意义：倍数。

而在数学中我们现阶段写的符号如下：
(a,b)就外边哪一个括号就代表了最大公约数，（a,b)的含义就是a与b 的最大公约数。
[a,b]就这个在英文状态下输入的方框括号代表了最小公倍数，其含义为a&b的最小公倍数。

正文：对于这一部分，个人认为除了裴蜀等式需要新认知一下，别的一些性质以及结论自己想一想就可以想明白了。

这些可以称得上是最大公约数的一些简单的性质：

任意改变a,b的符号不改变其最大公约数的值
最大公约数关于a,b对称，故有：(a,b)=(b,a)
(a,b+a*x)=(a,b)

下看裴蜀等式：
1.
设a,b是不全为0的整数，则存在整数x,y使得
ax+by=(a,b)
2.
if x=x0,y=y0是满足上式的一对整数，则等式
a*(x0+bu)+b(y0-au)=(a,b)：u为任意整数。
表明:
满足上式中的x,y有无穷多组；
ab>0时，此时x,y的选取符号是互异的；
3.
由上我们很容易的便可以得到：
两个整数a,b互素的充分必要条件是存在x,y使得：
ax+by=1
(这一条结论我记得在高等代数证明两个多项式是否互素中十分有用，用到了一种思想:构造思想，就是要将此处整数全都换成多项式，找到对应的多项式使其成立即可，嗯：常数是零次幂的多项式）
在这里插入图片描述
图片上便是杂七杂八的一些结论，也许在某些地方会十分好用。