辅助函数

在数学上，辅助函数（auxiliary functions）是超越数论中重要的建构物。这些函数出现在这类领域多数的证明中，并具有特定且理性的性质，如在许多论证中，这类函数会等于零，或者会有高次值等于零的点。
定义.
辅助函数并非一类严格定义的函数，而更多是特别建构出来，或至少被证明存在，并被引用来显示某些假设会导出矛盾，或证明问题中的结果的函数。为了证明结果而在证明过程中建构某个函数的作法，并不仅限于超越数论的研究，然而「辅助函数」一词通常都用以描述在超越数论的情境下建构出来的这类函数。
特定例子.
刘维尔的超越数条件.
由于上述的命名常规之故，因此可借由简单地检视超越数论的最早结果，认为辅助函数和超越数的研究同时出现。辅助函数最早的结果之一就是刘维尔对于超越数存在性的证明，在其中，他证明了说刘维尔数这类数字是超越数。他借由发现这类数满足的超越数条件证明此点。在给出这样的条件时，他首先从一般的代数数formula_1开始，并找出这些数字必须满足的条件。他用来证明这条件的辅助函数就是formula_1的极小多项式，而这多项式即是满足formula_3的整系数不可约多项式。这多项式可用以估计formula_1可多好地为有理数formula_5所估计，特别地，在formula_1的次数formula_7至少为2的状况下，他证明了说
此外，他利用了中值定理证明说存在一个取决于formula_1的常数formula_10，使得下式成立：
将这些结果结合，就可得到一个代数数必须满足的性质，因此任何不满足这条件的数，都必然是超越数。
刘维尔证明中用到的辅助函数非常简单，就单单是会在给定的代数数处消失的多项式。这样的性质一般是辅助函数所要满足的性质，也就是这函数会在特定点消失或变得非常小，而将这点与「这些函数在这样的点不能消失或变得非常小」这假设相结合，就可得出结果。
傅立叶对e不是有理数的证明.
另一个早期且简单的例子，出现于傅立叶对formula_12不是有理数的证明中，尽管所用的表记使这件事实不显著。傅立叶的证明使用了指数函数的幂级数：
在截取此幂级数的一些项，如formula_14项后，可得出一个次数为formula_15的有理系数多项式，而这多项式在一定意义上会接近formula_16。特别地若检视以余项定义的辅助函数
那这作为指数多项式的函数的值，在formula_18很小时就当趋近于零。若formula_12是一个有理数，那么在formula_20的情况下，formula_21也应当是个有理数；而傅立叶借由消去所有可能分母的方式，证明了formula_21不可能是有理数。因此formula_12不可能是有理数。
埃尔米特对er不是有理数的证明.
埃尔米特借由以作为两个多项式比值得有理函数而非多项式逼近formula_16的方式，拓展了傅立叶的结果；特别地，他选取了多项式formula_25和formula_26，使得如下的辅助函数formula_27可以在formula_28附近取任意小的值：
若formula_30是个有理数，那么formula_31也应当是个有特定整数分母的有理数；而埃尔米特证明说formula_31可以任意小，以致无法取任何的整数分母，并因此得到矛盾。
埃尔米特对e是超越数的证明.
在证明formula_12是超越数时，埃尔米特将他的结果推进一步，在其中他不只估计formula_16的值，同时也估计了在formula_35等整数时formula_36的值，在证明中，他假定formula_12是formula_38次代数数。
为了估计formula_36的值，他以下式定义了辅助函数formula_40，其中formula_41是分母相同的整系数有理函数：
在导出矛盾方面，埃尔米特首先假定说formula_12满足整系数多项式等式formula_44，将此表达式乘以formula_45，他注意到说这会推导出下式：
其中右手边的部分会是一个整数，因此借由估计辅助函数的值并证明formula_47以得到需要的矛盾。
起自鸽巢原理的辅助函数.
上述的辅助函数都可特地构造出来并加以计算和运用；不过在二十世纪，阿克塞尔·图厄和卡尔·路德维希·西格尔做出了突破，显示说不一定要将相关函数构造出来，有时知道有这样的函数，且这些函数有特定性质就够了。利用鸽巢原理，图厄和西格尔先后证明了说会有辅助函数有特定性质，像例如会有在许多不同点为零，或在较小的点集合之上有高次零的辅助函数；不仅如此，他们还证明了说构造这样的函数而不至于让函数变得太大，是有可能的。他们的辅助函数并非特地构造出来的，但借由知道某些带有特定性质的函数存在这点，他们简化了许多十九世纪的超越性证明，并给出了一些新的结果。
这方法为其他数学家所用，其中亚历山大·格尔丰德和西奥多·施耐德利用这方法，独立证明了格尔丰德-施奈德定理。艾伦·贝克也在1960年代以此方法证明了他在对数线性型式方面的工作，而这即是。
其他一些1960年代后用此方法的例子如下：
辅助多项式定理.
设formula_48为等式formula_49中formula_50的立方根，并设formula_38为满足formula_52的整数，其中formula_53为一个正整数。
那么有
使得
且
辅助多项式定理则表明
兰氏定理.
1960年代，塞尔日·兰利用非特定构造出来的辅助函数证明了一个结果。从这结果可同时推得林德曼-魏尔斯特拉斯定理和格尔丰德-施奈德定理。这定理关乎数域formula_58和阶至多为formula_59的亚纯函数formula_60，且其中至少两个函数彼此代数独立，且其中若对其中一个函数进行微分，那其结果对所有的函数都会是一个多项式。
在这些假设下，这定理指称若有formula_38个相异的复数formula_62使得对于任意的formula_63和formula_64而言，formula_65都在formula_58中，那么formula_38会有以下上界：
为了证明此点，兰氏从formula_62中选出两个彼此代数独立的函数formula_70和formula_71，并因此构造出一个以formula_70和formula_71表示的多项式formula_74作为辅助函数。这个辅助函数无法被明确地表明，而这是因为formula_70和formula_71的形式也并非明确已知的之故；然而利用西格尔引理，兰氏证明了如何构造出一个在formula_38个复数formula_62上会高次消失的的函数。由于这高次消失的性质之故，因此可证明说formula_74的高次微分的数值会取决于formula_80中某个「大小」较小的数字。此处的「大小」指的是一个数的代数性质。利用最大模原理，兰氏也发现了一个估计formula_74的微分的绝对值的独立方法；同时借由以标准结果来比较一个数及其绝对值得方式，他证明了说除非formula_38满足上述界限，不然这些估计会彼此矛盾。
插值行列式.
在使用存在但不被明确构造出来的辅助函数的方法获得了许多成功后，在1990年代，Michel Laurent引介了插值行列式的想法。这些行列式是交替行列式（alternant），也就是有如下形式的行列式：
其中formula_84是一组以formula_85这组点插值的函数。
由于行列式本质就仅仅是以矩阵表示的多项式之故，因此这些辅助方程可以解析方法研究。此方法的一个问题是在可对相关矩阵动工前，要如何选择基底，而Jean-Benoît Bost使用对此做出的发展解决了这问题，而这领域的研究当今依旧进行中。以下例子给出了如何使用此方法的想法：
埃尔米特-林德曼定理的证明.
一个此方法较简单的应用，是以此证明实数版的林德曼-魏尔斯特拉斯定理，也就是「若formula_1是一个非零的实代数数，那么formula_87会是一个超越数」的定理。
首先，设formula_88为自然数，并设formula_53为formula_88的大倍数。此状况下所考虑的插值行列式，是一个衍生自如下formula_91矩阵的行列式formula_92：
这矩阵横行的元素的指标为formula_94以及formula_95；而其直列的指标则为formula_96以及formula_97。故矩阵中的函数为formula_18和formula_16的单项式及其微分，并在formula_100等formula_88个点进行插值。
假定formula_87是一个代数数，那就可构造一个有理数formula_103上次数为formula_38的数域formula_105，之后将formula_92及其所有将formula_105这个域嵌入到formula_108中的映射的像全数乘以适当的分母。由于代数理由，这乘积必然是一个整数，之后用朗斯基行列式相关的论证，可证明说这数不会是零，故其绝对值formula_109会是一个整数。
利用中值定理在矩阵上的版本，可得formula_110的解析界限，实际上若用大O符号表示，有
formula_38的值取决于数域formula_105的次数，但formula_88是插值点的个数，因此可自由增减；而在formula_115的状况下，可得formula_116，但这与先前得出的条件formula_109相矛盾，故formula_87不能是一个代数数。