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

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

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

一個運算，怎么長出整個函數(shù)森林

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

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

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

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

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

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

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

為什么是現(xiàn)在？為什么是他？

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

軟件工程的"重寫誘惑"

技術從業(yè)者更關心實現(xiàn)細節(jié)。

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

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

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

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

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

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

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

數(shù)學基礎的"保守派反擊"

不是所有人都買賬。

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

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

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

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

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

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

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

但數(shù)據(jù)已經(jīng)在那兒了：1.4MB的初版，1.2MB的修訂版，13天的迭代。一個足夠小的核心，正在等待它的生態(tài)系統(tǒng)。

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