你绝对没想过原来数学家这么流氓,一言不合就进行暴力证明

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

青少年数学之旅

1

最经典的“无字证明”

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


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

严格地说,这个本来不算数学证明的。但它把一个纯组合数学问题和立体空间图形结合在了一起,实在让人拍案叫绝。

因此,这个问题及其鬼斧神工般的“证明”流传甚广,深受数学家们的喜爱。《最迷人的数学趣题——一位数学名家精彩的趣题珍集》(Mathematical Puzzles: A Connoisseur's Collection)一书的封皮上就赫然印着这个经典图形。在数学中,类似的流氓证明数不胜数,不过上面这个可能算是最经典的了。

2

旋轮线的面积

车轮在地上旋转一圈的过程中,车轮圆周上的某一点划过的曲线就叫做“旋轮线”。在数学和物理中,旋轮线都有着非常重要而优美的性质。比如说,一段旋轮线下方的面积恰好是这个圆的面积的三倍。这个结论最早是由伽利略(Galileo Galilei,1564-1642)发现的。不过,在没有微积分的时代,计算曲线下方的面积几乎是一件不可能完成的任务。伽利略是如何求出旋轮线下方的面积的呢?

他的方法简单得实在是出人意料:它在金属板上切出旋轮线的形状,拿到秤上称了称,发现重量正好是对应的圆形金属片的三倍。

在试遍了各种数学方法却都以失败告终之后,伽利略果断地耍起了流氓,用物理实验的方法测出了图形的面积。用物理实验解决数学问题也不是一件稀罕事了,广义费马点(generalized Fermat point)问题就能用一套并不复杂的力学系统解出,施泰纳问题(Steiner tree problem)也可以用肥皂膜实验瞬间秒杀。

3

欧拉的流氓证明法

在数学史上,很多漂亮的定理最初的证明都是错误的。最典型的例子可能就是 1735 年大数学家欧拉(Euler)的“证明”了。他曾经仔细研究过所有完全平方数的倒数和的极限值,并且给出了一个漂亮的解答:

这是一个出人意料的答案,圆周率 π 毫无征兆地出现在了与几何完全没有关系的场合中。欧拉的证明另辟蹊径,采用了一种常人完全想不到的绝妙方法。

他根据方程 sin(x)/x = 0 的解,对 sin(x)/x 的级数展开进行因式分解,再利用对比系数的方法神奇地得到了问题的答案。

不过,利用方程的解进行因式分解的方法只适用于有限多项式,在当时的数学背景下,这种方法不能直接套用到无穷级数上。

虽然如此,欧拉利用这种不严格的类比,却得出了正确的结果。欧拉大师耍了一个漂亮的流氓。

4

国际象棋上的多米诺骨牌

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

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

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

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

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

转载来源:超级数学建模

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

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

新春福利

如果这世界上没有数学家

人类将会变成怎么样?

如果没有了牛顿

就没有近代科学及文明

如果没有欧拉

就没有统一的数学符号

如果没有冯诺依曼

就更没有现代计算机

数学不能遗失

数学家更不能遗忘

《数学之旅 · 闪耀人类的54个数学家》

正式发售

54张牌代表54个数学家的故事

无论自我收藏还是赠送友人

不仅有品味,而且也有档次

送礼,你选择可以送上一份知识及文化

现在购买,赠送价值¥162的数学家故事电子专刊

¥324的数学家漫画连载专刊

(点击小程序,即可购买)

选购数学科普正版读物

严选“数学思维好物”

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

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

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

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

提供丰富的数学课外知识

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

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

记得关注“少年数学家”

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/299535.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

面试阿里被问到JVM,不逼逼赖赖,直接盘给面试官看!!!

面试阿里被问到JVM,不逼逼赖赖,直接盘给面试官看!!!概述JVM体系结构类加载机制类加载器类加载过程双亲委派机制全盘负责委托机制打破双亲委派机制自定义类加载器实现JVM运行时数据区程序计数器虚拟机栈本地方法栈堆方法…

数学图形(1.20)N叶草

有N个叶子的草 相关软件参见:数学图形可视化工具,使用自己定义语法的脚本代码生成数学图形.该软件免费开源.QQ交流群: 367752815 vertices 1000 t from 0 to (2*PI) r 10 n rand_int2(3, 10) p 1 cos(n*t) sin(n*t)^2 x p*cos(t) y p*sin(t) N叶草面_1 vertices D1:5…

虚拟主机网速测试

ping 命令简单测试网速,我来测一下自己刚买的虚拟主机废话少说,上图:(看不清的,点击图片看大图)A.中国电信(学校的光缆,教师办公专用至少30M,具体数字不清楚,…

Visual Studio 2022 Preview 3和2019 16.11发布

Visual Studio 2022 Preview 3 主要特点个人和团队生产力附加到进程改进新项目设计器黑暗主题提升开发现代应用远程测试新的JavaScript和TypeScript项目类型在指尖上的创新诊断分析同时使用多个GIT存储库详情请参考:https://devblogs.microsoft.com/visualstudio/vi…

梦真的是反的 | 今日最佳

全世界只有3.14 % 的人关注了青少年数学之旅(图源神店通缉令,侵权删)

面试官问:怎么保证线程安全在对象内存分配过程中不出问题?emmmm 让我想想

Java一门面向对象的语言,在Java中使用的对象都需要被创建出来,在Java中创建一个对象的方法有很多种,但对象在创建过程中都需要进行内存分配。Java对象内存分配过程保证线程安全,对象的内存分配过程就必须进行同步控制。 对象的内…

.NET 6 预览版 7:新功能已完成 ,将专注于改进

.NET 团队的项目经理 Richard Lander在宣布 .NET 6 Preview 7 时说:“这是 .NET 预览的又一季的结束。”, 中文翻译:.NET 6 预览版 7 发布——最后一个预览版。.NET 6.0 是微软统一 .NET 平台的一个重要版本和第一个 LTS(长期支持&#xff09…

Windows server 2003 CA配置(一)

CA:Certificate Authority,证书权威机构,也称为证书颁发机构或认证中心)是PKI中受信任的第三方实体.负责证书颁发、吊销、更新和续订等证书管理任务和CRL发布和事件日志记录等几项重要的任务。首先,主体发出证书申请,通常情况下,主体将生成密…

js堆和栈的区别_几个例子理解不同数据类型的堆栈内存处理

如有错误烦请指正js代码的运行环境浏览器 内核(引擎)nodewebview(hybrid,嵌入到手机app里面,在app里面运行)...下面通过几个例子理解不同数据类型的堆栈内存处理js如何运行(示例1)var a 12;var b a;b 13;console.log(a);浏览器能够运行js代码&#xf…

世界上没有后悔药,时间匆匆,从关注它们开始......

全世界只有3.14 % 的人关注了青少年数学之旅在这个资讯丰富且易获取的时代,越来越多的人不愿意花时间阅读书籍,碎片化阅读成了主流。人们获取的东西多而杂,很难系统、全面。海量信息对人是冲击,更是诱惑。谁不想了解天下奇闻&…

什么?面试官问我Java内存模型!这不得给我加薪?

内存模型的基础 通信  线程之间以何种机制来交换信息 共享内存  隐式通信消息传递  显示通信 同步  程序中用于控制不同线程间操作,发生的相对顺序的机制 共享内存  显式同步消息传递  隐式同步 Java线程线程之间是通过共享内存的方式实现通信的. 内存模型的抽…

使用 Blazor 开发内部后台(四):基于Card组件快速搭建导航首页

James: 本系列为大家介绍如何使用 Blazor 来开发管理后台,有兴趣的朋友欢迎跟着实验,体验 Blazor 开发的高效与乐趣。本系列目录:使用 Blazor 开发内部后台(一):认识Blazor使用 Blazor 开发内部后台&#x…

2020年,朋友圈的正确打开方式!

全世界只有3.14 % 的人关注了青少年数学之旅各位读者朋友们大家好 我是你们的小伙伴上流君我们开始不定期做互推了不是广告,根据兴趣关注感谢理解与支持ღ( ・ᴗ・ )比心有些人,生活离不开朋友圈。朋友圈是他们展示自我、观察世界的…

因为我把JMM原理讲解了一遍,这给足了我涨薪的底气!

一、什么是JMM? JMM指的是Java内存模型,即 Java Memory Model Java内存模型并不是一种实际存在的东西,而是一种人为形成的约定,是一种概念。 关于JMM,我们需要了解一些相关的同步约定 : 线程在解锁前&…

防腐投加器需要加盐吗_果干、果脯、蜜钱、水果脆片,哪个有营养?你吃对了吗?...

时下,追求健美瘦身的年轻人,常把水果千作为零食、加餐的选择之一。大家认为水果干不仅味道好,富含营养素,而且热量低。还有一些人会把果脯、蜜钱、水果脆片等当作新鲜水果的替代品,用以补充营养一认为果 脯、蜜钱的原料…

.NET6正式版将近,70%开发者或面临技术断层!

过往一周,VS2019 发布了最新V16.11,正式支持热重载;.NET6发布了最后一个预览版Preview7,各大新功能宣告完成;随之C#10的新特性也基本成型,好东西很多!各种密集的版本更新,佐证了行业…

一只蝙蝠的自述在朋友圈火了:千万不要再吃野味了!

全世界只有3.14 % 的人关注了青少年数学之旅来源:少女兔(ID:iiilass)、人民日报(ID:rmrbwx)从营养价值上来看野生动物和家养动物的差别微乎其微既不能延年益寿,也不能青春永驻它们不…

掌握JVM 运行时数据区,其实不是很难,加薪也是要技巧可言的!!!

一、概念 Java 内存区域和内存模型是不一样的东西,内存区域是指 Jvm 运行时将数据分区域存储,强调对内存空间的划分。 而内存模型(Java Memory Model,简称 JMM )是定义了线程和主内存之间的抽象关系,即 J…

不要被约束的意思_俗话说:“娶妻不娶颧骨高,嫁汉不嫁连眉梢”,到底什么意思?...

“世有伯乐,然后有千里马。千里马常有,而伯乐不常有。”——《杂说》 唐韩愈传说春秋时期,有个叫伯乐的人很会选马,他选马的时候,并不需要骑着马真刀真枪地跑几圈,只是看看马的骨相、听听马的嘶鸣就能判断出…

终于来了!微软正式推出 VS Code 测试 API

随着 Visual Studio Code 1.59.0 正式版本的发布,全新的插件测试 API 也从试验版本进入了正式版本。自 2020 年 9 月起至今,经过了将近一年及数次版本迭代的打磨,不管是 API 的功能性还是易用性,与首个预览版本相比都获得了极大的…