指數的起點
指數表示「相同底數連乘幾次」
\(a\) 是底數，\(n\) 是指數。先從正整數指數的定義出發，再延伸到零、負數與分數指數。
\[
a^n=\underbrace{a\cdot a\cdot a\cdots a}_{n\text{ 個 }a}
\]
只有一個 \(a\) 時：\(\boxed{a=a^1}\)
先看全貌，再追理由
先整理指數公式，再一條一條打開證明
這一頁不把所有內容一次塞在一起。先用綱要分清楚公式屬於哪一類； 需要時再點開證明；最後才把指數式翻譯成對數式，理解對數律從哪裡來。
1公式綱要先分清楚同底數、同指數與特殊指數
↓
2點開證明把因數攤開，逐步看公式為何成立
↓
3轉成對數先學會兩種寫法互換，再推導對數律
第一層｜公式綱要
先判斷「什麼相同」，再選公式
先建立整體地圖。這裡只放公式、辨認方法與成立條件；想知道理由時，再按「查看證明」。
正整數指數先取 \(m,n\in\mathbb N\)
A｜五條基本指數律
先看底數相同，還是指數相同
每張卡只留最重要的辨認線索；點開後才進入因數排列與逐行證明。
2 第二層｜點開公式，再看證明預設收合；從上方任一公式卡進入，會自動切到對應證明。 展開／收合
互動證明
把因數攤開，看看公式如何形成
目前選擇：同底數相乘。可以調整底數與指數，圖示、證明與數值驗證會同步改變。
這一區先取 \(m,n\in\mathbb N\)
把冪攤開來看
同底數相乘：把兩排因數接起來
逐行證明
乘方的乘方有兩個層次
先用整數理解「幾組」，再用倒數指數定義「開幾次方」
公式 \((a^m)^n=a^{mn}\) 不只是在算整數次方；它也是分數指數與高次方根的來源。
每組有 \(m\) 個，共有 \(n\) 組
\[ (a^m)^n=a^{mn} \]這時可以真的把因數攤開：每組有 \(m\) 個 \(a\)，共有 \(n\) 組，因此總共有 \(mn\) 個 \(a\)。
乘積為 1，就得到高次方根
\[ \left(a^{1/n}\right)^n=a^{(1/n)n}=a \]所以 \(a^{1/n}\) 就是「\(n\) 次方後會回到 \(a\) 的數」，也就是 \(\sqrt[n]{a}\)。分母 \(n\) 表示開 \(n\) 次方根。
\[
\boxed{a^{1/n}=\sqrt[n]{a}}
\qquad\Longrightarrow\qquad
\boxed{a^{m/n}=\left(a^{1/n}\right)^m=\sqrt[n]{a^m}}
\]
因此「乘方的乘方」應分成：整數指數的連乘證明，以及倒數指數所導出的高次方根延伸。
板書中的關鍵分岔
同底數相除，三種情況要一起看
把上方切換到「同底數相除」，再拖動 \(m、n\)，圖中的約分會同步顯示三種結果。
分子還有剩
\[ \frac{a^m}{a^n}=a^{m-n} \]例如 \(2^5\div2^3=2^{5-3}=2^2\)。
全部約完，得到零次方
\[ \frac{a^m}{a^m}=1=a^{m-m}=a^0 \]所以 \(\boxed{a^0=1}\)，但必須先有 \(a\ne0\)。
分母還有剩，得到負指數
\[ \frac{a^m}{a^n}=\frac1{a^{n-m}}=a^{m-n} \]例如 \(2^2\div2^5=\frac1{2^3}=2^{-3}\)：負次方就是倒數。
特殊指數的由來
零次方、負指數與分數指數也能逐項打開
它們不是硬背的額外規則，而是為了讓前面的指數律繼續一致成立。
除法的中間情況① 零次方：\(a^0=1\)點開推導
同一個非零數除以自己：
\[
\frac{a^n}{a^n}=1
\]
指數相減又告訴我們：
\[
\frac{a^n}{a^n}=a^{n-n}=a^0
\]
兩個結果必須相同，所以：
\[
\boxed{a^0=1}\qquad(a\ne0)
\]
所有非零數的零次方都是 \(1\)，但這段推導沒有定義 \(0^0\)。
除法的分母剩餘② 負指數：負號表示倒數點開推導
一定先記住
負次方就是倒數。
\(a^{-n}=\dfrac1{a^n}\qquad(a\ne0)\)
當 \(m<n\) 時，先真的約分：
\[
\frac{a^m}{a^n}=\frac1{a^{n-m}}
\]
若仍要保持指數相減：
\[
\frac{a^m}{a^n}=a^{m-n}=a^{-(n-m)}
\]
比較兩式便得到：
\[
\boxed{a^{-k}=\frac1{a^k}}\qquad(a\ne0)
\]
例如 \(2^{-3}=\frac1{2^3}=\frac18\)，不是 \(-8\)。
乘方的乘方＋倒數指數③ 倒數指數：\(a^{1/n}\) 是 \(n\) 次方根點開推導
這裡不再把 \(1/n\) 解釋成「有 \(1/n\) 個因數」，而是讓兩個指數互為倒數，使乘積等於 1：
\[
\left(a^{1/n}\right)^n=a^{(1/n)\cdot n}=a^1=a
\]
哪一個數的 \(n\) 次方會等於 \(a\)？答案就是 \(n\) 次方根：
\[
\boxed{a^{1/n}=\sqrt[n]{a}}
\]
例如：\(2^{1/2}=\sqrt2\)，因為 \((\sqrt2)^2=2\)。
在實數範圍內，若 \(n\) 為偶數須有 \(a\ge0\)；要銜接對數時統一取 \(a>0\)。
先開根，再乘方④ 一般分數指數：分母開根、分子乘方點開推導
\[
a^{m/n}=\left(a^{1/n}\right)^m
=\left(\sqrt[n]{a}\right)^m
=\sqrt[n]{a^m}
\]
因此：
\[
\boxed{a^{m/n}=\sqrt[n]{a^m}}
\]
若指數再帶負號，就先取倒數：
\[
\boxed{a^{-m/n}=\frac1{\sqrt[n]{a^m}}}
\]
例：\(8^{-2/3}=\frac1{(\sqrt[3]{8})^2}=\frac14\)。
重複相乘→
正整數指數律→
零次方與負指數→
分數／實數指數→
對數
嚴謹補充：上面的證明已經涵蓋所有實數指數了嗎？
「把因數攤開」能直接證明正整數指數，再依序延伸到零、負整數與有理數指數。 若指數是無理數，不能真的排出「\(\sqrt2\) 個因數」；完整定義還需要利用指數函數的連續性 （或等價的極限定義）。高中階段會把實數指數函數定義成仍保持這些指數律，因此後面即使 \(p=\log_aM\) 不是有理數，也可以使用同樣的指數律。
3 第三層｜先學指數式與對數式互換先把三個位置看清楚，再繼續推導乘法、除法與次方的對數律。 展開／收合
指數語言 ↔ 對數語言
不是換公式，而是把同一件事換一種問法
指數式已經知道指數，算出冪的結果；對數式則已知底數與結果，反過來詢問指數是多少。
\(a>0,\ a\ne1,\ M>0\)
快速例題
同一個關係，兩種寫法
\(2^3=8\)
把「指數是多少」改成問題↓
\(\log_2 8=3\)
底數2位置不變
冪的結果8變成真數
原來的指數3變成對數答案
轉換時只做三件事
- 底數留在底數指數式的 \(a\)，仍然是 \(\log_a\) 的底數。
- 等號右邊變真數指數式的結果 \(M\)，放進對數符號後面。
- 原指數變答案原本的 \(p\)，移到等號右邊，回答「要幾次方」。
\[
\boxed{a^p=M\quad\Longleftrightarrow\quad\log_aM=p}
\]
檢查：\(2\) 的 \(3\) 次方確實等於 \(8\)。
到這裡先停一下：能把 \(a^p=M\) 與 \(\log_aM=p\) 互相改寫後，才開始用指數律推導對數律。
先看對數公式全貌
基本三律是主幹；換底、底真互換與連鎖律是延伸
先看公式放在哪一層，再決定哪些需要逐步證明。
已會互換兩種寫法接著：用指數律證明對數律點開乘法、除法、次方、換底、底真互換與連鎖律
再往下一步
用指數律證明對數律
證明只有一個固定套路：先把對數改寫成指數，再使用剛才的指數律，最後翻回對數。
共同起點
令 \(p=\log_a M,\ q=\log_a N\)
所以 \(M=a^p,\ N=a^q\)
令 \(p=\log_a M,\ q=\log_a N\)
所以 \(M=a^p,\ N=a^q\)
指數語言 → 對數語言
乘法律：乘法會讓指數相加
用一組數字驗證
\(M\)8
\(N\)4
底數2
左邊與右邊都等於 5。
指數律與對數律的對照字典
| 指數世界發生的事 | 使用的指數律 | 翻成對數後 |
|---|---|---|
| 同底數相乘 | \(a^p a^q=a^{p+q}\) | \(\log_a(MN)=\log_aM+\log_aN\) |
| 同底數相除 | \(a^p/a^q=a^{p-q}\) | \(\log_a(M/N)=\log_aM-\log_aN\) |
| 乘方的乘方 | \((a^p)^k=a^{pk}\) | \(\log_a(M^k)=k\log_aM\) |
| 指數與對數互為反函數 | \(a^x=M\Longleftrightarrow x=\log_aM\) | \(a^{\log_aM}=M,\quad\log_a(a^x)=x\) |
| 改用另一個底數表示同一指數 | \(M=a^x\)，兩邊取以 \(b\) 為底的對數 | \(\log_aM=\dfrac{\log_bM}{\log_ba}\) |
最後對照整理
哪些對數律直接對應指數律？哪些是換底公式的延伸？
先抓主幹，再看延伸。前六項可以直接回到指數的定義或指數律；後面的公式主要由換底公式繼續整理而來。
A｜直接對應
每一條都能指出背後是哪一條指數關係
| 指數世界 | 對數世界 | 連接理由 |
|---|---|---|
| \(a^1=a\) | \(\log_a a=1\) | 底數的一次方就是自己 |
| \(a^0=1\) | \(\log_a1=0\) | 非零底數的零次方等於 1 |
| \(a^{-x}=\dfrac1{a^x}\) | \(\log_a\!\left(\dfrac1M\right)=-\log_aM\) | 倒數使指數變號 |
| \(a^p a^q=a^{p+q}\) | \(\log_a(MN)=\log_aM+\log_aN\) | 相乘對應指數相加 |
| \(\dfrac{a^p}{a^q}=a^{p-q}\) | \(\log_a\!\left(\dfrac MN\right)=\log_aM-\log_aN\) | 相除對應指數相減 |
| \((a^p)^k=a^{pk}\) | \(\log_a(M^k)=k\log_aM\) | 乘方的乘方對應指數相乘 |
| \(a^x=M\Longleftrightarrow x=\log_aM\) | \(a^{\log_aM}=M\)，\(\log_a(a^x)=x\) | 指數函數與對數函數互為反函數 |
B｜換底後的延伸
不用全部當新公式背；多數只是換底、約分與次方律
| 名稱 | 公式 | 從哪裡來 |
|---|---|---|
| 倒數與倒數底數 | \(\log_a r=-\log_a\!\dfrac1r=-\log_{1/a}r\) | 除法律＋換底公式 |
| 換底公式 | \(\log_a b=\dfrac{\log_c b}{\log_c a}\) | 先設 \(x=\log_a b\)，再對 \(b=a^x\) 取以 \(c\) 為底的對數 |
| 底真互換 | \(\log_a b=\dfrac1{\log_b a}\) | 換底到 \(b\)，分子 \(\log_b b=1\) |
| 連鎖律 | \(\log_a b\cdot\log_b c\cdot\log_c d=\log_a d\) | 連續換底後，中間因子成對約去 |
| 底數冪次變換 | \(\log_{a^m}r=\dfrac{n}{m}\log_{a^n}r\quad(m,n\ne0)\) | 兩邊都換成以 \(a\) 為底 |
| 底數與真數同次方／同次方根 | \(\log_a r=\log_{a^m}(r^m)=\log_{\sqrt[n]{a}}\sqrt[n]{r}\) | 底數與真數同時做相同非零次方，對數值不變 |
| 交叉指數恆等式 | \(a^{\log_b r}=r^{\log_b a}\) | 兩邊取以 \(b\) 為底的對數後同為 \(\log_ba\cdot\log_br\) |
共同條件：各個對數的底數皆須大於 0 且不等於 1；真數皆須大於 0。牽涉 \(a^m\) 作為底數時，還須 \(m\ne0\)。
最後檢查
公式成立，還要把條件帶著走
很多錯誤不是計算錯，而是忘記公式在哪些數值範圍內才有意義。
對數的三個基本條件
\(a>0,\quad a\ne1,\quad M>0\)
- 底數 \(a\) 必須是正數。
- 底數不能是 \(1\)，否則 \(1^x\) 永遠只有 \(1\)。
- 真數 \(M\) 必須是正數。
為什麼不能拆加法？
\(\log_a(M+N)\ne\log_aM+\log_aN\)
指數律只告訴我們「乘法對應指數相加」，並沒有一條規則把普通加法變成指數相加。
例如：\(\log_{10}(10+100)=\log_{10}110\)，
但 \(\log_{10}10+\log_{10}100=1+2=3\)。
但 \(\log_{10}10+\log_{10}100=1+2=3\)。
指數律也不能看到符號就亂套
- \(a^m+a^n\ne a^{m+n}\)：指數相加只用在同底數相乘。
- \((a+b)^n\ne a^n+b^n\)：積的乘方可以拆，和的乘方一般不能拆。
- \(a^{-n}=\frac1{a^n}\)，不是 \(-a^n\)。
- \((-a)^2=a^2\)，但 \(-a^2=-(a^2)\)：括號會改變底數。
立即檢查
哪一個式子可以直接使用對數律？
假設所有對數都有意義。
請選一個答案。
最後整理
真正的學習順序：先辨認，再證明，最後翻譯
1先判斷是
同底數或同指數
同底數或同指數
2需要時點開
因數排列證明
因數排列證明
3熟悉互換
\(a^p=M\Longleftrightarrow\log_aM=p\)
\(a^p=M\Longleftrightarrow\log_aM=p\)
4使用對應指數律
推導對數律
推導對數律