Identities

欢迎来到恒等式的世界！

你好！欢迎来到 A Level 数学之旅中最实用的章节之一。在纯数学：三角学 (Pure Mathematics: Trigonometry) 的这一部分，我们将深入探讨三角恒等式 (Trigonometric Identities)。

你可以把恒等式想像成一个数学上的「化名」。就像超级英雄可能有秘密身份（例如彼得·帕克和蜘蛛侠），三角表达式通常可以写成完全不同的形式，但实际上代表着同一个东西。掌握这些「化名」后，你就能将复杂到让人头疼的方程式简化成易于处理的形式。如果起初觉得要记的东西太多，别担心——只要掌握一些小技巧并多加练习，这些公式很快就会成为你的直觉！

1. 基础：Year 1 恒等式

在我们盖摩天大楼之前，必须先打好地基。你应该已经在之前的学习中熟悉这两个恒等式了。它们是三角恒等式中的「基本配备」。

正切恒等式 (Tangent Identity)

\( \tan \theta = \frac{\sin \theta}{\cos \theta} \)
记忆小撇步： 想像成 Sin 在 Cos 之上 (Sun over Clouds)。太阳永远在云层之上！

毕氏恒等式 (Pythagorean Identity)

\( \sin^2 \theta + \cos^2 \theta = 1 \)
这其实就是隐藏在圆形里的毕氏定理！在单位圆中，斜边长为 1，对边为 \( \sin \theta \)，邻边为 \( \cos \theta \)。因此，\( a^2 + b^2 = c^2 \) 就变成了我们的恒等式。

常见错误： 注意符号的标记方式。记住 \( \sin^2 \theta \) 的意思是 \( (\sin \theta)^2 \)。它不等于 \( \sin(\theta^2) \)！

重点总结： 这两个恒等式适用于 \( \theta \) 的任何数值。你可以利用它们在不同的三角函数之间进行转换，从而让方程式更容易求解。

2. 新的倒数：Sec, Cosec 及 Cot

在 A Level 中，我们会接触到三个新的函数。它们只是你已经熟悉的函数的「上下颠倒」版本（即倒数）。

1. 余割 (Cosecant)： \( \text{cosec } \theta = \frac{1}{\sin \theta} \)
2. 正割 (Secant)： \( \sec \theta = \frac{1}{\cos \theta} \)
3. 余切 (Cotangent)： \( \cot \theta = \frac{1}{\tan \theta} = \frac{\cos \theta}{\sin \theta} \)

快速记忆技巧： 看看新函数名称的第三个字母！
- cosec 对应 sin
- sec 对应 cos
- cot 对应 tan

从旧恒等式推导新恒等式

如果你将基本恒等式 \( \sin^2 \theta + \cos^2 \theta = 1 \) 的两边同时除以 \( \cos^2 \theta \)，你会得到：
\( \tan^2 \theta + 1 = \sec^2 \theta \)

如果你将基本恒等式两边同时除以 \( \sin^2 \theta \)，你会得到：
\( 1 + \cot^2 \theta = \text{cosec}^2 \theta \)

你知道吗？ 如果你知道如何透过除法来推导，其实你不需要刻意死背后两个公式。如果在考试中脑袋一片空白，只需要写下 \( \sin^2 \theta + \cos^2 \theta = 1 \) 然后开始除就可以了！

重点总结： Sec、Cosec 和 Cot 遵循与 Sin、Cos 和 Tan 相同的规则，但只要它们的「分母」部分为零，函数值便不存在（未定义）。

3. 复角公式 (Compound Angle Formulae)

有时我们会在三角函数内看到两个不同角度（设为 \( A \) 和 \( B \)）相加减。我们不能像普通代数那样直接「展开」括号。相反，我们需要使用这些特殊的公式：

正弦复角：
\( \sin(A \pm B) = \sin A \cos B \pm \cos A \sin B \)
（注意：正弦是「友善的」——它保持相同的符号，即 \( + \) 仍为 \( + \)，并且将 Sin 和 Cos 混合在一起。）

余弦复角：
\( \cos(A \pm B) = \cos A \cos B \mp \sin A \sin B \)
（注意：余弦是「自私的」——它让 Cosines 在一起，Sines 在一起，并且会改变符号！\( + \) 变成了 \( - \)。）

正切复角：
\( \tan(A \pm B) = \frac{\tan A \pm \tan B}{1 \mp \tan A \tan B} \)

鼓励的话： 这些公式起初看起来像一堆乱码，但考试时通常会提供公式表。关键在于知道何时使用它们——通常当你在一个函数中看到两个不同的角度时，就该派上用场了！

重点总结： 复角公式让我们能将复杂的角度（例如 \( 45^\circ + 30^\circ \)）拆解成我们已知的准确值。

4. 倍角公式 (Double Angle Formulae)

如果两个角度相同会怎样？如果我们将复角公式中的 \( B \) 替换为 \( A \)，就会得到倍角公式。这些公式在考试中极为常见！

1. 倍角正弦：
\( \sin 2\theta = 2 \sin \theta \cos \theta \)

2. 倍角余弦（三种形式）：
这个公式比较特殊，因为它有三种写法，而且全都正确！
- \( \cos 2\theta = \cos^2 \theta - \sin^2 \theta \)
- \( \cos 2\theta = 2 \cos^2 \theta - 1 \)
- \( \cos 2\theta = 1 - 2 \sin^2 \theta \)

3. 倍角正切：
\( \tan 2\theta = \frac{2 \tan \theta}{1 - \tan^2 \theta} \)

快速复习小框：
如果方程式中混有 \( \cos 2\theta \) 和 \( \sin^2 \theta \)，请使用只含有 \( \sin \) 的那个公式版本：\( 1 - 2 \sin^2 \theta \)。这样你就可以建立一个可以实际求解的二次方程式！

重点总结： 使用倍角恒等式将包含 \( 2\theta \) 的表达式转换为仅含 \( \theta \) 的形式，这能「统一」角度，让你能顺利解出方程式。

5. 调和形式 (Harmonic Form)：\( R \sin(\theta \pm \alpha) \)

你看过像 \( 3 \sin \theta + 4 \cos \theta \) 这样的表达式吗？曾想过「要是这只是一个单一的正弦波该多好」？事实上，它真的可以变身！

我们可以将 \( a \sin \theta \pm b \cos \theta \) 写成 \( R \sin(\theta \pm \alpha) \) 的形式。
同样地，我们可以将 \( a \cos \theta \pm b \sin \theta \) 写成 \( R \cos(\theta \mp \alpha) \) 的形式。

步骤拆解：

第一步：求 \( R \)。 这就是毕氏定理！\( R = \sqrt{a^2 + b^2} \)。
第二步：求 \( \alpha \)。 使用正切：\( \tan \alpha = \frac{b}{a} \)。(请务必根据展开式小心对应系数)。
第三步：写出最终式子。 使用新的 \( R \) 和 \( \alpha \) 来重写表达式。

为什么要这样做？
- 它能让解 \( 3 \sin \theta + 4 \cos \theta = 2 \) 这类方程式变得轻松许多。
- 它能让你直接找到最大值和最小值。\( R \sin(\theta + \alpha) \) 的最大值就是 \( R \)，最小值则是 \( -R \)。

重点总结： \( R \) 形式能将两个不同的波合成一个波。就像是从杂乱的和弦中，找出它所代表的那个单一音符。

6. 证明恒等式的策略

你经常会被要求「证明左式 (LHS) = 右式 (RHS)」。这可能会让人感到压力，但这里有一个简单的战术计划：

1. 从「较复杂」的那一边开始。 简化一个复杂的表达式远比从简单的式子推导出复杂的式子要容易得多。
2. 全部换成 Sin 和 Cos。 如果你看到 Sec, Cosec 或 Cot，将它们换成 \( 1/\sin \) 或 \( 1/\cos \)。通常这样做之后，许多项就会开始互相抵消了！
3. 寻找「平方」项。 如果你看到 \( \sin^2 \theta \) 或 \( 1 \)，就要考虑毕氏恒等式。
4. 统一角度。 如果一边有 \( 2\theta \)，而另一边有 \( \theta \)，请立即使用倍角公式。
5. 公分母。 如果有两个分数，将它们加起来合并成一个。分子往往会转化成一个非常有用的恒等式。

鼓励的话： 如果第一次尝试证明没成功，别担心。有时候你走的路可能通往死胡同——只要回到起点，尝试另一个「化名」就行了！每一次错误都会教你下次该避开哪一个恒等式。

重点总结： 证明题的核心在于逻辑步骤。清楚呈现每一步骤，如果你想给考官留下好印象，请务必标注你所使用的恒等式！

最终总结

- 恒等式只是书写同一个东西的不同方式。
- Sec, Cosec 及 Cot 是 Cos, Sin 及 Tan 的倒数。
- 复角及倍角公式能帮助我们处理三角函数内复杂的角度参数。
- R 形式是你寻找极值和求解混合正弦余弦方程式的最佳伙伴。

保持练习，很快你就能到处看见这些模式了。你绝对做得到！