如何把圆等面积地变成正方形?这个问题困扰了数学家数千年
消息来源:baojiabao.com 作者: 发布时间:2024-05-17
直觉告诉我们,给定一个圆,一定存在一个面积与之相等的正方形。可是这个正方形要怎样画出来呢?这个"化圆为方"的问题困扰了数学家几千年,他们先是证明了,仅靠尺规作图无法实现化圆为方,后来又思考:能否将圆分割成有限数量的碎块,再把这些碎块拼接成正方形呢?现在真的有数学家实现了这一点。
尺规作图难题
大约在公元前 450 年,古希腊数学家阿那克萨哥拉(Anaxagoras)提出了一个有趣的几何问题:只用直尺和圆规,能否作出一个与给定圆面积相等的正方形?这个看似简单的"化圆为方"问题成为了尺规作图领域的一道经典题目,在此后的 2000 多年里,许多数学家都尝试解答,但都没能成功。
这个问题之所以难以解答,在于它不仅是一个几何学问题,还是一个代数学问题。在尺规作图问题中,给定若干角度或线段长度,其实质是给出了若干实数;而只用无刻度的直尺和圆规作图这条规则,保证了作出的角度或线段的长度,是给定实数的和、差、积、商、平方根的组合。由此,每个尺规作图问题其实都对应着一个代数问题。
回到化圆为方问题。假设给定的圆的半径为单位长度 1,易知圆的面积为 π,而面积与之相等的正方形,边长应为√π。问能否用尺规做出这个边长的正方形,其对应的代数学问题是:已知 1,能否通过有限次加减乘除和开方运算,得到√π?
这个问题直到 1882 年才得到了最终的答案。德国数学家费迪南德・冯・林德曼(Ferdinand von Lindemann)证明了,π(及其平方根)是超越数,即它不是任何有理系数多项式方程的根,也就无法通过有限次的代数运算得到。所以那个等价的代数学问题无解,于是,尺规作图下的化圆为方问题也就无解了。
把圆重组成正方形
尺规作图无法化圆为方,可要是抛开尺规作图的限制呢?1925 年,波兰裔美籍数学家阿尔弗雷德・塔尔斯基(Alfred Tarski)提出了另一个版本的化圆为方问题:能否将给定圆分割成有限数量的碎块,再将这些碎块重新拼接成一个正方形?碎块不能有剩余,拼接成的正方形也不能有缺口,圆和正方形的面积要相等。
这个版本的问题少了尺规作图的限制,但是要求不仅正方形的面积要和给定圆相等,构成它的每个部分也要来自给定圆 -- 这更接近"化圆为方"的字面意义。而且在两个版本的问题中,允许的操作次数都是有限的,因此新的化圆为方问题依然是一个难题。
塔尔斯基提出的问题在 1990 年有了答案。匈牙利数学家米克洛什・拉茨科维奇(Miklós Laczkovich)给出了证明:圆可以被分割重组成正方形。但是这种分割方式不是通常的剪刀能剪出来的,分割出来的碎块都拥有极其复杂的不规则形状。拉茨科维奇把这个几何问题转换成了一个图论问题,他用两种不同的顶点(vertices)集合画了一个图(graph)-- 一个顶点集合对应于圆,另一个对应于正方形 -- 然后在两个顶点集合之间建立了一一对应关系。最终他证明了,把一个圆分割成最多 1050 块,就可以将它们拼接成正方形,甚至不需要旋转这些碎块。
然而拉茨科维奇的证明并没有终结新的化圆为方问题。实际上,他只是做了存在性证明,也就是证明了化圆为方是可行的,但是没能给出具体的操作方式,也没能给出每个碎块的形状。通过他的证明,我们并不能知道这个圆到底是被怎样分割的。为了直观地理解化圆为方的过程,数学家仍然需要回到几何学,给出每个碎块形状的明确描述。
可视化尝试
时间来到 2016 年,英国兰开斯特大学的卢卡什・格拉博夫斯基(Łukasz Grabowski)以及华威大学的安德拉斯・马泰(András Máthé)、奥列格・皮库尔科(Oleg Pikhurko)发表了一篇论文,给出了分割圆的具体方法。在他们的证明中,分割圆得到的碎块,大多数都有明确的形状。他们还发现,这些碎块拼接在一起其实不能构成一个完整的正方形,仍然有一些小的"缝隙"需要额外的碎块来填充。但是这些碎块是如此之小,以至于它们并没有面积,数学家称之为"零测度的集合"。
"正方形的几乎所有部分都被拼接出来了,你甚至画不出缺失的部分,因为这一部分看起来是没有形状的。"加利福尼亚大学洛杉矶分校的数学家安德鲁・马克斯(Andrew Marks)评价说,尽管这种化圆为方方法仍需要额外的碎块,但依然是一个戏剧性的进步。
一年后,马克斯和现在在加拿大多伦多大学的斯潘塞・昂格尔(Spencer Unger)做出了改进,给出了第一个真正有效的化圆为方的方法。他们把圆分割成多达 10200 块,重新拼接成了正方形,而且不会留下零测度的缺口。这些碎块的形状仍然非常复杂,尽管它们在数学上有明确的描述,但是很难可视化。
把等面积的圆和正方形分割成一堆相同的碎块,这样二者就可以相互转化了。
这给了数学家继续改进化圆为方方法的空间。马泰、皮库尔科和加拿大维多利亚大学的乔纳森・诺埃尔(Jonathan Noel)在此前发布的一篇预印本论文中,将圆分割成了同样约 10200 块,但形状更为简单、更易可视化的碎块,并重组成了正方形。数学家仍然想进一步简化这些碎块,尤其是减少碎块的数量。马克斯做了一些计算机实验,表明可以只用 22 个碎块就能完成化圆为方的过程,他甚至认为这个数字还能减小,尽管没有给出证明。
"我敢打赌,在 20 块碎片以内就能把圆重新拼接成正方形,"马克斯说,"不过我不会下太大赌注。"
参考链接:
https://www.quantamagazine.org/an-ancient-geometry-problem-falls-to-new-mathematical-techniques-20220208/
本文来自微信公众号:环球科学 (ID:huanqiukexue),撰文:白德凡,审校:二七
2022-12-21 18:52:57相关文章
- 美国法院裁定阿里须为Squishmallows玩具侵权案答辩
2023-12-28 19:59:34
- 小米汽车传员工3700人 雷军称小米汽车不可能卖9万9
2023-12-28 19:41:57
- 国家新闻出版署:认真研究《网络游戏管理办法(草桉徵求意见稿)》关切 实行前进一步完善
2023-12-28 19:14:56
- 天猫新规可以无条件申请“仅退款”了?淘宝天猫又离狗多多零元购近了一步
2023-12-28 18:57:55
- 印度以打击金融犯罪为由逮捕了两名 vivo 高管
2023-12-26 16:49:01
- 在国外微信收不到国内信息?微信和WeChat将被拆分
2023-12-15 10:40:15
- 苹果iPhone15 系列手机发布最新消息 预计上市发布时间9月
2023-08-06 23:21:02
- 华为将发布鸿蒙HarmonyOS4操作系统 功能五大升级支持设备清单
2023-08-06 23:17:37
- 整治自媒体网红账号 400万粉丝网红发布擦边视频被无限期封禁
2023-07-12 09:56:09
- 网传微信文件传输助手是真人是真的吗?微信官方回应
2023-06-27 15:53:32
- 电信移动送手机成了“信用购”?你上了运营商的贷款套路了吗?
2023-06-12 17:18:55
- 中国电信广东地区崩了无信号 客服回应已在核实处理
2023-06-08 15:39:04
- 消息称小米新能源汽车价格表正讨论定价区间:双版本不同配置,高配或超 35 万元
2023-03-06 12:56:03
- 华为因制裁被传或分拆剥离手机业务? 内部人士回应:可能性不大.
2023-03-05 23:26:41
- OPPO正式发布安第斯智能云,让终端更智能
2023-02-24 16:02:27
- 华为与OPPO签订全球专利交叉许可协议 包括5G蜂窝通信专利
2023-02-24 16:02:26
- 老蛙将推MINI镜头新品:目前未知具体规格 官宣将于12月20日发布
2023-02-24 16:02:26
- 首发全新35mm定制光学系统 努比亚Z50性能同样强悍
2023-02-24 16:02:25
- Redmi K60屏幕细节曝光:全系标配2K护眼柔性直屏+5000mAh大容量电池
2023-02-24 16:02:25
- OPPO Find N2今天发 合金金属折叠屏更轻了
2023-02-24 16:02:24