请求解析法证明：过原点直线一侧的复数之和不为零

没问题，咱们用解析法一步步拆解这个证明——其实核心就是把「过原点直线的同一侧」这个几何条件转化为可计算的代数不等式，再通过矛盾法推导结论。

首先，先把几何条件转化为精准的代数表述：

• 过原点的直线可以用实系数线性方程描述：设每个复数 ( z_k = x_k + iy_k )（( x_k,y_k ) 都是实数），这条直线对应的方程是 ( ax + by = 0 )，其中 ( a,b ) 是不全为0的实数。
• 所有 ( z_k ) 在直线的同一侧，意味着每个 ( z_k ) 代入直线方程左边后，符号完全一致：要么对所有 ( k )，( a x_k + b y_k > 0 )；要么对所有 ( k )，( a x_k + b y_k < 0 )。这是解析法的关键转化。

接下来用矛盾法推导和不为0：
设 ( S = z_1 + z_2 + \dots + z_n = X + iY )，其中 ( X = \sum_{k=1}^n x_k )，( Y = \sum_{k=1}^n y_k )。

计算 ( aX + bY )：
[
aX + bY = a\sum_{k=1}^n x_k + b\sum_{k=1}^n y_k = \sum_{k=1}^n (a x_k + b y_k)
]

因为每个 ( a x_k + b y_k ) 都是同号的正数（或负数），它们的和必然也是正数（或负数），也就是说：
[
aX + bY \neq 0
]

现在假设 ( S = 0 )，那么 ( X = 0 ) 且 ( Y = 0 )，代入上式会得到 ( a \cdot 0 + b \cdot 0 = 0 )，这和刚才得出的 ( aX + bY \neq 0 ) 直接矛盾。

因此，( S = z_1 + z_2 + \dots + z_n \neq 0 )。

另一种复数视角的解析表述 #

如果你想更贴合复数本身的运算逻辑，也可以这么做：

• 取一个非零复数 ( w = a + ib )，对应直线 ( ax + by = 0 )，此时「所有 ( z_k ) 在直线同一侧」等价于：对每个 ( z_k )，( \text{Re}(\overline{w} z_k) = a x_k + b y_k ) 全正或全负（( \overline{w} ) 是 ( w ) 的共轭复数）。
• 对求和后的 ( S )，有 ( \text{Re}(\overline{w} S) = \sum_{k=1}^n \text{Re}(\overline{w} z_k) )，显然这个和不等于0。
• 因为 ( \text{Re}(\overline{w} S) \neq 0 )，说明 ( \overline{w} S \neq 0 )，而 ( w \neq 0 )，所以 ( S \neq 0 )。

两种方法本质是一致的，都是把几何位置条件转化为代数不等式，再通过求和后的矛盾来证明结论。

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