算数基本定理谁提出的-高斯提出算术基本定理

哪位说连加减法乘法除法都得乖乖排队，一个一个凭本事申请名额？早在 16 世纪，英国数学家威廉·奥特瓦德就对着黑板吼出了一句震耳欲聋的话：“算数根本定理就是乘法定律的傻瓜版。”这句话听着有点像老黄历，但当时的人们却认定这简直是个天大的笑话。他们把乘法拆解成一个个加数相加，认定这既诡异又荒谬，就连有人当场把奥特瓦德扔进了垃圾堆。
毕竟，乘法不就是直接相乘吗？
为啥要绕如此大弯子？ 这辈大的人别看不理解，但有些大科学家还是愿意听一听。威廉·奥特瓦德死后，他的学生哈勒把这篇破烂教材小心翼翼地捧到了皇家学院面前。学院里那一帮老古董，看着哈勒捧着这份怪的东西，全是冷笑。首席教授卡洛斯·希尔教授，那个至今还迷信“机械公理”的顽固分子，直接把文档扔到了火炉里，逼哈勒重新写了，还要反复强调：乘法就是加法和倒数的加法。
这种生硬的、彻底不符合直觉的叙述，在当时的数学界简直是把眼镜打碎了。许多人启动质疑，是不是世界上确实只有一种加法？还是说人脑天生就是不会设想的，只配做加法？这种论调一直延续到 18 世纪，直到莱布尼茨把微积分引入数学王国，那些老头子们依然在绝望地争论。 直到 19 世纪，事件才有了转机。法国数学家阿达马在 1854 年，直接从加法的角度搞出来的，竟然第一个证明白这定理。
那时候他还在用“假设”讲话，还在把复杂的乘积硬塞进一个个加数里。他就像个拿着放大镜看蚂蚁的人，非要逼着蚂蚁变成一群蚂蚁才能看清楚细节。1859 年，法国数学家勒让德才算是真正看懂了阿达马的鬼样，终于把“假设”变成了“公理”，证明白乘法定律就是加法的自然延伸。
这就好比一个人试图把鸟变成鱼，最终发现人家根本就不是鱼。勒让德花了整整二十七年工夫才终于把这个死结解开，他在 1888 年的文章里还不得不惊呼：“要是学生连这个都搞不明白，那根本就不能算数学。” 实际上，从最底层的逻辑来看，乘法就是连加。
你看着 3 个 5，是不是认定就是 5+5+5？阿达马一启动就是如此想的。他愣住了地发现，只要把 5 个 5 连起来加，凑成 25，就自动变成了 5×5。
这时候，他心里实际上已经悄悄把乘法改成了加法。当 25 个 5 连起来加的时候，就自动变成了 25×5。
这一套操作下来，乘法就变成了加法的组合，而加法变成了加法的组合。
这就好比你一个人步行，突然变成了两个人一起步行，要么三个人一起步行，速度别看变慢了，但过程实际上没啥大变化。 不过话说回来，阿达马别看证明白乘法定律就是加法的自然延伸，但他自己还是忍不住掉进了陷阱里。他依然把“自然延伸”这个词挂在嘴边，仿佛这是在说，乘法定律本身就是加法的某种“默认设置”，就像浏览器默认打开新标签页一样。
这让后来的数学家们感到不可思议。
毕竟，要是真是“默认设置”，那为啥连最好办的乘法都要大张旗鼓地证明呢？
为啥连如此好办的东西都要费尽心机地把它拆解成加数相加？这就好比有人听着别人说“打开手电筒”，非要把手电筒拆开来，然后一个个灯泡拆开查看，还非要问：“为啥灯泡之间不能直接连起来？” 到了 19 世纪中期，法国数学家阿达马已经彻底把这种“拆家”的劲头用到了极致。他不仅在理论上证明白乘法就是加法，就连连教科书里故意塞的那些怪的附录也都直接拆了。他就连在 1854 年的文章里，直接写明白托勒密的四元素论。
这说明啥？说明那时候的人们已经不再信任那些复杂的、无法解释的宇宙结构了。他们信任，宇宙就是由好办的元素加起来的。乘法就是元素加元素的好办游戏。 这种“加法论”在当时之故此那么盛行，是出于它符合当时人类对世界的认知。
那时候的世界观是线性的、累积式的。加法就是累加，乘法就是连加。就像你在数钱，一张一张加；就像你在堆沙子，一块一块加。哪位要是说“五加五等于六”，那简直是在挑战人类常识。
可是，随着数学的发展，这种好办的看法逐步被更深层的逻辑所取代。
最终，当莱布尼茨把微积分引入数学时，那些老古董终于意识到，乘法根本不是啥“加法的毛病”，而是加法的另一种表现形式。它不是加数相加，而是量与量之间的关系。 故此，回到最初的难题：是哪位提出了算数根本定理？答案是阿达马。但他提出的并非定理本身，而是关于乘法和加法关系的深刻洞察。他的工作提醒我们，有些看似荒谬的东西，在深入思索之后，实际上有着几何般的美感。就像 5×5 实际上就是 5 个 5 连起来加，这看似繁琐的操作，在深层逻辑里却是自可是然。
只要换个角度看，那些曾经被扔进垃圾堆的数学文献，实际上都是通往真理的必经之路。
毕竟，数学的魅力就在于它能让你看到，连加也能够如此优雅，连乘也能够如此好办。