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

全世界只有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…

获取DataTable字段唯一值(DISTINCT)

///<summary>///将所选字段的唯一值复制到一个新的 DataTable。 ///<para>如果字段包含 NULL 值&#xff0c;目标表中的记录还包含 NULL 值</para>///</summary>///<param name"sourceTable">源数据表</param>///<pa…

梦真的是反的 | 今日最佳

全世界只有3.14 % 的人关注了青少年数学之旅&#xff08;图源神店通缉令&#xff0c;侵权删&#xff09;

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

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

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

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

要做好性能测试,该掌握些什么?

1. 精通性能测试的基本概念&#xff0c;过程&#xff0c;方法论&#xff0c;了解性能工程&#xff1b; 2. 精通1个商业性能测试工具1个开源性能测试工具&#xff0c;知道工具可以做什么&#xff0c;不可以做什么&#xff0c;以及工具使用中常见的问题和解决思路&#xff1b; 3.…

do...while(0)的妙用

在C中&#xff0c;有三种类型的循环语句&#xff1a;for, while, 和do...while&#xff0c; 但是在一般应用中作循环时&#xff0c; 我们可能用for和while要多一些&#xff0c;do...while相对不受重视。但是&#xff0c;最近在读我们项目的代码时&#xff0c;却发现了do...whil…

Windows server 2003 CA配置(一)

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

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

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

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

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

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

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

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

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

《西河大鼓——酒色财气》(艳桂荣音配像)

《西河大鼓——酒色财气》&#xff08;唱词文本&#xff09;[url]http://qinyezhai.blog.51cto.com/179831/106820[/url]这是艳桂荣先生根据1998年本人录音于2000年由本人配像&#xff0c;时年72岁&#xff01;转载于:https://blog.51cto.com/qinyezhai/106822

LOOP WITH CONTROL 用法

LOOP - WITH CONTROL Syntax 语法LOOP [AT itab INTO wa [CURSOR top_line] [FROM n1] [TO n2]] WITH CONTROL contrl. ... ENDLOOP. Variants: 变式1. LOOP WITH CONTROL contrl. 2. LOOP AT itab CURSOR cur INTO wa [CURSOR top_line] [FROM n1] [TO n2] …

位操作

1. 改变符号&#xff1a;取反1 2. 与0异或保持不变&#xff0c;与-1(0xffffffff)异或相当于取反。 3. 负数右移可以认为是补符号位&#xff08;当然也有机器不是这样子&#xff09;。负数右移31位就是-1. 1 int sign(int n) {2 return ~n 1;3 }4 5 int abs(int n) {6 …

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

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

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

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