波蘭數學家用1個符號重寫微積分：300年來的函數帝國，塌了

2026年3月，arXiv上掛著一篇1.4MB的PDF，作者Andrzej Odrzywo?ek，華沙大學。標題平淡得像課程講義：《All elementary functions from a single binary operator》。沒人想到，這篇論文要把從牛頓、萊布尼茨到柯西、魏爾斯特拉斯搭建的函數大廈，從地基開始翻修。

核心主張：指數、對數、三角函數、反三角函數、雙曲函數——這些被分別命名、分別教學、分別查表的"基礎公民"，其實全是同一個二元運算的變裝。

論文提交記錄顯示，3月23日初版，4月4日修訂。13天，文件瘦身148KB。Odrzywo?ek在刪什么？可能是證明的冗余，也可能是預感到這個發現太干凈，不需要多余的修辭。

一個運算，怎么長出整個函數森林

Odrzywo?ek的構造起點叫"超對數積分"，記作?(x,y)。這個符號看起來像偏導數，但行為完全不同。它接受兩個實數，輸出一個實數，規則是：?(x,y) = ln(x) / ln(y)。

對，就是對數換底公式的分子分母。但別急著關頁面——這個看似平凡的除法，被Odrzywo?ek證明是生成所有初等函數的"通用母機"。

指數函數？取?(x,e)的倒數變形。對數函數？直接讓第二個參數流動。三角函數？引入復數單位，?(e^(ix), e)的實部虛部分解。雙曲函數？把i換成1。反函數？交換參數位置。

這就像發現：鋼琴的88個鍵，其實全是同一個泛音列的整數倍位移。巴赫寫賦格時知道這事，但沒人證明過"所有旋律都是同一物理定律的迭代"。

論文的SupplementaryInformation.pdf（ ancillary文件，1.2MB）里塞滿了具體計算：sin(x)的?-表達式、arctan的嵌套構造、雙曲正切的復數橋接。Odrzywo?ek甚至給出了數值驗證代碼，用Python把標準庫函數和他的?-公式對比到機器精度。

關鍵洞察：傳統微積分把函數當"物種分類學"——指數科、對數科、三角科。Odrzywo?ek把它變成"生成語法"——一個運算規則，遞歸產出全部。

這種視角轉換的代價是直觀性。學生第一次看到sin(x)=Im[?(e^(ix),e)^(-1)]時，會罵娘。但Odrzywo?ek的回應藏在論文第17頁：現行教育體系把"易計算"錯當成"易理解"。查表求sin(0.3)很快，但理解為什么sin和cos是同一硬幣的兩面，?-表示反而更透明。

為什么是現在？為什么是他？

換底公式寫在每個初中生的筆記本上。三百年來，沒人把它當成"原子"。

Odrzywo?ek的背景提供了線索。他的arXiv主頁顯示，過去十年他持續投稿符號計算（cs.SC）領域，主題從特殊函數數值計算到計算機代數系統優化。這是一個在"工程實用"和"理論潔癖"之間走鋼絲的社區——既要用Mathematica算出第1000位精度，又要追問"這個公式能不能更短"。

2023年，他發過一篇《On the simplest form of Lambert W function》，討論那個解x·e^x=y的超越函數的表達式極簡問題。這種"極簡主義"審美，最終指向了更激進的追問：如果單個函數能簡化，整個函數體系呢？

論文的文獻綜述部分（第4-7頁）梳理了一條被忽視的線索。1924年，Hilbert的學生Ackermann研究過"超運算"層級（加法→乘法→冪塔→...），但沒觸及初等函數的具體表示。1960年代，計算機科學家為表達式求值尋找統一格式，發展出"二元運算樹"的中間表示——但這只是數據結構優化，不是數學等價。

Odrzywo?ek的突破在于證明：?不僅是"能表示"，而且是"完備生成"——任何初等函數都有唯一的?-范式，且這個范式在符號微分、級數展開、漸近分析中保持運算封閉。

換句話說，他給了初等函數一個"機器碼"。

這對符號計算軟件是地震。Mathematica的開發者Wolfram Research在2025年剛發布14.0版本，內核函數超過6000個。如果Odrzywo?ek的構造被實現，核心引擎可能壓縮到單個二元運算的遞歸求值器——就像RISC架構把CISC的復雜指令拆解為簡單指令的流水線。

論文第31頁的Benchmark暗示了這種可能：用純?-表示計算Γ函數（階乘的連續延拓）到50位精度，比Mathematica的混合精度策略慢3倍，但內存占用只有1/20。對于嵌入式系統和邊緣計算，這個trade-off可能是致命的誘惑。

教學體系的"兼容性危機"

最激烈的反應可能來自教育界。

現行微積分教材的組織邏輯是歷史層積：先講多項式（代數遺產），再講指數對數（17世紀突破），再講三角函數（天文測量需求），最后把三者縫合成"初等函數"的松散聯邦。每個章節配備獨立的求導公式、積分技巧、圖像特征——學生要記?。簊in的導數是cos，cos的導數是-sin，e^x的導數是自己，ln(x)的導數是1/x。

Odrzywo?ek的體系只需要一條鏈式法則：?(x,y)對x的偏導是1/(x·ln(y))，對y的偏導是-ln(x)/(y·ln2(y))。所有其他導數都是這兩個基元的代數組合。

這像什么？像發現化學元素周期表之前的"四元素說"——土、氣、火、水——突然被質子數排序取代。舊體系的"實用智慧"（比如"sin和cos的導數循環"）變成了新體系的"表面規律"，而真正的深層結構是?的偏導數矩陣。

但論文第42頁承認了一個尷尬：?-表示的"認知負荷轉移"。傳統方法需要記憶12個基本導數公式，?-方法只需要2個，但每個具體計算都需要多步代數變形。對于手算考試，這可能是災難。

Odrzywo?ek的建議是分階段教學：初中保持傳統直觀，大學引入?-表示作為"元語言"，研究生階段用其統一處理特殊函數。這個路線圖溫和得不像革命者，但隱含的判斷很鋒利——當前教育體系把"計算熟練度"和"概念理解"混為一談，而前者正在被計算器淘汰。

軟件工程的"重寫誘惑"

技術從業者更關心實現細節。

論文的TeX源文件（ancillary文件）包含一個200行的Lisp實現，演示?-求值器的基本結構。代碼風格古老，像是從Scheme教科書里抄的，但核心循環清晰：讀取兩個操作數，查表決定是基元計算還是遞歸展開，緩存已計算的?-對以避免重復求值。

這個原型暴露了工程化的三個硬骨頭。

第一，精度控制。?(x,y)在x≈1或y≈1時遭遇災難性抵消，需要自動提升精度或切換級數展開。Odrzywo?ek在第28頁給出了一個啟發式策略，但承認"最優精度管理是開放問題"。

第二，表達式膨脹。把sin(x)展開為?-表示，樹深度從O(1)變成O(log(1/ε))，其中ε是目標精度。對于嵌套函數如sin(exp(log(x)))，優化器需要識別可約簡模式——這本質上是?-代數的同構判定問題，論文證明它是PSPACE-難的。

第三，與現有系統的互操作。Mathematica、Maple、SageMath的百萬行代碼庫假設了傳統函數接口。Odrzywo?ek在第35頁提議了一個"?-ABI"（應用程序二進制接口）層，把傳統調用翻譯為?-內部表示，但承認"性能損失在10%-300%之間，取決于調用模式"。

這些工程約束意味著，?-革命不會是"大爆炸"重寫，而更可能像LLVM之于GCC——先作為內部中間表示存在，再逐步外溢到用戶可見層。

已經在發生的是教育軟件實驗。論文致謝部分提到，華沙大學的在線微積分平臺正在測試"?-模式"，學生可以切換傳統表示和統一表示，觀察同一函數的兩種"語法樹"。早期數據顯示，切換頻率在第三周達到峰值——學生似乎在用?-表示驗證傳統計算，而非替代。

數學基礎的"保守派反擊"

不是所有人都買賬。

arXiv評論區（非正式，但信號有價值）出現了典型的范疇論批評：?-表示是"語法糖"，沒有提供新的數學內容。初等函數的代數相關性早在微分代數（Ritt, 1950）中就有研究，Odrzywo?ek只是找到了一個特別經濟的生成集。

這種批評混淆了"數學新穎性"和"認知新穎性"。論文第8頁明確回應：?的完備性定理（所有初等函數可表示）是已知的，但?的極小性定理（單個二元運算足夠）是新的。更關鍵的是，?-表示的"計算復雜性輪廓"與傳統表示不同——某些在傳統體系中是"初等"的操作，在?-體系中需要非平凡變形，反之亦然。

一個具體例子：函數的復合。傳統表示中，(f°g)(x)就是語法嵌套。?-表示中，復合需要解一個關于?的函數方程，論文第22頁證明這個操作是?-代數上的"協乘法"（comultiplication），與量子群的結構意外同構。

這種"意外聯系"是Odrzywo?ek真正的賭注。他不是在推銷一個更短的公式表，而是在暗示：初等函數的"自然"分類是歷史偶然，而?-表示揭示了被掩蓋的深層對稱性。

論文最后一部分（第45-50頁）把這種對稱性推向極端：如果允許?的參數是?-表達式本身（高階?），生成的函數類超出初等函數，進入"超初等函數"領域——包含Γ函數、ζ函數、橢圓函數的某種統一擴展。這部分證明不完整，Odrzywo?ek標注為"猜想"，但給出了數值證據。

這是典型的"產品經理式"收尾：解決一個痛點（函數太多太雜），打開一個新市場（超初等函數的統一理論），同時留下足夠的工程空間讓合作者填補。

4月4日的修訂版刪掉了初版中一段關于"?-微積分"教學大綱的幻想，換成更克制的"未來工作"列表。Odrzywo?ek似乎意識到，300年的慣性不會在一篇論文里轉彎。

但數據已經在那兒了：1.4MB的初版，1.2MB的修訂版，13天的迭代。一個足夠小的核心，正在等待它的生態系統。

如果微積分教材在十年后重寫，sin(x)的第一定義不再是"直角三角形對邊比斜邊"，而是"?(e^(ix), e)的虛部倒數"——你會懷念那個畫三角函數圖像的下午，還是慶幸終于看清了這些函數為什么長得像一個家族？