“沒有定理”的數學：中國古代數學如何站在世界之巔？

數學課上，你一定背過畢達哥拉斯定理、歐幾里得公理，但你有沒有想過一個問題——為什么數學課本里，幾乎沒有來自中國古代的定理？

這話不是我說的，是物理學家程貞一教授說的。他上初中時翻代數課本《范氏大代數》，翻來翻去發現一個問題：為什么這么多數學成就，一個來自中國文明的都沒有？

這問題困擾了他很多年，后來他走上了科學史研究的道路。

直到今天，很多人仍然覺得“數學就是西方的東西”，定理、證明、公理體系，好像天生就該長成那個樣子。但中國科學院院士、首屆國家最高科技獎得主吳文俊教授，用他一輩子的研究告訴我們一個顛覆性的真相：

中國古代數學跟西方數學，根本就是兩條路。

西方數學的核心是“證明定理”，而中國古代數學的核心是“解方程”。

你沒有看錯——我們古代數學家眼里，根本不存在“定理”這個概念。

一、兩條路：一個向左，一個向右

吳文俊先生說過一段很直白的話：

“西方數學的主要內容是證明定理，而中國的古代數學根本不考慮定理，沒有這個概念，它的主要內容是解方程。”

這話聽著有點反常識。我們從小背的勾股定理，不就是一個“定理”嗎？

問題出在理解方式上。

西方的數學，從古希臘的歐幾里得開始，走的是公理化的路子。先給幾條不證自明的公理，然后用邏輯推出一整套理論體系。歐幾里得《幾何原本》就是這樣——從5條公理、5條公設出發，推出了465個命題。

這套體系的特點是什么？是因果論證。你要證明一件事，就得一步步推導，每一步都得有據可依。它追求的是“為什么對”。

而中國古代數學，走的是另一條路。

翻開《九章算術》，你會發現它長這樣：先問一個問題，然后給出答案，再給出一個“術”。什么是“術”？就是解決這類問題的方法步驟——用今天的話說，就是算法。

舉個例子。勾股術怎么寫的？

“勾、股各自乘，并而開方除之，即弦。”

就這么一句話。它告訴你：把勾和股各自平方，加起來，再開平方，就是弦。

沒有定理名稱，沒有證明過程，沒有“因此”“所以”。但這句話，放在今天，就是一段可以直接寫成代碼的算法。輸入勾和股，輸出弦，完事。

二、算法傳統：我們祖先的“代碼”

吳文俊先生用一個詞概括了中國古代數學的精髓——機械化。

什么意思？

就是這套方法特別“死板”，特別“程序化”。你不需要靈機一動，不需要天才的直覺，只要按照步驟一步一步做，就能得到答案。

這和西方數學追求的那種“靈光一閃”的證明完全不一樣。

來看看我們的祖先到底創造了多少“算法”：

更相減損術：求兩個數的最大公約數——就是“以少減多，更相減損，求其等也”

方程術：解線性方程組——比歐洲人發現的高斯消去法早了一千多年

割圓術：劉徽用圓內接正多邊形逼近圓周率，祖沖之算到小數點后七位

大衍求一術：秦九韶解同余方程的方法，后來西方叫“中國剩余定理”

天元術：李冶用符號表示未知數解方程

四元術：朱世杰解四個未知數的方程組

這些“術”，每一個都是一套完整的算法，輸入數據，輸出答案，簡潔、高效、可重復。

中國古代數學，就是一部算法大全。

三、實用至上：從問題出發的智慧

那么問題來了：為什么東西方會走上兩條完全不同的路？

根源在于出發點不同。

西方數學從公理出發，東方數學從問題出發。

吳文俊先生解釋過這個邏輯：古人要解決實際問題，比如丈量土地、計算賦稅、測量天文。每一個問題都有原始數據，要求出答案，就要在已知數和未知數之間建立某種關系。這個關系就是方程。

所以你看《九章算術》的章節名字：方田（面積）、粟米（糧食交易）、衰分（比例分配）、少廣（開方）、商功（工程土方）、均輸（運輸征稅）、盈不足（盈虧問題）、方程（線性方程組）、勾股（直角三角形）。

全都是跟生活、跟生產、跟國家治理直接相關的問題。

這種“問題導向”的思路，決定了中國古代數學的特點：實用性、算法化、模型化。它不追求抽象的真理，追求的是“怎么算出來”。

四、你以為的“落后”，其實是超前的

有意思的是，當人類進入計算機時代，這兩種數學傳統的位置發生了翻轉。

吳文俊先生敏銳地發現了這一點：計算機只能處理有限的問題，而中國古代數學恰恰是處理有限事物的數學。

美國一位計算機數學大師說過一句話：計算機數學，就是算法的數學。

什么意思？

你想想，計算機怎么工作的？它不會“靈機一動”地證明定理，它只會執行你寫好的代碼。它需要的是明確的步驟、確定的算法——而這恰恰是中國古代數學最擅長的東西。

吳文俊先生有句話說得特別霸氣：

“我們最古老的數學，也是計算機時代最適合、最現代化的數學。”

他在上世紀70年代，正是從中國古代數學的算法思想里獲得靈感，開創了“數學機械化”的研究方向，提出了用計算機證明幾何定理的“吳方法”，成為國際自動推理界的先驅。

這位從法國留學回來的數學大家，最后是從自己老祖宗的智慧里，找到了通向未來的路。

五、東方數學的“未完待續”

吳文俊先生生前多次表達過一個觀點，值得我們深思：

“我們經常跟著外國人的腳步走。人家提一個猜測，我們花大力氣去證明。就算你證明了，出題目的人還是高你一等。我們應該出題目給人家做。”

這話聽著有點刺耳，但說的是實話。

當西方數學的公理化體系成為全世界數學教育的基本框架時，中國古代數學的算法傳統幾乎被遺忘在故紙堆里。很少有人知道，我們祖先在兩千年前就創造了那么多精妙的算法。

但事情正在起變化。

隨著人工智能、大數據、云計算的發展，算法的價值被重新發現。吳文俊先生提出的“數學機械化”思想，正在被越來越多的人理解和認同。

正如他說的：

“我們擁有計算機這樣的便捷武器，又擁有切合計算機時代使用的古代數學。怎樣進行工作，才能對得起古代的前輩，建立起我們新時代的新數學？”

這個問題，等著我們去回答。

尾聲：回到那個初中生的困惑

回到開頭那個問題：為什么數學課本里沒有來自中國文明的定理？

答案其實很簡單——因為我們古代數學家不搞“定理”。

他們搞的是“術”，是算法，是解決問題的方法。這些“術”不會以“某某定理”的形式出現在課本里，但它們的影響無處不在。

更相減損術，就是歐幾里得算法的另一種表達；大衍求一術，就是中國剩余定理；方程術，就是高斯消去法。

只不過，這些名字里沒有中國人的名字。但你不能說，這些成就不是中國人的。

吳文俊先生說過一句話，可以作為這篇文章的結尾：

“推陳出新，沒有‘陳’哪來的‘新’？一定要下了工夫，要下艱苦的工夫，要腳踏實地，一步一個腳印。懂得‘陳’，然后才可以提出新的看法來。”

讀懂老祖宗的智慧，不是為了炫耀過去有多輝煌，而是為了走出一條屬于我們自己的路。

這條路，兩千年以前就有人走過。

現在，該我們接著走了。