不定积分表【精选】.doc

O(∩_∩)O Yz.Liu.2013.09 卷终 公式表注解四 基本不定积分表 序言： 微积分创立之初，牛顿与莱布尼茨分享荣誉。虽其间发生很多在优先权上的争论，但最终依然走向了发展之正轨。在微积分公式体系上，莱布尼茨对之要求甚严，并总结其基本微分表和基本积分表。如今随微积分之发展，公式表逐渐全面，分类亦几乎覆盖各种不定积分。积分表的编订对于积分运算可以说是必要，亦是数学发展之必要结果。 本表给出常用不定积分的计算公式和运算方法，以及每个积分的简要推演方法，其中引入了除一般之换元法，凑微分法，分部积分法之外，亦引入虚数单位，并使用虚数单位推演某些复杂的不定积分运算。而对于简单的不定积分运算和基本的微分公式之反用，或均不在此给出推演方法，或仅以推演步骤简要之说明。 本表收录公式16组，151式。 公式一 基本初等函数的不定积分18式： 幂函数 指数函数 对数函数 三角函数 反三角函数 常数函数 上述公式均为基本初等函数之不定积分，其中部分公式均可以由分部积分公式给出，特别的，对于正切函数，余切函数，正割函数与余割函数的不定积分，使用了诸多三角变换完成。 公式二 含的积分（要指出非零）10式： 对于其中的第二式，是利用换元积分完成的。 对于第一者，可以利用凑的方式，我们考虑分式，则得其积分是显的：。而第二式依然采取类似的方式，可借由带余多项式除法算得：，然后利用第一个积分式即可得到结论。 对于分母是二次多项式或者更高者，常常分成多个低次多项式之和，这两个积分便是沿用了此结论所得到的。我们注意第一式中有，积分即得。对于第二式依然可用分离拆项的方式： ，然后积分即可，而一般对于拆项，常用待定系数的方法完成。 公式三 含的积分9式 第一式的证明用凑微分的方式即可完成。而有了第一式的结论，第二式可用分部积分完成计算。我们有： 其中，对上式右侧的再次使用凑微分的方法，即可得解： 同理利用分部积分可以将第三式拆开，并以第二式证明之。 利用凑微分的方式，我们显然有不定积分，本组公式可以考虑用此公式，并使用分部积分即可证明一式： 二式同理使用分部积分，并利用一式的结论即可证明。 该公式是重要的不定积分之一，它可以解决一类带有的不定积分等式。但是该积分是不好计算的，首先分部积分就不容易得出结果，而另一方面我们也无法进行一个显然的凑微分，因此对于这一类带有根号式的积分，往往是先强行换掉根号，再作观察。因此令，于是，显然看到的是这个不定积分的结果需要讨论的正负来决定之后使用的不定积分公式：如果是负的，那么显然会使用反三角，如果是正的，则可能使用三角换元： 然后将带入上式得原积分。另外对于负的，有： 即原积分。该不定积分公式对于负数的计算是很容易的。 注意到微分公式，故上面公式均可以分部积分公式指出。 公式四 含有的积分3式 一式用凑微分的方式以及微分公式容易得出。第二式是利用分部积分公式给出的递推式的形式：通过这个递推关系逐步下降分母的幂直到一式的情形，然后带入一式即可得解。三式是有理分式的不定积分，通常是将之拆分为两个容易计算的分式，则不难得出结果： 公式五 含有的积分7式 除开显然的不列为公式表所用之公式外，其余均与有关，不过在下面公式的推理中，我们可以肯定的是推理可能是不唯一的，因此某些推理也是可能涉及了该公式的。 是一个需要分类讨论的积分。显然的可以发现这个被积函数的形式与反正切是有关的，不过反正切的分母是加法运算，因此如果这里是负的，那么就不能适用反正切，这导致了积分需要分类讨论之。 该公式的证明中再一次的遇到了形式的不定积分，虽然这里我采用的是换元为三角函数的方法，而并非使用公式四中利用有理函数积分的性质来推理，但是三角换元计算不定积分是值得深入探讨和学习的计算方法，也许在这个公式中体现不出来，但是在某些场合下，三角换元无疑是强大的。 一式是显然的。在这组公式中，除了一式之外，后者在各种场合的运用还是相对频繁的。二式、三式都是典型的有理函数的不定积分问题，可以采取分离常数的方法来求解，其推理及其陈述如下： 类似的对于之后的不定积分，依然可以拆项： 但是对于最后一式，拆项显然是不理想的，分子也不具备变量以进行凑微分，因此从分母考虑： 接着带入公式（45）即得所证。 公式六 含有的积分2式 先给出最基本的积分： 该积分的证明需要分情形处理。一般来说，如果分母的二次式对应的二次方程是有根的，那么其不定积分可以考虑因式分解的方式拆分成两个分式之和，而对于无实数解的情形，可以考虑配方的方式，并利用反三角函数的微分公式得到该不定积分的证明，不过在此我将使用另一种方式证明上述公式，我将在此引入虚数单位，并规定： 这里的为的两根，则： 如果，那么，则积分式即为 否则为，则积分变为： 这里值得注意的是辐角的取值问题，我们选择这个区间并考虑反正切表示，则这时