商的乘方等于乘方的商

“商的乘方等于乘方的商”，即：
$$\left(\frac{a}{b}\right)^n = \frac{a^n}{b^n} \quad (b \neq 0)$$

这个公式的证明非常直观，我们可以根据**乘方的定义**和**分数的乘法规则**来进行推导。

### 1. 直观证明（利用乘法定义）

最简单的方法是把乘方展开成连乘的形式。

假设 $n$ 是一个正整数，根据乘方的定义，$\left(\frac{a}{b}\right)^n$ 表示 $n$ 个 $\frac{a}{b}$ 相乘：

$$\left(\frac{a}{b}\right)^n = \underbrace{\frac{a}{b} \times \frac{a}{b} \times \dots \times \frac{a}{b}}_{n \text{个}}$$

根据**分数的乘法法则**（分子乘分子，分母乘分母）：

$$\left(\frac{a}{b}\right)^n = \frac{\overbrace{a \times a \times \dots \times a}^{n \text{个}}}{\underbrace{b \times b \times \dots \times b}_{n \text{个}}}$$

再次利用乘方的定义，分子就是 $a^n$，分母就是 $b^n$。所以：

$$\left(\frac{a}{b}\right)^n = \frac{a^n}{b^n}$$

---

### 2. 举例说明（更感性的理解）

如果我们用具体的数字，比如 $(\frac{2}{3})^3$：

1. **左边（商的乘方）：**
$(\frac{2}{3})^3 = \frac{2}{3} \times \frac{2}{3} \times \frac{2}{3} = \frac{2 \times 2 \times 2}{3 \times 3 \times 3} = \frac{8}{27}$
2. **右边（乘方的商）：**
$\frac{2^3}{3^3} = \frac{8}{27}$

两边结果完全相等。

---

### 3. 严格的数学证明（数学归纳法）

如果你需要更严谨的证明（针对所有正整数 $n$），可以使用数学归纳法：

* **第一步：** 当 $n=1$ 时，左边 $= (\frac{a}{b})^1 = \frac{a}{b}$，右边 $= \frac{a^1}{b^1} = \frac{a}{b}$。等式成立。
* **第二步：** 假设当 $n=k$ 时等式成立，即 $(\frac{a}{b})^k = \frac{a^k}{b^k}$。
* **第三步：** 证明当 $n=k+1$ 时也成立：
$$\left(\frac{a}{b}\right)^{k+1} = \left(\frac{a}{b}\right)^k \times \frac{a}{b}$$
代入假设：
$$\left(\frac{a}{b}\right)^{k+1} = \frac{a^k}{b^k} \times \frac{a}{b} = \frac{a^k \cdot a}{b^k \cdot b} = \frac{a^{k+1}}{b^{k+1}}$$
由此证明对所有正整数 $n$ 都成立。

---

### 总结
这个性质的核心本质在于：**乘法（和除法）具有结合律和交换律**。

当你把一堆分数连乘时，你可以自由地先把所有的分子乘在一起，再把所有的分母乘在一起，最后再做除法。这就是为什么“先除再乘方”和“先分别乘方再除”的结果是一样的。