根式与有理指数

你第一次看到根号时，可能会把它当成一种新的计算符号。其实它做的事很朴素：把乘方倒着问一遍。

$5^2=25$ 是从边长算面积，$\sqrt{25}=5$ 则是从面积倒推边长。等你再见到 $25^{1/2}$，也不用重新学一套规则。它和 $\sqrt{25}$ 说的是同一件事，只是写法更适合参加指数运算。

真正容易出错的地方不在“会不会按计算器”，而在条件：根号为什么只取非负值？负数能不能开根？$\sqrt{x^2}$ 为什么不总是 $x$？分数指数的底数如果是负数，又该怎么办？这一页会把这些问题一层层拆开，而且每条公式都把适用条件写清楚。

平方根先回答两个不同的问题

假设一个正方形的面积是 25。边长当然是 5，因为边长不能是负数，而且 $5^2=25$。因此我们写：

根号下面的 25 叫被开方数，$\sqrt{25}$ 这个整体叫根式。这里的根号不是在列出“所有平方后等于 25 的数”，它只挑出其中非负的那个。

平方根和主平方根别混在一起

“哪些实数的平方等于 25？”这是一个方程问题：

答案有两个，因为 $5^2=25$，而 $(-5)^2$ 也等于 25：

为了省写一行，常把它记成：

“$\sqrt{25}$ 等于多少？”问的却是一个符号的值。数学约定 $\sqrt{a}$ 表示 的，它必须非负，所以：

不能写成 $\sqrt{25}=\pm5$。正负号是在解 $x^2=25$ 时添上的，不是根号自带的。

在实数范围里，根号下面要先过检查

实数的平方不会是负数。因此 $\sqrt{a}$ 在实数范围内有意义，当且仅当：

而且它的结果同样满足：

这两句看着相似，管的对象却不同。第一句检查根号里面，第二句限制根号的结果。

于是，方程 $x^2=c$ 在实数范围内正好分成三种情况：

零也别漏掉：

$\sqrt{x^2}$ 为什么是绝对值

把 $x=3$ 代进去，$\sqrt{x^2}=3$；把 $x=-3$ 代进去，根号里面还是 9，可主平方根仍然是 3，而不是 。

所以对任意实数 $x$，正确结论是：

绝对值刚好保证结果非负。把它分情况写开，会更直观：

只有题目已经给出 $x\ge0$，你才能继续写成 $\sqrt{x^2}=x$。

精确值和近似值各有用途

$\sqrt{2}$ 在数轴上有确定位置，它不是“算不出来”。只是它不能写成两个整数的比，小数展开也不会终止或循环：

做代数变形时，保留 $\sqrt{2}$ 是精确写法；测量或估算时，才根据需要写成 $1.414$ 之类的近似值。近似号也要跟着换：

从平方根走到 $n$ 次根

平方根在问“谁的二次幂等于这个数”，$n$ 次根只是把问题改成“谁的 $n$ 次幂等于这个数”。根指数写在根号左上角：

这里 $n$ 是大于 1 的整数。根指数为 2 时通常省略，于是 $\sqrt[2]{a}$ 就写成 $\sqrt{a}$。

偶次根和奇次根的脾气不同

当 $n$ 是偶数时，任何实数的 $n$ 次幂都非负。因此在实数范围内，$\sqrt[n]{a}$ 要求 $a\ge0$，并且符号 仍表示非负的主值。

例如：

但方程 $x^4=81$ 有两个实数解：

当 $n$ 是奇数时，负号不会被幂运算抹掉。每个实数都有唯一的实数奇次根，而且根与被开方数同号：

把规则压成一张检查表，就是：

一般根式也有绝对值陷阱

偶次根的主值非负，所以对任意实数 $x$ 和正整数 $k$：

奇次根没有这个问题。对任意实数 $x$：

例如：

这就是以后判断“能不能直接把根号和幂消掉”的底层规则：先看根指数的奇偶，再看主值是否要求非负。

根式法则不是无条件通行证

根式最常用的乘法法则是：

在实数范围内，最稳妥的条件是：

为什么这条规则成立？右边 $\sqrt{a}\sqrt{b}$ 是非负数，而且它的平方为：

它正好满足“非负且平方等于 $ab$”，所以就是 $ab$ 的主平方根。

商的法则是：

这里要有：

$b$ 不能等于 0，是因为分母不能为 0；要求 $b>0$，还保证 $\sqrt{b}$ 是实数并且不为 0。

加法没有对应的拆根规则

乘积可以按条件拆开，和却不能照搬：

一个反例就够了。取 $a=b=1$：

而：

$\sqrt2$ 显然不等于 2。同样，$\sqrt{a-b}$ 也不能随手拆成 。

更一般的乘除规则

对正整数 $n$，当各个根式都在实数范围内有意义时，可以使用：

若 $n$ 为偶数，通常要求 $a\ge0$、$b>0$；若 $n$ 为奇数，$a$ 可以是任意实数，而除法仍要求 $b\ne0$。条件不写清，公式就很容易被用到没有实数意义的式子上。

化简根式就是把完整的幂搬出来

化简 $\sqrt{180}$ 时，不必把 180 分解到最后一个质因数才开始。先找它里面最大的完全平方因子：

于是：

这个过程不是在改变数值，只是在重新摆放因子。你可以反向检查：

数字根式怎么找最快

对平方根，优先试这些完全平方数能否整除被开方数：

例如：

如果一开始只找到了较小的平方因子，也没关系，只是多走一步：

最终标准很简单：根号里面不再含有大于 1 的完全平方因子。

带变量时，偶数个成对搬出

先看一个条件明确的例子。设 $x\ge0$，化简：

把成对的因子分出来：

所以：

$x^4=(x^2)^2$，而 $x^2$ 本来就非负，因此这里不需要再添绝对值。

再看一个会露出绝对值的式子。对任意实数 $x$：

也可以写成：

如果题目另外说明 $x\ge0$，才可简化为 $2x^3\sqrt3$。

高次根按根指数分组

化简 $\sqrt[3]{54x^7}$ 时，完整的三次幂可以走出三次根号。因为：

所以对任意实数 $x$：

这里 $\sqrt[3]{x^6}=x^2$，结果天然非负，不需要绝对值。你可以把操作理解成“指数除以根指数”：商对应搬出根号的幂次，余数继续留在根号里；不过遇到偶次根时，仍要检查绝对值和定义域。

根式的四则运算

化简只是准备工作。真正做加减前，先把每一项都化到最简，才能看出它们是不是同类根式。

加减只合并同类根式

这和 $3x+2x=5x$ 是同一套思路，$\sqrt5$ 相当于共同的“字母部分”。

表面不同的根式，化简后也可能变成同类项：

但下面这个式子不能再合并：

被开方数不同，又都已经最简，只能保留原样。

乘法先乘，再化简

在各根式有实数意义的前提下：

遇到共轭式时，中间项会抵消：

这个结构来自平方差：

它很快就会用在分母有理化里。

除法先检查分母，再有理化

把分母中的根式消去，叫分母有理化。例如：

乘上的 $\dfrac{\sqrt3}{\sqrt3}$ 等于 1，所以数值没有改变。

若分母是两个项，要乘它的共轭式。化简：

分子分母同时乘 $\sqrt5+1$：

这里原分母确实不为 0，因为 $\sqrt5\ne1$。做任何分式题，都应该先保留这根“分母不能为 0”的弦。

有理指数是根式的另一种语法

为什么把 $\sqrt[n]{a}$ 写成 $a^{1/n}$？因为这样一来，整数指数的运算规则可以自然延续。

先把底数限制为 $a>0$。若 $n$ 是正整数，定义：

更一般地，$m$ 是整数、$n$ 是正整数时：

“分母管开几次方，分子管乘几次幂”是不错的记法，但别忘了定义成立的底数条件。

先开根还是先乘方

两种顺序在条件满足时等价，但计算量可能差很多：

如果先算 $8^2=64$ 再开三次方也能得到 4，只是数字更大。

再看：

一般先开根再乘方更省力；如果被开方数不是完整的 $n$ 次幂，换个顺序也许更顺手。两种写法都要以定义域允许为前提。

负有理指数先取倒数

当 $a>0$ 时：

例如：

负号不表示结果一定为负，它只表示取倒数。也正因为要取倒数，底数不能为 0。

底数为零时要单独看

零的正有理数次幂可以定义为 0：

但 $0^0$ 不在这里定义，零的负指数也没有意义，因为会出现除以 0：

右边分母为 0，所以这个式子无意义。

负底数不能只背一句“都不行”

若底数为负数，要先把指数约成最简分数，再看分母的奇偶。

分母为奇数时，可以借助实数奇次根。例如：

分母为偶数时，在实数范围内没有意义。例如：

需要先取四次根，而负数没有实数偶次根。

这里有个容易被忽略的细节：负底数的分数指数必须先约分，并且许多指数法则不再适合不加检查地套用。中学代数里，只要要连续使用有理指数法则，通常会直接给出底数为正数。

指数法则的安全版本

当 $a>0$、$b>0$，$r,s$ 为有理数时，可以放心使用：

正底数保证每个中间式都有实数意义，也避免同一个有理数指数因为不同分数写法产生歧义。

根式复杂时，翻译成指数

设 $x>0$，化简：

换成有理指数：

同底数乘除只处理指数：

题目给出 $x>0$ 很关键。它既保证分母不为 0，也保证我们能直接使用上面的有理指数法则。

根式方程先筛条件，再平方

未知数藏在根号里时，最自然的动作是两边乘方。不过乘方只负责产生候选解，不能替你完成最后的判断。

看方程：

左边是主平方根，必定非负，所以任何原方程的解都必须满足：

以及：

合在一起就是 $x\ge1$。这个预筛已经告诉我们，最后如果算出小于 1 的值，它一定不可能通过验根。

$x=-1$ 是平方后多出来的增根。原因很具体：2 和 $-2$ 不相等，但它们的平方相等。平方这一步把原本不同的正负信息压扁了。

有两个根式时，一次只孤立一个

解方程：

先由根号内非负得到 $x\ge2$。孤立第一个根式：

两边平方：

消去 $x$ 后：

于是：

再平方得到 $x=3$。代回原方程：

所以 $x=3$ 是解。根式多时别急着把整条式子一起平方；一次孤立一个，交叉项会更容易处理。

奇次根方程通常不制造正负增根

例如：

两边立方：

立方函数在实数范围内一一对应，不会把一正一负两个数变成同一个值。不过代回检查仍是好习惯，尤其当题目还有分母或多个运算条件时。

根式会自然出现在长度里

根号并不是代数课里凭空造出来的符号。只要从面积倒推长度，或者从平方和倒推距离，它就会出现。

直角三角形的未知边

直角三角形两条直角边为 $a,b$，斜边为 $c$，勾股定理给出：

因为边长为正，求斜边时取主平方根：

例如两条直角边长为 7 和 11：

$170$ 没有大于 1 的完全平方因子，所以 $\sqrt{170}$ 已经是精确的最简形式。若需要测量近似值，再写：

坐标平面中的两点距离

两点 $A(x_1,y_1)$、$B(x_2,y_2)$ 的水平变化量是 ，竖直变化量是 。它们恰好组成一个直角三角形，因此：

例如 $A(-2,1)$、$B(4,9)$：

横坐标相减时最容易漏掉括号。$4-(-2)$ 是 6，不是 2。距离公式里的平方会让最后结果非负，但中间的差仍要先算对。

几类典型题完整走一遍

化简含变量的根式

设 $a\ge0$、$b$ 为任意实数，化简：

混合加减与乘法

化简：

识别藏起来的完全平方

化简：

看到“整数加一个根式”，可以试着把被开方数写成 $(\sqrt m+\sqrt n)^2$：

这里需要 $m+n=3$、$mn=2$，正好取 $m=1,n=2$。因此：

由于 $1+\sqrt2>0$：

如果换成 $\sqrt{3-2\sqrt2}$，则：

但 $1-\sqrt2<0$，所以主平方根要取绝对值：

这个例子把 $\sqrt{x^2}=|x|$ 的必要性展示得很清楚。

比较两个很接近的根式

比较 $\sqrt{1001}-\sqrt{1000}$ 和 $$ 的大小。直接按小数很费劲，有理化更干净：

因为 $\sqrt{1000}>30$，所以分母大于 60：

因此较大的是 $\dfrac1{10}$。这类差值比较题里，共轭式往往比计算器更能看清数量级。

常见坑集中排查

根号不自带正负号

错误写法：

正确写法：

若题目是 $x^2=36$，才写 $x=\pm6$。

开平方不能忘绝对值

错误写法：

对任意实数 $x$，正确写法是：

根号不能跨加号拆开

乘法法则的存在，不代表加法也有同样形式。

化简后才能判断能否合并

$\sqrt8$ 和 $\sqrt{18}$ 表面不同，但分别化简为 和 ，它们可以合并。 和 已经最简且不同类，不能硬凑。

负指数不是负数答案

结果是正数。指数上的负号只负责取倒数。

平方后的答案只是候选

两边平方可能把原来一正一负的两边变成相等，因此根式方程必须代回原方程验根，不能只代回平方后的方程。

练习与完整解析

练习一：分别求 $\sqrt{49}$ 的值，并解方程 $x^2=49$。

练习二：求式子 $\sqrt{5-2x}+\dfrac1{\sqrt{x-1}}$ 的实数定义域。

练习三：化简 $\sqrt{288}$。

练习四：化简 $3\sqrt8-\sqrt{50}+2\sqrt{18}$。

练习五：有理化并化简 $\dfrac3{2+\sqrt3}$。

练习六：计算 $32^{-3/5}$。

练习七：设 $x>0$，化简 $\dfrac{x^{5/6}\sqrt[3]{x}}{\sqrt{x}}$。

练习八：解方程 $\sqrt{2x-3}=x-2$，并检验候选解。

练习九：点 $P(-3,2)$ 与点 $Q(5,-4)$ 的距离是多少？

练习十：判断 $(-81)^{3/4}$ 和 $(-32)^{3/5}$ 在实数范围内是否有意义；若有，求其值。

把整套方法串起来

看到根式，先问三句话：根号内是否有意义？根式的结果是否被主值限制为非负？有没有完整的平方或更高次幂可以搬出来？

看到有理指数，再问两句话：底数的正负和零允许这次运算吗？换成根式还是保留指数，哪种写法更短？

最后别忘了方程和表达式的区别。$\sqrt a$ 是一个按约定取出的主值，$x^2=a$ 才是在寻找全部解；化简是在保持数值不变的前提下换写法，而两边平方只保证原方程的解不会漏掉，却可能多出候选值。

把条件检查放在计算前面，根号就不会再像一堆零散规则。它始终只做一件事：从一个幂的结果，倒推那个符合约定的数。

方程 $x^2=49$ 要找所有平方后等于 49 的实数，所以：

两个问题的答案形式不同，原因正是“根式的值”和“方程的全部解”不是一回事。

所以 $x>1$。两项要同时有意义，取交集：

定义域为 $(1,\dfrac52]$。

根号内的 2 没有更大的平方因子，结果已经最简。