算术基本定理的最早证明是由欧几里得给出的。

每一个比1大的自然数N只能有一种方式分解成质数的乘积。

推论:若一个质数p是乘积ab的因子,则p不是a的因子就是b的因子。

大于1的自然数必可写成质数之积

用反证法:假设存在大于1的自然数不能写成质数的乘积,把最小的那个称为n。

自然数可以根据其可除性(是否能表示成两个不是自身的自然数的乘积)分成3类:质数、合数和1。首先,按照定义,n 大于1。其次,n 不是质数,因为质\数p可以写成质数乘积:p=p,这与假设不相符合。因此n只能是合数,但每个合数都可以分解成两个严格小于自身而大于1的自然数的积。设,其中a 和b 都是介于1和n 之间的自然数,因此,按照n 的定义,a 和b 都都可以写成质数的乘积。从而 也可以写成质数的乘积。由此产生矛盾。因此大于1的自然数必可写成质数的乘积。

唯一性

欧几里得《几何原本》和维基百科上的方法都是先证明推论,再证明定理的方法。维基百科的方法可参考:http://zh.wikipedia.org/wiki/%E7%AE%97%E8%A1%93%E5%9F%BA%E6%9C%AC%E5%AE%9A%E7%90%86

欧几里得《几何原本》的介绍可参考:http://dulang.blog.sohu.com/717224.html

欧几里得《几何原本》的证明方法

先证明推论:对应于《几何原本》第7卷第30命题,设(7-30)

命题描述:以现在的数学语言,若质数p|ab,则不p|a就p|b

设c=ab;p为质数,若p量尽a,得证;若p量不尽a(即p不是a的因子),证明p量尽b即得证。

根据(7-29),因为p为质数,且p量不尽a,所以p、a互质。

用反证法证明如下:设p、a不互质,将有公因子m,因为m是a的因子,p不是a的因子,所以m不等于p,而m是p的因子,这是不可能的。

根据(7-定义15),c/p=t,得到c=pt,又c=ab,根据(7-19)得到p/a=b/t

根据(7-21),因为p、a互质,p、a是具有相同比的数对中最小的一对。

再根据(7-20),大小两数a、p分别量尽具有同比的大小两数t、b,所得的次数相同,即前项量尽前项、后项量尽后项,所以p量尽b,即得证。

最后一条定理(7-20)证明的难度较大,特证明如下:

命题:设a、b是与a/b有相同比的数对中最小的一对数,如果a/b=c/d,则a=(1/n)*c;b=(1/n)*d。

证明:因为a<c,所以a=(1/n)*c或者a=(m/n)*c,[1<m<n]

根据(7-13和定义20),若a=(m/n)*c,那么也有b=(m/n)*d

这样a、b均有(1/m)的部分

根据(7-12),(1/m)*a : (1/m)*b = a : b

但是(1/m)*a 、 (1/m)*b 分别小于 a 、b,这与假设矛盾,所以仅有a=(1/n)*c

根据(7-13和定义20),有a=(1/n)*c,b=(1/n)*d,故得证。

证明算术基本定理“质数分解唯一性”

命题:几何原本描述,“如果一个数是被一些质数能量尽的最小者,那么,除原来量尽它的质数外,任何另外的质数量不尽这个数。”

换句话说:一个数仅一种方法被分解为质因数之积。

设a是被质数b c d ... k的每一个整除的最小数,如果可能,假设a有一个不同与b c d ... k的质因数p,设a=p*m。根据(7-30),因为b c d ... k整除a,那么它们必然整除两因子p、m之一。而由假设,他们不整除p,所以他们必然整除小于a的数m,这与假设矛盾(假设a是最小的),因而a除b c d ... k外再无其他质因子。

现代证明方法,直接证明质数分解唯一性。

证明:反证法,设存在一个能分解为两种根本不同的质数乘积的正整数,则其中必有一最小的(最小数原理),设m=p1p2...pr=q1q2...qs,从小到大排序。p1不等于q1,否则可消去,不满足最小假设。设p1<q1。构造一整数m'=m-(p1q2...qs)=(p1p2...pr)-(p1q2...qs)=p1(p2...pr-q2...qs)

=(q1q2...qs)-(p1q2...qs)=(q1-p1)q2...qs

由于p1<q1,m'是一个正整数,且<m。因此m'的质数分解,除了因子次序外,必须是唯一的(m是最小数假设)。从上面表达式可看出,p1是m'的因子,再根据m'质数分解的唯一性得出(推论、用反证法很容易得到),p1必须是(q1-p1)或者q2...qs的因子,由于q都比p1大,这后一情形是不可能的,这样就有某个整数h,使q1-p1=p1*h或q1=p1(h+1)。这表明p1是q1的一个因子,与q1是质数相矛盾。故得证。

算术基本定理“质数分解唯一性的证明”:古典方法与现代方法相关推荐

  1. 算术基本定理证明用计算机,良序原理:算术基本定理的证明

    相关: [第一数学归纳法 vs 第二数学归纳法 vs 良序定理](http://www.cnblogs.com/liqiuhao/p/7799269.html) 首先不要把良序原理(Well-orde ...

  2. 聊一聊数学中的基本定理(一)——算术基本定理的证明

    早点关注我,精彩不错过! 系列开篇辞 在每一个独立出来的学科中,无论文科还是理科,总会有几个标志性的成果和结论,一定程度上代表了这个学科的特点,光荣和本质.比如物理学的牛顿定律和相对论,信息科学中的熵 ...

  3. 算术基本定理证明相关引理与见解

    算术基本定理(唯一分解定理) 有感与浅见 [引自<现代密码学><初等数论><信息安全数学基础>] -索引:①算术基本定理证明 ②[良序集N+]在数论证明的强有力性 ...

  4. 算术基本定理(维基百科)

    算术基本定理,又称为正整数的唯一分解定理,即:每个大于1的自然数,若不是本身就是质数,就是可写为2个以上的质数的积,而且这些质因子按大小排列之后,写法仅有一种方式.例如:{\displaystyle ...

  5. 对 算术基本定理 的研究

    写在前面: 数论被誉为数学皇后,是研究整数性质的理论(好多人对数论的范围不清楚额) 而算术基本定理是数论中的重要定理 这篇文章是我对于算术基本定理的一些研究,研究的资料源自博客,百科,问答,持续更新 ...

  6. 因式分解,算术基本定理,积性函数(POJ 1452 Happy2004)

    积性函数:是指对于所有互质的整数a和b有性质f(ab) = f(a) * f(b) 算术基本定理:任何一个大于1的正整数都能唯一分解为有限个质数的乘积,即N = p1^x1 * p2^x2 * p3^ ...

  7. C++ 算术基本定理

    描述 算术基本定理(将一个正整数分解质因数),又称为正整数的唯一分解定理,即:每个大于1的自然数(且不是质数)均可分解为质数的积,而且这些质因数按小大排列之后,写法仅有一种方式(唯一的).请编写程序对 ...

  8. sumdiv 算术基本定理的推论

    sumdiv Sol: 直接把A质因数分解,由算术基本定理的推论可知: \[ ans=\prod^{cnt}_{i=1}(\sum^{B*c_i}_{j=0}p_i^j)\ (mod\ 9901) \ ...

  9. 最大公约数、最小公倍数与算术基本定理

    最大公约数.最小公倍数与算术基本定理 最大公因数和最小公倍数与素数分解式有什么联系呢? 举个例子:我们尝试分解样例中的提到的一组数12,15(最大公约数和最小公倍数分别是3和60): 12 = 2 2 ...

最新文章

  1. Debian/Ubuntu/Raspbian 时间同步
  2. JZOJ 3.10 1542——跑步(树状数组+模拟+排序/归并排序)
  3. 友善之臂 mini2440 linux led 驱动代码,mini2440 led驱动程序
  4. 几种jvm OOM问题
  5. SAP UI5应用中的component-preload.js在Netweaver上的存储
  6. 电脑怎样执行编程语言的?
  7. Flash与jsp通信类封装
  8. 在visual studio code中配置python以及解决中文乱码问题
  9. excel自动保存_萌新必看!python处理excel实例
  10. c 初始化char**_C/C++内存模型
  11. oCPC中转化率模型与校准
  12. 【洛谷 P2731】骑马修栅栏【欧拉路与欧拉回路】
  13. csrss.exe病毒的清除方法
  14. openpyxl 取消合并单元格且填充
  15. 使用Breed为极路由4增强版(B70-HC5962)刷老毛Padavan固件,配置Nginx代理SSH内网映射
  16. excel表格中身份证信息提取出生年月日,年龄,性别,出生地
  17. 【微信小程序】微信小程序获取用户信息为“微信用户”解决方案--学习微信小程序之路06
  18. 男人应享有动听词汇的权利
  19. Human-like learning在对话机器人中的魔性运用
  20. Python程序及交通态势数据

热门文章

  1. 微服务系列 —— 一小时搞定Eureka
  2. Hibernate SessionFactory
  3. github推荐好玩项目
  4. C do...while 循环
  5. C#LeetCode刷题之#530-二叉搜索树的最小绝对差(Minimum Absolute Difference in BST)
  6. C#设计模式之5-单例模式
  7. 学习一下spring-cloud-function中官方修复的一个问题
  8. 踩内存是什么意思啊_abs防抱死制动系统是什么意思?
  9. phalcon使用registerNamespaces注册第三方类库文件
  10. Matlab出现未定义与‘char’类型的输入参数想对应的函数‘xxx‘