三角函数公式及证明
三角函数常用公式以及证明
cos3a=4cos^3a-3cosa
=4cosa(cos²a-3/4)
=4cosa[cos²a-(√3/2)^2]
=4cosa(cos²a-cos²30°)
=4cosa(cosa+cos30°)(cosa-cos30°)
=4cosa*2cos[(a+30°)/2]cos[(a-30°)/2]*{-2sin[(a+30°)/2]sin[(a-30°)/2]}
平常针对不同条件的常用的两个公式
sin^2(α)+cos^2(α)=1
tan α *cot α=1
一个特殊公式
（sina+sinθ）*（sina-sinθ）=sin（a+θ）*sin（a-θ）
证明：（sina+sinθ）*（sina-sinθ）=2 sin[(θ+a)/2] cos[(a-θ)/2] *2 cos[(θ+a)/2] sin[(a-θ)/2]
现列出公式如下: sin2α=2sinαcosα tan2α=2tanα/(1-tan^2(α)) cos2α=cos^2(α)-sin^2(α)=2cos^2(α)-1=1-2sin^2(α)可别轻视这些字符,它们在数学学习中会起到重要作用。包括一些图像问题和函数问题中
三倍角公式
sin3α=3sinα-4sin^3(α)=4sinα·sin(π/3+α)sin(π/3-α) cos3α=4cos^3(α)-3cosα=4cosα·cos(π/3+α)cos(π/3-α) tan3α=tan(α)*(-3+tan(α)^2)/(-1+3*tan(α)^2)=tan a · tan(π/3+a)· tan(π/3-a)
三角函数公式及推导祥尽版
余弦三倍角公式推导：（证明）
cos3α＝cos(2α＋α)＝cos2αcosα－sin2αsinα ＝(2cos^2(α)－1)cosα－2cosαsin^2(α) ＝2cos^3(α)－cosα＋(2cosα－2cos^3(α)) ＝4cos^3(α)－3cosα
三倍角公式联想记忆
记忆方法：谐音、联想 正弦三倍角：3元 减 4元3角（欠债了(被减成负数)，所以要“挣钱”(音似“正弦”)） 余弦三倍角：4元3角 减 3元（减完之后还有“余”）
r2 112sinsin coscos r2 22sinsin coscos 2r2 1sinsin coscos
由余弦定理得：
AB2 AC 2 BC 2 2AC BC cos ACB
r2 r2 2r r cos 2r2 2r2 cos r2 2 2 cos 2r2 1 cos
sin
cos cos
sin sin
co 1
s sin
cos sin
cos cos
tan tan 1 tan tan
两角差的正切
tan tan tan tan
1 tan tan
tan tan 1 tan tan
4---二倍角公式 二倍角的正弦、余弦和正切公式（也称为：升幂缩角公式）
口诀总结
上述的记忆口诀是： 奇变偶不变，符号看象限。 公式右边的符号为把α视为锐角时，角k·360°+α（k∈z），-α、180°±α，360°-α所在象限的原 三角函数值的符号可记忆 水平诱导名不变；符号看象限。 各种三角函数在四个象限的符号如何判断，也可以记住口诀“一全正；二正弦；三为切；四 余弦”． 这十二字口诀的意思就是说： 第一象限内任何一个角的四种三角函数值都是“＋”； 第二象限内只有正弦是“＋”，其余全部是“－”； 第三象限内切函数是“＋”，弦函数是“－”； 第四象限内只有余弦是“＋”，其余全部是“－”．
三角函数公式大全及其推导方法
三角函数公式大全及其推导三角函数的定义1.Figure I由此，我们定义：ΔABC中如Figure I, 在对边b??(?sin?) 的正弦值：斜边c邻边a??)?(?的余弦值：cos斜边c对边b??)?的正切值：tan?(邻边a邻边11a??)?(?的余切值：cot??b?对边tanb a斜边11c???的正割值：sec???()a?邻边acos c斜边1c1???的余割值：?csc??() b?对边sinb c备注：当用一个字母或希腊字母表示角时，可略写∠符号，但用三个子母表tan。
、示时，不能省略。
在本文中，我们只研究sin、cos额外的定义2.22??)(sinsin?22??)(cos?cos22??)?tan(tan简便计算公式3.b???)sin??cosA?cos(90?cc??)??A?cossin(90??sin b11b1?????tana?)??tanaAtan(90b22??1?cossin?证明：90ABC???ABC中,在222c???ab22ba1?????1?sincos??证完b?sinb c???tan?a?cosa22cc21??sinAB?sin22c22??1cossin2????1tan?222???coscoscos任意三角形的面积公式4.Figure II,如Figure II．1ahS?ABC?21?absinC21?acsinB (两边和其夹角正弦的乘积)25.余弦定理：任意三角形一角的余弦等于两邻边的平方和减对边的平方之差与两邻边积的两倍之比。
证明：如Figure II,222h?db?22)B(cccosB)sin??(a?22222B?cccossin?aB?2accosB?2222)sin(cosBB?=aac?2cosB?c22?2acacos?cB?222222bca?b??ac??cosB???2ac2ac证完海伦公式6.证明：,Figure 如II1absinC?S ABC?212C?cos?ab122222??1ca?b??ab?1??ab22??444222222c??2?ba?c2?2acbb1a?ab1?22b24a22444222222c2c?2abb?14a?b?a2?bc?a?ab22ba24??22444222222c??2a?ab?2?cc?2aba14bb22?ab?22b4a4222422244cbc?2b?2a?2ac?a?b?122?ab?22b4a4????????c????????abcabcbcaab?16． ????????c?b?b?c2acc?2?a?b?c?2baa?a?b??2?2?22?c?b??c?2aa?2ca?bc?2ba?b?a?bc?????2222cb?b?ca???b?cab?ca?a??????cb??a????????2222??????c?a?b=设：s2??????css?a?s?bS?s ABC?正弦定理7.Figure III,Figure如III,外接圆的直径c为ΔABC a?Asin ca的外接圆半径）ABC r2 （r为???c?Asin同理：cb c, c??CsinsinB cabr??2??CAsinsinsinB加法定理8.两角差的余弦(1)Figure IV, Figure IV如???AOC?????BOC??????AOB?AO=BO=r令?cos?rx A的横坐标为点A?sin?ry的纵坐标为A点A?cos?rx的横坐标为点B B?sinry?点B的纵坐标为????????cos??rsinr?rsincosr?2222222222????????cossincosr?rs B22????2xxy?AB??y?BBAA22incos??r2rsinrsin??r2cos???22222????????cossin????r2sinsincossin?cos2cos???22222?? ??????cos?cos??sin??r2sinsin2cos?cossin??2????cos?inscossin??r1?12??????2????c os?r2?2sincossin???????2????cos2?r1?sinsin?cos????由余弦公式可得：??22???cos?2r??rr?r??22????2rrcos?2222?2AC?BCACcos?BC?ABACB???2???2r?2cos???????2???1r?cos?2???????????? sin综上得：coscossin?cos??(2)两角和的余弦??????????coscos????????????????sin?sincos?cos????cossin?cos??sin????sin?cos?cossin两角和的正弦(3)???????????90??cossin?????????90??cos?????????????cossin?cos?sin?90??90?????cos?cos?sinsin(4)两角差的正弦 ?????????sin?sin?????????????????cossinsin?cos????cossin?sin??cos????sin?cos?sincos两角和的正切(5)?????sin??????tan?????cos????coscos?sinsin?????sincossincos?????cossinsin?cos??coscos?????sin?cossincos??coscos??sinsin???coscos???sinsin1???coscos??tantan????tan1?tan(6)两角差的正切?????????tan?tan????????????tantan??????tantan1???tan?tan???tantan1?9.两倍角公式????????2?sinsin????coscossin?sin???cos2sin?????????coscos?2????sin??cossincos22??sin??cos22????2sin2cos1??1???2sin????2tan???2cos??cos2sin?22??sin?cos??cos2sin2?cos?22??sincos?2?cos?2sin?cos?2?sin?12?cos?tan2?2?nta1?10.积化和差公式1??????cossin?cos2sin21??????????sinsin??sincossin?coscos?cos 21??????????sin?sin?????21??????coscos?cos2cos21??????????sincos???sincossincossin?cos 21??????????cos?cos?????21??????sinsin?sin2sin21??????????cos??cossin?sincos?sincossin21?????????cos??cos?????211.和差化积公式(1)设：A=α+β, B=α-β,??????????Asin?sinB?sin?sin????????sinsinsin?coscos?coscossin????cos?2sin???? ???????????????2sincos????22????A?BA?B?????2sincos????22???? ?????????sinsin??sinA?sinB?????????sin?sin??sincoscoscos?cossin??n2cossi????? ??????????????sin2cos?????22????B?BAA?????sin2cos?????22???? (2)ba22????1cossin??设：∵, ??, sincos2222b?ba?aab2222????cos??sin??a?sinasin?bb?a?b?2222ba?ba???22????cosa?b??cossinsin???22????sinba??12.其他常用公式??0??sin??nsin?360??0??cos??ncos?360??0??tann?tan360??????cos90??sin????? sin90??cos?1?????90?tan?tan????cossin?90??????sin??cos?90?1??????tan?90?tan????cos?90?sin??????sin90cos???1?????tan90???tan????sinsin180???????cos?180??cos?????tan???tan?180????sin?180sin??????? cos??cos?180?????tan180tan???????sinsin???????coscos??????tan???tan???90?不存在tan2n?1???????cos1?1?1??cos??1??1?sinsin1??在计算机中，三角函数的算法是这样的，其中x用弧度计算???sinx??????!?2n7!1!3!5!1??nn62040xxxxx 13572n?10xxxxx???xcos??????!6!2n4!2!0! ??n推导公式：(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对数的性质及推导的对数b为底，a表示以log(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(α)·商的关系：α/sinα=cosαcotα/cosα=sinαtan·倒数关系：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）＝－α（－sincos（－α）＝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＋α）＝cosαcos（π/2＋α）＝－sinαtan（π/2＋α）＝－cotαcot（π/2＋α）＝－tanαsin（π/2－α）＝cosαcos（π/2－α）＝sinααcot）＝α－/2π（tancot（π/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αα*sinα=cotαcostanα=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！＋…此时三角函数定义域已推广至整个复数集。
三角函数公式及证明(高中)
三角函数公式及相关的证明两角和公式sin(A+B) = sinAcosB+cosAsinBsin(A-B) = sinAcosB-cosAsinBcos(A+B) = cosAcosB-sinAsinBcos(A-B) = cosAcosB+sinAsinB tan(A+B) =tanAtanB-1tanB tanA + tan(A-B) =tanAtanB1tanB tanA +- cot(A+B) =cotAcotB 1-cotAcotB + cot(A-B) =cotAcotB 1cotAcotB -+ 倍角公式 tan2A =Atan 12tanA 2- Sin2A=2SinA•CosACos2A = Cos 2A-Sin 2A=2Cos 2A-1=1-2sin 2A三倍角公式sin3A = 3sinA-4(sinA)3cos3A = 4(cosA)3-3cosAtan3a = tana ·tan(3π+a)·tan(3π-a) 半角公式 sin(2A )=2cos 1A - cos(2A )=2cos 1A + tan(2A )=AA cos 1cos 1+- cot(2A )=A A cos 1cos 1-+ tan(2A )=A A sin cos 1-=AA cos 1sin + 和差化积 sina+sinb=2sin 2b a +cos 2b a - sina-sinb=2cos 2b a +sin 2b a -cosa+cosb = 2cos2b a +cos 2b a - cosa-cosb = -2sin 2b a +sin 2b a - tana+tanb=ba b a cos cos )sin(+ 积化和差 sinasinb = -21[cos(a+b)-cos(a-b)] cosacosb = 21[cos(a+b)+cos(a-b)] sinacosb = 21[sin(a+b)+sin(a-b)] cosasinb = 21[sin(a+b)-sin(a-b)] 诱导公式sin(-a) = -sinacos(-a) = cosa sin(2π-a) = cosa cos(2π-a) = sina sin(2π+a) = cosa cos(2π+a) = -sina sin(π-a) = sinacos(π-a) = -cosas in(π+a) = -sinacos(π+a) = -cosa tgA=tanA =aa cos sin 万能公式 sina=2)2(tan 12tan 2a a + cosa=22)2(tan 1)2(tan 1a a +-tana=2)2(tan 12tan2a a- 其它公式 a•sina+b•cosa=)b (a 22+×sin(a+c) [其中tanc=a b ] a•sin(a)-b•c os(a) =)b (a 22+×cos(a-c) [其中tan(c)=b a ] 1+sin(a) =(sin 2a +cos 2a )2 1-sin(a) = (sin 2a -cos 2a )2 其他非重点三角函数 csc(a) =asin 1 sec(a) =acos 1 双曲函数 sinh(a)=2e -e -aa cosh(a)=2e e -aa + tg h(a)=)cosh()sinh(a a 公式一：设α为任意角，终边相同的角的同一三角函数的值相等：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π±α及23π±α与α的三角函数值之间的关系： sin （2π+α）= cosα cos （2π+α）= -sinα tan （2π+α）= -cotα cot （2π+α）= -tanα sin （2π-α）= cosα cos （2π-α）= sinα tan （2π-α）= cotα cot （2π-α）= tanα sin （23π+α）= -cosα cos （23π+α）= sinα tan （23π+α）= -cotα cot （23π+α）= -tanα sin （23π-α）= -cosαcos （23π-α）= -sinα tan （23π-α）= cotα cot （23π-α）= tanα (以上k ∈Z)这个物理常用公式我费了半天的劲才输进来,希望对大家有用 A•sin(ωt+θ)+ B•sin(ωt+φ) =)cos(222ϕθ⋅++AB B A ×sin)cos(2)Bsin in arcsin[(As t 22ϕθϕθω⋅++++AB B A三角函数公式证明（全部）2009-07-08 16:13公式表达式乘法与因式分解 a2-b2=(a+b)(a-b) a3+b3=(a+b)(a2-ab+b2) a3-b3=(a-b)(a2+ab+b2) 三角不等式 |a+b|≤|a|+|b| |a -b|≤|a|+|b| |a|≤b<=>-b≤a≤b|a-b|≥|a|-|b| -|a|≤a≤|a|一元二次方程的解 -b+√(b2-4ac)/2a -b-b+√(b2-4ac)/2a根与系数的关系 X1+X2=-b/a X1*X2=c/a 注：韦达定理判别式 b2-4a=0 注：方程有相等的两实根b2-4ac>0 注：方程有一个实根b2-4ac<0 注：方程有共轭复数根三角函数公式两角和公式 sin(A+B)=sinAcosB+cosAsinB sin(A-B)=sinAcosB-sinBcosAcos(A+B)=cosAcosB-sinAsinB cos(A-B)=cosAcosB+sinAsinBtan(A+B)=(tanA+tanB)/(1-tanAtanB) tan(A-B)=(tanA-tanB)/(1+tanAtanB)ctg(A+B)=(ctgActgB-1)/(ctgB+ctgA) ctg(A-B)=(ctgActgB+1)/(ctgB-ctgA)倍角公式tan2A=2tanA/(1-tan2A) ctg2A=(ctg2A-1)/2ctgacos2a=cos2a-sin2a=2cos2a-1=1-2sin2a半角公式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))ctg(A/2)=√((1+cosA)/((1-cosA)) ctg(A/2)=-√((1+cosA)/((1-cosA))和差化积2sinAcosB=sin(A+B)+sin(A-B) 2cosAsinB=sin(A+B)-sin(A-B)2cosAcosB=cos(A+B)-sin(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 tanA-tanB=sin(A-B)/cosAcosBctgA+ctgBsin(A+B)/sinAsinB -ctgA+ctgBsin(A+B)/sinAsinB某些数列前n项和1+2+3+4+5+6+7+8+9+…+n=n(n+1)/21+3+5+7+9+11+13+15+…+(2n-1)=n22+4+6+8+10+12+14+…+(2n)=n(n+1)12+22+32+42+52+62+72+82+…+n2=n(n+1)(2n+1)/613+23+33+43+53+63+…n3=n2(n+1)2/41*2+2*3+3*4+4*5+5*6+6*7+…+n(n+1)=n(n+1)(n+2)/3正弦定理a/sinA=b/sinB=c/sinC=2R 注：其中R 表示三角形的外接圆半径余弦定理b2=a2+c2-2accosB 注：角B是边a和边c的夹角正切定理:[(a+b)/(a-b)]={[Tan(a+b)/2]/[Tan(a-b)/2]}圆的标准方程(x-a)2+(y-b)2=r2 注：（a,b）是圆心坐标圆的一般方程x2+y2+Dx+Ey+F=0 注：D2+E2-4F>0抛物线标准方程y2=2px y2=-2px x2=2py x2=-2py直棱柱侧面积S=c*h 斜棱柱侧面积S=c'*h正棱锥侧面积S=1/2c*h' 正棱台侧面积S=1/2(c+c')h'圆台侧面积S=1/2(c+c')l=pi(R+r)l 球的表面积S=4pi*r2圆柱侧面积S=c*h=2pi*h 圆锥侧面积S=1/2*c*l=pi*r*l弧长公式l=a*r a是圆心角的弧度数r >0 扇形面积公式s=1/2*l*r 锥体体积公式V=1/3*S*H 圆锥体体积公式V=1/3*pi*r2h斜棱柱体积V=S'L 注：其中,S'是直截面面积，L是侧棱长柱体体积公式V=s*h 圆柱体V=pi*r2h-----------------------三角函数积化和差和差化积公式记不住就自己推，用两角和差的正余弦：cos(A+B)=cosAcosB-sinAsinBcos(A-B)=cosAcosB+sinAsinB这两式相加或相减，可以得到2组积化和差:相加：cosAcosB=[cos(A+B)+cos(A-B)]/2相减：sinAsinB=-[cos(A+B)-cos(A-B)]/2sin(A+B)=sinAcosB+sinBcosAsin(A-B)=sinAcosB-sinBcosA这两式相加或相减，可以得到2组积化和差:相加：sinAcosB=[sin(A+B)+sin(A-B)]/2相减：sinBcosA=[sin(A+B)-sin(A-B)]/2这样一共4组积化和差，然后倒过来就是和差化积了不知道这样你可以记住伐，实在记不住考试的时候也可以临时推导一下正加正正在前正减正余在前余加余都是余余减余没有余还负正余正加余正正减余余余加正正余减还负.3.三角形中的一些结论：(不要求记忆)(1)anA+tanB+tanC=tanA·tanB·tanC(2)sinA+tsinB+sinC=4cos(A/2)cos(B/2)cos(C/2)(3)cosA+cosB+cosC=4sin(A/2)·sin(B/2)·sin(C/2)+1(4)sin2A+sin2B+sin2C=4sinA·sinB·sinC(5)cos2A+cos2B+cos2C=-4cosAcosBcosC-1 ...........................已知sinα=m sin(α+2β), |m|<1,求证tan(α+β)=(1+m)/(1-m)tanβ解:sinα=m sin(α+2β)sin(a+β-β)=msin(a+β+β)sin(a+β)cosβ-cos(a+β)sinβ=msin(a+β)cosβ+mcos(a+β)sinβsin(a+β)cosβ(1-m)=cos(a+β)sinβ(m+1) tan(α+β)=(1+m)/(1-m)tanβ。
三角函数公式大全及其推导方法
三角函数公式大全及其推导1. 三角函数的定义由此，我们定义：如Figure I, 在ΔABC 中sin () cos () tan ()11 cot ()tan 11 sec ()cos 11 csc ()sin bca cb a a b b ac a a c c b b c θθθθθθθθθθθθθθθ∠=∠=∠=∠===∠===∠===对边的正弦值：斜边邻边的余弦值：斜边对边的正切值：邻边邻边的余切值：对边斜边的正割值：邻边斜边的余割值：对边备注：当用一个字母或希腊字母表示角时，可略写∠符号，但用三个子母表A c b θ Figure I示时，不能省略。
在本文中，我们只研究sin 、cos 、tan 。
2. 额外的定义222222sin (sin )cos (cos )tan (tan )θθθθθθ===3. 简便计算公式22sin cos cos(90)cos sin sin(90)111tan tan tan(90)sin cos 1b A cc A b b a a A bθθθθθθθθ===-∠===-∠====-∠+= 证明： 2222222222901sin sin 1sin cos 1ABC ABC a b c a b c cB A θθ∆∠=∴+=∴+=∴+=∴+=在中,证完222222sin tan cos sin cos 1tan 1cos cos cos bb c a a cθθθθθθθθθ===+=+= 4. 任意三角形的面积公式如Figure II , C a b hFigure II121sin 21sin ()2ABC S ah ab C ac B ∆===两边和其夹角正弦的乘积 5. 余弦定理：任意三角形一角的余弦等于两邻边的平方和减对边的平方之差与两邻边积的两倍之比。
证明：如Figure II, 2222222222222222222222(cos )(sin )2cos cos sin =2cos (cos sin )2cos cos 22b d h a c B c B a ac B c B c Ba ac B c B B a c ac Bb ac a c b B ac ac=+=-+=-++-++=+---+-⇒==-证完6. 海伦公式证明：如Figure II ,1sin 212121212ABC S ab C∆=========2ABC a b cs S ∆===++=设： 7. 正弦定理如 Figure III ,c 为ΔABC 外接圆的直径,sin 2 sin a A c ac r r ABC A =∴==∆（为的外接圆半径）同理：, sin sin 2sin sin sin b c c c B C a b c r A B C ==∴===8. 加法定理(1) 两角差的余弦如 Figure IV , AOC BOC AOB αβαβ∠=∠∠=∠∠=∠-∠令AO=BO=r点A 的横坐标为cos A x r α=点A 的纵坐标为sin A y r α=点B 的横坐标为cos B x r β=Figure IV点B 的纵坐标为sin B y r β=()()()()()()22222222222222222222222222sin sin cos cos sin sin 2sin sin cos cos 2cos cos sin sin 2sin sin cos cos 2cos cos sin cos sin cos 2sin sin 2cos cos 112s A B A B AB y y x x r r r r r r r r r r r r r αββααβαβαβαβαβαβαβαβααββαβαβ=-+-=-+-=+-++-=+-++-=+++--=+-()()()22in sin cos cos 22sin sin cos cos 21sin sin cos cos r r αβαβαβαβαβαβ+⎡⎤⎣⎦=-+⎡⎤⎣⎦=-+⎡⎤⎣⎦由余弦公式可得：()()()()2222222222cos 2cos 22cos 22cos 21cos AB AC BC AC BC ACBr r r r r r r r αβαβαβαβ=+-⋅∠=++⋅-=+-=--⎡⎤⎣⎦=--⎡⎤⎣⎦综上得：()cos sin sin cos cos αβαβαβ-=+(2) 两角和的余弦()()()()cos cos sin sin cos cos sin sin cos cos cos cos sin sin αβαβαβαβαβαβαβαβ+=--⎡⎤⎣⎦=-+-=-+=-(3) 两角和的正弦()()()()()sin cos 90cos 90sin 90sin cos 90cos cos sin sin cos αβαβαβαβαβαβαβ+=︒-+⎡⎤⎣⎦=︒--⎡⎤⎣⎦=︒-+︒-=+(4) 两角差的正弦()()()()sin sin cos sin sin cos cos sin sin cos sin cos cos sin αβαβαβαβαβαβαβαβ-=+-⎡⎤⎣⎦=-+-=-+=-(5) 两角和的正切()()()sin tan cos cos sin sin cos cos cos sin sin cos sin sin cos cos cos cos cos sin sin cos cos sin sin cos cos sin sin 1cos cos tan tan 1tan tan αβαβαβαβαβαβαβαβαβαβαβαβαββαβααβαβαβαβ++=++=-+=-+=-+=-(6) 两角差的正切()()()()tan tan tan tan 1tan tan tan tan 1tan tan αβαβαβαβαβαβ-=+-⎡⎤⎣⎦+-=---=+ 9. 两倍角公式()()()()()()()222222222222sin 2sin sin cos sin cos 2sin cos cos 2cos cos cos sin sin cos sin 12sin 2cos 1sin 2tan 2cos 22sin cos cos sin 2sin cos cos cos sin cos 2sin cos sin 1cos 2tan 1ta αααααααααααααααααααααααααααααααααααααα=+=+==+=-=-=-=-==-=-=-=-2n α10. 积化和差公式()()()()1sin cos 2sin cos 21sin cos sin cos cos sin cos sin 21sin sin 2αβαβαβαβαβαβαβαβ==++-=++-⎡⎤⎣⎦()()()()()()()()1cos cos 2cos cos 21cos cos cos cos sin sin sin sin 21cos cos 21sin sin 2sin sin 21sin sin sin sin cos cos cos cos 21cos cos 2αβαβαβαβαβαβαβαβαβαβαβαβαβαβαβαβ==++-=++-⎡⎤⎣⎦==++-=+--⎡⎤⎣⎦ 11. 和差化积公式 (1)设：A=α+β, B=α-β,()()()()sin sin sin sin sin cos cos sin sin cos cos sin 2sin cos 2sin cos 222sin cos 22sin sin sin sin sin cos cos sin sin cos cos sin 2cos si A B A B A B A B αβαβαβαβαβαβαβαβαβαβαβαβαβαβαβαβαβα+=++-=++-=++-+--⎛⎫⎛⎫= ⎪ ⎪⎝⎭⎝⎭+-⎛⎫⎛⎫= ⎪ ⎪⎝⎭⎝⎭-=+--=+-+=n 2cos sin 222cos sin 22A B A B βαβαβαβαβ++-+-+⎛⎫⎛⎫= ⎪ ⎪⎝⎭⎝⎭+-⎛⎫⎛⎫= ⎪ ⎪⎝⎭⎝⎭(2)设：cos sin αα==∵22cos sin 1αα+=()()sin sin coscos sin sin cossinsin baθθθθαθαθαθ+=+=+=+12.其他常用公式()()()()()()()()()()()()()()000sin 360sin cos 360cos tan 360tan sin 90cos cos 90sin 1tan 90tan sin 90cos cos 90sin 1tan 90tan sin 90cos cos 90sin 1tan 90tan sin 180sin cos 180cos n n n θθθθθθθθθθθθθθθθθθθθθθθθθθθ+⨯=+⨯=+⨯=︒-=︒-=︒-=︒+=︒+=-︒+=--︒=--︒=-︒=-︒-=︒-=-()()()()()()()()tan 180tan sin 180sin cos 180cos tan 180tan sin sin cos cos tan tan tan 2190 1cos 1cos 11sin 1sin 1n θθθθθθθθθθθθθθθθθθθ︒-=-±︒=-±︒=-±︒=-=--=-=-+⨯︒⎡⎤⎣⎦-≤≤⇒≤-≤≤⇒≤不存在13. 特殊的三角函数值14. 关于机器算法在计算机中，三角函数的算法是这样的，其中x 用弧度计算()()1357210246sin 1!3!5!7!21!cos 0!2!4!6!2!n n nn x x x x x x n x x x x x x n +=∞=∞=-+-+=+=-+-+=∑∑推导公式：(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＋α）＝cosα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！＋…此时三角函数定义域已推广至整个复数集。
三角函数的万能公式及其证明
三角函数的万能公式及其证明三角函数是数学中重要的概念，它们在几何学、物理学、工程学以及其他许多领域中都有广泛的应用。
三角函数的万能公式是一组基本的恒等式，用于将三角函数之间的关系相互转换。
本文将介绍三角函数的万能公式及其证明。
一、正弦函数的万能公式正弦函数的万能公式可以用来表示任意两个三角函数之间的关系。
假设a、b、c为实数，且a+b+c=π。
那么正弦函数的万能公式可表示为：sin(a + b + c) = sin a cos b cos c + cos a sin b cos c + cos a cos b sin c - sin a sin b sin c该公式的证明基于三角函数的和差化积公式和三角函数的倍角公式。
证明步骤如下：1. 根据和差化积公式，将sin(a + b + c)展开成和差形式，得到：sin(a + b + c) = sin((a + b) + c)2. 根据三角函数的和差化积公式，将sin((a + b) + c)展开，得到：sin((a + b) + c) = sin(a + b)cos c + cos(a + b)sin c3. 再次利用和差化积公式，将sin(a + b)和cos(a + b)展开，得到：sin(a + b) = sin a cos b + cos a sin bcos(a + b) = cos a cos b - sin a sin b4. 将上述展开结果带入步骤2中的公式，得到：sin((a + b) + c) = (sin a cos b + cos a sin b)cos c + (cos a cos b - sin a sin b)sin c5. 化简上式并合并同类项，得到：sin((a + b) + c) = sin a cos b cos c + cos a sin b cos c + cos a cos b sin c - sin a sin b sin c综上所述，我们证明了正弦函数的万能公式。
三角函数公式及推导
三角函数公式及推导
三角函数是数学中常见的函数之一，常用于解决与角度相关的问题。
三角函数公式是三角函数的基本知识点之一，掌握了三角函数公式，就能更好的理解和应用三角函数。
三角函数公式主要包括正弦、余弦、正切、余切、正割、余割等六种函数的公式。
这些公式可以通过三角函数的定义和性质来推导得到。
正弦函数公式：sin(a+b)=sinacosb+cosasinb
余弦函数公式：cos(a+b)=cosacosb-sinasinb
正切函数公式：tan(a+b)= (tana + tanb)/ (1 - tana*tanb) 余切函数公式：cot(a+b)= (cota*cotb - 1) / (cota + cotb) 正割函数公式：sec(a+b)= (secacosb+sinasectanb) / (secb) 余割函数公式：csc(a+b)= (cscacosc+b) / (sincosb)
以上公式都可以通过三角函数的定义和一些基本的代数运算及恒等式推导出来。
了解这些公式，可以在解决复杂三角函数问题时更灵活应用。
除了以上推导的公式，还有许多其它的三角函数公式，比如二倍角公式、半角公式、余角公式等等，这些公式也是非常重要的。
在学习三角函数时，需要重点掌握这些公式，才能更好地理解和运用三角函数。
三角函数公式的推导并不是一件容易的事情，需要对三角函数的性质和一些基本的代数运算非常熟练才能够推导得出。
因此，在学习
三角函数时，需要认真掌握每一个知识点，努力理解和应用三角函数公式，才能在以后的学习和工作中发挥更大的作用。
三角函数公式大全及推导过程
三角函数公式大全及推导过程三角函数是数学中重要的一类函数，用来描述角的性质和角度之间的关系。
常用的三角函数有正弦函数、余弦函数和正切函数，它们之间有很多重要的关系与性质。
下面我们就来总结一下三角函数的公式及推导过程。
一、正弦函数和余弦函数的基本关系：1.弧度和角度的关系：单位圆上的弧长与半径之比称为弧度。
一周的弧长为2π，对应的角度为360度。
因此有以下关系：360度=2π弧度2.余弦函数的定义：单位圆上，从x轴正向到P点的弧长与半径之比，称为角P的余弦。
记作cosP。
根据定义，cosP = x/r3.正弦函数和余弦函数的关系：在单位圆上的点P(x,y)，有以下关系：y=√(1-x²)（根据勾股定理）而x²+y²=1（根据单位圆的定义）整理得y=√(1-x²)所以，sinP = y/r = √(1 - x²)/r由cosP = x/r，得x² + (cosP)² = 1整理得x = √(1 - (sinP)²)所以，cosP = √(1 - (sinP)²)/r二、正弦函数和余弦函数的性质：1.值域和周期：sinP和cosP的值域都是[-1, 1]，周期都是2π。
2.平凡性质：sin(0) = 0, cos(0) = 1sin(π/2) = 1, cos(π/2) = 0sin(π) = 0, cos(π) = -1sin(3π/2) = -1, cos(3π/2) = 0三、正弦函数和余弦函数的和差公式：1.正弦函数的和差公式：sin(A + B) = sinAcosB + cosAsinBsin(A - B) = sinAcosB - cosAsinB2.余弦函数的和差公式：cos(A + B) = cosAcosB - sinAsinBcos(A - B) = cosAcosB + sinAsinB推导过程：对于sin(A + B)，设角A和角B的坐标分别为(Ax, Ay)和(Bx, By)。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
三角函数公式及证明
（ 编辑整理 2013.5.3）
基本定义
1.任意角的三角函数值：
在此单位圆中，弧AB 的长度等于α； B 点的横坐标αcos =x ，纵坐标
αsin =y ；
（由 三角形OBC 面积<弧形OAB 的面积<三角形OMA 的面积 可得： a a tan sin <<α （2
0πα<<））
2.正切：
α
α
αcos sin tan =
基本定理
1.勾股定理： 1cos sin 22=+αα 1.正弦定理：
A a sin =
B b sin =C
c sin = 2R （R 为三角形外接圆半径） 2.余弦定理：a 2
=b 2
+c 2
-2bc A cos bc
a c
b A 2cos 2
22-+=⇒
3.诱导公试:
απ
±k 2
cot
tan cos
sin ⇔⇔
奇变偶不变，符号看相线
4.正余弦和差公式:
①βαβαβαsin cos cos sin )sin(±=± ②βαβαβαsin sin cos cos )cos(μ=±
推导结论
1. 基本结论
ααα2sin 1)cos (sin 2+=+
α
α2
2cos 1
1tan =
+ 2. 正切和差公式：
β
αβ
αβαβαβ
αβαβαβαβαtan tan 1tan tan sin sin cos cos sin cos cos sin )cos()sin()
tan(μμ±=
⎪⎪⎭
⎫ ⎝⎛±=±±=±
3.二倍角公式（包含万能公式）：
θ
θθθθθθθθ2
22tan 1tan 2cos sin cos sin 2cos sin 22sin +=⎪⎭⎫ ⎝⎛+== θθ
θθθθθθθθθ2222222
2
2
2
tan 1tan 1cos sin sin cos sin 211cos 2sin cos 2cos +-=⎪⎪⎭
⎫ ⎝⎛+-=-=-=-=
θ
θ
θθθ2tan 1tan 22cos 2sin 2tan -=
=
θ
θ
θθ222
tan 1tan 22cos 1sin +=-=
22cos 1cos 2θθ+=
4.半角公式：（符号的选择由2θ
所在的象限确定）
2cos 12
sin
θθ
-±
= 2cos 12sin 2θθ-= 2sin 2cos 12θ
θ=- 2cos 12
cos
θθ
+±
= 2cos 12cos 2θθ+= 2
cos 2cos 12θ
θ=+ θθθθθ
θ
θ
θ
θ
θ
θθθ
θθ
sin cos 12
sin 2cos 2sin
2
sin
cos 1sin 2cos
2cos 2cos
2
sin cos 1cos 12
tan
-=••=
+=
••=
+-±
=
2
sin
2cos )2sin 2(cos sin 12θ
θθθθ±=±=±
5.积化和差公式：
[]
)sin()sin(2
1
cos sin βαβαβα-++=[])sin()sin(2
1
sin cos βαβαβα--+=
[])cos()cos(21
cos cos βαβαβα-++=
()[]βαβαβα--+-=cos )cos(2
1sin sin
6.和差化积公式：
①2cos
2sin
2sin sin β
αβ
αβα-+=+ ②2sin
2cos
2sin sin β
αβ
αβα-+=-
③2cos 2cos 2cos cos βαβαβα-+=+ ④2
sin
2sin 2cos cos β
αβαβα-+-=-
7.三角形面积公式
S ⊿=21a a h ⋅=21ab C sin =21bc A sin =21
ac B sin
=R abc 4 =2R 2A sin B sin C sin
=A C B a sin 2sin sin 2=B C A b sin 2sin sin 2=C
B A c sin 2sin sin 2
=pr
=))()((c p b p a p p --- (海伦公式，证明见下文)
(其中)(2
1
c b a p ++=, r 为三角形内切圆半径)
定理结论的证明
1. 勾股定理的证明：
本证明选自《几何原本》(欧几里得)第I卷命题47.
2.正弦定理的证明：
做三角形外接圆进行证明；需利用结论同弧所对的圆周角相等，及直径所对圆周角为直角；
同弧所对圆周角相等的证明：
本证明选自《几何原本》(欧几里得)第III卷命题20. 直径所对圆周角为直角的证明：
本证明选自《几何原本》(欧几里得)第III卷命题31.
3.余弦定理的证明：
本证明选自《几何原本》(欧几里得)第II卷命题12,13.
4.诱导公式的证明：
同理可证
ααπαππαπcos )2
sin()2sin()23sin(-=+-=++=+ ααπαππαπsin )2
cos()2cos()23cos(=+-=++=+ 本证明选自人教版高中数学教材.
5.正余弦和差公式的证明:
))(sin()sin(βαβα--=+可得)sin(βα+的结论 本证明选自人教版高中数学教材.
5. 海伦公式的证明:
本证明选自d3e182.html。