查看“︁高中数学/函数与三角/三角恒等变换”︁的源代码

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

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

本节是高中数学三角函数的最重要内容，也是后续微积分课程的重要基础。利用本节的公式，可以导出很多的[[w:三角函數精確值|特殊三角函数值]]。

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

=== 考试要求 ===
在中国大陆的高考中，三角恒等变换是每年必考内容。高考中的三角函数题目一般是一到两道选择题以及一道解答题的某个分支，分值大多在8到13分之间，难度一般为中低等级。随着新课程标准的实施，对这部分内容的要求有一定的降低倾向，突出“和、差、倍角公式”的作用，突出对正余弦函数的图像与性质的考察。由于新课程标准中向量的引入，将它和平面向量结合起来考察也是高考的一个重要方向。

学习本节，需要熟练背诵本章的所有公式，并且需要熟练地正用、逆用、变形用其中的公式。为了要达到这个目标，需要大量做题，熟练运用公式，熟能生巧，方可学好此章。

== 基础知识 ==
=== 二倍角公式 ===
由两角和的三角函数公式，容易得到如下的'''二倍角公式'''（'''double-angle identities'''）<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.7节“二倍角的正弦、余弦、正切” |pages=42-47 |language=zh-cn |year=2003}}</ref>：
* <math>\sin 2 \theta = 2 \sin \theta \cos \theta</math>
* <math>\cos 2 \theta = \cos^2 \theta - \sin^2 \theta = 2 \cos^2 \theta - 1 = 1 - 2 \sin^2 \theta</math>
* <math>\tan 2 \theta = \frac{2 \tan \theta}{1 - \tan^2 \theta}</math>

[[File:Crystal Clear app error.png | Crystal Clear app error | 50px]]
注意：二倍角公式只适合将角执行一分为二的变形，三倍角和多倍角的三角函数另可推导出专门的公式。二倍角公式与[[高中数学/函数与三角/万能公式与多倍角相关公式|三倍角公式、多倍角公式]]的形式都差别较大，不能直接认为也有<math>\sin 3 \theta = 3 \sin \theta \cos \theta</math>成立。

我们先看无特殊限制条件的简单求值问题。这种题目大部分难度不大，初学时需要留意的是同时混有三种及以上三角函数的问题。一般这类混有正/余弦、正切的代数式或等式应该利用上关系式<math>\tan x = \frac{\sin x}{\cos x}</math>，尽量往只含有正弦或余弦符号的方向化简，即抓住“弦化切”的思路。只有一些特殊情形是需要反其道而行之，即进行“切化弦”的，我们等遇到了再讲。

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
下列各式中，与<math>\sqrt{1 - \sin 4}</math>相等的是(&nbsp;&nbsp;&nbsp;&nbsp;)。
:A.<math>\sin 2 - \cos 2</math>；B.<math>\cos 2 - \sin 2</math>；C.<math>\cos 2</math>；D.<math>- \cos 2</math>

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
计算或化简下列各式：
:(1) <math>(\cos \frac{\pi}{12} - \sin \frac{\pi}{12})(\cos \frac{\pi}{12} + \sin \frac{\pi}{12})</math>；
:(2) <math>\sin^4 \frac{\pi}{12} - \cos^2 \frac{\pi}{12}</math>；
:(3) <math>\sqrt{2 - \sin^2 2 + \cos 4}</math>；
:(4) <math>\frac{\sqrt{3}}{\cos 10^{\circ}} - \frac{1}{\sin 170^{\circ}}</math>；
:(5) <math>\frac{1 - \tan^2 75^{\circ}}{\tan 75^{\circ}}</math>；
:(6) <math>\frac{\tan 14^{\circ}}{1 - \tan^2 14^{\circ}} \cdot \cos 28^{\circ}</math>。
:(7) <math>\sin 50^{\circ} (1 + \sqrt{3} \tan 10^{\circ})</math>；
:(8) <math>4 \cos 50^{\circ} - \tan 40^{\circ}</math>；
:(9) <math>\tan \frac{\pi}{8} - \cot \frac{\pi}{8}</math>。

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
下列各式中，结果为<math>\frac{\sqrt{3}}{2}</math>的是(&nbsp;&nbsp;&nbsp;&nbsp;)。
:A.<math>2 \sin 15^{\circ} \cos 15^{\circ}</math>；B.<math>1 - 2 \sin^2 15^{\circ}</math>；C.<math>\sin^2 15^{\circ} + \cos^2 15^{\circ}</math>；D.<math>\frac{3 \tan 15^{\circ}}{1 - \tan^2 15^{\circ}}</math>

<!-- 本小节例题4 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
求证：<math>\cos^2 (A+B) - \sin^2 (A-B) = \cos 2A \cos 2B</math>。

<!-- 本小节例题5 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题5：
求函数<math>f(x) = \sqrt{1 + \cos x} + \sqrt{3 - 3 \cos x}</math>的最大值。<br />
（提示：此题也可以使用[[高中数学/不等式与数列/柯西不等式|柯西不等式]]求解。）

<!-- 本小节例题6 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题6：
求同时满足<math>0 \le x < 2 \pi, \sqrt{1 - \sin 2x} = \sin x - \cos x</math>的x的取值范围。

<!-- 本小节例题7 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题7：
已知<math>0 < x < \frac{\pi}{4}, \sin 2x = m, \cos 2x = n, m \neq n</math>，则下列选项中与<math>\tan (\frac{\pi}{4} - x)</math>始终相等的是(&nbsp;&nbsp;&nbsp;&nbsp;)。
:A.<math>\frac{n}{1 + m}</math>；B.<math>\frac{m}{1 + n}</math>；C.<math>\frac{1 - n}{m}</math>；D.<math>\frac{1 - m}{n}</math>

解决条件求值问题则需要在化简或变形时紧密结合条件特点。

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

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

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

<!-- 本小节例题11 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题11：
已知<math>\frac{9 - \cos 2x}{\cos x + 1} = 4</math>，求<math>(\sin x)^{2015} + (\cos x)^{2015}</math>的值。

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

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

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

<!-- 本小节例题15 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题15：
已知A和B是锐角，且满足<math>\tan (A - B) = \sin 2B</math>，求证：<math>\tan A + \tan B = 2 \tan 2 B</math>。

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

<!-- 本小节例题17 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题17：
在平面直角坐标系xOy中，角A的顶点与坐标原点O重合，始边与x轴的非负半轴重合，它的终边经过点<math>P (\frac{-3}{5}, \frac{4}{5})</math>。再以角A的终边为始边，逆时针旋转<math>\frac{\pi}{4}</math>得到角B。
:(1) 求<math>\tan A</math>的值。
:(2) 求<math>\cos (A + B)</math>的值。

有时候通过初步的化简只能得到<math>A \sin x + B \cos x = C, A, B, C \in \mathbb{R}</math>这样的关系式，这时还可以结合已知角度范围和隐含条件[[高中数学/函数与三角/弧度制与任意角的三角函数值|毕氏三角学恒等式]]<math>\sin^2 x + \cos^2 x = 1</math>联立方程得到所求角度的正余弦值。

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

<!-- 本小节例题18的解答 -->
<div class="collapsible answer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>解答：<br />
 <math>
  \begin{array}{l}
   \frac{\sin x - 2 \cos x}{\sin x + \cos x} = 2 \\
   \Rightarrow \quad \sin x - 2 \cos x = 2 \sin x + 2 \cos x \\
   \Rightarrow \quad \sin x = -4 \cos x
  \end{array}
 </math><br />
 联立
 <math>
  \left\{
   \begin{array}{l}
   \sin^2 x + \cos^2 x = 1 \\
   \sin x = -4 \cos x
   \end{array}
  \right.
 </math>，可得<math>17 \sin^2 x = 1</math>，即<math>\sin^2 x = \frac{1}{17}</math>。<br />
 <math>\sin 2x = 1 - 2 \sin^2 x = 1 - 2 \cdot \frac{1}{17} = 1 - \frac{2}{17} = \frac{15}{17}</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>答案：<math>\frac{15}{17}</math>。</p>
</div>

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

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

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

<!-- 本小节例题22 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题22：
设函数<math>f(x) = 2 \cos (x - \frac{\pi}{6}) \quad (x \in \mathbb{R})</math>。
:(1) 求<math>f(\pi)</math>的值。
:(2) 已知<math>t \in (- \frac{\pi}{2}, 0), f(t + \frac{2 \pi}{3}) = \frac 6 5</math>，求<math>f(2t)</math>的值。

<!-- 本小节例题23 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题23：
已知角A的顶点与坐标原点重合，始边与x轴的非负半轴重合，终边在直线y = 2x上。
:(1) 求<math>\cos (2A + \frac{\pi}{4})</math>的值。
:(2) 已知<math>A \in (0, \frac{\pi}{2}), B \in (- \frac{\pi}{2}, 0), \sin (B + \frac{\pi}{4}) = \frac{\sqrt{10}}{10}</math>，求<math>A - B</math>的值。

=== 半角公式与幂的升降 ===
由二倍角公式，容易得到以下的'''半角公式'''（'''half-angle identities'''）<ref name="人教社课标版数学_2003_二倍角公式与半角公式" />：
* <math>\sin \theta = 2 \sin (\frac \theta2) \cos (\frac \theta2)</math>
* <math>\cos \theta = 2 \cos^2 (\frac \theta2) - 1 = 1 - 2 \sin^2 (\frac \theta2) = \cos^2 (\frac \theta2) - \sin^2 (\frac \theta2)</math>
* <math>\tan \theta = \frac{2 \tan (\frac \theta2)}{1 - \tan^2 (\frac \theta2)}</math>
上述的半角公式也叫做'''升幂公式'''。

升幂公式的常见变形为'''降幂公式'''：
* <math>\sin^2 \theta = \frac{1 - \cos 2 \theta}{2}</math>
* <math>\cos^2 \theta = \frac{1 + \cos 2 \theta}{2}</math>
* <math>\tan^2 \theta = \frac{1 - \cos 2 \theta}{1 + \cos 2 \theta}</math>

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
计算<math>\sin \frac{\pi}{12}</math>。

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
求函数<math>y = \frac{\sin x}{1 + \cos x}</math>的最小正周期。

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
已知<math>180^{\circ} < x < 360^{\circ}</math>，化简：<math>\frac{(1 + \sin x + \cos x) (\sin \frac x 2 - \cos \frac x 2)}{\sqrt{2 + 2 \cos x}}</math>。

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

<!-- 本小节例题5 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题5：
已知A为钝角，B为钝角，且满足<math>\sin A = \frac 4 5, \sin B = \frac{12}{13}</math>。
:(1) 求<math>\cos \frac{A - B}{2}</math>的值。
:(2) 求<math>\tan \frac{A - B}{2}</math>的值。

=== 辅助角公式 ===
数学家[[w:李善兰|李善兰]]（1810年－1882年）曾命名如下的'''辅助角公式'''：
形如<math>a \sin x + b \cos x</math>（a、b不同时为零）的式子可引入辅助角<math>\phi</math>并逆用两角和的公式变形为<math>A \sin (x + \phi)</math>或<math>A \cos (x + \phi)</math>的形式：
:<math>
\begin{array}{l}
a \sin x + b \cos x \\
= \sqrt{a^2+b^2} (\frac{a}{\sqrt{a^2+b^2}} \sin x + \frac{b}{\sqrt{a^2+b^2}} \cos x) \\
= \sqrt{a^2+b^2} (\cos \phi \sin x + \sin \phi \cos x) \\
= \sqrt{a^2+b^2} \sin (x + \phi)
\end{array}
</math><br />
其中辅助角<math>\phi</math>所在的象限由a、b的符号决定，<math>\phi</math>的值由<math>\tan \phi = \frac b a</math>确定。

[[File:Crystal Clear action info.png | Crystal Clear action info | 50px]]
提示：辅助角公式虽然很常用，但是并没有正式的外文名称。

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
下列函数中，以<math>\frac{\pi}{2}</math>为最小正周期的是(&nbsp;&nbsp;&nbsp;&nbsp;)。
:A.<math>y = \sin 2x + \cos 2x</math>；B.<math>y = \sin 2x \cos 2x</math>；C.<math>y = \cos (4x + \frac{\pi}{2})</math>；D.<math>y = \sin^2 2x - \cos^2 2x</math>

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
已知<math>A > 0, b \in \mathbb{R}, 2 \cos^2 x + \sin 2x = A \sin (\omega x + \phi) + b</math>，求A和b的值。

<!-- 本小节例题2的解答 -->
<div class="collapsible answer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>解答：<br />
 <math>
  \begin{array}{l}
   2 \cos^2 x + \sin 2x = 2 \cdot \frac{1 + \cos 2x}{2} + \sin 2x \\
   = 1 + \cos 2x + \sin 2x \\
   = 1 + 2 (\sin 2x \cdot \frac 1 2 + \cos 2x \cdot \frac 1 2) \\
   = 1 + 2 \sin (2x + \frac{\pi}{4})
  \end{array}
 </math><br />
 将上述结果与<math>A \sin (\omega x + \phi) + b</math>比较系数可得：A = 2, b = 1。
 </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>答案：A = 2, b = 1。</p>
</div>

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
求函数<math>y = \frac 1 2 \sin 2x + \sin^2 x \quad (x \in \mathbb{R})</math>的值域。

<!-- 本小节例题3的解答 -->
<div class="collapsible answer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>解答：<br />
 <math>
  \begin{array}{l}
   y = \frac 1 2 \sin 2x + \frac{1 - \cos 2x}{2} \\
   = \frac 1 2 \sin 2x - \cos 2x \frac 1 2 + \frac 1 2
   = (\sin 2x \cdot \frac 1 2 - \cos 2x \cdot \frac 1 2) + \frac 1 2
   = (\sin 2x \cos \frac{\pi}{4} - \cos 2x \sin \frac{\pi}{4}) + \frac 1 2
   = \sin (2x - \frac{\pi}{4}) + \frac 1 2
  \end{array}
 </math><br />
 因为<math>-1 \le \sin (2x - \frac{\pi}{4}) \ge 1</math>，所以<math>- \frac 1 2 \le \sin (2x - \frac{\pi}{4}) + \frac 1 2 \ge \frac 3 2</math>。即y的值域是<math>[- \frac 1 2, \frac 3 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>答案：<math>[- \frac 1 2, \frac 3 2]</math>。</p>
</div>

<!-- 本小节例题4 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
求函数<math>y = \sin (x - \frac{\pi}{6}) \cos x</math>的最大值。

<!-- 本小节例题4的解答 -->
<div class="collapsible answer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>解答：<br />
 <math>
  \begin{array}{l}
   y = (\sin x \cos \frac{\pi}{6} - \cos x \sin \frac{\pi}{6}) \cos x \\
   = (\sin x \cdot \frac{\sqrt{3}}{2} - \cos x \cdot \frac 1 2) \cos x \\
   = \frac{\sqrt{3}}{2} \sin x \cos x - \frac 1 2 \cos^2 x \\
   = \frac{\sqrt{3}}{4} \cdot 2 \sin x \cos x - \frac 1 2 \cdot \frac{1 + \cos 2x}{2} \\
   = \frac 1 2 (\frac{\sqrt{3}}{2} \sin 2x - \frac 1 2 \cos 2x) + \frac 1 4 \\
   = \frac 1 2 (\cos \frac{\pi}{6} \sin 2x - \sin \frac{\pi}{6} \cos 2x) + \frac 1 4 \\
   = \frac 1 2 \sin (2x - \frac{\pi}{6}) + \frac 1 4 \\
   \le \frac 1 2 \cdot 1 + \frac 1 4 = \frac 3 4
  \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>答案：<math>\frac 3 4</math>。</p>
</div>
<div class="collapsible remarks" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>点评：本题也适合使用[[高中数学/函数与三角/和差化积与积化和差公式|积化和差公式]]求解。</p>
</div>

辅助角公式在物理学中常用于合成同频率的[[w:简谐波|简谐波]]函数。

[[File:Crystal Clear app kdict.png | Crystal Clear app kdict | 50px]]
知识背景：如果不使用添加辅助角的做法也可以通过利用波动理论中会学到的“[[w:波矢|旋转矢量法]]”并结合解三角形的方法求解合成结果。这种基于矢量的几何法直观，但是不如使用辅助角公式的代数方法快捷。我们也会在介绍[[高中数学/向量与复数/复数与三角学#简谐波函数的向量表示法|复数与三角学]]的章节里继续讨论这一做法。

<!-- 本小节例题5 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题5：
求函数<math>f(x) = \cos (x+a) + \cos x \quad (a \neq 0)</math>的最大值。

=== 三角恒等变换常用公式汇总 ===
我们集中列出考试中最常用的三角函数变换公式：
{| class="wikitable"
|-
! 公式名称或类别 !! 内容
|-
| 和角公式与差角公式 || <math>\sin (\alpha \pm \beta) = \sin \alpha \cos \beta \pm \cos \alpha \sin \beta</math><br />
<math>\cos (\alpha \pm \beta) = \cos \alpha \cos \beta \mp \sin \alpha \sin \beta</math><br />
<math>\tan (\alpha \pm \beta) = \frac{\tan \alpha \pm \tan \beta}{1 \mp \tan \alpha \tan \beta}</math>
|-
| 二倍角公式 || <math>\sin 2 \theta = 2 \sin \theta \cos \theta</math><br />
<math>\cos 2 \theta = \cos^2 \theta - \sin^2 \theta = 2 \cos^2 \theta - 1 = 1 - 2 \sin^2 \theta</math><br />
<math>\tan 2 \theta = \frac{2 \tan \theta}{1 - \tan^2 \theta}</math>
|-
| 半角公式/升幂公式 || <math>\sin \theta = 2 \sin (\frac{\theta}{2}) \cos (\frac{\theta}{2})</math><br />
<math>\cos \theta = 2 \cos^2(\frac{\theta}{2}) - 1 = 1 - 2 \sin^2 (\frac{\theta}{2}) = \cos^2 (\frac{\theta}{2}) - \sin^2 (\frac{\theta}{2})</math><br />
<math>\tan \theta = \frac{2 \tan (\frac{\theta}{2})}{1 - \tan^2 (\frac{\theta}{2})}</math>
|-
| 降幂公式 || <math>\sin^2 \theta = \frac{1 - \cos 2 \theta}{2}</math><br />
<math>\cos^2 \theta = \frac{1 + \cos 2 \theta}{2}</math><br />
<math>\tan^2 \theta = \frac{1 - \cos 2 \theta}{1 + \cos 2 \theta}</math>
|-
| 辅助角公式 || <math>a \sin \theta + b \cos \theta = \sqrt{a^2 + b^2} \cdot \sin \left( \theta + \arctan \frac b a \right)</math>
|}

由于这些公式都是从和角公式和差角公式推出来的，原则上只要知道和角公式和差角公式，就可以推出其它公式。但是由于考试的时间限制，熟记这些衍生公式也并无坏处。读者应该在练习习题的过程中反复熟悉它们，而非一味死记硬背。此外，[[高中数学/函数与三角/和差化积与积化和差公式|和差化积、积化和差公式]]、[[高中数学/函数与三角/万能公式与多倍角相关公式|万能公式]]也比较有名，但是在高中阶段的考试和实际应用中都不如上述公式常用。

[[File:Crystal Clear action info.png | Crystal Clear action info | 50px]]
提示：不少教科书上会列出大量的“[[w:诱导公式|诱导公式]]”<ref name="人教社课标版数学_2003_诱导公式">{{cite book |title=数学 |author=人民教育出版社中学数学室 |series=全日制普通高级中学教科书 (必修) |volume=第1册 (下) |publisher=[[w:人民教育出版社|人民教育出版社]] |location=中国北京沙滩后街55号 |edition=1 |isbn=7-107-17105-4 |section=第4章“三角函数”第1部分“任意角的三角函数”第4.5节“正弦、余弦的诱导公式” |pages=28-33 |language=zh-cn |year=2003}}</ref>。这些诱导公式都可以通过和角公式和差角公式快速得到，并无记忆的价值。

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

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

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

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

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

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

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

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

<!-- 本小节例题8 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题8：
求证正弦与余弦的下列平方差公式：
:(1) <math>\sin (\alpha + \beta) \cdot \sin (\alpha - \beta) = \sin^2 \alpha - \sin^2 \beta</math>；
:(2) <math>\cos (\alpha + \beta) \cdot \cos (\alpha - \beta) = \cos^2 \alpha - \sin^2 \beta</math>。

== 常用结论与常见模型 ==
=== 弦化切的技巧与数字“1”的转换 ===
有的问题只要设法同时拼凑出<math>\sin^2 x</math>与<math>\cos^2 x</math>之和，再套用毕氏三角学恒等式<math>\sin^2 x + \cos^2 x = 1</math>替换掉成对的正余弦平方和，即可基本解决问题。

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

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

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

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

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

有一类“正余弦组成的齐次分式”问题需要对分子和分母同除以<math>\cos x</math>或<math>\cos^2 x</math>，将正余弦反过来化为正切的形式。

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

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

当计算或化简的分式不是齐次式时，有时也可以通过对“1”的分解构造齐次式。由于<math>1 = \sin^2 x + \cos^2 x</math>，所以单独出现的“1”可以被转换为三角函数的2次项。

<!-- 本小节例题8 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题8：
计算或化简下列各式：
:(1) <math>\sqrt{1 + \sin 2}</math>
:(2) <math>\frac{\cos 20^{\circ}}{\cos 35^{\circ} \sqrt{1 - \sin 20^{\circ}}}</math>

<!-- 本小节例题9 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题9：
已知<math>\tan x = 3</math>，求<math>\sin^2 x + 2 \cos^2 x</math>的值。

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

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

=== 角的拼拆 ===

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
已知函数<math>f(x) = \sin (2x - \frac{\pi}{6}) + 2 \cos^2 x - 1 \quad (x \in \mathbb{R})</math>。
:(1) 求函数<math>f(x)</math>的最大值以及取得最大值时相应的x的集合。
:(2) 若<math>t \in (\frac{\pi}{4}, \frac{\pi}{2}), f(t) = \frac 4 5</math>，求<math>\cos 2t</math>的值。

<!-- 本小节例题1的解答 -->
<div class="collapsible solution" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>解答（方法1）：<br />
 (1) <br />
 <math>
 \begin{array}{l}
  f(x) = \sin (2x - \frac{\pi}{6}) + 2 \cos^2 x - 1 \\
  = \sin (2x - \frac{\pi}{6}) + (2 \cos^2 x - 1) \\
  = (\sin 2x \cos \frac{\pi}{6} - \cos 2x \sin \frac{\pi}{6}) + \cos 2x \\
  = (\sin 2x \cdot \frac{\sqrt{3}}{2} - \cos 2x \cdot \frac 1 2) + \cos 2x \\
  = \sin 2x \cdot \frac{\sqrt{3}}{2} + \cos 2x \cdot \frac 1 2 \\
  = \sin 2x \cos \frac{\pi}{6} + \cos 2x \sin \frac{\pi}{6}
  = \sin (2x + \frac{\pi}{6}) \le 1
 \end{array}
 </math><br />
 由于这是一个正弦型函数，易知当<math>2x + \frac{\pi}{6} = \frac{\pi}{2} + 2k \pi \quad (k \in \mathbb{Z})</math>（即<math>x = \frac{\pi}{6} + k \pi \quad (k \in \mathbb{Z})</math>）时，函数<math>f(x) = \sin (2x + \frac{\pi}{6})</math>取得最大值1。<br />
 (2) 由前一问所得的化简结果和t的已知范围可知：<br />
<math>f(t) = \sin (2t + \frac{\pi}{6}) \quad (t \in (\frac{\pi}{4}, \frac{\pi}{2})</math><br />
又因为已知<math>f(t) = \frac 4 5</math>，所以有：<br />
 <math>
 \begin{array}{l}
  \sin (2t + \frac{\pi}{6}) = \frac 4 5 \\
  \Rightarrow \quad \sin 2t \cos \frac{\pi}{6} + \cos 2t \sin \frac{\pi}{6} = \frac 4 5 \\
  \Rightarrow \quad \sin 2t \cdot \frac{\sqrt{3}}{2} + \cos 2t \cdot \frac{1}{2} = \frac 4 5 \\
  \Rightarrow \quad \sqrt{3} \sin 2t + \cos 2t = \frac 8 5
 \end{array}
 </math><br />
 将毕氏三角学恒等式<math>\sin^2 2t + \cos^2 2t = 1</math>代入，并注意到<math>\sin 2t > 0 \quad (2t \in (\frac{\pi}{2}, \pi))</math>，可得：<br />
 <math>
 \begin{array}{l}
  \sqrt{3} \sqrt{1 - \cos^2 2t} + \cos 2t = \frac 8 5 \\
  \sqrt{3} \sqrt{1 - \cos^2 2t} = \frac 8 5 - \cos 2t \\
  3 (\sqrt{1 - \cos^2 2t})^2 = (\frac 8 5 - \cos 2t)^2 \\
  3 (1 - \cos^2 2t) = (\frac 8 5)^2 - \frac{16}{5} \cos 2t + \cos^2 2t \\
  4 \cos^2 2t - \frac{16}{5} \cos 2t - \frac{11}{25} = 0
 \end{array}
 </math><br />
 这可以看成是关于<math>\cos 2t</math>的二次函数。解得：<math>\cos 2t = \frac{4 - 3 \sqrt{3}}{10}</math>或<math>\cos 2t = \frac{4 + 3 \sqrt{3}}{10}</math>（因此时<math>\cos 2t < 0 \quad (2t \in (\frac{\pi}{2}, \pi))</math>故舍去后一个根）。
 </p>
</div>
<div class="collapsible solution" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>解答（方法2，仅限第2问）：<br />
 (2) 根据前面的讨论和已知条件，容易得到：<br />
 <math>\sin (2t + \frac{\pi}{6}) = \frac 4 5</math><br />
 由于<math>t \in (\frac{\pi}{4}, \frac{\pi}{2})</math>，也即<math>2t + \frac{\pi}{6} \in (\frac{\pi}{2} + \frac{\pi}{6}, \pi + \frac{\pi}{6}) \subset (\frac{\pi}{2}, \frac{3 \pi}{2})</math>，所以有：<br />
 <math>
 \begin{array}{l}
  \cos (2t + \frac{\pi}{6}) = - \sqrt{1 - \sin^2 (2t + \frac{\pi}{6})} = - \sqrt{1 - (\frac 4 5)^2} = - \frac 3 5 \\
  \Rightarrow \quad \cos 2t = \cos ((2t + \frac{\pi}{6}) - \frac{\pi}{6}) = \cos (2t + \frac{\pi}{6}) \cos \frac{\pi}{6} + \sin (2t + \frac{\pi}{6}) \sin \frac{\pi}{6} \\
  = \frac 4 5 \cdot \frac 1 2 + (- \frac 3 5) \cdot \frac{\sqrt{3}}{2} = \frac{4}{10} - \frac{3 \sqrt{3}}{10} = \frac{4 - 3 \sqrt{3}}{10}
 \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>x = \frac{\pi}{6} + k \pi \quad (k \in \mathbb{Z}</math>时，函数f(x)取得最大值1；(2)<math>\frac{4 - 3 \sqrt{3}}{10}</math>。</p>
</div>
<div class="collapsible remarks" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>点评：第2问求<math>\cos 2t</math>的值时，可以使用联立方程组的方法，也可以使用巧妙拼凑角的方法。巧妙拼凑角的方法由于比较简短，一般更常用，但是需要注意角的范围对相关函数取值正负的影响。</p>
</div>

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
设函数<math>f(x) = \cos (2x + \frac{\pi}{3}) + 2 \sin^2 x \quad (x \in \mathbb{R})</math>。
:(1) 求函数<math>f(x)</math>的最大值及取得最大值时x的集合。
:(2) 若<math>t \in (\frac{\pi}{4}, \frac{\pi}{2}), f(t) = \frac 2 5</math>，求<math>\sin 2t</math>的值。

<!-- 本小节例题2的解答 -->
<div class="collapsible solution" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>解答：<br />
 (1) <br />
 <math>
 \begin{array}{l}
  f(x) = \cos 2x \cos \frac{\pi}{3} - \sin 2x \sin \frac{\pi}{3} + 2 \frac{1 - \cos 2x}{2} \\
  = - (\frac{\sqrt{3}}{2} \sin 2x + \frac 1 2 \cos 2x) + 1 \\
  = - \sin (2x + \frac{\pi}{6}) + 1 \le - (-1) + 1 = 2
 \end{array}
 </math><br />
 这是一个正弦型函数，所以<math>f(x)_{max} = 2</math>，并且取得最大值时满足<math>2x + \frac{\pi}{6} = 2k \pi - \frac{\pi}{2} \quad (k \in \mathbb{Z})</math>，即<math>x = k \pi - \frac{\pi}{3} \quad (k \in \mathbb{Z})</math>。<br />
 (2) 因为<math>f(t) = \frac 3 5</math>，所以<math>\sin (2t + \frac{\pi}{6}) = \frac 3 5</math>。<br />
 又因为<math>t \in (\frac{\pi}{4}, \frac{\pi}{2})</math>，即<math>2t + \frac{\pi}{6} \in (\frac{\pi}{2} + \frac{\pi}{6}, \pi + \frac{\pi}{6}) \subset (\frac{\pi}{2}, \frac{3 \pi}{2})</math>，所以<math>\cos (2t + \frac{\pi}{6}) = - \frac 4 5</math>，即：<br />
 <math>
 \begin{array}{l}
  \sin 2t = \sin ((2t + \frac{\pi}{6}) - \frac{\pi}{6})
  = \sin (2t + \frac{\pi}{6}) \cos \frac{\pi}{6} - \cos (2t + \frac{\pi}{6}) \sin \frac{\pi}{6} \\
  = \frac 3 5 \cdot \frac{\sqrt{3}}{2} - (- \frac 4 5) \cdot \frac 1 2 = \frac{3 \sqrt{3}}{10} + \frac{4}{10} = \frac{4 + 3 \sqrt{3}}{10}
 \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>x = k \pi - \frac{\pi}{3}, k \in \mathbb{Z}</math>时，函数f(x)取得最大值2；(2)<math>\frac{4 + 3 \sqrt{3}}{10}</math>。</p>
</div>

=== 三角函数的单调性与图象性质 ===
<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
已知函数<math>f(x) = \cos 2x - 2 \sqrt{3} \sin x \cos x</math>，则下列说法中正确的是(&nbsp;&nbsp;&nbsp;&nbsp;)。
:A.存在<math>x_1, x_2</math>，当<math>x_1 - x_2 = \pi</math>时，有<math>f(x_1) = f(x_2)</math>成立。
:B.<math>f(x)</math>在区间<math>[\frac{- \pi}{6}, \frac{\pi}{3}]</math>上单调递增。
:C.函数<math>f(x)</math>的图象关于点<math>(\frac{\pi}{12}, 0)</math>对称。
:D.函数<math>f(x)</math>的图象关于直线<math>x = \frac{5 \pi}{12}</math>对称。

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
求函数<math>f(x) = \sin^2 x + \sqrt{3} \sin x \cos x</math>在区间<math>[\frac{\pi}{4}, \frac{\pi}{2}]</math>上的最大值。

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
设函数<math>f(x) = 2 \cos x \sin (x - \frac{\pi}{3}) + \sqrt{3} \sin^2 x + \sin x \cos x</math>。
:(1) 求<math>f(x)</math>的最小正周期。
:(2) 分析<math>f(x)</math>在区间<math>[0, \pi]</math>上的单调性。

<!-- 本小节例题4 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
设函数<math>f(x) = \sin (\frac{5 \pi}{6} - 2x) - 2 \sin (x - \frac{\pi}{4}) \cos (x + \frac{3 \pi}{4})</math>。
:(1) 求函数<math>f(x)</math>的最小正周期和单调递增区间。
:(2) 若<math>x_1, x_2</math>是函数<math>y = f(x) - \frac 1 2</math>的2个零点，求<math>|x_1 - x_2|</math>的最小值。

=== 涉及其它常见函数单调性或极值的问题 ===
<!-- 本小节例题 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题：
求函数<math>f(x) = 2 \sin x + \sin 2x \quad (x \in \mathbb{R})</math>的最小值。

=== 参数求值问题 ===
<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
已知函数<math>f(x) = \sin x + a \cos x \quad (a \in \mathbb{R})</math>图象的一条对称轴是直线<math>x = \frac{\pi}{6}</math>，求a的值。

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
已知<math>\tan \frac{\pi}{12} \cdot \cos \frac{5 \pi}{12} = \sin \frac{5 \pi}{12} - m \sin \frac{\pi}{12}</math>，求实数m的值。

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
已知A是第三象限的角，且满足<math>\sin A + \cos A = 2m, \sin 2A = m^2</math>，求实数m的值。

=== 三角换元法 ===
需要求解或化简的公式具有与三角恒等式一致的形式时，可以考虑采用三角换元的方法，将其换元后变为三角函数的变换问题处理。就中学阶段而言，在后面涉及[[高中数学/其它独立内容/极坐标|极坐标]]与[[高中数学/其它独立内容/参数方程|参数方程]]的章节中，也会看到一些三角换元法的应用。

<!-- 本小节例题 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题：
求函数<math>f(x) = x + \sqrt{1 - x^2} \quad (0 \le x \le 1)</math>的最大值。

<!-- 本小节例题的解答 -->
<div class="collapsible answer" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>解答：<br />
 因为<math>0 \le x \le 1</math>，且比较麻烦的<math>\sqrt{1 - x^2}</math>这一项具有与之形式匹配的三角恒等式，于是可以作代换<math>x = \cos \theta \quad (\theta \in [0,  \frac{\pi}{2}])</math>。<br />
 注意到此时<math>0 \le \cos \theta \le 1</math>，那么有：<br />
 <math>
  \begin{array}{l}
   f(x) = x + \sqrt{1 - x^2} \\
   = \cos \theta + \sqrt{1 - \sin^2 \theta} \\
   = \cos \theta + \sqrt{\cos^2 \theta} \\
   = \cos \theta + \cos \theta \\
   = 2 \cos \theta \le 2 \cdot 1 = 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>答案：2。</p>
</div>
<div class="collapsible remarks" style="clear both; border: thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>点评：(1)作换元时，可能会需要在最后一步进行回代，也就是可能会将化简后的表达式重新换回原来的变量。这需要作逆代换，也就是用到原代换的[[高中数学/函数与三角/分段函数、复合函数与反函数的概念|反函数]]。出于这一考虑，一般需要寻找合适的单调性函数进行换元。通常来说，只有单调且连续的函数容易保证反函数的存在性，也就是使后续回代步骤的逻辑前提得到满足。对于三角换元法的例子而言，我们一般只会选取三角函数的一段单调区间作为变量代换的范围。(2)如果题目的限制条件变为<math>-1 \le x \le 1</math>，那么仍然能使用三角换元法，但是开平方时需要按正负两种不同情况分类讨论，做法本质还是一样的。</p>
</div>

=== 涉及三角形的问题 ===
<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
已知等腰三角形的一个底角的余弦值为<math>\frac 2 3</math>，求这个三角形顶角的正弦值。

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

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

<!-- 本小节例题4 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
已知三角形ABC的3个内角满足条件<math>\sin A \cos^2 \frac C 2 + \sin C \cos^2 \frac A 2 = \frac 3 2 \sin B</math>，求证：<math>\sin A + \sin C = 2 \sin B</math>。

== 补充习题 ==
[[File:Crystal Clear app ksirtet.png | Crystal Clear app ksirtet | 50px]]
[[File:Crystal Clear app laptop battery.png | Crystal Clear app laptop battery | 50px]]
* 下列各式中，结果为1的是(&nbsp;&nbsp;&nbsp;&nbsp;)。
:A.<math>\frac{22.5^{\circ}}{1 - \tan^2 22.5^{\circ}}</math>；B.<math>\tan 15^{\circ} \cos^2 15^{\circ}</math>；C.<math>\frac{\sqrt{3}}{3} \cos^2 \frac{\pi}{12} - \frac{\sqrt{3}}{3} \sin^2 \frac{\pi}{12}</math>；D.<math>\sqrt{\frac{1 - \cos 60^{\circ}}{2}}</math>
* 下列各式与<math>\tan x</math>相等的是(&nbsp;&nbsp;&nbsp;&nbsp;)。
:A.<math>\sqrt{\frac{1 - \cos 2x}{1 + \cos 2x}}</math>；B.<math>\frac{\sin x}{1 + \cos x}</math>
:C.<math>\frac{1 - \cos 2x}{\sin 2x}</math>；D.<math>\sqrt{\frac{1 + \cos (\pi + 2x)}{2}} \cdot \frac{1}{\cos x} \quad (x \in (0, \pi))</math>
* 计算或化简下列各式：<br />
:(1) <math>\tan 9^{\circ} + \cot 117^{\circ} - \tan 243^{\circ} - \cot 351^{\circ}</math>；
:(2) <math>\tan 15^{\circ} - \cot 15^{\circ}</math>；
:(3) <math>\frac{\sqrt{3}}{\sin 20^{\circ}} - \frac{1}{\cos 20^{\circ}}</math>。
* 已知<math>\tan x = \frac 1 3</math>，求<math>\frac{\sin x + 2 \cos x}{5 \cos x - \sin x}</math>的值。
* 已知A是函数<math>f(x) = 2 \sin (2018x + \frac{\pi}{4}) + \cos (2018x - \frac{\pi}{4})</math>的最大值。若存在实数<math>x_1, x_2</math>，使得对于任意实数x总有<math>f(x_1) \le f(x) \le f(x_2)</math>成立，求<math>A \cdot |x_1 - x_2|</math>的最小值。
* 已知下列3个式子都等于同一个常数：<br />
:<math>\cos^2 15^{\circ} + \cos^2 15^{\circ} - \sqrt{3} \sin 15^{\circ} \sin 15^{\circ}</math>
:<math>\cos^2 80^{\circ} + \cos^2 (-50^{\circ}) - \sqrt{3} \sin 80^{\circ} \sin (-50^{\circ})</math>
:<math>\cos^2 170 + \cos^2 (-140^{\circ}) - \sqrt{3} \sin 170^{\circ} \sin (-140^{\circ})</math>
:(1) 求出这个常数。<br />
:(2) 将其推广为一个三角恒等式，并给出证明。

== 参见 ==
* [[高中数学/函数与三角/万能公式与多倍角相关公式|万能公式与多倍角相关公式]]
* [[高中数学/向量与复数/复数与三角学|复数与三角学]]

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

== 外部链接 ==
{{Wikipedia|三角恒等式}}
{{Wikipedia|二倍角公式}}

{{DEFAULTSORT: trigonometric identities}}
[[Category:三角函数]]
[[Category:高中数学]]