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. 結論時請說明你的推導已成功抵達另一邊。

重要提示： 三角函數證明考驗的是耐心和代換技巧。如果一個恆等式行不通，就嘗試另一個！