Exponentials and logarithms - Pure Mathematics (YPM01) - Pearson Edexcel International A Level

歡迎來到指數與對數的世界！

你好，未來的數學家！這一章至關重要。指數用於描述增長（例如人口增長或複利），而對數則是我們用來「還原」這種增長並解方程的工具。你可以把對數想像成解開指數方程內在威力的秘密鑰匙。

如果初看這些概念覺得抽象，別擔心；我們會通過清晰的類比，一步步為你拆解。讓我們一起攻克 P2！

快速溫習：指數定律的基礎

在深入了解對數之前，請先回顧指數（冪）的基本法則。這些法則是根基，因為對數本質上就是一種特殊的指數。

乘法法則： \(a^m \times a^n = a^{m+n}\)
除法法則： \(a^m \div a^n = a^{m-n}\)
冪法則： \((a^m)^n = a^{mn}\)

1. 指數函數及其圖像

指數函數是指變量（通常為 \(x\)）位於冪（指數）位置的函數。其一般形式為：

\[y = a^x \quad \text{其中 } a > 0 \text{ 且 } a \neq 1\]

\(y = a^x\) 圖像的特性

當 \(a > 1\) 時（例如 \(y=2^x\)），我們可以看到指數增長：

圖像通過 (0, 1) 點（因為 \(a^0 = 1\)）。
曲線永遠在 x 軸上方（因為 \(a^x > 0\)）。
x 軸 (\(y=0\)) 是一條水平漸近線（曲線無限接近它，但永遠不會觸碰）。
隨著 \(x\) 增加，圖像上升得非常快。

類比：想像謠言的傳播。起初傳播得慢，但隨後知道謠言的人數會呈指數級快速增長！

重點摘要：指數函數

指數函數描述的是快速的增長或衰減。其定義特徵是變量位於指數位置。

2. 對數簡介：解鎖威力

我們使用對數來回答一個非常具體的問題：「我必須將此底數提升到什麼冪，才能得到這個數字？」

對數是指數函數的反函數。

對數的基本定義

以下陳述：

\[a^x = N\]

在數學上等同於以下對數陳述：

\[x = \log_a N\]

（讀作：「x 等於以 a 為底的 N 的對數」）

重要提示：指數形式中的底數 \(a\)，在對數形式中依然是底數 \(a\)。

記憶小撇步：對數迴圈 (The Log Loop)

要將 \(x = \log_a N\) 轉回指數形式，只需記住底數 \(a\) 進行一個「迴圈」運動，將 \(x\) 推到指數位置：\(a\) 的 \(x\) 次方等於 \(N\)。

轉換示例：

指數形式： \(2^5 = 32\)
對數形式： \(\log_2 32 = 5\) （指數為 5）

對數形式： \(\log_{10} 1000 = 3\)
指數形式： \(10^3 = 1000\)

特殊對數值

這些規則直接源自指數定律：

底數的對數： \(\log_a a = 1\) （因為 \(a^1 = a\)）
一的對數： \(\log_a 1 = 0\) （因為 \(a^0 = 1\)）

避免常見錯誤！

你不能對負數或零取對數。在 \(\log_a N\) 中，輸入值 \(N\) 必須始終為正數 (\(N > 0\))，因為 \(a^x\) 永遠為正。

3. 對數的三大定律（必備工具）

這三大定律讓我們能夠運算和簡化對數表達式。它們與指數定律相對應。

定律 1：乘法法則（乘法變加法）

當你將兩個數相乘時，它們的對數會相加：

\[\log_a (XY) = \log_a X + \log_a Y\]

思考：由於指數乘法是通過相加冪來實現的，因此對數（即冪）在結果相乘時必須相加。

定律 2：除法法則（除法變減法）

當你將兩個數相除時，它們的對數會相減：

\[\log_a \left(\frac{X}{Y}\right) = \log_a X - \log_a Y\]

定律 3：冪法則（指數掉下來！）

這可能是解指數方程最重要的定律。真數上的冪可以移到前面作為乘數：

\[\log_a (X^k) = k \log_a X\]

記憶小撇步：冪法則就像對數「解鎖」了指數，將它拉到地面，我們便能處理它！

換底公式

你的計算機通常只有以 10 為底 (\(\log\)) 和以 \(e\) 為底 (\(\ln\)) 的按鈕。如果你遇到以 5 為底的問題（例如 \(\log_5 10\)），必須使用換底公式：

\[\log_a N = \frac{\log_b N}{\log_b a}\]

在實際操作中，你通常會選擇 \(b=10\) 或 \(b=e\)：

\[\log_5 10 = \frac{\log 10}{\log 5} \quad \text{或} \quad \log_5 10 = \frac{\ln 10}{\ln 5}\]

重點摘要：對數定律

這些定律將乘除法簡化為加減法，但「冪法則」才是真正讓我們能夠解未知指數的關鍵。

4. 使用對數解方程

當我們無法使底數相同時（例如解 \(3^x = 10\)），必須使用對數。

解 \(a^x = b\) 的步驟

示例： 求 \(5^x = 40\) 中 \(x\) 的值（精確到 3 位有效數字）。

第一步：兩邊取對數。
選擇計算機支援的任何底數（底數 10 或 \(e\)）。

\[\log (5^x) = \log (40)\]

第二步：應用冪法則。
將變量 \(x\) 拉到前面。

\[x \log 5 = \log 40\]

第三步：分離 \(x\)。

\[x = \frac{\log 40}{\log 5}\]

第四步：計算最終值。

\[x \approx \frac{1.602}{0.699} \approx 2.29\]

解二次形式的方程

有些方程看起來很複雜，但可以像二次方程一樣處理。

示例： \(3^{2x} - 4(3^x) + 3 = 0\)

技巧： 代入 \(y = 3^x\)。

\[(3^x)^2 - 4(3^x) + 3 = 0\] \[y^2 - 4y + 3 = 0\] \[(y - 3)(y - 1) = 0\]

所以，\(y=3\) 或 \(y=1\)。

回代：

情況 1：\(3^x = 3 \implies x=1\)
情況 2：\(3^x = 1 \implies x=0\)

5. 指數常數 \(e\) 與自然對數

有一個特殊的底數在科學、金融，特別是微積分（微分與積分）中隨處可見，這就是數 \(e\)。

\(e\) 的定義： \(e\) 是一個無理數，約等於 2.71828...。它是連續增長的自然底數。

你知道嗎？如果你以 1 元進行連續複利，一年後你會得到 \(e\) 元。

自然對數 (ln)

當對數的底數為 \(e\) 時，我們稱之為自然對數，並使用特殊符號 \(\ln\)（通常讀作 "lon"）。

\[\log_e x \equiv \ln x\]

對數定律同樣完美適用於自然對數。

關鍵恆等式 1： \(\ln e = 1\) （因為 \(\log_e e = 1\)）
關鍵恆等式 2： \(\ln 1 = 0\)

解包含 \(e\) 的方程

要解包含 \(e\) 的方程，我們只需對兩邊取自然對數 (\(\ln\))，因為 \(\ln\) 可以簡化 \(e\)。

示例： 解 \(e^{2x-1} = 5\)

兩邊取 \(\ln\)：\(\ln(e^{2x-1}) = \ln 5\)
使用冪法則（以及 \(\ln e = 1\) 的事實）：\( (2x-1) \ln e = \ln 5 \implies 2x - 1 = \ln 5\)
分離 \(x\)：\(2x = 1 + \ln 5\)
最終答案：\(x = \frac{1 + \ln 5}{2}\)

快速溫習：\(e\) 與 \(\ln\)

\(e\) 是自然增長的數學常數。\(\ln\) 就是以 \(e\) 為底的 \(\log\)。它們是反函數，所以 \(\ln(e^k) = k\)。

6. 指數建模：線性化

在許多現實應用（如物理或生物學）中，我們收集的數據似乎遵循指數關係。P2 的一個經典技能是將這些指數關係轉換為直線，以便我們能輕鬆地利用圖像找出未知常數。這個過程稱為線性化。

情況 A：模型 \(y = A b^x\)

此模型以指數形式關聯 \(y\) 和 \(x\)，其中 \(A\) 和 \(b\) 為未知常數。為了從實驗數據中找出 \(A\) 和 \(b\)，我們必須將方程轉換為直線形式 \(Y = mX + c\)。

第一步：兩邊取對數（可取任何底數，這裡我們使用 \(\log_{10}\)）。

\[\log y = \log (A b^x)\]

第二步：應用乘法和冪法則。

\[\log y = \log A + \log (b^x)\] \[\log y = \log A + x \log b\]

第三步：對應直線形式 \(Y = mX + c\)。

Y 軸變量 (Y)： \(\log y\)
X 軸變量 (X)： \(x\)
斜率 (m)： \(\log b\)（直線的斜率給出了常數 \(b\)）
Y 軸截距 (c)： \(\log A\)（截距給出了常數 \(A\)）

如果你繪製 \(\log y\) 對 \(x\) 的圖像，數據點應該落在一直線上。

情況 B：模型 \(y = A x^n\)（冪定律關係）

此模型常與情況 A 混淆，但請注意此時變量 \(x\) 是底數，而 \(n\) 是常數冪。

第一步：兩邊取對數。

\[\log y = \log (A x^n)\]