歡迎來到三角不等式！
你好！今天我們要深入探討一個聽起來像是純幾何的概念，但它實際上是數學分析和代數中最強大的工具之一。無論你處理的是實數、複數還是向量，三角不等式（Triangle Inequality）都能幫助你理解不同數值大小之間的關係。
如果不等式有時讓你覺得有點「模糊」，別擔心！讀完這些筆記後，你就會明白三角不等式其實就是數學對這句話的詮釋：「兩點之間，直線最短！」
1. 核心概念：什麼是三角不等式？
簡單來說，三角不等式指出，對於任何兩個實數 \(a\) 和 \(b\)：
\( |a + b| \leq |a| + |b| \)
用白話來說，這意味著兩個數之和的絕對值，永遠小於或等於它們各自絕對值的總和。
生活中的類比
想像你要從家裡出發去一間珍珠奶茶店。
- 路線 1： 你沿著一條完美的直線直接走到店裡 (\( |a+b| \))。
- 路線 2： 你先走到朋友家 (\( |a| \))，再從那裡走到店裡 (\( |b| \))。
除非你朋友家剛好就在去店裡的直線上，否則路線 2 永遠會比路線 1 長。如果朋友家剛好在路途上，那麼兩者的距離就相等！
重點溫習： 等式何時成立？
表達式 \( |a + b| = |a| + |b| \) 成立的充要條件是 \(a\) 和 \(b\) 具有相同的正負號（同時為正或同時為負），或者其中至少有一個數為零。如果一個為正，另一個為負，它們會互相「抵消」一部分，導致左側的值變小。
2. 「反向」三角不等式
在 H3 數學中，有時你需要找到一個下界（lower bound）——也就是說，你想知道一個表達式可能出現的最小值。這時候，反向三角不等式就派上用場了。
它指出：
\( |a - b| \geq ||a| - |b|| \)
這告訴我們，兩個數之間的距離，至少大於它們距離原點（零）之差的絕對值。這聽起來有點饒口，但在證明極限和為函數設置界限時非常有用！
避免常見錯誤： 許多同學會忘記右側外層的絕對值符號。我們使用 \( ||a| - |b|| \) 是為了確保結果不會是負數，畢竟距離 \( |a - b| \) 絕對不可能小於零！
3. 擴展到複數
既然你已經掌握了 H2 數學的複數，你會發現這條規則同樣適用於複數 \(z_1\) 和 \(z_2\) 的模（modulus）：
\( |z_1 + z_2| \leq |z_1| + |z_2| \)
在阿爾岡圖（Argand diagram）上，這真的是關於三角形的概念！如果你將 \(z_1\) 和 \(z_2\) 表示為向量，那麼由它們的和 \(z_1 + z_2\) 所構成的邊，其長度不可能超過個別邊長 \(z_1\) 和 \(z_2\) 之和。
你知道嗎？
這條不等式正是二維平面上兩點之間直線路徑最短的原因。如果這條不等式不成立，我們所知的幾何學將會崩塌！
4. 逐步教學：如何在證明中使用不等式
當題目要求你「證明」某個表達式小於特定值時，請遵循以下步驟：
步驟 1： 識別各項。尋找類似 \( |X + Y| \) 的結構。
步驟 2： 套用三角不等式。將絕對值拆分為兩部分： \( |X| + |Y| \)。
步驟 3： 簡化各個部分。通常分開處理 \( |X| \) 和 \( |Y| \) 比處理整個合併後的表達式要容易得多。
例子：證明 \( |x^2 + 3x| \leq |x|^2 + 3|x| \)。
1. 令 \(a = x^2\) 且 \(b = 3x\)。
2. 根據三角不等式： \( |x^2 + 3x| \leq |x^2| + |3x| \)。
3. 因為 \( |x^2| = |x|^2 \) 且 \( |3x| = 3|x| \)，我們得到： \( |x^2 + 3x| \leq |x|^2 + 3|x| \)。完成！
5. 重要的變體與推廣
你可能會遇到多個數相加的一般形式：
\( |a_1 + a_2 + ... + a_n| \leq |a_1| + |a_2| + ... + |a_n| \)
這通常使用 Sigma 符號寫作： \( |\sum_{i=1}^{n} a_i| \leq \sum_{i=1}^{n} |a_i| \)。
記憶小撇步： 「總和的絕對值永遠小於絕對值的總和。」你可以把絕對值符號想像成「牆」，它們防止數字互相抵消。如果牆在外面，數字之間就能互相抵消；如果每個數字都被牆圍住，就無法發生抵消，結果就會達到最大值！
6. 總結與學習重點
別被這一章的簡單性所迷惑——它是 H3 數學的重要基礎「積木」！
要記住的重點：
• 標準形式： \( |a + b| \leq |a| + |b| \)。用它來尋找最大可能值（上界）。
• 反向形式： \( |a - b| \geq ||a| - |b|| \)。用它來尋找最小可能值（下界）。
• 等式成立： 僅在數字指向「相同方向」（同號）時發生。
• 通用性： 適用於實數、複數和向量。
鼓勵： 如果你不確定該用哪個版本，試著快速畫一個數線或阿爾岡圖。視覺化「距離」通常會讓你一眼看出正確的選擇。你一定做得到的！