盘点数学里十大不需要语言的证明 physixfan - 数学史 我爱数学网-数学爱好者的家园-中国专业化的数学论坛之一

我爱数学网-数学爱好者的家园-中国专业化的数学论坛之一

查看: 988|回复: 8

[数学史话] 盘点数学里十大不需要语言的证明 physixfan

[复制链接]

264

主题

506

帖子

1万

积分

版主

Rank: 7Rank: 7Rank: 7

积分
15511

精华达人

QQ
发表于 2014-12-3 17:23:22 | 显示全部楼层 |阅读模式
盘点数学里十大不需要语言的证明 physixfan           

当谈到复杂数学定理的证明时,很多人常常为之色变,认为这只是一个枯燥的公式堆砌和深奥的数学推导过程。这当然是一个让笔者感到纠结的误解。因为数学证明中包含的美丽与精巧实在是一道亮丽的风景线,而这种亮丽甚至不需要用语言来描述。所以我在这里盘点了数学里十大不需要语言的证明(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)找到的。它们后来被收录在《意料之外的绞刑和其他数学娱乐》这本书里。



数学里,有一种证明方法叫做Proofs without words。诚然,这种证明方法算不上严格,但是它却将数学中包含的最精巧的东西一览无余地展现了出来。本文列举了十个经典的例子。你还见过什么高明的吗,可以在回帖中写出来。如果有很漂亮的,我会在这里推荐出来。


回复

使用道具 举报

11

主题

149

帖子

670

积分

版主

Rank: 7Rank: 7Rank: 7

积分
670
发表于 2014-12-3 17:29:12 | 显示全部楼层
激动人心,无法言表!
回复

使用道具 举报

0

主题

102

帖子

281

积分

小学二年级

Rank: 2Rank: 2

积分
281
发表于 2014-12-3 19:48:10 | 显示全部楼层
真是难得给力的帖子啊。
回复

使用道具 举报

45

主题

536

帖子

4825

积分

版主

Rank: 7Rank: 7Rank: 7

积分
4825
发表于 2014-12-3 20:23:52 | 显示全部楼层
真是难得给力的帖子啊。
回复

使用道具 举报

0

主题

110

帖子

327

积分

小学二年级

Rank: 2Rank: 2

积分
327
发表于 2014-12-4 11:42:40 | 显示全部楼层
真是难得给力的帖子啊。
回复

使用道具 举报

0

主题

152

帖子

1325

积分

小学六年级

Rank: 3

积分
1325
发表于 2014-12-5 08:27:29 | 显示全部楼层
好贴,必须顶一下!
回复

使用道具 举报

1

主题

703

帖子

2547

积分

初中三年级

Rank: 4Rank: 4

积分
2547
发表于 2014-12-8 06:07:15 | 显示全部楼层
一大早就被数学之美震憾住了
[发帖际遇]: 家有小 发帖时在路边捡到 2 金币,偷偷放进了口袋. 幸运榜 / 衰神榜
回复

使用道具 举报

6

主题

188

帖子

930

积分

小学五年级

Rank: 3

积分
930
QQ
发表于 2014-12-19 19:37:57 | 显示全部楼层
!!!!!!!!!!!!!
回复

使用道具 举报

50

主题

1955

帖子

3568

积分

高中二年级

Rank: 5Rank: 5Rank: 5

积分
3568

活跃会员灌水之王最佳新人

发表于 2015-3-2 18:00:15 | 显示全部楼层
证明方法真是太漂亮了
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 会员注册

本版积分规则

Powered by Discuz! X3.2

© 2001-2013 Comsenz Inc

关于我们 | 网站地图 | 我爱数学网 ( 沪ICP备16005585号-3  

GMT+8, 2019-11-22 00:39 征信网

快速回复 返回顶部 返回列表