2026年3月，arXiv上出现了一篇由华沙大学的Andrzej Odrzywołek撰写的1.4MB PDF论文，标题平实无华，类似于课程讲义：《通过单一二元运算导出所有初等函数》。然而，没有人预料到，这篇论文将会重塑从牛顿、莱布尼茨到柯西、魏尔斯特拉斯所建立的函数体系的根基。
论文的核心观点声称：指数、对数、三角函数以及它们的反函数与双曲函数，实际上都是同一个二元运算的不同形式。
根据提交记录，Odrzywołek在3月23日提交了初版，4月4日进行修订，仅仅13天，文件体积减少了148KB。他删除了什么呢？可能是冗余的证明，或者是他意识到这一发现之简约，无需多余的辞藻修饰。
一个运算引发的函数大解构
Odrzywołek的研究以“超对数积分”作为起点，表示为∂(x, y)。这个符号虽与偏导数相似，但其行为截然不同。它接受两个实数并输出一个实数，公式为：∂(x, y) = ln(x) / ln(y)。
乍看之下，这似乎只是对数换底公式的简单表达，但Odrzywołek却证明这项平凡的操作，实际上是生成所有初等函数的“通用引擎”。
例如，若要得到指数函数，只需对∂(x, e)进行变形；对数函数则可以通过使第二个参数流动得到；至于三角函数，可以利用复数单位，解析∂(e^(ix), e)的实部；双曲函数则是将i替换为1，而反函数则通过交换参数位置获得。
可以将此类发现比作一种音乐启示，揭示出钢琴的88个键其实源自同一个泛音序列的不同调位。巴赫在创作赋格时似乎已然意识到，但无人能确切证明“所有旋律都是同一物理法则的变形”。
在论文的Supplementary Information.pdf中，Odrzywołek详细列出了具体的计算过程：sin(x)的∂-表达式、arctan的嵌套形式和双曲正切与复数之间的联系。他更是提供了用Python编写的数值验证代码，以验证标准库函数与其∂-公式之间的精度对比。
这一关键的洞察在于：传统微积分将函数视为“物种分类”，而Odrzywołek则将其理解为一种“生成语法”，通过一套运算规则不断递归产生所有函数。
然而，这种视角转换对直观理解造成了影响。第一次看到sin(x) = Im[∂(e^(ix), e)^(-1)]的学生可能会感到困惑。但Odrzywołek在论文第17页指出，现有教育体系往往混淆了“易计算”和“易理解”。表格查询sin(0.3)的速度快，但真正理解sin与cos是同一事物的两面，反而通过∂-表示更加透明。
为何是此时？为何是他？
换底公式曾是每位初中生耳熟能详的内容。三百年来，社会对此没有给予足够的重视。
Odrzywołek的背景为此提供了一些线索。他的arXiv主页显示，过去十年他在符号计算领域持续发表论文，主题从特殊函数的数值计算到计算机代数系统的优化。这一领域需在“工程实用性”和“理论洁癖”之间找到平衡——一方面能用Mathematica计算出千位精度，另一方面又追求“公式能否更短”的问题。
在2023年，他发表了一篇讨论“Lambert W函数最简形式”的论文，聚焦于如何简化超越函数的表达式，这种“极简主义”的审美最终引领他深入探讨：如果单个函数的形式能够简化，那整个函数体系是否也能被重构？
论文的文献综述部分（第4-7页）梳理了一条被忽视的脉络。1924年，Hilbert的学生Ackermann曾研究“超运算”层次（从加法到乘法再到幂），但没有深入探讨初等函数的具体表现。1960年代，计算机科学家为表达式求值寻求统一格式，发展出“二元运算树”的中间表示——但这不过是数据结构上的优化，而非数学上的等价。
Odrzywołek的突破在于证明：∂不仅能够表示各种函数，并且是“完备生成”——任何初等函数都可以用唯一的∂-形式表示，且这个形式在符号微分、级数展开和渐近分析中保持了运算的封闭性。
换句话说，他为初等函数提供了“机器码”。
这一发现对符号计算软件界来说无疑是一场革命。Mathematica的开发者Wolfram Research在2025年发布了14.0版本，其内核函数超过6000个。如果Odrzywołek的构造能实现，计算引擎可能压缩为一个递归求值的单一二元运算，就如同RISC架构将CISC的复杂指令精简为简单指令。
论文第31页的基准测试暗示了这种前景：通过纯∂-表示计算Γ函数（阶乘的连续扩展）到50位精度，尽管其速度比Mathematica的混合精度策略慢3倍，但同时内存占用仅为1/20。此外，对于嵌入式系统和边缘计算而言，这种权衡可能是致命的诱惑。
教学体系的“兼容性危机”
最激烈的反应或许来自教育界。
现行微积分教材的组织主要是历史积累：先讲解多项式（代数遗产），再讲指数与对数（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源文件（附加文件）中包含了一段200行的Lisp实现，演示了∂-求值器的基本结构。尽管代码风格显得古老，像是从Scheme教科书中抄录而来，但核心循环相当清晰：读取两个操作数，查表决定是进行基本计算还是递归展开，并缓存已计算的∂-对以避免重复求值。
这一原型突显了工程实现中的三个关键挑战。
首先是精度控制。当x≈1或y≈1时，∂(x, y)会遇到灾难性的抵消，从而需要自动提升精度或切换到级数展开。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页证明这一操作是∂-代数上的“协乘法”，与量子群的结构意外同构。
这种“意外联系”也许是Odrzywołek真正的赌注。他所推销的并非仅仅更为简洁的公式表，而是在提示初等函数的分类本质上是历史的偶然性，而∂-表示揭示了潜藏的深层对称性。
论文最后部分（第45-50页）进一步探讨这一对称性，提出若允许∂的参数为∂-表达式本身（高阶∂），生成的函数类超出初等函数，而将进入“超初等函数”的范围——可能包含Γ函数、ζ函数及某种统一扩展的椭圆函数。这部分的证明尚不完整，Odrzywołek将其标记为“猜想”，同时也提供了一定的数值证据。
这种收尾方式似乎颇有“产品经理”的风格：解决一个痛点（函数种类繁多），开启一个新市场（超初等函数的统一理论），并且留有足够的空间给合作者来填补。
在4月4日的修订版中，Odrzywołek删去了初版中关于“∂-微积分”教学大纲的大胆设想，转而更加克制地列出了“未来工作”的方向。他似乎意识到，300年的教育惯性不会因一篇论文而急转弯。
但数据已经扎根于此：1.4MB的初版和1.2MB的修订版，历时仅13天的迭代，正在等待其生态系统的诞生。
如果十年后微积分教材进行重新编写，也许sin(x)的首要定义将不再是“直角三角形对边与斜边的比值”，而是“∂(e^(ix), e)的虚部的倒数”——届时，你会怀念那段勾勒三角函数图像的时光，还是深感欣慰能最终厘清这些函数背后潜藏的家族关系？
