皮埃尔·德·费马(Pierre de Fermat),1601年生于法国,是一个律师和业余数学家。他在数学多个分支上都有贡献,成就甚至超过了许多职业的数学家,被誉为“业余数学家之王”。在费马的所有成就当中,最被大家津津乐道的莫过于“费马大定理”了。


皮埃尔·德·费马(1601-1665)

这个定理本身并不是很重要,但由于其证明太过于困难,直到被提出来358年之后,才在1994年被英国数学家安德鲁·怀尔斯(Andrew Wiles)所证明,因而被许多数学领域之外的人所熟知。不过,我们今天要谈的是费马小定理。这个定理对大家来说,可能就有点陌生了。实际上它是数论中的一个十分重要的定理,是初等数论四大定理(威尔逊定理,欧拉定理,中国剩余定理和费马小定理)之一。

在正式讨论费马小定理之前,我们先来了解一下同余的概念和它的几个基本性质。同余所描述的是两个整数的一种等价关系,如果两个整数a和b除以同一个整数p所得的余数相等,我们就说这两个整数模p同余。记作

同余的重要性体现在它保持了普通等式的许多性质。我们知道普通等式有以下性质:

  1. 恒有a = a

  2. 如果a = b, b - a = 0

  3. 如果a = b, b = c,那么a = c

  4. 如果a = a', b = b',那么a + b = a' + b'

  5. 同上,a - b = a' - b'

  6. 同上,ab = a'b'

相应的,同余有类似的性质:

  1. 恒有a ≡ a(mod p)

  2. 如果a ≡ b(mod p), b - a ≡ 0(mod p)

  3. 如果a ≡ b(mod p), b ≡ c(mod p),那么a ≡ c(mod p)

  4. 如果a ≡ a'(mod p), b ≡ b'(mod p),那么a + b ≡ a' + b'(mod p)

  5. 同上,a - b ≡ a' - b'(mod p)

  6. 同上,ab ≡ a'b'(mod p)

这几个性质的证明是十分容易的,因此不再赘述。

费马小定理正是在同余性质的基础上被发现的:如果p是任意一个不能整除整数a的素数,那么

这就是说a的(p - 1)次方除以p余1。例如:令p = 7, a = 10,可知p为素数且与a互素,那么根据费马小定理,有

即1000000除以7余数为1。经计算可知:

读者可以验证是否正确,也可以自行列举几个例子来体验一下这个神奇的定理。

我们知道,数学在各个领域的应用是人类社会发展的主要推动力量,但是它的真正魅力并不在于此,甚至可以说数学的发展并不是为了应用。因此,让我们来看看真正有价值的东西——费马小定理的证明。

在给定了素数p和与p互素的整数a之后,我们考虑如下p - 1个数:

显然,任意一个都不能被p整除。而且不难发现,这p - 1个数中任意两个除以p得到的余数都不相同。否则存在s和t(),使得,根据同余性质(2.),得出能被p整除,这显然是不可能的。

由于任何数除以p所得的余数必然等于中的一个,因此上述p - 1个数分别与模p同余。根据同余性质(6.)有:

再根据同余性质(2.)有:

p为素数,显然不整除,由此p整除,即:

到此,费马小定理得到证明。

此证明的过程虽然简单,但是需要对同余性质和整除性质的深刻理解,这可能是需要专门下一番功夫的地方。最后,我们将给出费马小定理有一个更加一般性的推论,它放开了p是素数的限制。

我们先定义一个关于正整数n的函数

例如:10以内与10互素的有4个:1、3、7、9,因此。有了这个函数之后,我们可以给出费马小定理的如下推论:如果n是任意一个与整数a互素的整数,那么

实际上,对于素数p有。由此可见,费马小定理是这个推论的一个特例。

此推论的证明过程与费马小定理的证明过程类似,只是涉及到一些额外的逻辑,我们在这里并没有给出。回复“费马小定理推论”,即可得到一份作者手写的关于推论的证明!


“什么是数学”公众号的使命,就是和大家一起重新认识数学,了解数学的思想和方法。长按下方二维码,即可关注“什么是数学”公众号。

初等数论四大定理之——费马小定理相关推荐

  1. 初等数论四大定理(威尔逊定理,欧拉定理,中国剩余定理,费马小定理)

    1.威尔逊定理:在初等数论中,威尔逊定理给出了判定一个自然数是否为素数的充分必要条件.即:当且仅当p为素数时:( p -1 )! ≡ p-1 ( mod p ),但是由于阶乘是呈爆炸增长的,其结论对于 ...

  2. 初等数论四大定理(威尔逊定理,欧拉定理,费马小定理,中国剩余定理)

    初等数论四大定理 1. 威尔逊定理 (1) 结论 当且仅当ppp为素数时,(p−1)!≡−1(modp)(p-1)!\equiv -1(\mod p)(p−1)!≡−1(modp). (2) 证明 充 ...

  3. 三个重要的同余式——威尔逊定理、费马小定理、欧拉定理 + 求幂大法的证明

    一.威尔逊定理 若p为质数,则 p|(p-1)!+1 亦:(p-1)! ≡ p-1 ≡ -1(mod p) 例题: HDU 2973 YAPTCHA (威尔逊定理及其逆定理) 解题报告见http:// ...

  4. 剩余系,剩余定理,同余定理,费马小定理的证明

    费马小定理: 证明:假如p是质数,且(a,p)=1,那么 a^(p-1) ≡1(mod p) 一.准备知识: 所谓"剩余系",就是指对于某一个特定的正整数n,一个整数集中的数模n所 ...

  5. 数论四大定理(欧拉定理、费马小定理、中国剩余定理、威尔逊定理)

    前置知识 同余 假设 a,ba,ba,b 都是整数,如果 nnn 是一个正整数,且存在整数 kkk 使得 a−b=k×na−b=k \times na−b=k×n,则称 a,ba,ba,b 模 nnn ...

  6. 取模除法(逆元)(费马小定理)(线性求逆元)

    文章目录 引言 逆元 费马小定理 内容 应用 证明 线性求逆元 thanks for reading! 引言 我们做题时经常会由于答案过大,被要求使答案对一个质数取模 我们都知道,加和乘对取模是没有影 ...

  7. 欧拉定理,费马小定理证明

    今天呕心沥血地花了40分钟去研究欧拉定理的证明,终于是明白了,同时,作为欧拉儿子定理的费马小定理,自然毫无压力的搞定了. 为了方便随时查看,在这里转载一下(360百科). 内容: 在数论中,欧拉定理, ...

  8. 费马小定理简单证明和一些简单应用

    打字不变就在纸上证明好了1 这种证法是一种很巧妙的方法,避免了一些复杂概念的引入,很简单的证明了费马小定理 那么费马小定理具体有什么地方可以应用呢 1.我们可以用它判断一些大数是否为质数也就是Mill ...

  9. SICP:费马小定理与素数检测

    原帖地址:http://www.nowamagic.net/librarys/veda/detail/2329 费马小定理 关于费马小定理,读到注解的时候,还是有点震撼的. 皮埃尔•得•费马(1601 ...

最新文章

  1. Python里面数组拼接方法介绍
  2. 单线程实现并发——协程,gevent模块
  3. 交换机接口的access与trunk
  4. 用 Go 构建一个区块链 -- Part 5: 地址
  5. kafka如何彻底删除topic及数据
  6. linux 注销其它用户,linux下注销其它用户或者tty的命令
  7. python计算余弦距离_在Python中计算余弦距离的优化方法
  8. 大数据“杀熟不杀生”;微信朋友圈广告没完;美团打车撒币上海 | 一周业界事
  9. 英国通讯服务商与采购“不公平待遇”的较量
  10. C语言 文件读写 ftell 函数 - C语言零基础入门教程
  11. 为什么要用代理服务器?
  12. 亚嵌教育李明:一生的学习
  13. c语言实现十进制转换其他进制的代码
  14. 【从本人QQ空间迁移】业务知识通俗理解
  15. 【细读Spring Boot源码】重中之重refresh()
  16. jdk、openjdk、jre、jvm、jep、jar、jmod
  17. java正常运行但javac报错
  18. Fiddler / Charles - 夜神模拟器证书安装App抓包
  19. 评估离岸或者近岸敏捷供应商
  20. 移动开发Weex原理之带你去蹲坑

热门文章

  1. 什么是协方差,怎么计算?为什么需要协方差?
  2. C/C++开发,基于IBM纯 c标准MQTT源码,实现纯C语言访问阿里云物联网平台开发案例
  3. Gameplay - 设计《神秘海域》类型的关卡
  4. php59元,59元/位无限壕吃!曝光这家牛排自助餐厅,吃到就是赚到
  5. [转载] 孙志刚-被收容者孙志刚之死
  6. 羊毛出在猪身上之坏账篇
  7. table的border-collapse属性与border-spacing属性
  8. Pushlet的Ajax-pushlet-client.js分析
  9. 年薪20W的自动化测试工程师教你用Postman做接口测试
  10. 【计算机网络】TCP底层设计交互原理