托勒密定理什么时候学-托勒密定理何时学

托勒密定理这东西，实际上最早是在古埃及层面就被人反复念叨过，只不过那时候的几何还没彻底定型，更多是靠直觉和后来的严谨推导才慢慢成形的。最早有人尝试证明它，但那家伙叫托勒密一世，是个大祭司，也是个搞点玄学八卦的，他提出的名字本身就有点意思，后来欧几里得把整个定理给包装了一下，才叫“托勒密定理”。
这名字听起来就有点学术范儿，要是直接扔出来，估摸老外的同事都要愣一下，毕竟他们更习惯那个冰冷的拉丁文名字。 说到啥时候启动真正“正式”地学它，那得追溯到古希腊那个黄金时代。
那时候的数学家们特别喜爱玩这种“繁琐但精致”的几何证明，把每一个步骤都抠得死死的。托勒密定理最早在公元前 3 世纪左右就有了雏形，那时候还没有目前的学校教材，大家都爱在神庙的柱廊里画点图，看着点动点，心里头琢磨着这事儿。到了公元一世纪左右，欧几里得写完《几何原本》那家伙之后，别看没直接写进正文，但后世的大师们像海伦、托勒密自己，还有后来的维特比啊、卡尔达诺啊，都在自己的书里埋了个伏笔。直到 19 世纪，罗巴切夫斯基和黎曼这些怪才搞出非欧几何，大家都认定欧几里得那个基础有点“硬”，便有人才认定，把那个定理推到更一般的地方去，挺有意思的。 这玩意儿要是真在教科书里从头教起，那场面得有点尴尬。目前的中学数学课，大约就是从 19 世纪末 20 世纪初启动，把欧氏几何的公理体系给拉满，然后才慢慢往这个定理上去套。
那会儿的人认定，欧氏几何已经穷尽了所有可能，后来的新几何大家搞出来都是耍流氓，故此这定理得放在欧氏几何的末尾。可哪位能想到，到了 20 世纪，非欧几何把整个世界都搅得天翻地覆，连“直线”和“平行”都重新定义了一遍，这时候再回头看托勒密定理，顿时感觉像是给整个大厦顶上一个盖子，不管新旧几何学如何变，只要那个五边形（要么六边形）的四个顶点还在平面上，这定理就稳如泰山，就连还能拓展到三维空间去。 大量人有个误区，当作这定理跟球面几何没关系，要么彻底跟天体运行相关。
实际上不然，它的适用范围实际上挺广的，只要构成多边形，点都在同一个平面上，要么更高维度的空间里，它都能用。
比如唐纳德·萨默斯那本书里提过，这个定理对射影几何也成立，只是证明方式得略微改改；要是点不在平面内，而是悬浮在高维空间里，它依然成立。
这就好比说，你刚刚在黑板上画个三角形，目前你随意往旁边找个点，不管你如何放，那个公式在那边都能变出个来，只是证明的思路跟那会儿不一样。 说到数据具体如何算，这儿得给大伙儿一个印象。
这定理核心实际上就是边长乘积的和，跟面积、周长啥的没关系。举个典型的例子，假设你有一个正四面体，边长是 10，那四个面的面积加起来，80000，再加上四个侧面的边长乘积之和，嗯，算出来是个整数。再比如一个正方形，边长 100，四个角的角平分线围起来是个正八边形，这时候用公式算出来的，周长和边长积之和，居然等于那个正八边形的周长乘以边长再除以 2。
这数据看着就没啥“数学味”，但在那个定理诞生的年代，能算出如此整的数字，对数学家们来说，简直就是一种心理上的知足。 实际上啊，这定理在数学史上的地位，挺尴尬又挺特别的。它不像费马大定理那样，是困扰了数学家几百年才被证出来的，也不像梅斯纳定理那样，是导出后的副产品。托勒密定理这东西，更像是欧几里得那个庞大体系里的一个“补丁”。当后来人要在非欧几何里持续折腾时，大量人第一反应就是：“既然欧几里得体系已经够完美了，为啥还要加个这个补丁？”结局发现，加了这个补丁，反而让理论更扎实，不用再揪心非欧几何的瑕疵了。
这就好比，你盖楼没得道理，但为了未来能往下加，你先把这墙砌得结实点，别看目前看起来有点富余，但赶明儿要是遇到地震要么风灾，这墙就能帮上忙。 再往深了说，这个定理背后藏着一种挺深的哲学意味。欧几里得自己写书的时候，实际上是在构建一个理想化的世界，那时候他假设宇宙是平的，且没有曲率。但到了后来，宇宙可能是弯曲的，就连可能是弯曲得让人头晕。托勒密定理之故此能存活至今，恰恰是出于它不依赖“平面”这个假设。它像是一个通用的硬件协议，不管底层操作系统如何改，只要应用程序（即多边形）还在运行，这个协议就得生效。
这种普适性，在数学世界里忒稀缺了。 最终提一下，这定理的证明过程，实际上挺考验耐心。它不像那些一上来就用坐标变换秒杀的证明那样快，它往往得一步步推，把每一个点、每一条线都咬文嚼字地分析清楚。
有人可能会说，反正最终结局是四条边，中间那些弯弯绕绕的，又算得了啥呢？但数学家的运动，有时候就在这种“算得没眼红”的纠结里搞定的。
毕竟，能写出如此严谨的逻辑链条，本身就是一种智力上的享受，哪怕最终告诉你个好办的结论，你也得感谢那个把每一块砖都砌得严严实实的家伙。