公式推导

导数的公式推导在微积分中，导数是描述函数变化率的重要工具。

导数的公式推导是理解导数概念和应用的基础。

本文将从基本定义出发，逐步推导导数的计算公式，帮助读者更好地理解导数的本质。

1. 导数的基本定义设函数f(f)在f0处可导，那么f′(f0)定义为：$$ f'(x_0)= \\lim_{\\Delta x \\to 0} \\frac{f(x_0 + \\Delta x) - f(x_0)}{\\Delta x} $$这个极限表示f在f0处的变化率，也就是函数在点f0处的导数。

2. 导数的常用公式2.1. 常数函数导数对于常数函数f(f)=f，其导数为：f′(f)=02.2. 幂函数导数对于幂函数f(f)=f f，其中f为常数，则导数为：f′(f)=ff f−12.3. 指数函数导数指数函数f(f)=f f的导数为：f′(f)=f f2.4. 对数函数导数自然对数函数 $f(x) = \\ln(x)$ 的导数为：$$ f'(x) = \\frac{1}{x} $$3. 导数的运算法则3.1. 和差法则若f(f)和f(f)都在f处可导，则(f+f)′(f)=f′(f)+ f′(f)。

3.2. 积法则若f(f)和f(f)都在f处可导，则(ff)′(f)=f′(f)f(f)+f(f)f′(f)。

3.3. 商法则若f(f)和f(f)都在f处可导且f(f)ff0，则$\\left(\\frac{u}{v}\\right)'(x) = \\frac{u'(x)v(x) -u(x)v'(x)}{(v(x))^2}$。

4. 链式法则如果函数f=f(f)和f=f(f)都可导，那么复合函数f=f(f(f))的导数为：$$ \\frac{dy}{dx} = \\frac{dy}{du} \\cdot \\frac{du}{dx} $$这就是链式法则，用于求解复合函数的导数。

5. 高阶导数高阶导数即对导数再求导的过程。

中学数学公式推导步骤总结数学是一门严谨而又精密的学科，公式是数学中的重要表达方式之一、公式推导是指通过一系列的推理和运算，将已知的条件和关系逐步推导出新的结论和关系的过程。

下面将总结中学数学公式推导的常见步骤。

第一步：明确已知条件和问题公式推导的第一步是要明确已知的条件和问题，通常问题会给出一些已知量，要求我们根据这些已知量推导出其中一种关系。

明确已知条件和问题有助于我们找到合适的推导方法和思路。

第二步：转换和简化已知条件通常情况下，已知条件会以文字描述的形式给出，我们需要将其转换为代数式的形式，以便进行后续的运算和推导。

转换已知条件可以利用常见的代数运算，如加减乘除、开平方、代入等。

第三步：列方程或关系式在公式推导中，方程或关系式是起到桥梁作用的重要步骤。

通过已知条件和问题要求，我们可以建立适当的方程或关系式，以利用其性质来推导出新的结论。

建立方程或关系式需要根据问题的特点和已知条件的关系灵活选择，常见的方法有等式相加、等式相减、等式相乘、等式代入等。

第四步：代入和运算将已知条件和建立的方程或关系式代入到需要推导的等式或方程中，进行代数运算，化简和整理方程，以求得需要推导的未知量或关系。

在代入过程中，我们要注意利用已知条件的性质和运算规则，合理化简等式，减少运算的复杂性。

第五步：引入新的概念和定理在一些复杂的公式推导中，常常需要引入更高级的概念和定理，以帮助我们推导出新的结论。

例如，利用三角函数的性质可以推导出正弦定理和余弦定理；利用二项式定理可以推导出组合恒等式等。

引入新的概念和定理可以帮助我们把问题转化为更简洁和易于处理的形式。

第六步：检验和解释推导结果在完成公式推导之后，我们需要对推导结果进行检验和解释。

检验推导结果是否符合已知条件和问题要求，一方面可以验证公式推导的正确性，另一方面也可以对推导结果进行解释和阐述，使得结论具有更深入的意义和应用。

总结：中学数学公式推导的步骤主要包括明确已知条件和问题、转换和简化已知条件、列方程或关系式、代入和运算、引入新的概念和定理以及检验和解释推导结果。

导数的基本公式14个推导1.常数函数的导数公式假设函数f(x)是常数C，那么f(x)的导数f'(x)等于0。

2.幂函数的导数公式假设函数f(x) = x^n，其中n是正整数，那么f(x)的导数f'(x)等于nx^(n-1)。

3.指数函数的导数公式假设函数f(x) = a^x，其中a是常数且大于0且不等于1，那么f(x)的导数f'(x)等于a^xln(a)。

4.对数函数的导数公式假设函数f(x) = log_a(x)，其中a是常数且大于0且不等于1，那么f(x)的导数f'(x)等于1/(xln(a))。

5.正弦函数的导数公式函数f(x) = sin(x)的导数f'(x)等于cos(x)。

6.余弦函数的导数公式函数f(x) = cos(x)的导数f'(x)等于-sin(x)。

7.正切函数的导数公式函数f(x) = tan(x)的导数f'(x)等于sec^2(x)。

8.反正弦函数的导数公式函数f(x) = arcsin(x)的导数f'(x)等于1/√(1-x^2)。

9.反余弦函数的导数公式函数f(x) = arccos(x)的导数f'(x)等于-1/√(1-x^2)。

10.反正切函数的导数公式函数f(x) = arctan(x)的导数f'(x)等于1/(1+x^2)。

11.双曲正弦函数的导数公式函数f(x) = sinh(x)的导数f'(x)等于cosh(x)。

12.双曲余弦函数的导数公式函数f(x) = cosh(x)的导数f'(x)等于sinh(x)。

13.双曲正切函数的导数公式函数f(x) = tanh(x)的导数f'(x)等于sech^2(x)。

14.反双曲正弦函数的导数公式函数f(x) = arcsinh(x)的导数f'(x)等于1/√(x^2+1)。

以上是导数的基本公式的14个推导，可以用来求各种函数的导数。

均值定理六个公式的推导
拉普拉斯均值定理(Laplace Mean Value Theorem)是一个非常重要的数学定理，它宣称如果函数f(x)在定义域上是可导函数，那么就会存在一个值c，使得：
f '( c ) = f (b) - f (a) /b - a
，其中[a,b]是函数f的定义域，而f '(c)是这个函数的倒数。

这一定理可以通过六个公式来推导：
1.拉普拉斯定理的第一个公式是：
f ( a )+ f ( b )= f ( c )+ f '( c )( b - a )
2. 拉普拉斯定理的第二个公式是：
f'( c )= [f ( b )- f ( a )]/( b - a )
3. 拉普拉斯定理的第三个公式是：
f ( b )- f ( a )= f '( c )( b- a )
4. 拉普拉斯定理的第四个公式是：
f ( a )+ f ( c )= f ( b )+ f '( c )( a - c )
5. 拉普拉斯定理的第五个公式是：
f'( c )= [f ( a )- f ( c )]/( a - c )
6. 拉普拉斯定理的第六个公式是：
f ( c )- f ( a )= f '( c )( c - a )
综上所述，拉普拉斯均值定理的六个公式可以帮助我们找到函数f的定义域中
满足特定条件的点c。

它能够快速准确地找出函数f关于变量x的极值，以有效地
计算函数的定义域上的取值。

也就是说，拉普拉斯均值定理提供了一种寻找函数f
的最小和最大值的有效方法。

16个基本导数公式推导过程一、基本定义在微积分中，导数是用来描述函数其中一点上的变化率的数学工具。

给定一个函数y=f(x)，我们可以通过求取其导数来计算在不同点的变化率。

二、导数的定义式给定一个函数y=f(x)，在点x处的导数可以定义为：f'(x) = lim(h→0) ((f(x+h) - f(x))/h)三、常数导数对于一个常数c，导数恒为0。

因为对于任意的x和h，我们有：(f(x)+c)-f(x)=chh所以导数为：(f(x) + c) - f(x) = lim (h→0) = 0hh四、幂律导数对于幂函数y=x^n，其中n是一个常数，则导数可以通过幂律计算。

幂律定义如下：f(x) = x^n ， f'(x) = nx^(n-1)五、指数函数的导数对于指数函数y=a^x，其中a是一个常数，则导数也可以通过指数函数的特性进行计算。

指数函数的导数定义如下：f(x) = a^x ， f'(x) = ln(a) * a^x六、对数函数的导数对于对数函数y=log_a(x)，其中a是一个常数，则导数也可以通过对数函数的特性进行计算。

对数函数的导数定义如下：f(x) = log_a(x) ， f'(x) = 1 / (x * ln a)七、和差法则给定两个函数f(x)和g(x)，如果它们的导数分别为f'(x)和g'(x)，则它们的和（差）的导数可以通过和差法则计算。

根据和差法则，我们有：(f(x)±g(x))'=f'(x)±g'(x)八、积法则给定两个函数f(x)和g(x)，如果它们的导数分别为f'(x)和g'(x)，则它们的乘积的导数可以通过积法则计算。

根据积法则，我们有：(f(x)*g(x))'=f'(x)*g(x)+f(x)*g'(x)九、商法则给定两个函数f(x)和g(x)，如果它们的导数分别为f'(x)和g'(x)，且g(x)不等于0，则它们的商的导数可以通过商法则计算。

求数学公式的11种推导方法在数学中，推导公式是一种常见的方法，它可以帮助我们理解数学原理和解决问题。

本文将介绍11种常用的数学公式推导方法。

1. 直接证明法直接证明法是最常见的推导方法之一。

它通过从已知的前提出发，逐步推导出所要证明的结论。

这种方法通常是通过逻辑推理和数学运算来完成的。

2. 反证法反证法是一种通过假设某个结论为假，然后导出逻辑矛盾的方法来推导公式。

如果我们能够证明该假设是错误的，那么所要证明的结论就是对的。

3. 数学归纳法数学归纳法是一种证明递归定义上成立的方法。

它通常分为两个步骤：基础情况的证明和归纳步骤的证明。

4. 同余模运算同余模运算是一种推导数学公式的方法，它基于模运算的性质进行推导。

这种方法通常用于证明数论中的一些定理和公式。

5. 极限和极限运算极限和极限运算是一种通常用于推导数学公式的方法。

通过计算函数的极限，我们可以推导出一些公式，例如泰勒展开式和级数求和公式。

6. 向量分析向量分析是一种用于推导数学公式的方法，它基于向量运算和坐标系的概念。

通过对向量进行运算和变换，我们可以推导出许多与几何和物理相关的公式。

7. 矩阵运算矩阵运算是一种用于推导数学公式的方法，它基于矩阵的性质和运算规则。

通过对矩阵进行运算和变换，我们可以推导出许多与线性代数和线性方程组相关的公式。

8. 微积分微积分是一种用于推导数学公式的方法，它基于导数和积分的概念。

通过对函数进行微分和积分，我们可以推导出许多与曲线，曲面和体积相关的公式。

9. 概率论和统计学推导概率论和统计学是一种用于推导数学公式的方法，它基于概率和统计的概念。

通过对随机变量和概率分布进行分析，我们可以推导出许多与概率和随机过程相关的公式。

10. 微分方程推导微分方程是一种用于推导数学公式的方法，它基于微分方程的性质和解法。

通过对微分方程进行求解和变换，我们可以推导出许多与动力学和振动系统相关的公式。

11. 几何推导几何推导是一种用于推导数学公式的方法，它基于几何的性质和定理。

导数计算公式的推导过程在微积分中，导数是描述函数变化率的概念，它可以帮助我们求解曲线的切线斜率、函数的极值等重要问题。

导数的计算对于理解函数的性质和求解实际问题都具有重要意义。

本文将介绍导数的计算公式推导过程，帮助读者理解导数概念的本质。

基本导数计算公式首先，我们来回顾一些基本的导数计算公式。

对于一个函数\[f(x)\]，其导数\[f’(x)\]表示为：\[f’(x) = \lim_{h \to 0} \frac{f(x+h) - f(x)}{h} \]根据这个定义，我们可以得到一些基本函数的导数公式，例如：1.对于常数函数\[f(x) = c\]，其导数为\[f’(x) = 0\]；2.对于幂函数\[f(x) = x^n\]，其中\[n\]为常数，其导数为\[f’(x) = nx^{n-1}\]；3.对于指数函数\[f(x) = e^x\]，其导数为\[f’(x) =e^x\]；4.对于对数函数\[f(x) = \ln x\]，其导数为\[f’(x) =\frac{1}{x}\]。

导数计算规则在计算导数时，我们可以利用导数的一些基本性质和运算规则来简化计算。

常用的导数计算规则包括：1.导数的线性性质：若\[f(x)\]和\[g(x)\]都可导，则\[af(x) \pm bg(x)\]的导数等于\[af’(x) \pm bg’(x)\]；2.导数的乘法法则：若\[f(x)\]和\[g(x)\]都可导，则\[f(x)g(x)\]的导数等于\[f’(x)g(x) + f(x)g’(x)\]；3.导数的除法法则：若\[f(x)\]和\[g(x)\]都可导且\[g(x)eq 0\]，则\[\frac{f(x)}{g(x)}\]的导数等于\[\frac{f’(x)g(x)- f(x)g’(x)}{(g(x))^2}\]。

导数计算公式的推导接下来，我们将简要介绍导数计算公式的推导过程。

以幂函数\[f(x) = x^n\]为例，我们来推导其导数计算公式。

导数公式的推导详细1. 介绍在微积分中，导数是描述函数变化率的重要概念。

导数的计算可以通过导数公式进行推导。

本文将详细介绍导数公式的推导过程，并解释其中的数学原理。

2. 导数的定义导数是函数在某一点上的变化率，可以用极限的概念来描述。

设函数f(f)在点f0处可导，则f′(f0)表示在该点的导数，即变化率。

$$ f'(x_0) = \\lim_{h \\to 0} \\frac{f(x_0 + h) - f(x_0)}{h} $$3. 导数公式的推导3.1 基本函数的导数•常数函数: f′=0•幂函数: (f f)′=ff f−1•指数函数: $(a^x)' = a^x \\cdot \\ln(a)$•对数函数: $(\\log_a x)' = \\frac{1}{x \\cdot \\ln(a)}$3.2 导数的基本性质推导3.2.1 和的导数若函数f(f)和f(f)都在点f0可导，则(f(f)+f(f))′=f′(f)+f′(f)。

证明：根据导数的定义，$$ (f(x) + g(x))' = \\lim_{h \\to 0} \\frac{(f(x_0 + h) + g(x_0 + h)) - (f(x_0) + g(x_0))}{h} $$$$ = \\lim_{h \\to 0} \\left( \\frac{f(x_0 + h) - f(x_0)}{h} + \\frac{g(x_0 + h) - g(x_0)}{h} \\right) $$=f′(f)+f′(f)3.2.2 积的导数若函数f(f)和f(f)都在点f0可导，则$(f(x) \\cdot g(x))' = f'(x) \\cdot g(x) + f(x) \\cdot g'(x)$。

证明：根据导数的定义，$$ (f(x) \\cdot g(x))' = \\lim_{h \\to 0} \\frac{f(x_0 + h)\\cdot g(x_0 + h) - f(x_0) \\cdot g(x_0)}{h} $$$$ = \\lim_{h \\to 0} \\left( f(x_0 + h) \\cdot \\frac{g(x_0 + h) - g(x_0)}{h} + g(x_0) \\cdot \\frac{f(x_0 + h) - f(x_0)}{h}\\right) $$$$ = f'(x) \\cdot g(x) + f(x) \\cdot g'(x) $$3.3 链式法则的推导假设f=f(f)，f=f(f)。

16个重要极限公式推导《16个重要极限公式推导》在数学中，极限是一个重要的概念，它描述了函数在某一点上趋近于某个值的行为。

极限公式是一种常用的工具，可以帮助我们求解各种复杂的极限问题。

以下是16个重要的极限公式以及它们的推导过程。

1. 极限公式：$\lim_{x\to 0}\frac{\sin(x)}{x}=1$推导过程：我们从单位圆的几何性质入手。

当$x$接近于0时，我们可以认为边长为$x$的小角度$x$是相似三角形中的等腰三角形。

根据单位圆上的弧长公式，我们有$\lim_{x\to0}\frac{\sin(x)}{x}=1$。

2. 极限公式：$\lim_{x\to \infty}\left(1+\frac{1}{x}\right)^x=e$推导过程：我们将极限转化为自然对数的形式，即$\lim_{x\to\infty}\ln\left(\left(1+\frac{1}{x}\right)^x\right)$. 通过应用泰勒级数展开，我们可以得到$\ln\left(\left(1+\frac{1}{x}\right)^x\right)=1-\frac{1}{2x}+O\left(\frac{1}{x^2}\right)$。

因为$\lim_{x\to \infty}\frac{1}{2x}=0$，所以$\lim_{x\to\infty}\ln\left(\left(1+\frac{1}{x}\right)^x\right)=1$，即$\lim_{x\to\infty}\left(1+\frac{1}{x}\right)^x=e$。

3. 极限公式：$\lim_{x\to \infty}\left(1+\frac{a}{x}\right)^x=e^a$推导过程：类似于第2个公式的推导，我们可以得到$\lim_{x\to\infty}\ln\left(\left(1+\frac{a}{x}\right)^x\right)=a$。

推导公式：(a+b+c)/(sinA+sinB+sinC)=2R(其中，R为外接圆半径)由正弦定理有a/sinA=b/sinB=c/sinC=2R所以a=2R*sinAb=2R*sinBc=2R*sinC加起来a+b+c=2R*(sinA+sinB+sinC)带入(a+b+c)/(sinA+sinB+sinC)=2R*(sinA+sinB+sinC)/(sinA+sinB+sinC)=2R 两角和公式sin(A+B)=sinAcosB+cosAsinBsin(A-B)=sinAcosB-cosAsinBcos(A+B)=cosAcosB-sinAsinBcos(A-B)=cosAcosB+sinAsinBtan(A+B)=(tanA+tanB)/(1-tanAtanB)tan(A-B)=(tanA-tanB)/(1+tanAtanB)cot(A+B)=(cotAcotB-1)/(cotB+cotA)cot(A-B)=(cotAcotB+1)/(cotB-cotA)倍角公式Sin2A=2SinA?CosA对数的性质及推导用^表示乘方，用log(a)(b)表示以a为底，b的对数*表示乘号，/表示除号定义式：若a^n=b(a>0且a≠1)则n=log(a)(b)基本性质：1.a^(log(a)(b))=b2.log(a)(MN)=log(a)(M)+log(a)(N);3.log(a)(M/N)=log(a)(M)-log(a)(N);4.log(a)(M^n)=nlog(a)(M)推导1.这个就不用推了吧，直接由定义式可得(把定义式中的[n=log(a)(b)]带入a^n=b)2.MN=M*N由基本性质1(换掉M和N)a^[log(a)(MN)]=a^[log(a)(M)]*a^[log(a)(N)]由指数的性质a^[log(a)(MN)]=a^{[log(a)(M)]+[log(a)(N)]}又因为指数函数是单调函数，所以log(a)(MN)=log(a)(M)+log(a)(N)3.与2类似处理MN=M/N由基本性质1(换掉M和N)a^[log(a)(M/N)]=a^[log(a)(M)]/a^[log(a)(N)]由指数的性质a^[log(a)(M/N)]=a^{[log(a)(M)]-[log(a)(N)]}又因为指数函数是单调函数，所以log(a)(M/N)=log(a)(M)-log(a)(N)4.与2类似处理M^n=M^n由基本性质1(换掉M)a^[log(a)(M^n)]={a^[log(a)(M)]}^n由指数的性质a^[log(a)(M^n)]=a^{[log(a)(M)]*n}又因为指数函数是单调函数，所以log(a)(M^n)=nlog(a)(M)其他性质：性质一：换底公式log(a)(N)=log(b)(N)/log(b)(a)推导如下N=a^[log(a)(N)]a=b^[log(b)(a)]综合两式可得N={b^[log(b)(a)]}^[log(a)(N)]=b^{[log(a)(N)]*[log(b)(a)]} 又因为N=b^[log(b)(N)]所以b^[log(b)(N)]=b^{[log(a)(N)]*[log(b)(a)]}所以log(b)(N)=[log(a)(N)]*[log(b)(a)]{这步不明白或有疑问看上面的}所以log(a)(N)=log(b)(N)/log(b)(a)性质二：（不知道什么名字）log(a^n)(b^m)=m/n*[log(a)(b)]推导如下由换底公式[lnx是log(e)(x),e称作自然对数的底]log(a^n)(b^m)=ln(a^n)/ln(b^n)由基本性质4可得log(a^n)(b^m)=[n*ln(a)]/[m*ln(b)]=(m/n)*{[ln(a)]/[ln(b)]}再由换底公式log(a^n)(b^m)=m/n*[log(a)(b)]--------------------------------------------（性质及推导完）公式三:log(a)(b)=1/log(b)(a)证明如下:由换底公式log(a)(b)=log(b)(b)/log(b)(a)----取以b为底的对数,log(b)(b)=1 =1/log(b)(a)还可变形得:log(a)(b)*log(b)(a)=1平方关系：sin^2(α)+cos^2(α)=1tan^2(α)+1=sec^2(α)cot^2(α)+1=csc^2(α)·商的关系：tanα=sinα/cosαcotα=cosα/sinα·倒数关系：tanα·cotα=1sinα·cscα=1cosα·secα=1万能公式：sinα=2tan(α/2)/[1+tan^2(α/2)]cosα=[1-tan^2(α/2)]/[1+tan^2(α/2)]tanα=2tan(α/2)/[1-tan^2(α/2)]常用的诱导公式有以下几组：公式一：设α为任意角，终边相同的角的同一三角函数的值相等：sin（2kπ＋α）＝sinαcos（2kπ＋α）＝cosαtan（2kπ＋α）＝tanαcot（2kπ＋α）＝cotα公式二：设α为任意角，π+α的三角函数值与α的三角函数值之间的关系：sin（π＋α）＝－sinαcos（π＋α）＝－cosαtan（π＋α）＝tanαcot（π＋α）＝cotα公式三：任意角α与-α的三角函数值之间的关系：sin（－α）＝－sinαcos（－α）＝cosαtan（－α）＝－tanαcot（－α）＝－cotα公式四：利用公式二和公式三可以得到π-α与α的三角函数值之间的关系：sin（π－α）＝sinαcos（π－α）＝－cosαtan（π－α）＝－tanαcot（π－α）＝－cotα公式五：利用公式一和公式三可以得到2π-α与α的三角函数值之间的关系：sin（2π－α）＝－sinαcos（2π－α）＝cosαtan（2π－α）＝－tanαcot（2π－α）＝－cotα公式六：π/2±α及3π/2±α与α的三角函数值之间的关系：sin（π/2＋α）＝co sαcos（π/2＋α）＝－sinαtan（π/2＋α）＝－cotαcot（π/2＋α）＝－tanαsin（π/2－α）＝cosαcos（π/2－α）＝sinαtan（π/2－α）＝cotαcot（π/2－α）＝tanαsin（3π/2＋α）＝－cosαcos（3π/2＋α）＝sinαtan（3π/2＋α）＝－cotαcot（3π/2＋α）＝－tanαsin（3π/2－α）＝－cosαcos（3π/2－α）＝－sinαtan（3π/2－α）＝cotαcot（3π/2－α）＝tanα(以上k∈Z)一般的最常用公式有:Sin(A+B)=SinA*CosB+SinB*CosASin(A-B)=SinA*CosB-SinB*CosACos(A+B)=CosA*CosB-SinA*SinBCos(A-B)=CosA*CosB+SinA*SinBTan(A+B)=(TanA+TanB)/(1-TanA*TanB) Tan(A-B)=(TanA-TanB)/(1+TanA*TanB) 平方关系：sin^2(α)+cos^2(α)=1tan^2(α)+1=sec^2(α)cot^2(α)+1=csc^2(α)·积的关系：sinα=tanα*cosαcosα=cotα*sinαtanα=sinα*secαcotα=cosα*cscαsecα=tanα*cscαcscα=secα*cotα·倒数关系：tanα·cotα=1sinα·cscα=1cosα·secα=1直角三角形ABC中,角A的正弦值就等于角A的对边比斜边,余弦等于角A的邻边比斜边正切等于对边比邻边,三角函数恒等变形公式·两角和与差的三角函数：cos(α+β)=cosα·cosβ-sinα·sinβcos(α-β)=cosα·cosβ+sinα·sinβsin(α±β)=sinα·cosβ±cosα·sinβtan(α+β)=(tanα+tanβ)/(1-tanα·tanβ)tan(α-β)=(tanα-tanβ)/(1+tanα·tanβ)·辅助角公式：Asinα+Bcosα=(A^2+B^2)^(1/2)sin(α+t)，其中sint=B/(A^2+B^2)^(1/2)cost=A/(A^2+B^2)^(1/2)·倍角公式：sin(2α)=2sinα·cosα=2/(tanα+cotα)cos(2α)=cos^2(α)-sin^2(α)=2cos^2(α)-1=1-2sin^2(α) tan(2α)=2tanα/[1-tan^2(α)]·三倍角公式：sin(3α)=3sinα-4sin^3(α)cos(3α)=4cos^3(α)-3cosα·半角公式：sin(α/2)=±√((1-cosα)/2)cos(α/2)=±√((1+cosα)/2)tan(α/2)=±√((1-cosα)/(1+cosα))=sinα/(1+cosα)=(1-cosα)/sinα·降幂公式sin^2(α)=(1-cos(2α))/2=versin(2α)/2cos^2(α)=(1+cos(2α))/2=vercos(2α)/2tan^2(α)=(1-cos(2α))/(1+cos(2α))·万能公式：sinα=2tan(α/2)/[1+tan^2(α/2)]cosα=[1-tan^2(α/2)]/[1+tan^2(α/2)]tanα=2tan(α/2)/[1-tan^2(α/2)]·积化和差公式：sinα·cosβ=(1/2)[sin(α+β)+sin(α-β)]cosα·sinβ=(1/2)[sin(α+β)-sin(α-β)]cosα·cosβ=(1/2)[cos(α+β)+cos(α-β)]sinα·sinβ=-(1/2)[cos(α+β)-cos(α-β)]·和差化积公式：sinα+sinβ=2sin[(α+β)/2]cos[(α-β)/2]sinα-sinβ=2cos[(α+β)/2]sin[(α-β)/2]cosα+cosβ=2cos[(α+β)/2]cos[(α-β)/2]cosα-cosβ=-2sin[(α+β)/2]sin[(α-β)/2]·其他：sinα+sin(α+2π/n)+sin(α+2π*2/n)+sin(α+2π*3/n)+……+sin[α+2π*(n-1)/n]=0cosα+cos(α+2π/n)+cos(α+2π*2/n)+cos(α+2π*3/n)+……+cos[α+2π*(n-1)/n]=0以及sin^2(α)+sin^2(α-2π/3)+sin^2(α+2π/3)=3/2tanAtanBtan(A+B)+tanA+tanB-tan(A+B)=0部分高等内容·高等代数中三角函数的指数表示(由泰勒级数易得)：sinx=[e^(ix)-e^(-ix)]/(2i)cosx=[e^(ix)+e^(-ix)]/2tanx=[e^(ix)-e^(-ix)]/[ie^(ix)+ie^(-ix)]泰勒展开有无穷级数，e^z=exp(z)＝1＋z/1！＋z^2/2！＋z^3/3！＋z^4/4！＋…＋z^n/n！＋…此时三角函数定义域已推广至整个复数集。