查看“︁高中数学/函数与三角/两角和与差的三角函数公式”︁的源代码

== 阅读指南 ==
[[File:Crystal Clear app gnome.png | Crystal Clear app gnome | 50px]]

希望快速了解或快速回顾高中数学的读者可以只看基础知识部分。其余部分是为需要参加学科考试或需要一定知识提升的读者准备的。

和角公式与差角公式是推导大量其它三角函数公式的基石。在证明和角公式与差角公式时，我们参照了中国大陆2003年版《全日制普通高级中学教科书·数学》的思路。这种证明不复杂，但是不算特别简明。在[[高中数学/目录/向量与复数|向量]]章节中学习了向量的[[高中数学/向量与复数/向量的点积与夹角|点积]]和[[高中数学/向量与复数/向量的叉积与伪向量|叉积]]后，和角公式与差角公式的几何意义会变得非常自然。

在后续的微积分课程中，利用[[高中数学/向量与复数/复数与三角学|复指数的欧拉恒等式]]也可以快速导出本节的和角公式和差角公式。但是欧拉恒等式的常见证明本身也是依赖许多三角函数公式的，因此并不适合作为和角公式和差角公式的证明方法，否则容易导致[[w:循环论证|循环论证]]。

=== 预备知识 ===
阅读本节内容只需要掌握[[高中数学/函数与三角/弧度制与任意角的三角函数值|弧度制与任意角的三角函数值]]章节的知识。

=== 考试要求 ===
大多数情况下，掌握和角公式与差角公式的正向与逆向使用即可。它们本身的证明步骤比较繁琐，不必作为学习重点，考试很少考它们的由来证明。

=== 后续课程联系 ===
在高中会作适当了解的[[高中数学/函数与三角/双曲函数及其恒等变换|双曲函数]]和后续微积分课程中的[[w:雅可比椭圆函数|雅可比椭圆函数]]也有类似的两个变量的加法与减法公式。

== 基础知识 ==
=== 知识引入 ===

=== 和角公式与差角公式 ===
==== 公式推导 ====
在平面直角坐标系的单位圆上取如下4个点：<br />
<math>P_1 = (1, 0), P_2 = (\cos (a+b), \sin (a+b)), P_3 = (\cos a, \sin a), P_4 = (\cos (-b), \sin (-b))</math><br />
这样取点的动机是我们希望设法用角a和角b的正弦值和余弦值的组合表示出这两角之和或两角之差的正余弦值。

由两点间的距离公式（[[初中数学/几何/毕氏定理及其逆定理|毕氏定理]]的推论）可知：<br />
<math>
\begin{array}{l}
|P_1 P_2|^2 = (\cos (a+b) - 1)^2 + \sin^2 (a+b) \\
|P_3 P_4|^2 = (\cos (-b) - \cos a)^2 + (\sin (-b) - \sin a)^2
\end{array}
</math>

记坐标系的原点为O，因为<math>\triangle P_1 O P_2</math>与<math>\triangle P_3 O P_4</math>全等，所以有<math>|P_1 P_2|^2 = |P_3 P_4|^2</math>，即：<br />
<math>
\begin{array}{l}
(\cos (a+b) - 1)^2 + \sin^2 (a+b) = (\cos (-b) - \cos a)^2 + (\sin (-b) - \sin a)^2 \\
\Rightarrow \cos^2 (a+b) - 2 \cos (a+b) + 1 + \sin^2 (a+b) = \cos^2 (-b) - 2 \cos (-b) \cos a + \cos^2 a + \sin^2 (-b) - 2 \sin (-b) \sin a + \sin^2 a \\
\Rightarrow (\cos^2 (a+b) + \sin^2 (a+b)) - 2 \cos (a+b) + 1 = \cos^2 b - 2 \cos b \cos a + \cos^2 a + \sin^2 b + 2 \sin b \sin a + \sin^2 a \\
\Rightarrow 1 - 2 \cos (a+b) + 1 = (\sin^2 b + \cos^2 b) + (\sin^2 a + \cos^2 a) - 2 \cos b \cos a + 2 \sin b \sin a \\
\Rightarrow 2 - 2 \cos (a+b) = 1 + 1 - 2 \cos b \cos a + 2 \sin b \sin a \\
\Rightarrow - 2 \cos (a+b) = - 2 \cos b \cos a + 2 \sin b \sin a \\
\Rightarrow \cos (a+b) = \cos a \cos b - \sin a \sin b
\end{array}
</math><br />
最后一步出现的式子叫做'''两个任意角之差的余弦值公式'''（'''subtraction formula for cosine of two arbitrary angles'''或'''difference formula for cosine of two arbitrary angles'''），它对于任意的角a和b都成立。上式演算的核心思路就是打开平方，并将相似的正、余弦的平方项整理到一起，以便利用对任意角始终成立的[[高中数学/函数与三角/弧度制与任意角的三角函数值|毕氏三角学恒等式]]<math>\sin^2 x + \cos^2 x = 1</math>化简结果。

[[File:Crystal Clear action info.png | Crystal Clear action info | 50px]]
提示：三角函数记号有一些常见的简写规则需要注意：(1)<math>\sin ax</math>一般是指<math>\sin (ax)</math>，<math>\sin a \cos b</math>一般是指<math>(\sin a) \cdot (\cos b)</math>，<math>\sin^2 x</math>一般是指<math>(\sin x)^2</math>，<math>\sin x^2</math>一般是指<math>\sin (x^2)</math>；(2)当需要表达2个角之和的三角函数值，或一个角的负倍数的三角函数值时，函数的括号不能省略。例如<math>\sin (-a)</math>不能省略括号，<math>\sin (a+b)</math>省略括号后含义将会完全不同。

在上述公式中用-b替换b，就得到'''两个任意角之和的余弦值公式'''（'''addition formula for cosine of two arbitrary angles'''或'''sum formula for cosine of two arbitrary angles'''）：<br />
<math>\cos (a - b) = \cos a \cos (-b) - \sin a \sin (-b) = \cos a \cos b + \sin a \sin b</math>

继续使用以上结论，还可以得到2个诱导公式：<br />
:<math>\cos (\frac \pi 2 - a) = \cos \frac \pi 2 \cos a + \sin \frac \pi 2 \sin a = 0 \cdot \cos a + 1 \cdot \sin a = \sin a</math><br />
:<math>\cos a = \sin (\frac \pi 2 - a)</math>

[[File:Crystal Clear action info.png | Crystal Clear action info | 50px]]
提示：虽然这2个公式在初中/国中阶段初学[[初中数学/几何/三角比|三角比例]]时遇到过，但是此前并未将它们推广到对任意角都适用的情形。

利用上述的余弦的差角公式和2个诱导公式，可得'''两个任意角之和的正弦值公式'''（'''addition formula for sine of two arbitrary angles'''或'''sum formula for sine of two arbitrary angles'''）：<br />
<math>
\begin{align}
\sin (a + b) = \cos (\frac \pi 2 - (a + b))
= \cos ((\frac \pi 2 - a) - b)
= \cos (\frac \pi 2 - a) \cos b + \sin (\frac \pi 2 - a) \sin b
= \sin a \cos b + \cos a \sin b
\end{align}
</math><br />
再次用-b替换上述公式中的b，同样可得'''两个任意角之差的正弦值公式'''（'''subtraction formula for sine of two arbitrary angles'''或'''difference formula for sine of two arbitrary angles'''）。

最后，我们推导'''两角和与差的正切公式'''（'''sum and difference formulas for tangent'''或'''tangent sum and difference Formulas'''）<ref>{{cite web |url= https://www.cliffsnotes.com/study-guides/trigonometry/trigonometric-identities/tangent-identities |title=Tangent Identities |author= |publisher=CliffsNotes |language=en |date= |access-date=2021年1月8日}}</ref>：<br />
<math>
\tan(\alpha \pm \beta)
= \frac{\sin (\alpha \pm \beta)}{\cos (\alpha \pm \beta)}
= \frac{\sin \alpha \cos \beta \pm \cos \alpha \sin \beta}{\cos \alpha \cos \beta \pm \sin \alpha \sin \beta}
= \frac{\frac{\sin \alpha \cos \beta}{\cos \alpha \cos \beta} \pm \frac{\cos \alpha \sin \beta}{\cos \alpha \cos \beta}}{\frac{\cos \alpha \cos \beta}{\cos \alpha \cos \beta} \pm \frac{\sin \alpha \sin \beta}{\cos \alpha \cos \beta}}
= \frac{\frac{\sin \alpha}{\cos \alpha} \pm \frac{\sin \beta}{\cos \beta}}{1 \pm \frac{\sin \alpha}{\cos \alpha} \cdot \frac{\sin \beta}{\cos \beta}}
= \frac{\tan\alpha \pm \tan\beta}{1 \mp \tan\alpha \tan\beta}
</math>

我们将刚才导出的有关和与差的重要三角函数公式如下：
<blockquote style="padding: 1em; border: 2px dotted;">
[[File:Crystal Project Warehause.png | Crystal Project Warehause | 50px]]
正弦函数、余弦函数、正切函数的和角公式与差角公式列举如下<ref name="人教版数学_2003_和差公式">{{cite book |title=数学 |author=人民教育出版社中学数学室 |series=全日制普通高级中学教科书 (必修) |volume=第1册 (下) |publisher=[[w:人民教育出版社|人民教育出版社]] |location=中国北京沙滩后街55号 |edition=1 |isbn=7-107-17105-4 |section=第4章“三角函数”第2部分“两角和与差的三角函数”第4.6节“两角和与差的正弦、余弦、正切” |pages=34-42 |language=zh-cn |year=2003}}</ref>：
* 两角和与差的正弦公式：<math>\sin(\alpha \pm \beta) = \sin\alpha \cos\beta \pm \cos\alpha \sin\beta</math>
* 两角和与差的余弦公式：<math>\cos(\alpha \pm \beta) = \cos\alpha \cos\beta \mp \sin\alpha \sin\beta</math>
* 两角和与差的正切公式：<math>\tan(\alpha \pm \beta) = \frac{\tan\alpha \pm \tan\beta}{1 \mp \tan\alpha \tan\beta}</math>
其中的2个角度<math>\alpha</math>和<math>\beta</math>都可以是任意大小的角。这些两角的和与差的三角函数公式也统称为'''和差恒等式'''（'''sum and difference identities'''）。

2个推广到任意角的公式：
* <math>\cos (\frac \pi 2 - a) = \sin a</math>
* <math>\sin (\frac \pi 2 - a) = \cos a</math>
</blockquote>

本节最基础的是给角求值、给值求角、给值求值这3类问题。由于正弦与余弦的公式形式相似，所以我们将正/余弦的和/差角公式练习题单独放在一个小节，正切函数的和/差角公式也单独放在一个小节。

==== 正弦与余弦的和/差角公式的练习题 ====
<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
计算或化简下列各式：
:(1) <math>\sin 75^\circ + \cos \frac{5 \pi}{12}</math>；
:(2) <math>\sin 45^\circ \sin 15^\circ + \cos 45^\circ \cos 15^\circ</math>；
:(3) <math>\cos 44^{\circ} \sin 14^{\circ} - \sin 44^{\circ} \cos 14^{\circ}</math>；
:(4) <math>\frac{\cos (x - \frac{\pi}{4})}{\sin x + \cos x}</math>；
:(5) <math>\cos \frac{5 \pi}{12} \cos \frac{\pi}{6} + \cos \frac{\pi}{12} \sin \frac{\pi}{6}</math>；
:(6) <math>2 (\sin 35^\circ \cos 25^\circ + \sin 55^\circ \cos 65^\circ)</math>；
:(7) <math>\frac{2 \cos 10^\circ - \sin 20^\circ}{\cos 20^\circ}</math>。

<!-- 本小节例题1的解答 -->
<div class="collapsible solutions" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考解答：<br />
 (1) <br />
 <math>
 \begin{array}{l}
  \sin 75^\circ + \cos \frac{5 \pi}{12} \\
  = \sin 75^\circ + \cos 75^\circ \\
  = \sin (45^\circ + 30^\circ) + \cos (45^\circ + 30^\circ) \\
  = (\sin 45^\circ \cos 30^\circ + \cos 45^\circ \sin 30^\circ) + (\cos 45^\circ \cos 30^\circ - \sin 45^\circ \sin 30^\circ) \\
  = (\frac{\sqrt{2}}{2} \cdot \frac{\sqrt{3}}{2} + \frac{\sqrt{2}}{2} \cdot \frac 1 2) + (\frac{\sqrt{2}}{2} \cdot \frac{\sqrt{3}}{2} - \frac{\sqrt{2}}{2} \cdot \frac 1 2) \\
  = (\frac{\sqrt{6}}{4} + \frac{\sqrt{2}}{4}) + (\frac{\sqrt{6}}{4} - \frac{\sqrt{2}}{4}) \\
  = \frac{\sqrt{6} + \sqrt{2}}{4} + \frac{\sqrt{6} - \sqrt{2}}{4} \\
  = \frac{2 \sqrt{6}}{4} = \frac{\sqrt{6}}{2}
 \end{array}
 </math><br />
 (2) <br />
 <math>
 \begin{array}{l}
  \sin 45^\circ \sin 15^\circ + \cos 45^\circ \cos 15^\circ \\
  = \cos (45^\circ - 15^\circ) = \cos 30^\circ = \frac{\sqrt{3}}{2}
 \end{array}
 </math><br />
 (3) <br />
 <math>
 \begin{array}{l}
  \cos 44^\circ \sin 14^\circ - \sin 44^{\circ} \cos 14^{\circ} \\
  = \sin (14^\circ - 44^\circ) = - \sin (44^\circ - 14^\circ) \\
  = - \sin 30^\circ = - \frac 1 2
 \end{array}
 </math><br />
 (4) <br />
 <math>
 \begin{array}{l}
  \frac{\cos (x - \frac{\pi}{4})}{\sin x + \cos x} \\
  = \frac{\cos x \cos \frac{\pi}{4} + \sin x \sin \frac{\pi}{4}}{\sin x + \cos x} \\
  = \frac{\cos x \cdot \frac{\sqrt{2}}{2} + \sin x \cdot \frac{\sqrt{2}}{2}}{\sin x + \cos x} \\
  = \frac{\sqrt{2}}{2} \cdot \frac{\cos x + \sin x}{\sin x + \cos x} \\
  = \frac{\sqrt{2}}{2}
 \end{array}
 </math><br />
 (5) <br />
 <math>
 \begin{array}{l}
  \cos \frac{5 \pi}{12} \cos \frac{\pi}{6} + \cos \frac{\pi}{12} \sin \frac{\pi}{6} \\
  = \cos (\frac{\pi}{2} - \frac{\pi}{12}) \cos \frac{\pi}{6} + \cos \frac{\pi}{12} \sin \frac{\pi}{6} \\
  = \sin \frac{\pi}{12} \cos \frac{\pi}{6} + \cos \frac{\pi}{12} \sin \frac{\pi}{6} \\
  = \sin (\frac{\pi}{12} + \frac{\pi}{6}) \\
  = \sin \frac{\pi}{4} = \frac{\sqrt{2}}{2}
 \end{array}
 </math><br />
 (6) <br />
 <math>
 \begin{array}{l}
  2 (\sin 35^\circ \cos 25^\circ + \sin 55^\circ \cos 65^\circ) \\
  = 2 (\sin 35^\circ \cos 25^\circ + \sin (90^\circ - 35^\circ) \cos (90^\circ - 25^\circ)) \\
  = 2 (\sin 35^\circ \cos 25^\circ + \cos 35^\circ \sin 25^\circ) \\
  = 2 \sin (35^\circ + 25^\circ) = 2 \sin 60^\circ \\
  = 2 \times \frac{\sqrt{3}}{2} = \sqrt{3}
 \end{array}
 </math><br />
 (7) <br />
 <math>
 \begin{array}{l}
  \frac{2 \cos 10^\circ - \sin 20^\circ}{\cos 20^\circ} \\
  = \frac{2 \cos (30^\circ - 20^\circ) - \sin 20^\circ}{\cos 20^\circ} \\
  = \frac{2 (\cos 30^\circ \cos 20^\circ + \sin 30^\circ \sin 20^\circ) - \sin 20^\circ}{\cos 20^\circ} \\
  = \frac{2 (\frac{\sqrt{3}}{2} \cos 20^\circ + \frac 1 2 \sin 20^\circ) - \sin 20^\circ}{\cos 20^\circ} \\
  = \frac{\sqrt{3} \cos 20^\circ + \sin 20^\circ - \sin 20^\circ}{\cos 20^\circ} \\
  = \frac{\sqrt{3} \cos 20^\circ}{\cos 20^\circ} = \sqrt{3}
 \end{array}
 </math>
 </p>
</div>
<div class="collapsible finalAnswer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243); color: red;">
 <p>答案：(1)<math>\frac{\sqrt{6}}{2}</math>；(2)<math>\frac{\sqrt{3}}{2}</math>；(3)<math>- \frac 1 2</math>；(4)<math>\frac{\sqrt{2}}{2}</math>；(5)<math>\frac{\sqrt{2}}{2}</math>；(6)<math>\sqrt{3}</math>；(7)<math>\sqrt{3}</math>。</p>
</div>

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
已知<math>\alpha \in [0, \pi], \sin \frac{\alpha}{3} \sin \frac{4 \alpha}{3} + \cos \frac{\alpha}{3} \cos \frac{4 \alpha}{3} = 0</math>，求<math>\alpha</math>的值。

给值求值的问题一般需要先根据角度范围推测未知函数值的大小范围。再利用正余弦函数的毕氏三角学恒等式<math>\sin^2 x + \cos^2 x = 1</math>解方程。

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
已知<math>\alpha \in (\frac{\pi}{2}, \pi), \sin \alpha = \frac 3 5</math>，求<math>\cos (\frac{\pi}{4} - \alpha)</math>的值。

<!-- 本小节例题4 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
已知<math>\alpha</math>为锐角，<math>\beta</math>为第3象限角，且<math>\cos \alpha = \frac{12}{13}, \sin \beta = - \frac 3 5</math>，求<math>\cos (\alpha - \beta)</math>的值。

<!-- 本小节例题5 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题5：
已知<math>0 < \alpha < \frac{\pi}{2}, 0 < \beta < \frac{\pi}{2}, \cos \alpha = \frac{\sqrt{5}}{5}, \sin (\alpha - \beta) = \frac{\sqrt{10}}{10}</math>，求<math>\cos \beta</math>的值。

<!-- 本小节例题6 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题6：
在平面直角坐标系中xOy中，以Ox为始边作2个锐角<math>\alpha</math>和<math>\beta</math>，它们的终边分别与单位圆相交于A、B两点。已知A、B两点的横坐标分别为<math>\frac{\sqrt{2}}{10}</math>、<math>\frac{2 \sqrt{5}}{10}</math>，求<math>\cos (\alpha - \beta)</math>的值。

<!-- 本小节例题7 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题7：
已知<math>0 < \alpha < \frac{\pi}{2}, \cos \alpha = \frac 1 3</math>，分别求<math>\sin (\alpha + \frac{\pi}{4})</math>和<math>\sin (\alpha - \frac{\pi}{6})</math>的值。

<!-- 本小节例题8 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题8：
已知<math>0 < \alpha < \frac{\pi}{2}, 0 < \beta < \frac{\pi}{2}, \sin \alpha = \frac 1 3, \cos (\alpha + \beta) = \frac 4 5</math>。<br />
:(1) 求<math>\cos (\alpha - \frac{\pi}{3})</math>的值。<br />
:(2) 求<math>\sin \beta</math>的值。

也有一些给值求角的题目需要先求出其它相关的未知三角函数值，然后再反推出角度大小。

<!-- 本小节例题9 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题9：
已知<math>\alpha, \beta \in (0, \frac{\pi}{2}), \cos \alpha = \frac{2 \sqrt{5}}{5}, \cos \beta = \frac{\sqrt{10}}{10}</math>，求<math>\alpha - \beta</math>的值。

<!-- 本小节例题10 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题10：
已知<math>\frac{\pi}{2} < \alpha < \pi, \frac{\pi}{2} < \beta < \pi, \sin \alpha = \frac{\sqrt{5}}{5}, \cos \beta = \frac{- 3 \sqrt{10}}{10}</math>，求<math>\alpha + \beta</math>的值。

==== 涉及正切的和/差角公式的练习题 ====
<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
计算或化简下列各式：
:(1) <math>\frac{\tan 80^\circ - \tan 20^\circ}{1 + \tan 80^\circ \tan 20^\circ}</math>；
:(2) <math>\frac{\sqrt{3} + \tan 15^{\circ}}{1 - \sqrt{3} \tan 15^{\circ}}</math>；
:(3) <math>\frac{1 + \tan 15^\circ}{1 - \tan 15^\circ}</math>；
:(4) <math>\tan 25^\circ + \tan 35^\circ + \sqrt{3} \tan 25^\circ \tan 35^\circ</math>；
:(5) <math>\tan 36^{\circ} + \tan 84^{\circ} - \sqrt{3} \tan 36^{\circ} \tan 84^{\circ}</math>；
:(6) <math>(\tan 10^{\circ} - \sqrt{3}) \frac{\cos 10^{\circ}}{\sin 50^{\circ}}</math>。

<!-- 本小节例题1的解答 -->
<div class="collapsible solutions" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>参考解答：<br />
 (1) <br />
 <math>
 \begin{array}{l}
  \frac{\tan 80^\circ - \tan 20^\circ}{1 + \tan 80^\circ \tan 20^\circ} \\
  = \tan (80^\circ - 20^\circ) = \tan 60^\circ = \sqrt{3}
 \end{array}
 </math><br />
 (2) <br />
 <math>
 \begin{array}{l}
  \frac{\sqrt{3} + \tan 15^\circ}{1 - \sqrt{3} \tan 15^\circ} = \frac{\tan 60^\circ + \tan 15^\circ}{1 - \tan 60^\circ \tan 15^\circ} \\
  = \tan (60^\circ + 15^\circ) = \tan (45^\circ + 30^\circ) \\
  = \frac{\tan 45^\circ + \tan 30^\circ}{1 - \tan 45^\circ \tan 30^\circ} \\
  = \frac{1 + \frac{\sqrt{3}}{3}}{1 - 1 \times \frac{\sqrt{3}}{3}} = \frac{\frac{3 + \sqrt{3}}{3}}{\frac{3 - \sqrt{3}}{3}} = \frac{3 + \sqrt{3}}{3 - \sqrt{3}} \\
  = \frac{(3 + \sqrt{3})(3 + \sqrt{3})}{(3 - \sqrt{3})(3 + \sqrt{3})} = \frac{(3 + \sqrt{3})^2}{3^2 - (\sqrt{3})^2} = \frac{9 + 6 \sqrt{3} + 3}{9 - 3} \\
  = \frac{12 + 6 \sqrt{3}}{6} = 2 + \sqrt{3}
 \end{array}
 </math><br />
 (3) <br />
 <math>
 \begin{array}{l}
  \frac{1 + \tan 15^\circ}{1 - \tan 15^\circ} = \frac{1 + \tan 15^\circ}{1 - 1 \times \tan 15^\circ} \\
  = \frac{\tan 45^\circ + \tan 15^\circ}{1 - \tan 45^\circ \tan 15^\circ} \\
  = \tan (45^\circ + 15^\circ) = \tan 60^\circ = \sqrt{3}
 \end{array}
 </math><br />
 (4) <br />
 <math>
 \tan (25^\circ + 35^\circ) = \frac{\tan 25^\circ + \tan 35^\circ}{1 - \tan 25^\circ \tan 35^\circ}
 \quad \Leftrightarrow \quad
 \tan 25^\circ + \tan 35^\circ = \tan (25^\circ + 35^\circ) (1 - \tan 25^\circ \tan 35^\circ)
 </math><br />
 由此可知：<br />
 <math>
 \begin{array}{l}
  (\tan 25^\circ + \tan 35^\circ) + \sqrt{3} \tan 25^\circ \tan 35^\circ \\
  = \tan (25^\circ + 35^\circ) (1 - \tan 25^\circ \tan 35^\circ) + \sqrt{3} \tan 25^\circ \tan 35^\circ \\
  = \tan 60^\circ (1 - \tan 25^\circ \tan 35^\circ) + \sqrt{3} \tan 25^\circ \tan 35^\circ \\
  = \sqrt{3} (1 - \tan 25^\circ \tan 35^\circ) + \sqrt{3} \tan 25^\circ \tan 35^\circ \\
  = \sqrt{3} (1 - \tan 25^\circ \tan 35^\circ + \tan 25^\circ \tan 35^\circ) \\
  = \sqrt{3}
  \end{array}
 </math><br />
 (5) <br />
 <math>
 \tan (36^\circ + 84^\circ) = \frac{\tan 36^\circ + \tan 84^\circ}{1 - \tan 36^\circ \tan 84^\circ}
 \quad \Leftrightarrow \quad
 \tan 36^\circ + \tan 84^\circ = \tan (36^\circ + 84^\circ) (1 - \tan 36^\circ \tan 84^\circ)
 </math><br />
 由此可知：<br />
 <math>
 \begin{array}{l}
  (\tan 36^\circ + \tan 84^\circ) - \sqrt{3} \tan 36^\circ \tan 84^\circ \\
  = \tan (36^\circ + 84^\circ) (1 - \tan 36^\circ \tan 84^\circ) - \sqrt{3} \tan 36^\circ \tan 84^\circ \\
  = \tan 120^\circ (1 - \tan 36^\circ \tan 84^\circ) - \sqrt{3} \tan 36^\circ \tan 84^\circ \\
  = \tan (-60^\circ) (1 - \tan 36^\circ \tan 84^\circ) - \sqrt{3} \tan 36^\circ \tan 84^\circ \\
  = (- \sqrt{3}) (1 - \tan 36^\circ \tan 84^\circ) - \sqrt{3} \tan 36^\circ \tan 84^\circ \\
  = - \sqrt{3} + \sqrt{3} \tan 36^\circ \tan 84^\circ - \sqrt{3} \tan 36^\circ \tan 84^\circ \\
  = - \sqrt{3}
 \end{array}
 </math><br />
 (6) <br />
 <math>
 \tan (10^\circ - 60^\circ) = \frac{\tan 10^\circ - \tan 60^\circ}{1 + \tan 10^\circ \tan 60^\circ}
 \quad \Leftrightarrow \quad
 \tan 10^\circ - \tan 60^\circ = \tan (10^\circ - 60^\circ) (1 + \tan 10^\circ \tan 60^\circ)
 </math><br />
 由此可知：<br />
 <math>
 \begin{array}{l}
  (\tan 10^\circ - \sqrt{3}) \frac{\cos 10^\circ}{\sin 50^\circ} \\
  = (\tan 10^\circ - \tan 60^\circ) \frac{\cos 10^\circ}{\sin 50^\circ} \\
  = (\frac{\sin 10^\circ}{\cos 10^\circ} - \frac{\sin 60^\circ}{\cos 60^\circ}) \frac{\cos 10^\circ}{\sin 50^\circ} \\
  = (\frac{\sin 10^\circ \cos 60^\circ - \cos 10^\circ \sin 60^\circ}{\cos 10^\circ \cos 60^\circ}) \frac{\cos 10^\circ}{\sin 50^\circ} \\
  = \frac{\sin (10^\circ - 60^\circ)}{\cos 10^\circ \cos 60^\circ} \cdot \frac{\cos 10^\circ}{\sin 50^\circ} \\
  = \frac{\sin (-50^\circ)}{\cos 10^\circ \cos 60^\circ} \cdot \frac{\cos 10^\circ}{\sin 50^\circ} \\
  = \frac{- \sin 50^\circ}{\cos 10^\circ \cos 60^\circ} \cdot \frac{\cos 10^\circ}{\sin 50^\circ} \\
  = \frac{- 1}{\cos 60^\circ} = \frac{- 1}{\frac{1}{2}} = -2
 \end{array}
 </math>
 </p>
</div>
<div class="collapsible finalAnswer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243); color: red;">
 <p>答案：(1)<math>\sqrt{3}</math>；(2)<math>\sqrt{3}</math>；(3)<math>\sqrt{3}</math>；(4)<math>2 + \sqrt{3}</math>；(5)<math>- \sqrt{3}</math>；(6)<math>-2</math>。</p>
</div>

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
已知<math>\tan \alpha = 3, \tan \beta = 5</math>，求<math>\tan (\alpha - \beta)</math>的值。

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
已知<math>- \frac{\pi}{2} < \alpha < \frac{\pi}{2}, - \frac{\pi}{2} < \beta < \frac{\pi}{2}</math>，且<math>\tan \alpha</math>和<math>\tan \beta</math>是方程<math>x^2 + 3 \sqrt{3} x + 4 = 0</math>的2个根，求<math>\alpha + \beta</math>的值。

<!-- 本小节例题4 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
已知<math>0 < \alpha < \frac{\pi}{2}, 0 < \alpha < \frac{\pi}{2}, (\tan \alpha - 1)(\tan \beta - 1) = 2</math>，求<math>\alpha + \beta</math>的值。

=== 诱导公式 ===
'''诱导公式'''是一组将角度比较大的三角函数转换为角度比较小的三角函数的变形公式。

诱导公式数量庞大，但是并不需要刻意记忆。借助三角函数的奇偶性、周期性、两角和与差的正/余弦公式，可以很方便地推导出各种诱导公式。这里列举几个必须熟记的：
* <math>\sin (\pi - \alpha ) = \sin \alpha</math>
* <math>\cos (\pi - \alpha ) = - \cos \alpha</math>
* <math>\sin \left(\frac{\pi}{2} - \alpha \right) = \cos \alpha</math>
* <math>\cos \left(\frac{\pi}{2} - \alpha \right) = \sin \alpha</math>
* <math>\tan \left(\frac{\pi}{2} - \alpha \right) = \cot \alpha</math>
其中后3个公式在初中/国中阶段遇到过，只是当时没有将其推广到任意角度。

[[File:Crystal Clear action info.png | Crystal Clear action info | 50px]]
提示：诱导公式并没有通用的外文名称，多半是华人数学工作者为了方便称呼而自创的术语。在对外术语交流中，“诱导”一词一般是与英文的“induce”（动词）或“induction”（名词）互译，表示从现有事物“引申”出来的新事物。

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
利用两个任意角的和角公式与差角公式，快速导出上述诱导公式。

和差角公式与诱导公式有时需要结合起来使用。

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
计算或化简下列各式：
:(1) <math>\cos 15^{\circ} \cos 105^{\circ} + \sin 15^{\circ} \sin 105^{\circ}</math>；
:(2) <math>\sin 460^\circ \sin (-160^\circ) + \cos 560^\circ \cos (-280^\circ)</math>；
:(3) <math>\sin 125^\circ \sin 245^\circ + \sin 35^\circ \sin 155^\circ</math>。

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
计算下列各式：
:(1) <math>\cos \frac{5 \pi}{12} \cos \frac{\pi}{6} + \cos \frac{\pi}{12} \sin \frac{\pi}{6}</math>；
:(2) <math>\sin 14^{\circ} \cos 16^{\circ} + \sin 76^{\circ} \cos 74^{\circ}</math>。

== 常用结论与常见模型 ==
=== 角的配凑 ===
在三角函数问题中，已知角度和待求表达式中的角度有时候并不一样，但是有间接的换算关系。这时需要根据根据代求表达式中角的特点，合理地转换为已知角度的加减组合。如果2个角度的和或差与<math>\frac{k \pi}{2} \quad (k \in \mathbb{Z})</math>存在直接联系，也会考虑逆用诱导公式。

<blockquote style="padding: 1em; border: 2px dotted;">
[[File:Crystal Project Warehause.png | Crystal Project Warehause | 50px]]
角的常见等价拆分：
* <math>a = (a - b) + b</math>
* <math>2a = (a+b) + (a-b)</math>
** <math>a = \frac{a+b}{2} + \frac{a-b}{2}</math>
* <math>2b = (a+b) - (a-b)</math>
</blockquote>

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
计算下列各式：
:(1) <math>\cos (x - 45^{\circ}) \cos (x + 15^{\circ}) + \sin (x - 45^{\circ}) \sin (x + 15^{\circ})</math>
:(2) <math>\sin (x + 27^{\circ}) \cos (18^{\circ} - x) - \sin (63^{\circ} - x) \sin (x - 18^{\circ})</math>
:(3) <math>\sin (54^{\circ} - x) \cos (36^{\circ} + x) + \cos (54^{\circ} - x) \sin (36^{\circ} + x)</math>
:(4) <math>\frac{\cos 7^{\circ} - \sin 15^{\circ} \sin 8^{\circ}}{\cos 8^{\circ}}</math>

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
已知<math>\cos (\alpha - \frac{\beta}{2}) = - \frac 3 5, \sin (\frac{\alpha}{2} - \beta) = \frac{12}{13}, \alpha \in (\frac{\pi}{2}, \pi), \beta \in (0, \frac{\pi}{2})</math>，求<math>\cos (\frac{\alpha + \beta}{2})</math>的值。

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
已知<math>0 < \alpha < \frac{\pi}{2}, - \frac{\pi}{2} < \beta < 0, \cos (\frac{\pi}{4} + \alpha) = \frac 1 3, \cos (\frac{\pi}{4} - \frac{\beta}{2}) = \frac{\sqrt{3}}{3}</math>，求<math>\cos (\alpha + \frac{\beta}{2})</math>的值。

<!-- 本小节例题4 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
已知<math>0 < \alpha < \frac{\pi}{2}, \sin (\alpha + \frac{\pi}{12}) = \frac 1 3</math>，求<math>\cos (\alpha + \frac{5 \pi}{12})</math>的值。

<!-- 本小节例题5 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题5：
已知<math>\alpha \in (\frac{\pi}{2}, \pi), \beta \in (0, \frac{\pi}{2}), \cos (\alpha - \frac{\beta}{2}) = - \frac 3 5, \sin (\frac{\alpha}{2} - \beta) = \frac{12}{13}</math>，求<math>\cos \frac{\alpha + \beta}{2}</math>的值。

<!-- 本小节例题6 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题6：
已知<math>\cos (\alpha - \beta) = \frac{\sqrt{5}}{5}, \cos 2 \alpha = \frac{\sqrt{10}}{10}, 0 < \alpha < \beta < \frac{\pi}{2}</math>，求<math>\alpha + \beta</math>的值。

<!-- 本小节例题7 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题7：
已知<math>\tan (\alpha + \beta) = 1, \tan (\alpha - \beta) = 7</math>，求<math>\tan 2 \beta</math>的值。

<!-- 本小节例题8 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题8：
已知<math>\alpha + \beta = \frac{5 \pi}{4}</math>，求<math>(1 + \tan \alpha)(1 + \tan \beta)</math>的值。

<!-- 本小节例题8的解答 -->
<div class="collapsible answer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>解答：<br />
 由<math>\alpha + \beta = \frac{5 \pi}{4}</math>，可知<math>\tan (\alpha + \beta) = \tan (\frac{5 \pi}{4}) = \tan (\pi + \frac{\pi}{4}) = \tan (\frac{\pi}{4}) = 1</math>。<br />
 再由正切的二倍角公式可知<math>1 = \tan (\alpha + \beta) = \frac{\tan \alpha + \tan \beta}{1 - \tan \alpha \tan \beta}</math>，即有：<br />
 <math>\frac{\tan \alpha + \tan \beta}{1 - \tan \alpha \tan \beta} = 1 \quad \Leftrightarrow \quad \tan \alpha + \tan \beta = 1 - \tan \alpha \tan \beta \quad \Leftrightarrow \quad \tan \alpha \tan \beta = 1 - \tan \alpha - \tan \beta</math><br />
 将要求值的式子展开，并带入刚才得到的表达式：<br />
 <math>(1 + \tan \alpha)(1 + \tan \beta) = 1 + \tan \alpha + \tan \beta + \tan \alpha \tan \beta = 1 + \tan \alpha + \tan \beta + (1 - \tan \alpha - \tan \beta) = 2</math>
 </p>
</div>
<div class="collapsible finalAnswer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243); color: red;">
 <p>答案：2。</p>
</div>

<!-- 本小节例题9 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题9：
已知<math>\tan (\frac{\pi}{12} + \alpha) = \sqrt{2}, \tan (\beta - \frac{\pi}{3}) = 2 \sqrt{2}</math>。
:(1) 求<math>\tan (\alpha + \beta - \frac{\pi}{4})</math>的值。
:(2) 求<math>\tan (\alpha + \beta)</math>的值。

<!-- 本小节例题10 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题10：
已知<math>0 < \alpha < \pi, 0 < \beta < \pi, \tan (\alpha - \beta) = -7, \cos \alpha = \frac{- \sqrt{5}}{5}</math>。
:(1) 求<math>\tan \beta</math>的值。
:(2) 求<math>\alpha + \beta</math>的值。

=== 涉及三角形的问题 ===

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
在三角形ABC中，已知<math>\tan B = \frac{\cos (C-B)}{\sin A + \sin (C-B)}</math>，则此三角形的形状为(&nbsp;&nbsp;&nbsp;&nbsp;)。
:A.锐角三角形；B.直角三角形；C.等腰三角形；D.等腰三角形或直角三角形

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
在三角形ABC中，已知<math>\tan A = 2 \sin B \cos C</math>，则此三角形的形状为(&nbsp;&nbsp;&nbsp;&nbsp;)。
:A.锐角三角形；B.直角三角形；C.钝角三角形；D.等腰三角形

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
已知在三角形ABC中，<math>A > C, B = 60^{\circ}, \frac{1}{\cos A} + \frac{1}{\cos C} = \frac{- \sqrt{2}}{\cos B}</math>，求角A的大小。

<!-- 本小节例题4 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
设角A为非等边三角形的最小内角，求函数<math>f(A) = \frac{2 \sin A \cos A}{1 + \sin A + \cos A}</math>的值域。

== 补充习题 ==
=== 基础与中档练习 ===
[[File:Crystal Clear app ksirtet.png | Crystal Clear app ksirtet | 50px]]
* 下列式子中，恒等成立的是(&nbsp;&nbsp;&nbsp;&nbsp;)。<br />
:A.<math>\sin (\alpha + \beta) = \sin \alpha + \sin \beta</math><br />
:B.<math>\cos (\alpha + \beta) = \cos \alpha \cos \beta + \sin \alpha \sin \beta</math><br />
:C.<math>\tan (\alpha - \beta) = \frac{\tan \alpha - \tan \beta}{1 - \tan \alpha \tan \beta}</math><br />
:D.<math>\sin (\alpha + \beta) \sin (\alpha - \beta) = \sin^2 \alpha - \sin^2 \beta</math>
* 计算<math>\cos (x - 35^{\circ}) \cos (x + 25^{\circ}) + \sin (x - 35^{\circ}) \sin (x + 25^{\circ})</math>。
* 已知<math>0 < \beta < \alpha < \frac{\pi}{2}, \sin \alpha \sin (\frac{\pi}{2} - \beta) + \cos \alpha \cos (\frac{\pi}{2} + \beta) = \frac{3 \sqrt{3}}{14}</math>，点<math>P(1, 4 \sqrt{3})</math>为角<math>\alpha</math>终边上的一点，求<math>\beta</math>的大小。
* 已知<math>\alpha \in (\frac{\pi}{2}, \pi), \beta \in (- \frac{\pi}{2}, 0), \sin \alpha = \frac{12}{13}, \cos \beta = \frac 3 5</math>，求<math>\cos (\alpha - \beta)</math>的值。
* 已知<math>\alpha \in (0, \frac{\pi}{4}), \cos (\alpha - \frac{\pi}{4}) = \frac 3 5</math>，分别求<math>\sin (\alpha - \frac{\alpha}{4})</math>和<math>\sin \alpha</math>的值。
* 已知<math>- \frac{\pi}{6} < \alpha < \frac{\pi}{3}, \sin (\alpha + \frac{\pi}{6}) = \frac 4 5</math>，分别求<math>\cos (\alpha - \frac{\pi}{3})</math>和<math>\cos \alpha</math>的值。
* 在平面直角坐标系xOy中，角A和B的的顶点与原点重合，始边与x轴的非负半轴重合，终边分别与单位圆交于<math>A(\frac{\sqrt{5}}{5}, \frac{2 \sqrt{5}}{5}), B(\frac{-7 \sqrt{2}}{10}, \frac{\sqrt{2}}{10})</math>两点。<br />
:(1) 求<math>\cos (\alpha + \beta)</math>的值。<br />
:(2) 限定<math>\alpha \in (0, \frac{\pi}{2}), \beta \in (\frac{\pi}{2}, \pi)</math>，求<math>2 \alpha - \beta</math>的值。

=== 提高与拓展问题 ===
[[File:Crystal Clear app laptop battery.png | Crystal Clear app laptop battery | 50px]]
* 已知<math>\sin \alpha - \sin \beta = 1 - \frac{\sqrt{3}}{2}, \cos \alpha - \cos \beta = \frac 1 2</math>，求<math>\cos (\alpha - \beta)</math>的值。
* 已知在三角形ABC中，<math>\cos A \cos B = k + \sin A \sin B \quad (k \in \mathbb{R})</math>。如果将k取为a，则此时C是锐角；如果将k取为b，则此时C是直角；如果将k取为c，则此时C是钝角。求a、b、c的大小关系。
* 利用两角和与差的正弦、余弦、正切公式，分别推导其它3个三角函数（[[w:余切|余切]]、[[w:正割|正割]]、[[w:余割|余割]]）的两角和与两角差公式。
* 求证：<math>\tan (\theta_1 + \theta_2 + \theta_3) = \frac{(\tan \theta_1 + \tan \theta_2 + \tan \theta_3) - \tan \theta_1 \tan \theta_2 \tan \theta_3}{1 - (\tan \theta_1 \tan \theta_2 + \tan \theta_2 \tan \theta_3 + \tan \theta_3 \tan \theta_1)}</math>。
* 已知<math>x, y, z, A, B, C \in \mathbb{R}</math>，通过展开并化简恒等式<math>(x - y \cos C - z \cos B)^2 +(y \sin C - z \sin B)^2 \geqslant 0</math>，证明[[w:三角形内角的嵌入不等式|三角形内角的嵌入不等式]]：<math>x^2 + y^2 + z^2  \geqslant 2xy \cos C + 2xz\cos B + 2yz \cos A</math>。

== 参见 ==
* [[高中数学/高等数学初步/坐标变换与基底变换|平面旋转矩阵]]

== 参考资料 ==
{{Reflist}}

== 外部链接 ==
{{Wikipedia|三角恒等式}}
{{Wikipedia|诱导公式}}

{{DEFAULTSORT:angle addition and subtraction formulae}}
[[category:三角函数]]
[[category:高中数学]]