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世纪突破），再讲三角函数（天文测量需求），最后把三者缝合成"初等函数"的松散联邦。每个章节配备独立的求导公式、积分技巧、图像特征——学生要记住：sin的导数是cos，cos的导数是-sin，e^x的导数是自己，ln(x)的导数是1/x。
Odrzywołek的体系只需要一条链式法则：∂(x,y)对x的偏导是1/(x·ln(y))，对y的偏导是-ln(x)/(y·ln²(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)的虚部倒数"——你会怀念那个画三角函数图像的下午，还是庆幸终于看清了这些函数为什么长得像一个家族？
热门跟贴