本页从诱导公式和和差公式出发,依次整理倍角、降幂、和积互化、半角及万能公式,并说明各组公式的推导关系。正弦、余弦恒等式通常适用于任意实角;正切和分式形式需要额外检查分母。
诱导公式完整表与符号来源
下表各式在对应函数有定义处成立;s=sinx,c=cosx,t=tanx,q=cotx。
| 角 |
正弦 |
余弦 |
正切 |
余切 |
| −x |
−s |
c |
−t |
−q |
| π−x |
s |
−c |
−t |
−q |
| π+x |
−s |
−c |
t |
q |
| π/2−x |
c |
s |
q |
t |
| π/2+x |
c |
−s |
−q |
−t |
| 3π/2−x |
−c |
−s |
q |
t |
| 3π/2+x |
−c |
s |
−q |
−t |
| 2π−x |
−s |
c |
−t |
−q |
| 2π+x |
s |
c |
t |
q |
加 2kπ 不改六种三角函数;正切、余切还可加 kπ。正割、余割的对应式分别把余弦、正弦的结果取倒数,零分母处仍排除。
证明来源是单位圆上的反射和直角旋转:关于 x 轴反射使 (c,s) 变为 (c,−s);半周使它变为 (−c,−s);转过 π/2 使它变为 (−s,c)。组合这三种动作得到表中正弦和余弦的每行,商则给出正切和余切。所谓“奇变偶不变”只是这些对应的记忆法,不应代替具体公式及定义域。
求值时先减去整周,化到 [0,2π);再用反射和互余化到第一象限或坐标轴,保留符号;最后应用已知值。轴上角须直接检查定义,不能都当作锐角。
和角、差角与二倍角公式
以下角均为实数。正弦、余弦公式不附加角度范围;含正切或分式时须检查定义域。角度可用弧度或角度制,但同一式中须统一。
和角与差角:六个公式
sin(α+β)sin(α−β)cos(α+β)cos(α−β)=sinαcosβ+cosαsinβ,=sinαcosβ−cosαsinβ,=cosαcosβ−sinαsinβ,=cosαcosβ+sinαsinβ.
tan(α+β)tan(α−β)=1−tanαtanβtanα+tanβ,=1+tanαtanβtanα−tanβ.
正切公式要求 cosαcosβ=0,且所用的分母 1∓tanαtanβ=0;后一个条件保证 cos(α±β)=0。例如 α=β=π/2 时,左边的 tan(α+β)=0 虽有意义,右边仍不能使用。
二倍角与降幂
sin2x=2sinxcosx,
cos2x=cos2x−sin2x=1−2sin2x=2cos2x−1,
tan2x=1−tan2x2tanx(cosx=0, tan2x=1).
移项后得到降幂公式:
sin2x=21−cos2x,cos2x=21+cos2x,sinxcosx=2sin2x.
和差公式处理“角的加减”;倍角公式统一 x,2x;降幂公式把二次乘积化成一次三角函数。它们是同一组等式的不同使用方向。
和差与倍角公式的推导起点
采用单位圆定义以及平面两点距离公式。单位圆上角 α,β 对应的点为 P=(cosα,sinα)、Q=(cosβ,sinβ)。展开坐标距离:
PQ2=2−2(cosαcosβ+sinαsinβ).
将整个图形绕原点旋转 −β,距离不变,两点变为 (cos(α−β),sin(α−β)) 和 (1,0),故
PQ2=2−2cos(α−β).
比较即得余弦差角公式。把 β 换成 −β,利用余弦为偶函数、正弦为奇函数,得到余弦和角公式。
再由单位圆的互余关系 sinu=cos(π/2−u),
sin(α+β)=cos((π/2−α)−β)=sinαcosβ+cosαsinβ.
把 β 换成 −β 得正弦差角公式。将正弦和差公式除以相应的余弦公式,再把分子分母同除以 cosαcosβ,得到正切公式;这两次除法正是需要非零条件的地方。
最后在和角公式中令 α=β=x,得到二倍角公式。利用 sin2x+cos2x=1 消去其中一个平方项,即得到余弦二倍角的三种写法及降幂公式。
积化和差与和差化积:八式及推导
积化和差:四个公式
sinαcosβcosαsinβcosαcosβsinαsinβ=2sin(α+β)+sin(α−β),=2sin(α+β)−sin(α−β),=2cos(α+β)+cos(α−β),=2cos(α−β)−cos(α+β).
推导时,令 S+=sin(α+β)、S−=sin(α−β)。两式相加,含 cosαsinβ 的项抵消,得到 S++S−=2sinαcosβ;两式相减则得到 S+−S−=2cosαsinβ。
同理令 C+=cos(α+β)、C−=cos(α−β)。相加得 C++C−=2cosαcosβ;用差角减和角得 C−−C+=2sinαsinβ。各式除以 2,即为上表。
和差化积:四个公式
sinα+sinβsinα−sinβcosα+cosβcosα−cosβ=2sin2α+βcos2α−β,=2cos2α+βsin2α−β,=2cos2α+βcos2α−β,=−2sin2α+βsin2α−β.
令 u=(α+β)/2,v=(α−β)/2,则 u+v=α,u−v=β。把积化和差四式的角改成 u,v,再把“积”移到右边,依次得到以上四式。最后一式的负号来自 cos(u+v)−cos(u−v)=−2sinusinv,不能丢掉。
全部八式对任意实数角成立,推导没有除以任何三角函数。
半角公式:平方、根式与正切的不同条件
在降幂公式中把 x 换为 x/2:
sin22x=21−cosx,cos22x=21+cosx.
因而
sin2x=±21−cosx,cos2x=±21+cosx.
这里的 ± 不是可以任选:须分别由 x/2 所在象限决定;两式也不必同号。已知 x 的范围时,要先除以 2 再判断象限。
正切半角的三种写法须分别列条件:
tan2x=1+cosxsinx(cosx=−1),
tan2x=sinx1−cosx(sinx=0),
tan2x=±1+cosx1−cosx(cosx=−1).
第一式:代入 sinx=2sin(x/2)cos(x/2) 和 1+cosx=2cos2(x/2),约去非零的 2cos(x/2)。第二式:用 1−cosx=2sin2(x/2),约去非零的 2sin(x/2)。第三式:两条平方半角公式相除后开方,符号由 tan(x/2) 决定。
例如 x=0 时第一式成立、第二式无定义;x=4π/3 时 x/2 在第二象限,正弦半角取正、余弦半角取负、正切半角取负。不能把三个分式无条件写在一条等号链上。
三倍角公式:多项式形式与正切条件
sin3x=3sinx−4sin3x,cos3x=4cos3x−3cosx,
tan3x=1−3tan2x3tanx−tan3x(cosx=0, 1−3tan2x=0).
写 s=sinx,c=cosx,把 3x=2x+x 展开:
sin3xcos3x=2sc⋅c+(1−2s2)s=2s(1−s2)+s−2s3=3s−4s3,=(2c2−1)c−2sc⋅s=2c3−c−2c(1−c2)=4c3−3c.
正切公式由两式相除得到:先写分子为 3sc2−s3、分母为 c3−3cs2,再同除以 c3。它不要求 tan2x 存在。例如 x=π/4 时此公式仍可用,不能因为经由正切二倍角的某条推导中间无定义而额外排除它。
平方差形式的常用恒等式
对任意实数 α,β,有
sin2α−sin2β=sin(α+β)sin(α−β),
cos2α−cos2β=−sin(α+β)sin(α−β),
cos2α−sin2β=cos(α+β)cos(α−β).
证明。 第一式由
sin2α−sin2β=2cos2β−cos2α=sin(α+β)sin(α−β)
得到;第二式用 cos2t=1−sin2t 取相反数。第三式由
cos2α−sin2β=2cos2α+cos2β=cos(α+β)cos(α−β)
得到。它们适合将平方差化为积,以便判断符号、求零点或约分;约分仍须单独保留因子为零的情形。
三倍角的乘积形式及证明
三个乘积公式为
sin3x=4sinxsin(π/3−x)sin(π/3+x),
cos3x=4cosxcos(π/3−x)cos(π/3+x),
tan3x=tanxtan(π/3−x)tan(π/3+x).
前两式对所有实数 x 成立;第三式要求 cosx,cos(π/3−x),cos(π/3+x) 均非零。这也保证它们乘积的四倍 cos3x 非零。
先展开两侧偏移角的乘积:
sin(u−v)sin(u+v)=(sinucosv−cosusinv)(sinucosv+cosusinv)=sin2ucos2v−cos2usin2v=sin2u−sin2v.
取 u=π/3,v=x,中间两个正弦的乘积为 3/4−sin2x;再乘 4sinx,得到 3sinx−4sin3x=sin3x。
余弦情形同样展开:
cos(u−v)cos(u+v)=cos2ucos2v−sin2usin2v=cos2u−sin2v.
取 u=π/3,v=x,得 1/4−sin2x=cos2x−3/4;乘 4cosx 即得 cos3x。最后将正弦连乘式除以余弦连乘式,便得到正切连乘式。
例如 x=π/9 时,sin(π/9)sin(2π/9)sin(4π/9)=sin(π/3)/4=3/8。
任意整数倍角的多项式结构
多倍角不仅有二倍角、三倍角公式。对每个非负整数 n,存在整系数多项式 Tn,使
cos(nx)=Tn(cosx).
具体地,
T0(t)=1,T1(t)=t,Tn+1(t)=2tTn(t)−Tn−1(t)(n≥1).
证明。 将余弦和差公式相加,得
cos((n+1)x)+cos((n−1)x)=2cosxcos(nx).
递推起点为 1,cosx,每一步只做整系数的加减乘法,故得到所述多项式。n≥1 时 Tn 次数为 n,首项系数为 2n−1,可由递推逐步证明。比如 T2=2t2−1、T3=4t3−3t、T4=8t4−8t2+1。
正弦的结构与 n 的奇偶有关:n 为奇数时,sinnx 是 sinx 的 n 次整系数多项式;n 为正偶数时,它是 cosx 乘以 sinx 的 n−1 次整系数多项式。
由棣莫弗公式展开 (cosx+isinx)n 并取虚部,
sinnx=j=0∑⌊(n−1)/2⌋(−1)j(2j+1n)cosn−2j−1xsin2j+1x.
n 为奇数时,余弦的幂全为偶数,代入 cos2x=1−sin2x;n 为偶数时,先提出一个 cosx 再做同样代换,即得结论。各项均为有限多项式运算,不存在除以三角函数所造成的定义域损失。
万能公式:有理化与遗漏角
令 t=tan(x/2),要求 x=(2k+1)π(k∈Z)。由
1+t2=cos2(x/2)1
得
sinx=2tan2xcos22x=1+t22t,
cosx=(1−tan22x)cos22x=1+t21−t2.
因此三条万能公式是
sinx=1+t22t,cosx=1+t21−t2,tanx=1−t22t.
前两式对所有实数 t 都有意义,第三式另须 t=±1。解题流程是:记录原定义域;单独检查 x=(2k+1)π;对其余角使用换元;解出 t 后还原 x=2arctant+2kπ,最后代回原式。不能把换元未覆盖的角自动当作原方程无解。
例:特殊角求值与万能换元验解
由差角公式,
sin15∘=sin45∘cos30∘−cos45∘sin30∘=46−2.
再解 sinx=1+cosx。原式对所有实数 x 有意义。先检查 x=(2k+1)π:两边都为零,所以这些角是解。其余角令 t=tan(x/2):
1+t22t=1+1+t21−t2=1+t22.
因为 1+t2>0,等价于 t=1,给出 x=π/2+2kπ。完整解集为 x=π/2+2kπ 或 x=π+2kπ,k∈Z。漏查换元例外会漏掉整支解。
例:角的范围决定求值时的符号
设 sinα=3/5,α∈(π/2,π);cosβ=12/13,β∈(0,π/2)。先由范围得到 cosα=−4/5、sinβ=5/13,再代入
sin(α+β)=531312−54135=6516,
cos(α+β)=−541312−53135=−6563.
结果一正一负,说明和角在第二象限;这也与和角的范围相容。先求符号再代公式,可以避免根式开方时漏掉负号。
例:把三角式化为有范围限制的二次式
求 F(x)=sinx+cosx+sin2x 在 R 上的值域。设 t=sinx+cosx,由辅助角公式,t 遍历 [−2,2],并且 sin2x=t2−1。于是
F=t2+t−1=(t+21)2−45.
顶点 t=−1/2 在允许区间内,最小值为 −5/4;最大值比较两个端点,得 1+2。因二次函数在该区间连续,值域为 [−5/4,1+2]。
这一步成功的关键是求出了新变量的准确范围。若原来的 x 只取某一短区间,t 不一定遍历整个 [−2,2],答案必须重算。
关联阅读
先修:弧度、单位圆与基本三角函数。
同主题:弧度、单位圆与基本三角函数 · 三角图像、方程与辅助角。
返回主题目录 · 全站目录 · 符号约定