基于模长等式的复数共线性推导及代数式求解疑问

我来一步步帮你拆解这个问题，从共线推导到表达式求解，尽量讲得直白些：

一、怎么从已知条件推出0、Z₁、Z₂、Z₃四点共线？ #

核心要用到复数的三角不等式推广：对任意复数，总有 (|Z₁ + Z₂ + Z₃| \leq |Z₁| + |Z₂| + |Z₃|)，等号成立的唯一条件是所有复数同向（也就是它们对应的向量在同一条过原点的射线上）。具体推导步骤：

1. 先把 (Z₁+Z₂) 当成一个整体，根据三角不等式：
   (|Z₁+Z₂+Z₃| \leq |Z₁+Z₂| + |Z₃|)
   题目里说左边等于 (|Z₁|+|Z₂|+|Z₃|)，代入后得到：
   (|Z₁|+|Z₂|+|Z₃| \leq |Z₁+Z₂| + |Z₃|)
   两边去掉 (|Z₃|)，就有 (|Z₁|+|Z₂| \leq |Z₁+Z₂|)。但三角不等式本身又有 (|Z₁+Z₂| \leq |Z₁|+|Z₂|)，所以只能取等号：(|Z₁|+|Z₂| = |Z₁+Z₂|)。

2. 这个等号成立意味着 (Z₁) 和 (Z₂) 同向——简单说就是存在一个正实数 (k₁)，让 (Z₂ = k₁ Z₁)。此时 (Z₁+Z₂ = Z₁(1+k₁))，显然也和 (Z₁) 同向。

3. 再看 (|Z₁+Z₂| + |Z₃| = |Z₁+Z₂+Z₃|)（因为题目条件里左边等于右边，且我们已证 (|Z₁|+|Z₂|=|Z₁+Z₂|)），同理可得 (Z₁+Z₂) 和 (Z₃) 同向，那 (Z₃) 自然也和 (Z₁) 同向，也就是存在正实数 (k₂)，让 (Z₃ = k₂ Z₁)。

这么一来，(Z₁、Z₂、Z₃) 都是 (Z₁) 的正实数倍，它们对应的点和原点肯定在同一条过原点的直线上，也就是四点共线啦。

二、为什么不用纠结是实轴还是虚轴？ #

其实完全没必要——我们可以做个旋转变换，把这条共线转到实轴上，而且不会改变目标表达式的值：

假设 (Z₁ = r₁ e^{iθ})（(r₁>0)，(θ) 是 (Z₁) 的辐角），我们让每个复数都乘以 (e^{-iθ})，得到新的复数 (W₁ = Z₁ e^{-iθ} = r₁)（正实数），(W₂ = Z₂ e^{-iθ} = k₁ r₁)，(W₃ = Z₃ e^{-iθ} = k₂ r₁)，也都是正实数。

你可以代入目标表达式验证：
[
\frac{W₁ W₂}{W₃²} = \frac{Z₁ e^{-iθ} \cdot Z₂ e^{-iθ}}{(Z₃ e^{-iθ})²} = \frac{Z₁ Z₂}{Z₃²}
]
另外两项也是一样的，所以表达式的值和旋转后的实轴情况完全相同。我们直接假设 (Z₁、Z₂、Z₃) 是正实数来计算就行，省得纠结虚轴的问题。

三、怎么求解目标表达式的值？ #

这里要分两种情况：

情况1：如果题目隐含了 (|Z₁|=|Z₂|=|Z₃|)（这是这类题的常见设定） #

因为 (Z₁、Z₂、Z₃) 同向且模相等，那它们其实是同一个复数（比如 (Z₁=Z₂=Z₃=Z)），代入表达式：
[
\frac{Z \cdot Z}{Z²} + \frac{Z \cdot Z}{Z²} + \frac{Z \cdot Z}{Z²} = 1 + 1 + 1 = 3
]
这就是最常见的定值结果。

情况2：如果没有模相等的条件 #

那表达式的值不是定值，它取决于三个复数的模的比值。我们设 (Z₁=a)，(Z₂=b)，(Z₃=c)（(a,b,c>0)），代入后得到：
[
\frac{ab}{c²} + \frac{bc}{a²} + \frac{ac}{b²}
]
你可以把它整理成齐次式的形式：
[
\frac{a³b³ + b³c³ + a³c³}{a²b²c²}
]
它只和 (a:b:c) 的比值有关，没有固定的数值。

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