复数绝对值不等式代数求解疑问：|z + i| < |z − i|结果不符

嘿，我来帮你理清楚这个复数绝对值不等式的问题～

首先得明确：复数的绝对值（也就是模）是个实数，所以这类不等式本质是实数之间的比较，结果只会是关于复数实部、虚部的实数关系，不会出现虚数单位 $i$，这是你出错的核心关键点之一。

具体推导步骤 #

我们设复数 $z = x + yi$（其中 $x,y$ 都是实数，$i$ 为虚数单位），按照复数模的定义一步步拆解：

1. 计算两边的模

   • $z + i = x + (y + 1)i$，它的模为：$|z + i| = \sqrt{x^2 + (y + 1)^2}$
   • $z - i = x + (y - 1)i$，它的模为：$|z - i| = \sqrt{x^2 + (y - 1)^2}$

2. 转化为实数不等式
   因为两边都是非负实数，直接平方去掉根号不会改变不等号方向：
   $$x^2 + (y + 1)^2 < x^2 + (y - 1)^2$$

3. 展开化简
   把两边的平方项展开后：

• 左边：$x^2 + y^2 + 2y + 1$
• 右边：$x^2 + y^2 - 2y + 1$

消去两边相同的项（$x^2$、$y2$、$1$），剩下：
$$2y < -2y$$
移项后得到：$4y < 0$，也就是最终结果 $y < 0$。

你可能的出错点 #

你得到 $y > ix$，说明你大概率混淆了复数本身和复数的模：不等式两边是复数的模（实数），但你可能错误地把复数直接代入不等式运算，才会出现带 $i$ 的虚数项。记住：复数模的比较是实数之间的比较，整个推导过程里不会出现虚数单位。

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