为何对绝对值平方是合法的代数操作？求直观解释

这问题问得特别好！其实背后的逻辑一点都不复杂，咱们从绝对值的本质和平方函数的特性两个角度拆解，再配上直观的几何解释，你肯定一下子就通透了。

一、代数层面：平方是完全等价的变形 #

先回忆绝对值的定义：对任意实数$a$，$|a|$表示$a$到原点的非负距离，写成式子就是：
$$|a| = \begin{cases} a, & a \geq 0 \ -a, & a < 0 \end{cases}$$

当我们有等式 $|A| = |B|$ 时，它的本质是“$A$和$B$到原点的距离相等”，对应两种情况：要么$A=B$，要么$A=-B$。而把两边平方后得到 $A^2 = B^2$，咱们因式分解看看：
$$A^2 - B^2 = 0 \implies (A-B)(A+B)=0$$
这刚好就对应$A=B$或$A=-B$，和原绝对值等式的条件完全一致！

换句话说，$|A|=|B|$ 和 $A^2=B2$ 是完全等价的命题——满足其中一个的解，必然满足另一个，既不会凭空多出额外的解（增根），也不会漏掉原本的解（失根）。你举的例子里，$|x-5|=1$ 平方后得到 $(x-5)^2=1$，解出来的$x=6$和$x=4$，代入原方程完全成立，就是这个道理。

二、直观几何解释：距离与距离平方的一一对应 #

绝对值的核心是“距离”，$|x-5|=1$ 翻译成几何语言就是：数轴上$x$这个点到$5$这个点的距离是1。那距离的平方是什么？其实就是把这个“距离数值”做平方运算——因为距离本身是非负的，平方只是把数值放大，但“相等的距离”对应的“距离平方”肯定相等；反过来，“相等的距离平方”对应的“距离”也必然相等（毕竟距离不能是负数，平方不会让负数变正数）。

打个生活化的比方：两根长度都是1米的绳子，它们的平方都是1平方米；反过来，如果两根绳子的平方都是1平方米，那它们的长度肯定都是1米（总不能是-1米吧）。这和绝对值等式平方的逻辑完全一致。

额外补个不等式的小细节（你提到了绝对值不等式） #

如果是绝对值不等式，比如 $|A| < |B|$，平方后得到 $A^2 < B^2$ 也是等价的——因为平方函数在非负数区间是严格递增的：当$0≤a<b$时，必然有$a²<b²$，反过来也成立。不过要注意，如果是 $|A| < B$ 这种形式，得先确认$B≥0$（否则不等式无解），才能放心平方，这是个容易忽略的小细节。

内容的提问来源于stack exchange，提问作者Jonah