三角函数恒等变换公式

三角函数公式
两角和公式
sin(A+B)=sinAcosB+cosAsinB
sin(A-B)=sinAcosB-sinBcosA ?
cos(A+B)=cosAcosB-sinAsinB
cos(A-B)=cosAcosB+sinAsinB
tan(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)
倍角公式
tan2A=2tanA/[1-(tanA)^2]
cos2a=(cosa)^2-(sina)^2=2(cosa)^2 -1=1-2(sina)^2
sin2A=2sinA*cosA
三倍角公式
sin3a=3sina-4(sina)^3
cos3a=4(cosa)^3-3cosa
tan3a=tana*tan(π/3+a)*tan(π/3-a)
半角公式
sin(A/2)=√((1-cosA)/2) sin(A/2)=-√((1-cosA)/2)
cos(A/2)=√((1+cosA)/2) cos(A/2)=-√((1+cosA)/2)
tan(A/2)=√((1-cosA)/((1+cosA)) tan(A/2)=-√((1-cosA)/((1+cosA))
cot(A/2)=√((1+cosA)/((1-cosA)) cot(A/2)=-√((1+cosA)/((1-cosA)) ?
tan(A/2)=(1-cosA)/sinA=sinA/(1+cosA)
和差化积
2sinAcosB=sin(A+B)+sin(A-B)
2cosAsinB=sin(A+B)-sin(A-B) )
2cosAcosB=cos(A+B)+cos(A-B)
-2sinAsinB=cos(A+B)-cos(A-B)
sinA+sinB=2sin((A+B)/2)cos((A-B)/2
cosA+cosB=2cos((A+B)/2)sin((A-B)/2)
tanA+tanB=sin(A+B)/cosAcosB
积化和差公式
sin(a)sin(b)=-1/2*[cos(a+b)-cos(a-b)]
cos(a)cos(b)=1/2*[cos(a+b)+cos(a-b)]
sin(a)cos(b)=1/2*[sin(a+b)+sin(a-b)]
诱导公式
sin(-a)=-sin(a)
cos(-a)=cos(a)
sin(pi/2-a)=cos(a)
cos(pi/2-a)=sin(a)
sin(pi/2+a)=cos(a)
cos(pi/2+a)=-sin(a)
sin(pi-a)=sin(a)
cos(pi-a)=-cos(a)
sin(pi+a)=-sin(a)
cos(pi+a)=-cos(a)
tgA=tanA=sinA/cosA
万能公式
sin(a)= (2tan(a/2))/(1+tan^2(a/2))
cos(a)= (1-tan^2(a/2))/(1+tan^2(a/2))
tan(a)= (2tan(a/2))/(1-tan^2(a/2))
其它公式
a*sin(a)+b*cos(a)=sqrt(a^2+b^2)sin(a+c) [其中，tan(c)=b/a]
a*sin(a)-b*cos(a)=sqrt(a^2+ b^2)cos(a-c) [其中，tan(c)=a/b]
1+sin(a)=(sin(a/2)+cos(a/2))^2
1-sin(a)=(sin(a/2)-cos(a/2))^2
其他非重点三角函数
csc(a)=1/sin(a)
sec(a)=1/cos(a)
反三角函数公式:
arcsin(-x)=-arcsinx
arccos(-x)=∏－arccosx
arctan(-x)=-arctanx
arccot(-x)=∏－arccotx
arcsinx+arccosx=∏/2=arctanx+arccotx
sin(arcsinx)=x=cos(arccosx)=tan(arctanx)=cot(arccotx)
当x∈〔—∏/2，∏/2〕时，有arcsin(sinx)=x
当x∈〔0,∏〕,arccos(cosx)=x
x∈(—∏/2，∏/2),arctan(tanx)=x
x∈(0，∏),arccot(cotx)=x
x〉0,arctanx=arctan1/x,arccotx类似
若(arctanx+arctany)∈(—∏/2，∏/2),则arctanx+arctany=arctan(x+y/1-xy)
求导数的方法
（1）求函数y=f(x)在x0处导数的步骤：
① 求函数的增量Δy=f(x0+Δx)-f(x0)
② 求平均变化率
③ 取极限，得导数。
（2）几种常见函数的导数公式：
① C'=0(C为常数)；
② (x^n)'=nx^(n-1) (n∈Q)；
③ (sinx)'=cosx；
④ (cosx)'=-sinx；
⑤ (e^x)'=e^x；
⑥ (a^x)'=a^xIna （ln为自然对数）
（3）导数的四则运算法则：
①(u±v)'=u'±v'
②(uv)'=u'v+uv'
③(u/v)'=(u'v-uv')/ v^2
（4）复合函数的导数
复合函数对自变量的导数，等于已知函数对中间变量的导数，乘以中间变量对自变量的导数--称为链式法则。
导数是微积分的一个重要的支柱！
导数公式及证明
这里将列举几个基本的函数的导数以及它们的推导过程:
1.y=c(c为常数) y'=0
2.y=x^n y'=nx^(n-1)
3.y=a^x y'=a^xlna
y=e^x y'=e^x
4.y=logax y'=logae/x
y=lnx y'=1/x
5.y=sinx y'=cosx
6.y=cosx y'=-sinx
7.y=tanx y'=1/cos^2x
8.y=cotx y'=-1/sin^2x
9.y=arcsinx y'=1/√1-x^2
10.y=arccosx y'=-1/√1-x^2
11.y=arctanx y'=1/1+x^2
12.y=arccotx y'=-1/1+x^2
在推导的过程中有这几个常见的公式需要用到：
1.y=f[g(x)],y'=f'[g(x)]•g'(x)『f'[g(x)]中g(x）看作整个变量，而g'(x)中把x看作变量』
2.y=u/v,y'=u'v-uv'/v^2
3.y=f(x)的反函数是x=g(y），则有y'=1/x'
证：1.显而易见，y=c是一条平行于x轴的直线，所以处处的切线都是平行于x的，故斜率为0。用导数的定义做也是一样的：y=c,⊿y=c-c=0,lim⊿x→0⊿y/⊿x=0。
2.这个的推导暂且不证，因为如果根据导数的定义来推导的话就不能推广到n为任意实数的一般情况。在得到 y=e^x y'=e^x和y=lnx y'=1/x这两个结果后能用复合函数的求导给予证明。
3.y=a^x,
⊿y=a^(x+⊿x)-a^x=a^x(a^⊿x-1)
⊿y/⊿x=a^x(a^⊿x-1)/⊿x
如果直接令⊿x→0，是不能导出导函数的，必须设一个辅助的函数β＝a^⊿x-1通过换元进行计算。由设的辅助函数可以知道：⊿x=loga(1+β)。
所以(a^⊿x-1)/⊿x＝β/loga(1+β)=1/loga(1+β)^1/β
显然，当⊿x→0时，β也是趋向于0的。而limβ→0(1+β)^1/β=e,所以limβ→01/loga(1+β)^1/β=1/logae=lna。
把这个结果代入lim⊿x→0⊿y/⊿x=lim⊿x→0a^x(a^⊿x-1)/⊿x后得到lim⊿x→0⊿y/⊿x=a^xlna。
可以知道，当a=e时有y=e^x y'=e^x。
4.y=logax
⊿y=loga(x+⊿x)-logax=loga(x+⊿x)/x=loga[(1+⊿x/x)^x]/x
⊿y/⊿x=loga[(1+⊿x/x)^(x/⊿x)]/x
因为当⊿x→0时，⊿x/x趋向于0而x/⊿x趋向于∞，所以lim⊿x→0loga(1+⊿x/x)^(x/⊿x)＝logae,所以有
lim⊿x→0⊿y/⊿x＝logae/x。
可以知道，当a=e时有y=lnx y'=1/x。
这时可以进行y=x^n y'=nx^(n-1)的推导了。因为y=x^n,所以y=e^ln(x^n)=e^nlnx,
所以y'=e^nlnx•(nlnx)'=x^n•n/x=nx^(n-1)。
5.y=sinx
⊿y=sin(x+⊿x)-sinx=2cos(x+⊿x/2)sin(⊿x/2)
⊿y/⊿x=2cos(x+⊿x/2)sin(⊿x/2)/⊿x=cos(x+⊿x/2)sin(⊿x/2)/(⊿x/2)
所以lim⊿x→0⊿y/⊿x=lim⊿x→0cos(x+⊿x/2)•lim⊿x→0sin(⊿x/2)/(⊿x/2)=cosx
6.类似地，可以导出y=cosx y'=-sinx。
7.y=tanx=sinx/cosx
y'=[(sinx)'cosx-sinx(cosx)']/cos^2x=(cos^2x+sin^2x)/cos^2x=1/cos