不等式中的平方运算：关于$x^2 \leq 4$解集的求证问询

嘿，很高兴帮你理清这个不等式的推导逻辑！你说的解集$-2 \leq x \leq 2$完全正确，下面我用两种常用的方法给你详细证明，顺便梳理通用规则：

方法一：代数因式分解法 #

咱们从原不等式出发一步步推导，每一步都对应通用的不等式规则：

• 首先，把不等式右边的4移到左边，得到：x² - 4 ≤ 0

  这里用到的规则：不等式两边同时加减同一个数，不等号方向保持不变。

• 接着对左边的式子用平方差公式因式分解，得到：(x - 2)(x + 2) ≤ 0
• 现在要分析两个因式的乘积小于等于0的情况：两个数相乘≤0，只有两种可能——一正一负，或者其中至少一个为0
  1. 第一种情况：x - 2 ≥ 0 且 x + 2 ≤ 0，也就是x ≥ 2且x ≤ -2，这两个范围没有交集，所以这种情况无解。
  2. 第二种情况：x - 2 ≤ 0 且 x + 2 ≥ 0，也就是x ≤ 2且x ≥ -2，合并起来就是-2 ≤ x ≤ 2。
  3. 当其中一个因式为0时，x=2或x=-2，代入原不等式验证，显然满足x² ≤ 4，所以这两个端点值也属于解集。

方法二：几何意义直观推导 #

如果觉得代数推导有点抽象，咱们可以用数轴的几何意义来理解：

• $x^{2$其实就是数轴上的点$x$到原点$(0,0)$的距离的平方，$x}2 ≤ 4$就等价于这个距离的平方不超过4。
• 因为距离本身是非负数，所以距离≤2（对4开平方得到2）。
• 数轴上到原点距离≤2的点，就是从-2到2之间的所有点，包括两个端点，也就是$-2 ≤ x ≤ 2$。

通用规则总结 #

对于这类平方不等式，有通用的结论可以直接用：

• 当$a > 0$时，不等式$x^2 ≤ a^2$的解集是$-a ≤ x ≤ a$；
• 对应的，如果是$x^2 ≥ a^2$，解集就是$x ≤ -a$ 或 $x ≥ a$。
  核心逻辑都是基于平方的非负性，要么通过因式分解分析符号，要么结合几何意义快速判断。

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