原标题:费马小定理,我的理解
触碰标题下面一行的“邵勇老师”查看所有文章;触碰“数学教学研究”, 关注本微信公众号(sx100sy)。 本公众号内容均由邵勇本人独创,欢迎转发,但未经许可不能转载。特别声明,本人未曾授权任何网站(包括微博)和公众号转载邵勇“数学教学研究”公众号的内容。每周推送两到三篇内容上有份量的数学文章,但在行文上力争做到深入浅出。几分钟便可读完,轻松学数学。
费马小定理
若 p 是素数,则对任意正整数 n ,
都能被 p 整除。
[ p是英语 prime number(素数)的首字母 ;n是 number 的首字母 ] 。
(1) 比如说,对素数p=5和正整数n=2,有
30能被素数5整除。
(2) 还是对素数p=5,这里取n=3,则有
240能被素数5整除。
(3) 对素数p=3和正整数n=4,有
60能被素数3整除。
您可以继续,随便取素数 p 和正整数 n ,对费马小定理进行验证。建议以两种方式取值:一种是取定一个素数p,让n取更多的自然数;另一种是n先取定,让p取更多的素数。
下面给出费马小定理的严格证明。真的一点儿都不难,我们都可以看懂。
设p是素数。由二项式定理,有
若x取正整数n,则有
其中的二项式系数就是从p中取m的组合数:
上式中m小于等于p。
下面来看一下刚才得到的展开式:
它的右端一共有p+1项。除两头的两项外,中间p-1项的二项式系数中都有因子p。我们就来考虑这p-1项。它们的分母中都有m!,分别是1!,2!,3!,...,(p-1)! 。显然,不管是哪一项中的阶乘,其中的每个因子都小于素数p。所以,每一项中分子上的p 都不能被这一项分母中的因子约分掉。所以,这p-1项的系数中都有因子p,也就都能够被 p 整除。所以这p-1项的和也就可以被p整除:
(注意,我们特别把这个式子单独写出来,是因为后面我们要用到它。)
再来看刚才那个展开式:
把上式左右两端都减去(n+1),得
我用大括号把上式中的各项进行分组,得到
若假设上式右边第一个中括号中的式子n^p-n能够被p整除,则由于上式右边第二个中括号中的式子我们前面已说过能被p整除,所以上式左边的式子 (n+1)^p-(n+1)也就能够被p整除。
这说明,对任意取定的素数p,若对正整数n,有n^p-n能够被p整除,则对(n+1)来说,有(n+1)^p-(n+1)也能够被p整除。
这让我想到了数学归纳法。于是我们只需证明对n=1,有n^p-n能被p整除。这是显然的,因为这时n^p-n=0,而0当然能被p整除。于是,根据数学归纳法,费马小定理得以证明。
我们下面特别说一说n=2的情况。这时的费马小定理成为:若p是素数,则2^p-2能被p整除。据某书上说,费马小定理n=2时的情况,早在公元前500年左右就被中国人所知晓。这本书非中国人所写,我看到的是中译本。不知作者所说是否有依据。据我所知,我们提到中国数学家的成就时,好象没有人提及这个与素数相关的发现。不知您是否了解一些。有关数学史,本文和本公众号一般很少涉及,因为我不是研究数学史的专家。不是某方面的专家,在这方面一张口很容易出错。但中国对世界数学的贡献确实是很大的。
下面说一说费马小定理的另一种形式:若p是素数,n为不能被p整除的正整数,则
能够被p整除。 这个不难理解,因为
上式右端中两项相乘中的n不能被p整除,则另一项
必然能够被p整除。
费马小定理是说如果一个数是素数,则n^p-n能够被p整除。它的逆否命题同样成立:如果一个数不能整除n^p-n,则这个数不是素数(是合数)。我们知道一共有四种命题:原命题,逆命题,否命题和逆否命题。原命题成立,逆否命题一定成立。但逆命题和否命题不一定成立。很有可能你随便选择一个正整数,它能够被n^p-n整除,但它不是素数,而是合数。这就说明逆命题不成立。同样地,一个数不是素数,但它也可以被n^p-n整除。这说明否命题也是不成立的。
上面是用命题来说明费马小定理。我们还可以从集合的观点说明费马小定理:正整数集合可以划分成三个互不相交的集合的并集,第一个集合是素数集合,它的元素都可以整除n^p-n。第二个集合由无穷多的合数构成,它的每一个元素都不能整除n^p-n。第三个集合由无穷多的合数构成,但这些合数都能够整除n^p-n。
费马小定理可以用来发现一个数不是素数(而是合数),如果这个数不能整除n^p-n。这就是所谓的费马素性检验。用费马小定理不能确定一个通过素性检验的数是否是素数,它的“功能”没有上一期所讲的帕斯卡三角形方法那么强。但帕斯卡三角形方法运算量巨大。费马素性检验的运算量就很少,但还需要想办法改进(已有人做到,这里不细说,太艰深了)。返回搜狐,查看更多
责任编辑: