早点关注我,精彩不迷路:

上一讲我们给出并证明了算术基本定理,相关内容请戳:

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

看懂上面的证明并不难,但是要学会怎么去证明一个类似的问题,这个思路才是数学的精华和值得我们用举一反三的思维方式来思考的。今天我们就来看一下这个证明过程中的思维学习价值以及算术基本定理这个结论本身的意义。

算术基本定理证明点评

我们先来回顾一下算术基本定理的内容和证明:

每个大于1的自然数,要么本身就是质数,要么可以写为2个或以上的质数的乘积,而且这些因子按大小排列之后,写法仅有一种方式。

证明中我们采用反证法的假设并层层推演,最终推出了所有不符合题设的假设都自相矛盾的结论,证明完毕,看起来一气呵成。

但鬼知道我在写下最后这句“证毕”,要写多少实际情况不正确,但是逻辑链条完全无误的推理在草稿纸上!

其实这里的推导思路上,并不全是漫无目的的,是一直是有一个要去找到矛盾的基本目标方向的。别看证明过程写在书上是一气呵成,其实这里一步步地推导其实基本思想就是把大的结论不断缩窄了的,如果方向正确了,那就可能可以得到矛盾和证明;如果错误了,也要能够大胆跳出来,寻找新的思路。

这些思维方式在日常生活中用的话,就会给人刻板,不变通,甚至奇怪的印象,表现出来一副读死书的书呆子的气质。哈哈,我以前就是把这种严谨逻辑链条应用在每一件日常生活中的事情上的人,以至于轻松地就忘记了逻辑的起点和我到底的目标要干什么。长大以后虽然不会这么做了,但是还是觉得那时候的自己才是真的可爱,也是这刨根问底的方式积累起了自己批判性思维的底子和习惯。而且我在近年做数学魔术课程的时候,也看到了很多这样逻辑严密的可爱的孩子,十分欣慰。

其实跳出来看一下,这种纯数学证明的思维真的挺奇怪和非人性的,明明显然的东西却要证明一下,明明挺难算的一个玩意,却只要存在在那,知道性质,随便用个x就代表着来用了也完全放心。可这就是数学的艺术啊,你想艺术是干什么的?不就是干这种吃饱了撑的的事情的?

以上的证明,是一个比较独立,没有用到太多其他引理作为基础的证明。其实,早在算术基本定理被提出以前,欧几里得就有过本质上相当的结论。即在一般整环上看,与算术基本定理等价的命题是:若质数p | ab,则不是p | a ,就是p | b(这个定理也可以扩展到乘积项数为n的一般情况。)。然而,在欧几里得的时代,并没有发展出幂运算和指数的写法,甚至连四个整数的乘积这种算式都被认为是没有意义的,所以欧几里得并没有给出算术基本定理的现代陈述。可见哪怕强如欧几里得,那也是要受到时代车轮的局限的。现在这个结论被称为欧几里得引理,需要用到贝祖定理证明,再加上贝祖定理,就可以证明现在的代数基本定理了。由于这块另外涉及大块的数论知识,我们在费马小定理相关内容中再予以详细阐述,这里不再赘述。

算术基本定理的价值

数学家的思维就是这样的,一旦完成证明了,我们就可以像计算机科学家一样封装掉它们(数学和计算机难得在这一点上形成统一),并且以之为更高的基石去挑战更高难度的结论。这一思维也应用在生活的方方面面,比如已经理解十进制数下乘法的规则和意义了,那下次再做的时候用上口诀表或计算器的结论也就直接相信它是真的了;程序员们看起来就像一群喂饱了就能生产app的家伙们,资本家们自然觉得不必再去学什么写代码了,花上足够的钱,一定能砸出一个产品来。

那算术基本定理这么个看似显然的结论,到底有什么直观上的意义呢?我觉得并不在于它作为多少后续定理的引理,又证明了多少复杂的结论,而是在于,它从另一个角度,全新解构和表示了我们的正整数。也即,所有大于1的数,和其对应的质因数分解结果,也就是那个质数到幂次的映射的一一对应(能这么一一对应恰因为算术基本定理说的存在性和唯一性的保障)。那么质因数分解的映射是不是也可以看作是大于1正整数的一种特殊编码了?

是的,我们用阿拉伯数字符号和十进制位值制计算方法是一种对客观的自然数的编码方法,它因为历史传统和方便扩展性沿用至今,我们直接画树棍数个数来表示自然数也是一种表征,这是自然数被发现之初最基本的形态,可以很好体现大小,前后等等关系。而我们用唯一的质因数分解,刚好也是自然数的一种表示方法,但看起来这实在是太冷门而没有直接的意义了。那只是看起来没有而已,实际上还是可以找到数学模型的。比如每个自然数对应的其实就是一个和其质因数分解对应的高维度的立方体,因子总个数是维度,每个维度的变长按照从小到达依序排列,显然不管你怎么旋转去与不同维度的坐标轴靠拢,都是同一个立方体,是对称不变的,自然也对应同一个整数,而这个整数也是这个唯一对应的质数边长立方体的体积。这时候连1都能有新的定义了,那就是组成立方体的所有维度的单位方块的体积。甚至可以看作有某个无穷的和质数数量相同维度的立方体,每个维度的长度是其幂次数量,而幂次为0的部分直接坍缩掉的结果。不过吧,所谓高维立方体现实中反正也没有,还是太抽象(我总是想从经世致用的角度来思考数学最接地气的应用),但是这个结论在数论大厦中的应用那可是随处可见,咱们也千万别被切近的日常生活蒙蔽了双眼。

这些直观化的理解,数学以外的学科也做,都起到启发思维,发现灵感和方向的作用,只不过数学这里,一定是要有严格推理下,才会安全地去想这些感性的东西,并且经过了证明,才好意思把这些思想总结发布出来,否则顶多算是猜想和假说罢了。

最后补充一下,其实有了这个让你放心的结论以后,有一些很显然的应用。比如,任意以质数乘积形式给出的两个数,你只要发现任何一个质数在两边的幂次不相等,或者只有一边存在,那么根据算术基本定理,这两个数显然不相等。还有,我们的最大公约数和最小公倍数就可以写出显式的表达式了(而不是一个递推计算式了),即若干数各自唯一的因子分解结果里,的所有出现过因子各自幂次的最小或最大值。另外,还可以显然地发现,两个数的情况下,最大公约数和最小公倍数的乘积等于两个数的乘积。其实在我们证明很多数论结论的时候,都会很自然地写出一个整数的唯一因子分解的形式,作为基础推导下去,这里严格来讲,都得加一句“根据算术基本定理”。比如根号2是无理数的证明,素数有无穷多个,欧拉函数的分解公式,或是计算正整数所有的因数个数,因数和等问题看起来美好的排列组合应用都是建立在算术基本定理基础上才成立的。

以上就是我关于算术基本定理的一些回顾和感悟,就让我们一起浸润在这奇妙的数学世界里,永远不要出来吧!

下一篇,我们从算术进化到代数,来看看数学世界又一基本定理吧!

我们是谁:

MatheMagician,中文“数学魔术师”,原指用数学设计魔术的魔术师和数学家。既取其用数学来变魔术的本义,也取像魔术一样玩数学的意思。文章内容涵盖互联网,计算机,统计,算法,NLP等前沿的数学及应用领域;也包括魔术思想,流程鉴等魔术内容;以及结合二者的数学魔术分享,还有一些思辨性的谈天说地的随笔。希望你能和我一起,既能感性思考又保持理性思维,享受人生乐趣。欢迎扫码关注和在文末或公众号留言与我交流!

扫描二维码

关注更多精彩

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

Gilbreath原理中的数学与魔术(九)——Max Maven作品选

魔术的逻辑(三)——明明是假的,但为何奇迹依旧美妙?

扒一扒那些叫欧拉的定理们(十二)——经济学里的欧拉定理

点击阅读原文,往期精彩不错过!

聊一聊数学中的基本定理(二)——算术基本定理的价值相关推荐

  1. 聊一聊数学中的基本定理(三)——代数基本定理

    早点关注我,精彩不错过! 在前面两篇文章中,我们聊透了算术基本定理的证明和意义,相关内容请戳: 聊一聊数学中的基本定理(二)--算术基本定理的价值 聊一聊数学中的基本定理(一)--算术基本定理的证明 ...

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

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

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

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

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

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

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

    算术基本定理的最早证明是由欧几里得给出的. 每一个比1大的自然数N只能有一种方式分解成质数的乘积. 推论:若一个质数p是乘积ab的因子,则p不是a的因子就是b的因子. 大于1的自然数必可写成质数之积 ...

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

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

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

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

  8. [矩阵的三角分解系列二] LDU基本定理

    LDU基本定理 简介 三角分解的存在和唯一性? LDU基本定理 充分性证明 存在性证明 唯一性证明 必要性证明 推论 稳定性 例子 引用 矩阵的三角分解是求解线性方程组常用的方法,包括LU分解,LDU ...

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

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

  10. 算术基本定理之统计质因子个数———以及因子的个数

    算术基本定理,又称为正整数的唯一分解定理,即:每个大于1的自然数均可写为质数的积,而且这些素因子按大小排列之后,写法仅有一种方式. 例如 90=2 * 3^2 * 5: 1 我们要做的就是找到90的所 ...

最新文章

  1. OverflowError: cannot fit ‘int‘ into an index-sized integer
  2. HTTP协议中几个状态码
  3. (十三)RabbitMQ使用详解
  4. 想要考计算机证要学,学长忠告:建议新生要考取的三类证书,不然你就虚度四年了...
  5. python如何创建一个列表_使用python中的format()创建一个列表(make a list using format() in python)...
  6. 服务器查内存型号,服务器怎样查内存型号
  7. ios判断当前设备类型
  8. 230. 二叉搜索树中第K小的元素
  9. Python基础教程,Python入门教程(非常详细)
  10. vsftpd配置权限问题
  11. UPF和POWER Domain
  12. ExtJs6 FontAwesome 图标引用
  13. JS 常见的 6 种继承方式
  14. 探索性与验证性因子分析
  15. mysql 打开sql日志,记录所有sql
  16. 科研必备 | 谷歌学术高级搜索详解
  17. 基于web的标签设计,打印工具,超diao
  18. 支付宝领红包的算法猜想
  19. 打印机服务器怎么配置文件,打印机服务器ftp配置文件
  20. 如何在Windows 10 IoT Core中添加其他语言的支持,如中文

热门文章

  1. 遗传算法(三)——适应度与选择
  2. 医学界的动作捕捉系统(一)
  3. matlab电流测量接法,matlab电压电流测量模块的使用
  4. MSVCR71.dll is missing from your computer-(Window7 install sqldeveloper for oracle )
  5. 企业微信PC版支持多个企业切换了
  6. 2018小米商城首页html,html+css实现小米商城首页静态页面
  7. 学习云计算简单吗?专科生学习云计算就业前景如何?
  8. Ignite问题汇总
  9. 蓝牙HC05主从设置连接说明
  10. 金融系列-支付清结算之基本概念和入门