立方差公式的推导
在数学中，立方差公式是一个重要的恒等式。它描述了两个数的立方差可以表示为这两个数及其和的乘积形式。具体地，对于任意实数 $a$ 和 $b$，立方差公式为：
$$ a^3 - b^3 = (a - b)(a^2 + ab + b^2) $$
下面我们来详细推导这个公式。
步骤1：设定目标
我们希望将 $a^3 - b^3$ 表达为 $(a - b)$ 与另一个多项式的乘积。
步骤2：使用多项式除法（或长除法）的思路
为了找到与 $(a - b)$ 相乘的多项式，我们可以设想一个多项式 $P(x)$，使得：
$$ P(x)(x - b) = x^3 - b^3 $$
当 $x = a$ 时，上式变为：
$$ P(a)(a - b) = a^3 - b^3 $$
我们的目标是找到 $P(x)$ 的形式。
步骤3：尝试构建 $P(x)$
由于 $P(x)(x - b)$ 必须等于 $x^3 - b^3$，我们可以通过比较系数来逐步确定 $P(x)$ 的各项。但更直观的方法是使用“合成除法”（类似于长除法，但在这里是逆向操作）。
我们知道 $x^3 - b^3$ 可以被 $x - b$ 整除，因此商应该是一个二次多项式。我们设这个多项式为 $ax^2 + bx + c$（注意这里的 $a, b, c$ 是待定的系数，与前面的 $a, b$ 不同）。
步骤4：执行合成除法
我们将 $x^3 - b^3$ 除以 $x - b$，得到商为 $x^2 + bx + b^2$（这里直接给出结果，省略了详细的除法过程）：
[ \begin{array}{r|rrrr} & x^2 & +bx & +b^2 \ \cline{2-4} x-b & x^3 & -b^3 \ & \underline{x^3 - bx^2} & \ & & (b+1)x^2 - b^3 \ & & \underline{(b+1)x^2 - b(b+1)x} \ & & & (b+1)bx - b^3 \ & & & \underline{(b+1)bx - b(b+1)b} \ & & & & 0 \ \end{array} ]
通过这个过程，我们发现 $P(x) = x^2 + bx + b^2$ 在这里并不完全正确，因为我们在中间步骤中使用了 $b+1$ 作为系数，但实际上我们应该让 $b$ 保持不变并观察整个表达式的结构。正确的理解是，当我们用 $x^2 + ax + c$ 去试除时，会发现只有当 $a=b$ 且 $c=b^2$ 时，才能整除且余数为零。因此，正确的商是 $x^2 + bx + b^2$（其中这里的 $b$ 是作为系数的 $b$，与 $x$ 无关，但在本例中恰好相同，容易引起混淆，需特别注意区分）。
然而，为了避免这种混淆，我们可以直接通过代数变换来证明原式，而不是依赖于除法的过程。
步骤5：代数变换证明
考虑以下变换：
$$ \begin{align*} a^3 - b^3 &= a^3 - a^2b + a^2b - ab^2 + ab^2 - b^3 \ &= a^2(a - b) + ab(a - b) + b^2(a - b) \ &= (a - b)(a^2 + ab + b^2) \end{align*} $$
在这个变换中，我们首先把 $a^3 - b^3$ 分解成三个差的和，每个差都含有因子 $a - b$，然后提取公因子 $a - b$。
结论
通过上述步骤，我们证明了立方差公式 $a^3 - b^3 = (a - b)(a^2 + ab + b^2)$ 成立。这个公式在因式分解、代数化简以及解决某些数学问题时非常有用。
