本题要求两个给定正整数的最大公约数和最小公倍数。_【人人都能欣赏的数学证明】最大公约数和最小公倍数...

 

职业数学家在民间

大家好！这里是《职业数学家在民间》公众号的专栏【人人都能欣赏的数学证明】第四期。传播数学是我们的神圣使命，敬请扫描?关注我们！

第一期：为什么有无限多个素数？

第二期：为什么√2不等于分数？

第三期：勾股定理的证明

一、最大公约数和最小公倍数

在数论王国中

一直流传着

一对孪生兄弟的故事

老大是最小公倍数

老二是最大公约数

他们的乘积刚好等于

… … 

正整数，是指1，2，3，4，5，6，7，8，9，10，11，12……

为了让大家只需接受最少的预备知识就可以欣赏这期的定理和证明，我们只限制在正整数的范围内讨论。我们接下来提到的数都是指正整数，

数都是指正整数，

数都是指正整数，

(重要的事情说三遍)

不涉及0，更不涉及负数。首先我们要介绍约数和倍数的概念：

约数和倍数：如果一个数a能被数b整除，也就是说存在另一个数p使得a=bp或者a/b=p，那么我们就称b是数a的约数，a是数b的倍数。

比如10 的约数有四个：1，2，5，10。15 的约数也有四个：1，3，5，15。11的约数只有两个：1，11。注意每个数都只有有限个约数，

再比如5，10，15 都是5的倍数；7，14，21 都是7的倍数。每个数都有无限多个倍数。

接下来我们可以介绍孪生兄弟——最大公约数和最小公倍数的概念了。

公约数和最大公约数，如果数p同时是两个数a，b的约数，我们就称p为a和b的公约数。a和b的所有公约数中最大的那个数称为a和b的最大公约数。

公倍数和最小公倍数，如果数p同时是两个数a和b的倍数，我们就称p为a和b的公倍数。a和b的所有公倍数中最小的那个数称为a和b的最小公倍数。

注意了，两个数a和b，它们的乘积的任意倍数nab都是它们的公倍数，所以a和b有无限多个公倍数。

我们要介绍的定理是说两个数a和b的乘积会刚好等于它们的最大公约数和最小公倍数的乘积。

比如上面的例子给出6和9的最小公倍数是18，而它们的最大公约数是3，6乘9刚好等于18乘3。

在欣赏这个定理的证明之前，大家只需要接受两个非常简单的预备知识。

二、两个非常非常简单的预备知识

一，数a的两个倍数的和或差还是a的倍数。

二，最小公倍数的简单性质：a和b的所有公倍数都会被最小公倍数m整除 

 实际上，如果某个公倍数n不被最小公倍数m整除，那么n被m除后的余数k一定大于0，且小于m，写成等式就是

n=qm+k

注意n和qm都是a和b的公倍数，所以根据第一个预备知识，k也是a和b的公倍数，这和m是a和b的最小公倍数矛盾了。

理解了这两个预备知识，我们就可以开始一起欣赏下一节的优美证明。

三、证明

定理：给定两个数a和b，假设他们的最大公约数和最小公倍数分别为p和q，那么下面等式成立：

如何证明这个等式呢？单单看下面这幅提示图您能否想到证明呢？我用广告把下面的证明隔开一些，您也乘机考验一下自己！

证明：我们的证明分成三部分

1⃣️ 证明ab≥pq，也就是 

不等式右边是最小公倍数，所以要证明这个不等式成立，只需证明左边是a和b的公倍数。注意p是a和b的公约数，因此a/p和b/p都是整数。所以不等式左边是

确实是a和b的公倍数。

2⃣️ 证明 ab≤pq，也就是 

不等式右边是最大公约数，所以要证明这个不等式成立，只需证明左边是a和b的公约数。因为q是a和b的最小公倍数，上一节的第二个预备知识告诉我们不等式左边是一个整数。

(回忆预备知识：a和b的所有公倍数都会被最小公倍数整除 )

既然q是a和b的公倍数，我们就可以把q写成：

其中m和n都是整数，而不等式左边的这个整数就可以写成：

也可以写成：

所以它确实是a和b的公约数。

3⃣️既然ab≥pq和ab≤pq同时都成立，那么ab和pq只能相等。

证明完毕

四、几点注记

1，这个定理在初等数论中是众所周知的，它的标准证明要用到算术基本定理。

2，我们的证明虽然非常简单，却可以称得上是等式证明的一个典范：即通过证明≥(大于或等于)和≤(小于或等于)都成立，来推导出等式成立。数学上许多等式都是以这种方式被证明的。

3，证明是我自己独立想出来的，虽然在几本数论教材中都没查到这个证明，但我觉得这个证明应该早被知道了。所以，如果谁知道哪个文献中有这个证明，非常欢迎告知我。

内容为【职业数学家在民间】公众号原创，欢迎转载

白名单回复后台「转载」

传播数学是我们的神圣使命！