z 的模长公式：构建复数世界的基石

什么是复数 z 的模长？

设 z 是一个复数，其标准形式为 z = x + yi，其中 x 和 y 均为实数（x, y ∈ R），而 i 是虚数单位，满足 i² = -1。那么，z 的模长（Modulus），通常记作 |z| 或 mod(z)，定义为：

|z| = √(x² + y²)
                

推导逻辑：勾股定理的延伸

这个公式的来源非常直观，它直接源于平面几何中的勾股定理。如果我们把复数 z = x + yi 映射到复平面上，它对应的坐标点就是 (x, y)。原点 O(0, 0) 到点 P(x, y) 的距离，正是直角三角形的斜边长度，该直角三角形的两条直角边长分别为 x 和 y。

因此，z 的模长公式本质上是欧几里得空间中两点间距离公式的特例。值得注意的是，尽管 x 和 y 可能涉及虚数单位的运算，但在计算模长时，我们只关注它们的实部数值，最终结果 |z| 必然是一个非负实数。

特殊情况辨析

• 纯虚数：若 z = bi（即 x=0），则 |z| = √(0² + b²) = |b|。
• 实数：若 z = a（即 y=0），则 |z| = √(a²) = |a|，这与绝对值的定义完全一致。
• 零复数：若 z = 0，则 |z| = 0。

必须掌握的三大性质

在处理 z 的模长公式相关问题时，以下三个性质是解题的关键钥匙：

1. 非负性：对于任意复数 z，恒有 |z| ≥ 0，且 |z| = 0 当且仅当 z = 0。
2. 齐次性：对于任意复数 z 和实数 k，有 |kz| = |k|·|z|。这表明标量乘法会按比例缩放模长。
3. 三角不等式（Triangle Inequality）：这是最重要也是最常考的性质。对于任意复数 z₁ 和 z₂：
   |z₁ + z₂| ≤ |z₁| + |z₂|

   反向三角不等式：同样成立的是 ||z₁| - |z₂|| ≤ |z₁ - z₂|。这在估算误差范围时非常有用。

三角不等式的几何证明思路

想象在复平面上，z₁ 和 z₂ 是从原点出发的两个向量。根据向量加法的平行四边形法则，z₁ + z₂ 是对角线向量。在由 z₁、z₂ 和 z₁ + z₂ 构成的三角形中，任意两边之和必然大于第三边，这就直观地解释了为什么 |z₁| + |z₂| ≥ |z₁ + z₂|。

典型例题演示

为了让大家更好地理解 z 的模长公式的应用，我们精选了几个具有代表性的案例。

编程实现示例

在现代科学计算中，我们经常需要编写代码来计算 z 的模长公式。以下是 Python 语言的实现示例：

import cmath
def calculate_modulus(real_part, imag_part):
    """
    计算复数 z = real_part + imag_parti 的模长
    """
    z = complex(real_part, imag_part)
    modulus = abs(z)  # Python 内置的 abs() 函数自动调用模长公式
    return modulus
测试用例
z_val = calculate_modulus(3, 4)
print(f"复数 3+4i 的模长为: {z_val}")  # 输出: 5.0

从代数形式到指数形式的飞跃

当掌握了基础的 z 的模长公式后，我们可以进一步探索复数的极坐标形式。任何非零复数 z 都可以唯一地表示为：

z = r(cosθ + i sinθ) = r·e^(iθ)
                

在这里，r 正是 z 的模长（即 |z|），而 θ 称为 z 的辐角（Argument），表示向量与正实轴的夹角。

为什么这很重要？

在极坐标形式下，复数的乘法变得异常简单：
若 z₁ = r₁e^(iθ₁)，z₂ = r₂e^(iθ₂)，则
z₁·z₂ = (r₁·r₂)e^(i(θ₁+θ₂))。
这意味着，两个复数相乘，只需模长相乘，辐角相加。这种几何直观性是代数形式难以比拟的，也是 z 的模长公式在更高阶数学中发挥作用的体现。

除了核心的 z 的模长公式本身，我们在浏览论坛和数据统计时发现，用户们还对以下几个相关联的知识领域表现出浓厚的兴趣：