波蘭數(shù)學(xué)家用1個(gè)符號(hào)重寫微積分：300年來(lái)的函數(shù)帝國(guó)，塌了

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

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

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

一個(gè)運(yùn)算，怎么長(zhǎng)出整個(gè)函數(shù)森林

Odrzywo?ek的構(gòu)造起點(diǎn)叫"超對(duì)數(shù)積分"，記作?(x,y)。這個(gè)符號(hào)看起來(lái)像偏導(dǎo)數(shù)，但行為完全不同。它接受兩個(gè)實(shí)數(shù)，輸出一個(gè)實(shí)數(shù)，規(guī)則是：?(x,y) = ln(x) / ln(y)。

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

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

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

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

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

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

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

換底公式寫在每個(gè)初中生的筆記本上。三百年來(lái)，沒(méi)人把它當(dāng)成"原子"。

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

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

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

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

換句話說(shuō)，他給了初等函數(shù)一個(gè)"機(jī)器碼"。

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

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

教學(xué)體系的"兼容性危機(jī)"

最激烈的反應(yīng)可能來(lái)自教育界。

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

Odrzywo?ek的體系只需要一條鏈?zhǔn)椒▌t：?(x,y)對(duì)x的偏導(dǎo)是1/(x·ln(y))，對(duì)y的偏導(dǎo)是-ln(x)/(y·ln2(y))。所有其他導(dǎo)數(shù)都是這兩個(gè)基元的代數(shù)組合。

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

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

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

軟件工程的"重寫誘惑"

技術(shù)從業(yè)者更關(guān)心實(shí)現(xiàn)細(xì)節(jié)。

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

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

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

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

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

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

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

數(shù)學(xué)基礎(chǔ)的"保守派反擊"

不是所有人都買賬。

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

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

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

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

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

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

4月4日的修訂版刪掉了初版中一段關(guān)于"?-微積分"教學(xué)大綱的幻想，換成更克制的"未來(lái)工作"列表。Odrzywo?ek似乎意識(shí)到，300年的慣性不會(huì)在一篇論文里轉(zhuǎn)彎。

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

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