1.2.4 Rationalization (有理化)¶

通过分子或分母有理化处理含根式的极限问题，消除不定式形式

定义¶

有理化（Rationalization）是一种代数技巧，用于处理含有根式的极限问题。当直接代入法得到不定式形式（如 \(\frac{0}{0}\) 或 \(\frac{\infty}{\infty}\)）时，通过将分子或分母乘以适当的共轭表达式（conjugate），消除根式，从而化简极限表达式。

对于含平方根的表达式，若分子或分母中含有 \(\sqrt{a} - \sqrt{b}\) 的形式，可乘以其共轭 \(\sqrt{a} + \sqrt{b}\)；对于立方根等高次根式，可使用相应的有理化因子。有理化的目的是使极限表达式中的不定因子约分消去，从而能够直接计算极限值。

\(\lim_{x \to a} \frac{\sqrt{f(x)} - \sqrt{f(a)}}{x - a} = \frac{f'(a)}{2\sqrt{f(a)}}\)（通过有理化得到）
\(\frac{\sqrt{A} - \sqrt{B}}{\sqrt{A} - \sqrt{B}} \cdot \frac{\sqrt{A} + \sqrt{B}}{\sqrt{A} + \sqrt{B}} = \frac{A - B}{\sqrt{A} + \sqrt{B}}\)
\(\lim_{x \to 0} \frac{\sqrt{x+a} - \sqrt{a}}{x} = \frac{1}{2\sqrt{a}}\)（\(a > 0\)）
\(\frac{\sqrt[3]{A} - \sqrt[3]{B}}{\sqrt[3]{A} - \sqrt[3]{B}} \cdot \frac{(\sqrt[3]{A})^2 + \sqrt[3]{A}\sqrt[3]{B} + (\sqrt[3]{B})^2}{(\sqrt[3]{A})^2 + \sqrt[3]{A}\sqrt[3]{B} + (\sqrt[3]{B})^2} = \frac{A - B}{(\sqrt[3]{A})^2 + \sqrt[3]{A}\sqrt[3]{B} + (\sqrt[3]{B})^2}\)
\(\lim_{x \to 4} \frac{\sqrt{x} - 2}{x - 4} = \lim_{x \to 4} \frac{(\sqrt{x} - 2)(\sqrt{x} + 2)}{(x-4)(\sqrt{x}+2)} = \lim_{x \to 4} \frac{x-4}{(x-4)(\sqrt{x}+2)} = \frac{1}{4}\)

⚠️ 忘记同时乘以共轭表达式的分子和分母，导致改变了原式的值。正确做法是分子分母同时乘以共轭表达式，使其成为恒等变换。
⚠️ 在有理化后忘记化简或约分，特别是当分子出现 \(A - B\) 形式时，没有识别出与分母中的因子的关系，导致无法消去不定因子。
⚠️ 对于立方根或更高次根式的有理化，错误地使用平方根的共轭公式。应该使用 \(a^3 - b^3 = (a-b)(a^2+ab+b^2)\) 的因式分解来构造有理化因子。
⚠️ 在代入极限值之前没有完全化简表达式，导致仍然得到不定式形式。有理化的目的是使不定因子能够约分，必须进行彻底的代数化简。