全世界只有3.14 % 的人关注了

爆炸吧知识

当谈到复杂数学定理的证明时,很多人常常为之色变,认为这只是一个枯燥的公式堆砌和深奥的数学推导过程。这当然是一个让笔者感到纠结的误解。因为数学证明中包含的美丽与精巧实在是一道亮丽的风景线,而这种亮丽甚至不需要用语言来描述。所以我在这里盘点了数学里十大不需要语言的证明(proofs without words)。让读者在领略数学所包含的无与伦比的精巧之外,更从此爱上数学。

0. 勾股定理

这个大家小学就学过的古老定理,有着无数传奇故事。我可以很随意的写出她的10个不同的证明方法。而路明思(Elisha Scott Loomis)在 《毕达哥拉斯命题》( Pythagorean Proposition)提到这个定理的证明方式居然有367种之多,实在让人惊讶。这里给出一个不需要语言的证明方法。

实际上勾股定理是余弦定理的一种特殊情况,而余弦定理的证明,同样可以不用语言。

1. 关于反正切的恒等式

关于反正切,有如下两个很精彩的等式:

arctan1/2+arctan1/3=π/4acrtan1+arctan2+arctan3=π

它们的证明方法也同样精彩


2. 几何平均值小于算术平均值

这是不等式中最重要和基础的等式:

它也可以通过图形来证明

注意到△ABC∽△DBA ,可以很轻松地得到AB=√ab。剩下的就显而易见了。

3. 1+3+5+…+(2n-1)= n 2

这是奇数的求和公式,下图是当n=8时的情形

4. 平方数的求和公式

一个很漂亮的公式,证明的过程令人眼前一亮

5. 立方数的求和公式

立方数的求和证明与平方数的求和证明方法有些相像:

6. 斐波那契数列的恒等式

可谓家喻户晓的斐波那契数列指的是这样一个数列:1、1、2、3、5、8、13、21 ……这个数列从第三项开始,每一项都等于前两项之和,即 F n+1 = F n + F n-1

它的通项公式是

有趣的是,这样一个完全是自然数的数列,通项公式居然是用无理数来表达的

而且当n无穷大时 F n-1 / F n 越来越逼近黄金分割数0.618。正因为它的种种神奇性质,美国数学会甚至从1960年代起出版了《斐波纳契数列》季刊。关于斐波那契数列,有一个恒等式是这样的。

这个等式很漂亮,不需要借助复杂的数学推导,它有一个很直观的证明方法。

7. 结果为1/3的一组分子式

下面是一组分子式,他们的结果都等于1/3 :

让我们用若干个小球看待这个公式。

8. 最受数学家喜爱的无字证明

1989 年的《美国数学月刊》(American Mathematical Monthly)上有一个貌似非常困难的数学问题:下图是由一个个小三角形组成的正六边形棋盘,现在请你用右边的三种(仅朝向不同的)菱形把整个棋盘全部摆满(图中只摆了其中一部分),证明当你摆满整个棋盘后,你所使用的每种菱形数量一定相同

《美国数学月刊》提供了一个非常帅的“证明”。把每种菱形涂上一种颜色,整个图形瞬间有了立体感,看上去就成了一个个立方体在墙角堆叠起来的样子。三种菱形分别是从左侧、右侧、上方观察整个立体图形能够看到的面,它们的数目显然应该相等。

一个纯组合数学问题和立体空间图形结合在了一起,实在让人拍案叫绝。这个问题及其鬼斧神工般的“证明”流传甚广,深受数学家们的喜爱。死理性派曾经讨论过 这个问题 。同时它还是死理性派logo的出处。

9. 棋盘上的数学证明

在一个8×8的国际象棋棋盘上,我们可以用32张多米诺骨牌(是两个相连正方形的长方形牌)覆盖整个棋盘上的64个方格。如果将对角线上的两个方格切掉,剩下来的62个格子还能用31张骨牌覆盖住吗?

答案是不能的。每一张骨牌在棋盘上必是覆盖住两个相邻方格,一白一黑。所以31张骨牌应该可以盖住31个黑格和31个白格。而这被切了角的棋盘上的方格有32个是一种颜色,另一种颜色是30个,因此是不能被31张骨牌覆盖的。

但是如果我们切掉的不是颜色相同的两个呢?假如我们从棋盘的任何部位切掉两个颜色不同的方格,那么剩下来的62格是否一定能被31张骨牌完全盖住?我可以告诉你这是一定能做到的,并且关于这个结论,存在一个非常漂亮的证明。建议读者在继续往下阅读前,可以先自行思考如何证明这个结论。

上图就是那个漂亮的证明。不妨对它再赘述两句。粗黑线条将整个棋盘转变为一条首尾相连、黑白格相间的封闭路线。从这棋盘上切掉任何两个颜色不同的方格,会让这个封闭线路变成两段线路(如果切掉的方格是相连的,那就是一条线路)。在这两段(或一段)线路中,两种颜色的格子数量都是偶数,故分别都可以被若干张骨牌覆盖。从而证明整个棋盘可以被31张骨牌完全覆盖。

这个著名的棋盘问题是数学游戏大师马丁•加德纳提出的,而上述精妙绝伦的证明则是数学家哥莫瑞(Ralph Gomory)找到的。它们后来被收录在《意料之外的绞刑和其他数学娱乐》这本书里。

转载来源:数学与人工智能

部分素材源于网络,版权归原作者所有

如有侵权请留言联系删除,感谢合作

选购数学科普正版读物

严选“数学思维好物”

送给孩子的阅读礼物   |   办公室神器

有益孩子一生的玩具   |   居家高科技

走进数学:人物、趣谈、科技、发展史 

写在最后

微信公众号“少年数学家”

提供丰富的数学课外知识

数学人物、数学趣谈、科技与数学

想让孩子懂得更多有趣的数学

记得关注“少年数学家”

盘点数学里十大不需语言的证明相关推荐

  1. 网络语言不c,盘点2018年十大网络用语,佛系、官宣、C位、扛精你都知道吗?

    盘点2018年十大网络用语,佛系.官宣.C位.扛精你都知道吗? 网络俨然成为21世纪运用最广泛的科技了,那么流行的网络用语自然会逐渐受到社会认可并且广泛运用.这不,12月19日国家语言资源监测与研究中 ...

  2. 数学建模_数学模型的分类数学建模十大算法

    数学模型的分类 数学建模十大算法 1.蒙特卡罗算法 (该算法又称随机性模拟算法, 是通过计算机仿真来解决问题的算法, 同时可以 通过模拟可以来检验自己模型的正确性,比较好用的算法) 2.数据拟合.参数 ...

  3. 华为徐文伟:后香农时代,面向数学的十大挑战问题

    本文为2020年8月28日徐文伟在长沙由中国工业与应用数学学会举办的"数学促进企业创新发展论坛"上的发言 来源:中国科学院院刊 徐文伟 华为技术有限公司董事,华为战略研究院院长 后 ...

  4. python十大语言_2015 年十大流行 Python语言 库

    本文主要向大家介绍了2015 年十大流行 Python语言 库,通过具体的内容向大家展示,希望对大家学习Python语言有所帮助. Python编程语言的一大优势,就在于其丰富的第三方库.经过过去一年 ...

  5. 盘点腾讯十大成功产品

    盘点腾讯十大成功产品 - QQ邮箱.QQ影音等上榜 1998年底,腾讯成立于深圳:2008年底,腾讯豪华度过了它的十岁生日.历经十年沧桑,腾讯已经从当初名不见经传的小企业发展成为了拥有中国最多用户的互 ...

  6. 薪水最高的十大专业知乎_薪酬最高的十大按需IT认证:2020年版

    薪水最高的十大专业知乎 信息技术(IT)认证可以丰富您的IT事业,并为盈利方式铺平道路. 随着对IT专业人员的需求增加,让我们看一下10个高薪认证. 技术格局在不断变化,对信息技术认证的需求也越来越高 ...

  7. Nature150岁生日:盘点史上十大重磅论文,中国13篇文章登上封面!

    1869年11月第一期Nature出版,今年是Nature创刊150周年.150年的漫漫长路,Nature见证了科学发展的挑战,也见证了人类历史上一次又一次重大科学突破.今天分享登上Nature封面的 ...

  8. DAppDiscover | 盘点2018年度十大DAPP

    作者:DD君 欢迎添加作者微信 btcbtc555 与他进行交流! 未经授权禁止转载! 2018年可以说是DApp爆发的元年,这一年出现了好几款现象级DApp.有曾经让以太坊严重拥堵的CryptoKi ...

  9. 年度盘点丨2017十大最佳科技创新产品!

    2017年已经走向了尾声,各式各样的年度盘点也接踵而至.作为创新之年,今年也相继涌现了各种创新技术和创新产品.人工智能.物联网.全面屏等技术全面爆发,科技产品你争我夺,互不相让(撕×). 作为一名喜闻 ...

最新文章

  1. Python程序设计之迭代器和生成器示例
  2. t-SNE(t-distributed stochastic neighbor embedding)
  3. django 快速实现注册(四)
  4. python实例[判断操作系统类型]
  5. Sql Server之旅——第十三站 深入的探讨锁机制
  6. Android Studio(9)--添加应用资源
  7. SpringBoot整合freemarker中自定义标签获取字典表的数据
  8. hinernate中持久化对象的状态
  9. 5、Python-函数
  10. 计算机算法需要什么数学知识,计算机编程算法和数学有什么关系?
  11. 一加6android9玩飞车掉,解锁新速度:一加6T深度评测
  12. xml文件怎么转换成wps_Office 12使用XML格式存储文件 正式回击WPS
  13. 在局域网被网络管理员限制了远程连接的默认端口3389,导致无法远程桌面连接
  14. 计算机导论课程知识总结,计算机导论课程论文
  15. 白帽专访丨大家好,我是阿杨,一个全职挖洞选手。
  16. HDFS源码解析---Balancer
  17. 微机原理课程设计--计算器
  18. python爬取京东数据加载失败_python 爬京东数据时,无法登陆。
  19. C++ 实现tring字符串trim函数和split函数
  20. 优化器optimizer,BGD、SGD、MBGD、NAG、AdaGrad、Adadelta、RMSProp、Adam

热门文章

  1. 使用 .NET Core模板引擎创建自定义的模板和项目
  2. 程序员35岁不转型就退休,是真的吗?
  3. ArangoDB 3.5发布:流事务API、蒙面数据、搜索性能大幅提升、最短路径功能
  4. [小技巧]ASP.NET Core中如何预压缩静态文件
  5. 开源若要天下闻,掌声须给教育人
  6. 浅谈surging服务引擎中的rabbitmq组件和容器化部署
  7. Asp.Net Core SignalR 与微信小程序交互笔记
  8. Service Mesh新成员:Consul 1.2
  9. 用ASP.NET Core 2.1 建立规范的 REST API -- 缓存和并发
  10. 高效实用的.NET开源项目