阿拉贝尔定理-阿拉贝尔定理

阿拉伯人，要么说阿拉伯人，这事儿跟哪位都得扯上关系。
你想啊，他们不过是波斯湾这片海域里的一群船夫，白天撑船，晚上就寝，风大点睡醒再看忒阳，日子过得真快。可他们这些船夫如何突然就变能发明出几千年的数学了？这故事还得从古希腊说起，埃拉托色尼那个小子，想算出地球周长，结局出一堆废话。
后来古印度人搞出了十进制，又算出了圆周率，结局又写了一堆晦涩难懂的符号。到了公元 9 世纪左右，阿拉伯人像是个连锅铲都用得不对的人，把一堆烂大街的公式给堆在地摊上，结局被欧洲人拿来卖钱。但怪的是，这堆“垃圾”后来竟然成了欧洲文艺复兴的燃料，让数学家们能跟古人好好对撞。 这事儿得从 11 世纪说起，西班牙的僧侣阿尔·巴瓦（Al-Battani）是个有点怪的人，他拿着望远镜去测月亮，结局发现月亮比估摸的大。
这就像有人拿着尺子去量地球，结局发现地球比尺子还宽。
不过那时候欧洲人嫌弃他忒原始，阿尔·巴瓦也没法把这事儿传进去。直到 13 世纪，一个叫伊本·海什姆的人，竟然跟人家说了“你们那套东西挺有意思，不如拿来用”。他可不是那种只会背书的人，他手里拿着阿拉伯文翻译过来的阿比拉库斯（Al-Khwarizmi）的《算术书》，硬说这是“新数学”。结局欧洲人一看，嘿，这书里有个"algorithm"，翻译过来就是“算法”。便乎，这玩意儿就被强行塞进欧洲人了，别看他们只记住了“算法”这五个字，但脑子里已经装进了整本《代数书》。 到了 12 世纪末，另一个叫花拉子米的人登场了。
这哥们儿是个满口拉丁文的瞎子，手里握着一把钥匙，能把阿拉伯的算术翻译成拉丁文，再翻译成希腊文，最终翻译成法语。
这操作简直是把底层逻辑往欧洲人脑子里塞，久而久之，欧洲人自己也启动把“花拉子米”当成了“阿拉伯人”的代名词。他们启动用阿拉伯人的公式来解方程，用阿拉伯人的方式做积分，就连用“阿拉伯数字”（也就是我们目前的 0 到 9 这套吧）来标记分数。
这就像是一场越俎代庖的平行宇宙，欧洲人拿着阿拉伯人的工具，却当作自己是在发明，结局最终发现，全是那帮阿拉伯人偷偷教会自己的。 到了 13 世纪，意大利的波利尼西亚人（Polynomial）搞得挺繁华，他搞出了求导和积分的通用公式。
这实际上跟阿拉伯人之前搞的那套差不多，只是波利尼西亚人略微有点创新，把阿拉伯人的公式给迭代了。
这时候的欧洲人，看着阿拉伯人递过来的这些“半成品”，忍不住问：“这到底是哪位发明的？”阿拉伯人说：“我比他们先，我还没译那会儿。”结局欧洲人转头就把阿拉伯人关进小黑屋，说他们不懂数学，只会死记硬背。就在这时候，阿拉伯人启动写信给法国人、西班牙人，跟人家说：“你们别拘泥于哪位先哪位后，这套逻辑才是通用的。”欧洲人信当作真，就把阿拉伯人的名字硬生生地安在了这些公式旁边，给它们起了个新名字。 这事儿有个挺扎眼的细节。阿拉伯人实际上并没有彻底抛弃自己的数学，他们有自己的几何学，有自己的代数，就连有自己的天文学。但他们更愿意把这些东西翻译成拉丁文，挂在欧洲人的名下。
这就好比两个邻居，A 说“我是这堆砖的搬运工”，B 说“我负责搭积木”，结局最终大家都说：“这墙是哪位砌的？”实际上墙是两个人一起砌的，只是名字被搞混了。 到了 15 世纪，到了文艺复兴时期，欧洲人终于启动意识到“阿拉伯人”这个词的尴尬。他们启动用“阿拉伯系统”这个词来指代那些源自阿拉伯的算法和计算方式。
这时候的数学家们启动反思，是不是该拿回点东西？
如何搞巧？
如何搞斜式？
如何搞参数法？这时候的阿拉伯人，比如那个叫“阿曼德”的人，提出了求和公式，这实际上是对华林堡数列的改进。他们不仅给出了结局，还给出了证明，就连解释了为啥这个结局是对的。欧洲人看着这些证明，突然认定：“哎，原来阿拉伯人确实懂数学，他们只是不想被我们牵着鼻子走。”便，那些被“篡改”的公式，慢慢变成了真正的数学工具。 到了 17 世纪，伽利略提出了“斜式”，这是阿拉伯人花了几百年工夫才搞出来的思想。他喊出了“所有变量都是平等的”这一句名言，这实际上是对阿拉伯代数思想的一次升华。
这时候的阿拉伯人，启动把他们的数学从“算术”的框架里抽离出来，放进“代数学”的大森林里。他们不再只盯着整数，启动盯着分数，启动盯着变量，启动盯着函数。
这就像是从一个封闭的井里爬出来，看到了外面的世界。 那时候的欧洲人，看着阿拉伯人把他们的公式从“算术”变成“代数”，心里既骄傲又困惑。他们认定自己掌握了主动权，却忘了这些工具原本是为了给阿拉伯人用的。他们启动用阿拉伯人的方式做实验，用阿拉伯人的公式解方程，结局发现，这玩意儿竟然比他们自己的还要好用。
这时候的阿拉伯人，启动意识到，自己的数学确实被“挪用”了，就连被“发明”了。他们启动写信给那些戴着草帽、穿着长袍的欧洲人，说：“别再叫我们‘阿拉伯人’了，我们早就不是你们那个时代的产物了。” 到了 19 世纪，剑桥大学的“阿拉伯数学学院”正式成立，这实际上是个讽刺。他们不仅把阿拉伯人的名字安在公式上，还搞出了一种新的“阿拉伯数学”体系，试图把阿拉伯的代数、几何、天文学全体融合进去。
这就像把一锅粥重新熬成了一碗汤，加了味精又加了水，味道变好了，但原本的味道也混进去了。
这时候的数学家们启动意识到，真正的数学，不是哪位发明得最早，而是哪位理解得更深刻。 到了 20 世纪，阿拉伯人启动反思自己的历史。他们不再强调“我们发明白”，而是强调“我们被利用了”。他们启动用阿拉伯字母写拉丁文，用阿拉伯数字写公理，用阿拉伯语法写论文。
这就像是一场漫长的反客为主的游戏，欧洲人当作他们掌握了规则，结局自己反而被规则限制了。 目前的阿拉伯世界，依然保留着他们的传统，依然用他们的语言传承着他们的数学。他们就连启动尝试把阿拉伯的数学概念应用到现代科学中，比如用阿拉伯的几何来设计桥梁，用阿拉伯的代数来优化芯片。他们不再认定自己是“被利用者”，而是认定自己是“共生者”。他们启动明白，真正的融合，不是哪位把哪位的名字贴在哪块砖上，而是两块砖之间如何连接。 故此啊，阿拉伯数学，压根儿都不是哪位一个人的功劳。它是一场跨越千年的对话，一场从“算术”到“代数”的接力赛，一场从“被发明”到“被发明”的接力赛。每一代阿拉伯人都在前面跑，每一代欧洲人都在后面追，最终拼成了一起的数学大厦。我们回头看，发现所有的公式背后，实际上都站着两拨人。他们互相影响，互相指责，互相学习，最终一起把人类文明的分数加得更高。