著名的数学公式总结.doc

一些著名的数学公式 塞尔伯格迹公式 泰勒公式 乘法公式 二倍角公式 全期望公式 全概率公式 和差平方 和平方 和立方 外尔特征标公式 婆罗摩笈多公式 差平方 差立方 拉普拉斯展开 斯托克斯公式 斯特灵公式 斯科伦范式 柯西-阿达马公式 柯西积分公式 格林公式 格林第一公式 格林第二公式 欧拉-笛卡尔公式 欧拉公式 海伦公式 牛顿-寇次公式 立方和差 素数公式 蔡勒公式 角平分线长公式 诱导公式 默比乌斯反演公式基本乘法公式及恒等式（因式分解）分配律和平方基本三数差平方平方差和立方差立方立方和立方差其他公式立方和是数学公式的一种，它属于因式分解、乘法公式及恒等式，被普遍使用。立方和是指一个立方数，加上另一个立方数，即是它们的总和。公式如下：同时立方和被因式分解后，答案分别包含二项式及三项式，与立方差相同。此公式对几何学及工程学等有很大作用。主验证验证此公式，可透过因式分解，首先运用环的原理，设以下公式：然后代入：透过因式分解，可得：这样便可验证：和立方验证透过和立方可验证立方和的原理：那即是只要减去及便可得到立方和，可设：右边的方程运用因式分解的方法：这样便可验证出：几何验证图象化透过绘立体的图像，也可验证立方和。根据右图，设两个立方，总和为：把两个立方体对角贴在一起，根据虚线，可间接得到：要得到，可使用的空白位置。该空白位置可分割为3个部分：把三个部分加在一起，便得：之后，把减去它，便得：上公式发现两个数项皆有一个公因子，把它抽出，并得：可透过和平方公式，得到：这样便可证明反验证透过也可反验证立方和。以上计算方法亦可简化为一个表格：x)这样便可证明例题讲解1. 把因式分解 把两个数项都转为立方： 运用立方和可得：2. 把因式分解 把两个数项都转为立方： 运用立方和便可得： 但这个并非答案，因为答案仍可被因式分解： 亦可使用另一个方法来减省步骤。首先把公因子抽出： 直接使用立方和，并得：立方差立方差也可以使用立方和来验证，例如：把两个数项都转为立方数：运用负正得负，可得：然后运用立方和，可得：这个方法更可验证到立方差的公式是平方差平方差公式是数学公式的一种，它属于乘法公式、因式分解及恒等式，被普遍使用。平方差指一个平方数或正方形，减去另一个平方数或正方形得来的乘法公式：及的排列并不重要，可随意排放。主验证平方差可利用因式分解及分配律来验证。先设及。那即是，同时运用了环的原理。把这公式代入：若上列公式是的话，就得到以下公式：以上运用了，也即是两方是相等，就得到： 注：塞尔伯格迹公式在数学中，塞尔伯格迹公式是非交换调和分析的重要定理之一。此公式表达了齐性空间的函数空间上某类算子的迹数，其中是李群而是其离散子群。塞尔伯格在1956年处理了紧黎曼曲面上的拉普拉斯算子的情形。借由拉普拉斯算子及其幂次，塞尔伯格定义了塞尔伯格函数。此时的公式相似于解析数论关注的“明确公式”：黎曼曲面上的测地线在公式中扮演素数在明确公式里的角色。一般而言，塞尔伯格迹公式联系了负常数曲率紧曲面上的拉普拉斯算子的谱，以及该曲面上的周期测地线长度。对于环面，塞尔伯格迹公式化为泊松求和公式。定义设为紧致、负常曲率曲面，这类曲面可以表为上半平面对的某离散子群的商。考虑上的拉普拉斯算子由于为紧曲面，该算子有离散谱；换言之，下式定义的特征值至多可数事实上，更可将其由小至大排列：对应的特征函数，并满足以下周期条件：行变元代换于是特征值可依排列。迹公式塞尔伯格迹公式写作和式中的取遍所有双曲共轭类。所取函数须满足下述性质： 在带状区域上为解析函数，在此为某常数。 偶性：。 满足估计：，在此为某常数。函数是的傅里叶变换：。后续发展为了计算赫克算子作用于尖点形式上的迹，出现了 Eichler-塞尔伯格迹公式。志村五郎后来采取的方法省去了迹公式中的分析技巧。抛物上同调也为非紧黎曼曲面与模曲线的尖点问题提供了纯粹的代数框架。最后，为紧的情形可藉阿蒂亚-辛格指标定理处理，然而，一旦取为算术子群，便不免要处理非紧的情形。在1960年代，塞尔伯格迹公式由苏联的盖尔芳特学派、普林斯顿大学的 、罗伯特郎兰兹与日本的洼田富男接手推动。非紧情形的连续谱是郎兰兹发展艾森斯坦级数理论的动机之一。拉普拉斯算子与赫克算子的迹公式表明了赋值向量环之妙用。亚瑟-塞尔伯格迹公式适用于一般的半单群（或约化群）。此公式的一侧称为谱侧，与群的表示相关；另一侧称为几何侧，与函数之轨道积分相关。群表示通常带有重要的数论信息，而轨道积分则较容易操作。亚瑟-塞尔伯格迹公式是证明郎兰兹函子性猜想的重要进路之一。泰勒公式在数学中，泰勒公式是一个用函数在某点的信息描述其附近取值的公式。如果函数足够光滑的话，在已知函数在某一点的各阶导数值的情况之下，泰勒公式可以用这些导数值做系数构建一个多项式来近似函数在这一点的邻域中的值。泰勒公式还给出了这个多项式和实际的函数值之间的偏差。泰勒公式得名于英国数学家布鲁克泰勒。他在1712年的一封信里首次叙述了这个公式，尽管1671年詹姆斯格雷高里已经发现了它的特例1。泰勒公式泰勒公式的初衷是用多项式来近似表示函数在某点周围的情况。比如说，指数函数ex在x= 0 的附近可以用以下多项式来近似地表示：称为指数函数在0处的n阶泰勒展开公式。这个公式只对0附近的x有用，x离0越远，这个公式就越不准确。实际函数值和多项式的偏差称为泰勒公式的余项。对于一般的函数，泰勒公式的系数的选择依赖于函数在一点的各阶导数值。这个想法的原由可以由微分的定义开始。微分是函数在一点附近的最佳线性近似：，其中是h的高阶无穷小。也就是说，或。注意到和在a处的零阶导数和一阶导数都相同。对足够光滑的函数，如果一个多项式在a处的前n次导数值都与函数在a处的前n次导数值重合，那么这个多项式应该能很好地近似描述函数在a附近的情况。以下定理说明这是正确的：定理：设n是一个正整数。如果函数f是区间a,b 上的n阶连续可微函数，并且在区间a,b) 上n+1 次可导，那么对于a,b) 上的任意x，都有：2其中的多项式称为函数在a处的泰勒展开式，剩余的是泰勒公式的余项，是的高阶无穷小。的表达形式有若干种，分别以不同的数学家命名。带有皮亚诺型余项的泰勒公式说明了多项式和函数的接近程度：也就是说，当x无限趋近a时，余项将会是的高阶无穷小，或者说多项式和函数的误差将远小于3。这个结论可以由下面更强的结论推出。带有拉格朗日型余项的泰勒公式可以视为拉格朗日微分中值定理的推广：即，其中4。带有积分型余项的泰勒公式可以看做微积分基本定理的推广5：余项估计拉格朗日型余项或积分型余项可以帮助估计泰勒展开式和函数在一定区间之内的误差。设函数在区间ar,a+r上n次连续可微并且在区间(ar,a+r)上n+ 1次可导。如果存在正实数Mn使得区间(ar,a+r)里的任意x都有，那么：其中。这个上界估计对区间(ar,a+r)里的任意x都成立，是一个一致估计。如果当n趋向于无穷大时，还有，那么可以推出，f是区间(ar,a+r)上解析函数。f在区间(ar,a+r)上任一点的值都等于在这一点的泰勒展开式的极限。多元泰勒公式对于多元函数，也有类似的泰勒公式。设B(a,r) 是欧几里得空间RN中的开球， 是定义在B(a,r) 的闭包上的实值函数，并在每一点都存在所有的n+1 次偏导数。这时的泰勒公式为：对所有，其中的 是多重指标。其中的余项也满足不等式：对所有满足 |=n+ 1的 ，的莱布尼茨公式在数学领域，的莱布尼茨公式说明左边的展式是一个无穷级数，被称为莱布尼茨级数，这个级数收敛到4。它通常也被称为格雷戈里-莱布尼茨级数用以纪念莱布尼茨同时代的天文学家兼数学家詹姆斯格雷戈里。使用求和符号可记作：证明考虑下面的幂级数对等式两边积分可得到反正切的幂级数：将x=1 代入，便得莱布尼兹公式(1的反正切是4)。这种推理产生的一个问题是1不在幂级数的收敛半径以内。因此，需要额外论证当x=1时级数收敛到tan1(1)。一种方法是利用交替级数判别法，然后使用阿贝尔定理证明级数收敛到tan1(1)。然而，也可以用一个完全初等的证明。初等证明考虑如下分解对于|x|n，没有容许集合S，行列式 det(AB) 是零（参见空和（empty sum）。这个公式对矩阵元素取值于任何交换环都成立。证明可将AB的列写成系数来自B的A的列的线性组合，利用行列式的可乘性，将属于一个 det(AS) 的项收集起来，并利用行列式的反对称性。利用行列式的莱布尼兹公式，得出 det(AS) 的系数是 det(BS)。这个证明没有利用行列式的可乘性，相反这个证明建立了它。如果A是一个实mn矩阵，则 det(AAT) 等于由A中行向量在Rn中张成的平行多面体m-维体积的平方。柯西比内公式说这等于该平行多面体在所有m-维坐标平面（共有 C(n,m) 个）的正交投影的平行多面体的m-维体积的平方之总和。m=1 的情形是关于一条线段的长度，这恰是毕达哥拉斯定理。柯西比内公式可直接推广到两个矩阵乘积的子式的一个一般公式。该公式在子式一文给出。例如果与则柯西-比内公式给出行列式：柯西积分公式在数学中，柯西积分公式是复分析的一个核心理论。以著名数学家柯西命名。它主要表述了任何一个在闭圆盘上复可微的方程在圆盘内的值完全取决于它在盘边界上的值。并且圆盘内每一点的所有的导数也可通过柯西积分公式计算。而在实分析中这样的结果是完全不可能达到的。定理假设U是复平面C的一个开子集，f:UC是一个在闭圆盘D上复可微的方程，并且闭圆盘D= z: |zz0| r 是U的子集。 设C为D的边界。则可以推得每个在D内部的点a:其中的积分为逆时针方向沿着C的积分。柯西阿达马公式柯西-阿达马公式(Cauchy-Hadamard Formula)为复分析（Complex analysis）中求单复变形式幂级数收敛半径的公式，以法国数学家奥古斯丁路易柯西和雅克阿达马的名字命名。公式陈述对于单一复数变量“z”的形式幂级数上式中,则该级数收敛半径R 由下式给出：其中limsup定义为其中sup为集合的最小上界。格林公式在物理学与数学中，格林定理连结了一个封闭曲线上的线积分与一个边界为C且平面区域为D的双重积分。 格林定理是斯托克斯定理的二维特例，以英国数学家乔治格林（George Green）命名。设闭区域D由分段光滑的曲线L围成，函数P(x,y)及Q(x,y)在D上具有一阶连续偏导数，则有其中L是D的取正向的边界曲线。格林公式还可以用来计算平面图形的面积。此公式叫做格林公式，它给出了沿着闭曲线C的曲线积分与C所包围的区域D上的二重积分之间的关系。另见格林第一公式、格林第二公式。特殊情况的证明以下是特殊情况下定理的一个证明，其中D是一种I型的区域，C2和C4是竖直的直线。对于II型的区域D，其中C1和C3是水平的直线。如果我们可以证明以及那么就证明了格林公式是正确的。把右图中I型的区域D定义为：其中g1和g2是区间a,b内的连续函数。计算(1)式中的二重积分：现在计算(1)式中的曲线积分。C可以写成四条曲线C1、C2、C3和C4的交集。对于C1，使用参数方程：x=x，y=g1(x)，axb。那么：对于C3，使用参数方程：x=x，y=g2(x)，axb。那么：沿着C3的积分是负数，因为它是沿着反方向从b到a。在C2和C4上，x是常数，因此：所以：(3)和(4)相加，便得到(1)。类似地，也可以得到(2)。高斯散度定理高斯公式，又称为散度定理、高斯散度定理、高斯奥斯特罗格拉德斯基公式或高奥公式，是指在向量分析中，一个把向量场通过曲面的流动（即通量）与曲面内部的向量场的表现联系起来的定理。更加精确地说，高斯公式说明向量场穿过曲面的通量，等于曲面内部区域的散度的三重积分。直观地，所有源点的和减去所有汇点的和，就是流出一个区域的流量。高斯公式在工程数学中是一个很重要的结果，特别是静电学和流体力学。定理设空间闭区域是由分片光滑的闭曲面所围成，函数P(x,y,z)、Q(x,y,z)、R(x,y,z)在上具有一阶连续偏导数，则有或这里是的整个边界曲面的外侧，cos 、cos 、cos 是在点(x,y,z)处的法向量的方向余弦这两个公式叫做高斯公式。用散度表示高斯公式用散度表示为：其中是空间闭区域的边界曲面，而n是向量A在曲面的外侧法向量上的投影。用向量表示令V代表有一间单闭曲面S为边界的体积，是定义在V中和S上连续可微的矢量场。如果是外法向矢量面元，则推论 对于标量函数g和向量场F的积，应用高斯公式可得： 对于两个向量场的向量积，应用高斯公式可得： 对于标量函数f和非零常向量的积，应用高斯公式可得： 对于向量场F和非零常向量的向量积，应用高斯公式可得：二阶张量的高斯公式二阶张量的高斯公式实际上是上面的高斯公式的推论。为了使内容完整，首先简要地介绍三维欧几里得空间上的二阶张量（详见并矢张量或张量积）以及相关的概念和记号。在这里，矢量和矢量场用黑斜体字母表示，张量用正黑体字母表示。1. 两个矢量和并排放在一起所形成的量被称为矢量和的并矢或并矢张量。要注意，一般来说，。2. 的充分必要条件是或。3. 二阶张量就是有限个并矢的线性组合。4. 分别线性地依赖于和。5. 二阶张量和矢量的缩并以及对和都是线性的。6. 特别是，当时，所以，一般说来，。下面举一个例子：用二阶张量及其与矢量的缩并来重新写和。我们还用到二阶张量的转置（又可以记为），定义如下：1. 仍然是一个二阶张量，并且线性地依赖于。2. 。定理：设是三维欧几里得空间中的一个有限区域，是它的边界曲面，是的外法线方向上的单位矢量，是定义在的某个开邻域上的连续的二阶张量场，是的转置，则证明：下面以第二个式子为例进行证明。令第二个式子的左边为，则接下来利用矢量场的高斯公式，可得于是至此证毕。格林第一公式设函数(x,y,z)和(x,y,z)在闭区域上具有一阶及二阶连续偏导数，则有其中是闭区域的整个边界曲面，为函数(x,y,z)沿的外法线方向的方向导数，符号称为拉普拉斯算子。上面的公式叫做格林第一公式。格林第二公式设(x,y,z)、(x,y,z)是两个定义在闭区域上的具有二阶连续偏导数的函数，、依次表示(x,y,z)、(x,y,z)沿的外法线方向的方向导数，则有其中为拉普拉斯算子。上面的公式叫做格林第二公式。欧拉公式形式 在复分析领域的欧拉公式为对于任意实数，存在:当时，欧拉公式的特殊形式为。（参见欧拉恒等式） 在几何学和代数拓扑学方面，欧拉公式的形式为对于一个拥有个面、个顶角和条棱（边）的单联通多面体，必存在（参见欧拉示性数）cis函数主条目：cos函数在复分析领域，欧拉公式亦可以以函数的形式表示并且一般定义域为，值域为(复平面上的所有单位向量)。当一复数的模为1，其反函数就是辐角(arg函数)。当值为复数时，cis函数仍然是有效的，所以有些人可利用cis函数将欧拉公式推广到更复杂的版本。1证明方法一：泰勒级数法把函数、和写成泰勒级数形式：将代入可得：方法二：微积分法定义函数由于可知不可能为0，因此以上定义成立。之导数为：因此必是常数函数。重新整理，即可得到：在复分析的应用这公式可以说明当为实数时，函数可在复数平面描述一单位圆。且为此平面上一条连至原点的线与正实轴的交角（顺时钟的）。 先前一个在复平面的复点只能用笛卡尔坐标系描述，欧拉公式在此提供复点至极坐标的变换任何复数皆可记为在此为实部为虚部为z的模,其中海伦公式海伦公式（Herons formula或Heros formula），又译希罗公式1、希伦公式、海龙公式，亦称“海伦-秦九韶公式”。此公式相传是亚历山大港的希罗发现的，并可在其于公元60年的Metrica中找到其证明，利用三角形的三条边长来求取三角形面积。亦有认为早于阿基米德已经懂得这条公式，而由于Metrica是一部古代数学知识的结集，该公式的发现时期很有可能先于希罗的著作。2假设有一个三角形，边长分别为，三角形的面积可由以下公式求得：，这里。中国南宋末年数学家秦九韶发现或知道等价的公式，其著作数书九章卷五第二题即三斜求积。“问沙田一段，有三斜，其小斜一十三里，中斜一十四里，大斜一十五里，里法三百步，欲知为田几何？”答曰：“三百十五顷”其术文是：“以小斜幂并大斜幂，减中斜幂，余半之，自乘于上；以小斜幂乘大斜幂，减