那些有趣的数学定理!

01

平面上半径不同的三个圆,任意两个圆都有两条外公切线交于一点,而这样的点一共有三个,有一个定理是这三个交点总是共线的。

这个定理美妙而易于理解。但它的证法很多,给我印象最深的是它的几个奇葩证法,几年前看到瞬间打破了我的三观,比定理本身不知有趣到哪里去了。叙述如下:

在这个平面的三个圆上放三个球,每个球的半径都等于它底下的那个圆的半径。显然,这个平面是这三个球的一个公切面。再把公切线想像成这三个球确定的三个圆锥的母线在平面上的投影。显然三个圆锥的顶点都在这个平面上,且这三个顶点就是待证共线的三点。这三点是显然共线的,因为我们可以在三个球上找到另一个公切面(想像一块玻璃板从上面盖下去),那么这个切面上也包含了三个圆锥的顶点,而这两个切面的交线是唯一的一条直线。

这个证法的妙处在于把平面几何问题通过在空间里做辅助线进而巧妙地在空间里解决了。

另外还有一个简单到耍流氓的一句话证法:想象这是三个等大的乒乓球的透视图,圆越小说明离你越远。依据透视学的理论,这三组实际上平行的公切线都存在交点也就是消逝点,而这三个消逝点都位于地平线上。

如果第一眼看不明白,记得把题图旋转 180 度。

02

下面四组图像中,每组中第一个都可以通过同痕变换(三维空间中不撕破也不粘连的连续变换)得到第二个,大家打开脑洞试试找找这几个(同痕)变换过程:


下面公布答案

最后借助问题 1 的答案,这个问题就解决了。

03

先说这个游戏:Tic-tac-toe

在  的棋盘上画 O 和 X,谁先成功的把他的棋子放到一行,一列或者对角线上就算赢。下面是 wiki 上的一个一局比赛的示范:

不过上面那个执 O 的简直是个智障玩法。玩过的都知道这个游戏后走的人很难赢但是也很难输的,基本上把把都是平局。

当年我在课上和同桌偷偷玩这个游戏的时候,玩两把我就转到五子棋了。把把平局,什么鬼。但是假如多思考两分钟我们就会发现,之所以平局是因为棋盘太小了,如果换成  的棋盘也许会好一些。也就是说我们猜测如果棋盘足够大,最后就很难平局。

但是再仔细想一下,仿佛又觉得不太对。因为棋盘扩大意味着获胜难度也大了:在  的棋盘上我们只要连三个子就赢了,但是   的棋盘要 4 个。所以我们可以控制赢的条件不变,然后再多一些棋盘空间,这样子大概就不容易出现平局了。比如我们可以把上面在棋盘上的游戏,转移到在魔方上玩:

然后我们猜测,这种情况下很难出现平局。于是我们得到了一个猜想:

Hales–Jewett theorem:简单的说,假设我们有  个人一起玩游戏(分别执不同棋子),并且规定只要连  个就算赢。那么一定存在 ,使得我们在  空间中边长为  的正方体上下棋,不会出现平局。

比如上图就是 2 个人在  中边长为 4 的正方体上下棋。这个定理试图说明,随机是不可能的。不论再怎么随机,再怎么混乱,再怎么皮,我都能找到规律。

H-J Theorem 并不特别困难 [1],但是人们更感兴趣的是 density 版本的:如果棋盘的某些部分是残缺的,假如剩下的能下棋的地方足够多(正密度),也会满足最终不出现平局。

接下来说一些历史。D. H-J Theorem 看起来很 Simple 很 Naive,但是却 open 了很多年。Furstenberg 和 Katznelson [2] 在 1991 年借助动力系统中 ergodic techniques 第一次给出了证明,但是他们的证明极度复杂困难,而且上界的存在性用到了选择公理,没办法给出确切的界(只有存在性)。

故事的结局在 2010 年左右,T. Gowers 和陶哲轩一起合办的 Polymath 论坛把给出 D. H-J Theorem 的确切的界当作这个项目的第一个计划,起名为 D. H. J. Polymath。经过一年的努力那一堆大佬最终发现了纯组合的证明 [3],并给出了一个确切的上界,而且有趣的是他们发表论文的作者名字就是 D. H. J. Polymath。用这个定理可以分别给出 Szemeredi Theorem 和 Green-Tao Theorem 的最短证明,实际上 Szemeredi Theorem 就只是 D. H-J Theorem 的自然推论。

参考文献

[1] Alfred W. Hales and Robert I. Jewett.Regularity and positional games. Transactions of the American Mathematical Society, 106(2):222–229, 1963.

[2] Hillel Furstenberg and Yitzhak Katznelson. A density version of the Hales-Jewett Theorem.Journal d’Analyse Mathematique, 57:64–119, 1991.

[3] D. H. J. Polymath. A new proof of the density Hales–Jewett theorem. Annals of Mathematics. 175 (3): 1283–1327, 2012.
(0)

相关推荐

  • 每个大于等于6的偶数都是两个奇素数之和

    每个大于等于6的偶数都是两个奇素数之和 崔坤  (中国.山东.青岛.即墨   E-mail:cwkzq@126.com) 摘要:运用已经彻底证明了的三素数定理给出其推论:每个大于等于9的奇数都是3+两 ...

  • 数学英语词汇(f 字表)

    face 面 factor 因子:因式:商 factor method 因式分解法 factor theorem 因子定理:因式定理 factorial 阶乘 factorization 因子分解:因 ...

  • 天睿:与大家分享昨天游玩的收获

    每日写一篇文章的第1年198天 天睿:帮你无虑的在天津买房 昨天是我的休息日. 我和我的小伙伴们去了一个游乐场,玩了差不多大半天. 上午我们大致都是在蹦床玩了一段时间,非常有趣. 然后又玩了一段时间的 ...

  • 数学建模9:数据直径、荣格定理及凸集

    本讲导读 凸分析是数学新课标中新加入的内容,不仅在信息技术中有非常重要的应用,也为很多古典数学问题提供了异常优雅的解决方式. 本讲适合在讲授或学习完高中数学的集合章节.解三角形章节.平面解析几何章节. ...

  • 孪生素数有无穷多

    孪生素数有无穷多 崔坤 中国山东青岛即墨  E-mail:cwkzq@126.com 摘要:本文的目的是用解析的方法证明:孪生素数有无穷多 关键词:三素数定理,三素数定理推论,孪生素数 There a ...

  • 初中数学有趣的数学几何定理:帕普斯定理、...

    初中数学有趣的数学几何定理:帕普斯定理.笛沙格定理.帕斯卡定理.阿波罗尼斯圆.步拉美古塔定理.张角定理.鸡抓定理.牛顿线定理. 同学们如果需要参加数学竞赛其中有些定理需要熟练掌握,学到了就是赚到了.

  • 人工神经网络及其数学定理,纯数学是如何推动现代科技发展的?

    如今,人工智能几乎出现在我们生活的方方面面.智能手机.社交媒体源.推荐引擎.在线广告网络和导航工具都是基于人工智能应用程序的例子,它们影响着我们的日常生活. 深度学习一直在系统地提高语音识别.自动驾驶 ...

  • 有趣的数学文化

    苏教版小学数学教材编辑部 3月8日 古希腊数学家普罗克鲁斯说:"哪里有数,哪里就有美." 数学之美,美在探求世间现象规律的出发点,美在大胆假设和严格论证的伟大结合,美在她在几乎所有 ...

  • 从高分子物理到合成生物学的跨界学者:生命科学急需抽象的数学定理丨专访金帆

    有这样一位研究人员,他本科毕业于应用化学系,博士获得的是高分子物理的学历,而在 2011 年回国后,他却转而从事起了微生物学的相关研究,在此期间,他又得以与合成生物学结缘并于 2017 年正式投身到了 ...

  • 常用又有趣的数学速算法

    一. 加法 : (1) 从1向后加,一直加到100,等于几? a 比较老实的同学是一个个按顺序加完,1+2+3+4+5...... b 头尾相加,每次头尾相加都等于101,一共是50个101,50X1 ...

  • 【心理学科】60条有趣的心理学定理,你知道多少?

    让知识回家 一站式收藏您的阅读与创作 [心理学科] 60条有趣的心理学定理,你知道多少?     1.蓝斯登原则:在你往上爬的时候,一定要保持梯子的整洁,否则你下来时可能会滑倒.     2.卢维斯定 ...

  • 课本没有,但十分好用的初中数学定理公式(速度收藏)

    所以还是建议大家,遇到难题先用常规方法解答,把今天的这些方法当作选择填空题的快速答题技巧. 几何篇 平行四边形(实用度: ★ ★ ) 两边长为a和b,两对角线长为m和n,可以拿这个公式和托勒密定理对比 ...

  • 用37个动图理解数学定理!学习原来也能这么轻松!

    对于初中生来说,数学里比较让人头疼的应该就是定理和证明. 其实,对于概念的理解也可以很轻松,不信,来看看这些动图,是不是觉得定理没那么难记了呢? 1.三角形内角和为180º 2.多边形外角和为360º ...

  • 课本没有,但十分好用的初中数学定理公式速度收藏,选择填空节省一半时间!

    前 言 其实考试并不会考我们完全没学过的知识,建议同学们,遇到难题可以先用常规方法解答,今天的这些方法可以当作选择填空题的快速答题技巧.解选择题的原则是既要注意题目特点,充分应用供选择的答案所提供的信 ...