Proof involving trigonometric functions

欢迎来到三角函数恒等式证明（Trigonometric Proofs）的世界！

在这一章，我们将学习如何证明两个三角函数表达式是完全相同的，无论你代入任何角度值。这就像是做数学侦探：你从一个表达式开始，运用各种「线索」（恒等式）来证明它实际上与另一个表达式等同。这对于 OCR A Level Mathematics A (H240) 来说是一项至关重要的技能，因为它能锻炼你进行微积分及后续学习所需的逻辑思维能力。

如果起初觉得有点棘手，别担心！ 证明题有时就像解谜一样。有时候你会走入死胡同，这没关系。练习得越多，你就越能开始「看见」当中的规律。

第一节：你的三角函数工具箱

在开始证明之前，我们需要准备好工具。这些是你从第一阶段和第二阶段学习中必须掌握的恒等式（identities）。三角恒等式是指一个对所有角度值都成立的方程式。

「基础八大」恒等式

1. 商数关系： \(\tan \theta \equiv \frac{\sin \theta}{\cos \theta\)}\)
2. 毕氏恒等式： \(\sin^2 \theta + \cos^2 \theta \equiv 1\)
3. 正割（Secant）： \(\sec \theta \equiv \frac{1}{\cos \theta\)}\)
4. 余割（Cosecant）： \(\text{cosec } \theta \equiv \frac{1}{\sin \theta\)}\)
5. 余切（Cotangent）： \(\cot \theta \equiv \frac{1}{\tan \theta} \equiv \frac{\cos \theta}{\sin \theta\)}\)
6. 「正割」平方恒等式： \(1 + \tan^2 \theta \equiv \sec^2 \theta\)
7. 「余割」平方恒等式： \(1 + \cot^2 \theta \equiv \text{cosec}^2 \theta\)
8. 倍角公式：
- \(\sin 2\theta \equiv 2\sin \theta \cos \theta\)
- \(\cos 2\theta \equiv \cos^2 \theta - \sin^2 \theta \equiv 2\cos^2 \theta - 1 \equiv 1 - 2\sin^2 \theta\)

快速回顾： 请记住符号 \(\equiv\) 代表「恒等于」。它比普通的等号意义更强！

记忆小撇步： 对于平方恒等式，请记住：「Tan（正切）与 Sec（正割）为伴」 (\(1 + \tan^2 = \sec^2\))，以及 「Cot（余切）与 Cosec（余割）为伴」 (\(1 + \cot^2 = \text{cosec}^2\))。

重要提示： 如果你不把这些背熟，就无法进行证明。每天花 10 分钟把它们写出来，直到像呼吸一样自然为止！

第二节：游戏规则

当题目要求你「证明」（Prove）或「显示」（Show that）时，为了获得 OCR 考官的满分，你必须遵守几条严格的规则。

「单边起手」规则

学生最常犯的错误是把证明题当作方程式来解。不要将项从等号一边移到另一边。 相反，请遵循以下步骤：

1. 选择左式 (LHS) 或右式 (RHS) 作为起点。通常从看起来比较复杂的那一边开始会比较容易。
2. 使用你的恒等式来运算该边。
3. 持续运算直到它看起来与另一边完全相同。
4. 以结论语作结，例如：「LHS = RHS，因此该恒等式得证。」

逻辑步骤

证明是一系列逻辑步骤的堆叠。每一行都必须与前一行有明确的逻辑联系。如果你跳过太多步骤，考官可能会认为你只是「猜」出答案的。

你知道吗？ 在希腊语中，Trigonometry 的意思是「三角形测量」。尽管我们正在使用这些精致的公式，但它们最初全都是源自于对直角三角形边长的测量！

第三节：成功的策略

如果你在证明过程中卡住了，试试这些「实战验证过」的策略：

1. 「化为 Sine 和 Cosine」策略： 如果你看到 \(\tan, \sec, \text{cosec, 或 } \cot\)，把它们全部转换成包含 \(\sin\) 和 \(\cos\) 的表达式。这通常能让你看出哪些项可以消去。
2. 通分： 如果你有两个分数，透过寻找公分母将它们相加。这是 OCR 考试中经典的技巧！
3. 寻找平方项： 如果你看到 \(\sin^2 \theta\) 或 \(\cos^2 \theta\)，请联想到恒等式 \(\sin^2 \theta + \cos^2 \theta \equiv 1\)。你可以将其重组为 \(\sin^2 \theta \equiv 1 - \cos^2 \theta\)。
4. 因式分解： 有时候你可以提取公因式来简化表达式。

需避免的常见错误： 不要写出没有角度的 \(\sin\)。单独的 \(\sin\) 只是个词汇；\(\sin \theta\) 才是一个数值。务必带上 \(\theta\) 或 \(x\)！

重要提示： 如果你迷失了方向，将所有东西都转化为 Sine 和 Cosine。这招在 80% 的情况下都奏效！

第四节：步骤示范例题

让我们看看一个类似 OCR 课程大纲中的例子：

例子：证明 \(\frac{1}{\tan \theta + \cot \theta} \equiv \sin \theta \cos \theta\)

步骤 1：选择一边。 左式 (LHS) 复杂得多，所以我们从这里开始。
LHS: \(\frac{1}{\tan \theta + \cot \theta}\)

步骤 2：使用「化为 Sine 和 Cosine」策略。 代入 \(\tan\) 和 \(\cot\) 的定义。
\(\frac{1}{\frac{\sin \theta}{\cos \theta} + \frac{\cos \theta}{\sin \theta}}\)

步骤 3：合并分母的分数。 寻找公分母，即 \(\sin \theta \cos \theta\)。
\(\frac{1}{\frac{\sin^2 \theta + \cos^2 \theta}{\sin \theta \cos \theta}}\)

步骤 4：使用毕氏恒等式。 我们知道 \(\sin^2 \theta + \cos^2 \theta = 1\)。
\(\frac{1}{\frac{1}{\sin \theta \cos \theta}}\)

步骤 5：简化分数。 1 除以一个分数等于将该分数取倒数。
\(\sin \theta \cos \theta\)

步骤 6：结论。
LHS = RHS，得证。

快速回顾： 注意我们完全没有触碰右式 (RHS) 吗？我们只是不断运算左式，直到它变形成右式的样子。

第五节：复合角与倍角证明

随着进入第二阶段，你将需要运用和角公式（例如 \(\sin(A+B)\)）来证明恒等式。课程范例中可能会要求你证明涉及 \(\cos^2(\theta + 45^\circ)\) 的式子。

要做到这一点，你需要先使用和角公式来展开括号：
\(\cos(A+B) = \cos A \cos B - \sin A \sin B\)

然后，运用你所学过的精确值（例如 \(\sin 45^\circ = \frac{1}{\sqrt{2}}\)）来简化数字。最后，你可能需要使用倍角公式来完成证明。

鼓励的话： 这些较长的证明题其实只是多个小步骤的结合。一次处理一个括号，慢慢地，「全局」就会清晰起来！

本章总结 - 最终检查清单

1. 背诵核心恒等式（毕氏、商数、倒数及倍角公式）。
2. 只从一边开始（选择「较复杂」的那一边）。
3. 清楚展示每一个步骤——不要跳过代数运算！
4. 如果卡住了，就代入 \(\sin\) 和 \(\cos\)。
5. 结论时请说明你的推导已成功抵达另一边。

重要提示： 三角函数证明考研的是耐心和代换技巧。如果一个恒等式行不通，就尝试另一个！