复数计算器

什么是复数计算器？

**复数是「实数 + 虚数」的组合：z = a + bi，其中 i² = −1。** a 叫实部 Re(z)，b 叫虚部 Im(z)。它的诞生充满戏剧性：1545 年卡尔达诺在《大术》中发表三次方程求根公式，遇到 x³ = 15x + 4 这样的方程时，公式里出现 √(−121)——明明方程有实根 4，求解过程却必须穿过「负数开平方」的禁区。邦贝利随后为这种「诡辩式」的量制定了运算规则；1777 年欧拉引入记号 i（imaginarius 首字母），1831 年高斯正式定名「复数」并用平面上的点表示它，复数从此从「怪物」变成现代数学与物理的基石。顺便说，i 叫「虚数」纯属历史误会——它和 π、√2 一样真实，只是不在数轴上。

**复平面让复数有了几何身体：a+bi 就是平面上坐标为 (a, b) 的点。** 实轴水平、虚轴竖直，每个复数对应一个从原点出发的向量。两个关键几何量由此诞生：**模** |z| = √(a²+b²) 是这个向量的长度（点 3+4i 到原点的距离恰是 5）；**辐角** θ 是向量与正实轴的夹角，用四象限反正切 atan2(b, a) 计算，约定主值域 (−180°, 180°]。加法在复平面上就是向量平移拼接，共轭 z̄ = a−bi 是关于实轴的镜像，而 |z₁−z₂| 就是两点之间的距离——复数的代数运算与平面几何完全同构。想系统练角度与坐标的换算，可以配合三角函数计算器一起用。

**复数乘法的几何意义是整个体系最漂亮的事实：模相乘，辐角相加。** (3+4i)×(1+2i) = −5+10i，三个数的模分别是 5、√5、5√5——5×√5 恰等于 5√5；辐角 53.13° + 63.43° = 116.57° 也恰好吻合。换句话说，乘以一个复数 = 把向量按对方的辐角旋转、再按对方的模伸缩。特例极美：乘以 i 就是逆时针旋转 90°（i 的模是 1、辐角是 90°），i² = −1 就是转两个 90° 等于掉头——「负负得正」在复平面里成了「转两下半圈等于转一整圈」。除法反过来：模相除、辐角相减。欧拉公式 e^(iθ) = cos θ + i·sin θ 把这件事写成最紧凑的形式，代入 θ = π 即得被誉为「最美公式」的欧拉恒等式 e^(iπ) + 1 = 0。

**棣莫弗定理把幂与开方变成「角度乘法」：[r(cos θ+i·sin θ)]ⁿ = rⁿ(cos nθ+i·sin nθ)。** 算 (1+i)⁸ 不用连乘八次：1+i 的模是 √2、辐角 45°，所以 (1+i)⁸ = (√2)⁸∠(8×45°) = 16∠360° = 16。开方则是把辐角 n 等分——但这里藏着复数与实数的最大区别：**一个非零复数的 n 次方根恰有 n 个**，因为角度转一整圈回来位置不变，(θ+2kπ)/n 在 k = 0,1,…,n−1 时给出 n 个不同的方向。这 n 个根均匀分布在半径 r^(1/n) 的圆上，构成正 n 边形：−8 的立方根不是只有 −2，而是 −2、1+√3i、1−√3i 三个，互为 120°；1 的 n 次方根（单位根）是正 n 边形的顶点，全部根之和恒为 0。实数域里「∛(−8) = −2 唯一」的直觉，在复数域里只是三根之一。

**代数基本定理宣告复数是代数的终点：任何 n 次多项式在复数域里恰有 n 个根（按重数计）。** 实数域里 x²+1 = 0 无解，复数域里有 ±i；x²−2x+5 = 0 的判别式 Δ = −16 < 0，两根是 1±2i。还有一条共轭配对定理：实系数多项式的复根必然共轭成对出现（若有 1+2i 必有 1−2i），韦达定理照常成立——1±2i 之和恰为 2 = −b/a，之积恰为 5 = c/a。这套体系远非纯理论游戏：交流电路用复数表示电压电流的相位（相量法），量子力学的波函数本质是复值函数，傅里叶变换把信号拆成复指数之和，Mandelbrot 分形就是 z → z²+c 迭代的发散图。解实根方程请用二次方程计算器，涉及对数与指数运算时可联动对数计算器。

如何使用复数计算器

1. 1

   「四则运算」模式：分别输入 z₁ 与 z₂ 的实部和虚部，选加减乘除——乘法输出 FOIL 展开五步过程（含 i² = −1 的合并），除法演示分子分母同乘共轭的分母实数化四步，结果附模、辐角主值与复平面三点图。

2. 2

   「形式转换」模式：代数→极式输入 a 与 b，输出模 r = √(a²+b²)（附精确值对照，如 5 或 √5）、辐角主值（度/π 分数/弧度三口径）、三角式与指数式；极式→代数输入 r 与 θ（度），输出 re = r·cos θ、im = r·sin θ 的代入过程与代数式。

3. 3

   「幂与方根」模式：求幂输入底数 z 与整数指数 n（−20 到 20），按棣莫弗定理给出 rⁿ、nθ 归一化与最终结果——底数恰为 ±i 时附 i 幂周期规律；求 n 次方根（2–10 次）输出全部 n 个根的表格（代数式 + 精确值 + 辐角）与正多边形分布图。

4. 4

   「二次复根」模式：输入整数系数 a、b、c（a ≠ 0），Δ<0 时输出精确复根（如 1+2i、(−1+√3i)/2）与小数近似，附韦达定理验证（两根之和 = −b/a、之积 = c/a）；Δ≥0 时提示根为实数并引导前往二次方程计算器。

5. 5

   「性质验证」模式：输入 z₁ 与 z₂（均非零），逐条验证 z·z̄ = |z|²、z+z̄ = 2Re(z)、z−z̄ = 2i·Im(z)、|z₁z₂| = |z₁||z₂|、|z₁/z₂| = |z₁|/|z₂|、|z̄| = |z| 六条恒等式，附三角不等式 |z₁+z₂| ≤ |z₁|+|z₂| 的数值对照与距离 |z₁−z₂|。

6. 6

   所有输入框按 Enter 等同于点计算；点结果区的链接按钮可复制带参数的分享链接，对方打开即还原你的模式与输入。

计算示例

注意事项

• i 的幂以 4 为周期循环：i¹ = i、i² = −1、i³ = −i、i⁴ = 1，然后重新开始。算 i 的高次幂只看指数除以 4 的余数——i²⁰²⁶ = i² = −1。几何上这就是「每乘一次 i 转 90°」，转四次回到原位。底数是 −i 时周期同样为 4，只是方向相反：−i、−1、i、1。

• 辐角是多值的：转一整圈 360° 向量回到原位，所以 3+4i 的辐角可以写成 53.13°、413.13°、−306.87°……约定俗成取 (−180°, 180°] 区间内的值叫**辐角主值**，记作 Arg(z)。计算主值必须用四象限反正切 atan2(b, a) 而不是 arctan(b/a)——后者分不清 −1−i 与 1+i（b/a 都是 1），atan2 能给出正确的 −135° 与 45°。原点没有辐角，0 的方向无定义。

• 复数不能比较大小。「3+4i > 1+2i」是无意义的说法——任何与四则运算相容的全序都会矛盾：若 i > 0 则 i² = −1 > 0，若 i < 0 则 −i > 0 同理得 −1 > 0。能比较的只有模：|3+4i| = 5 > |1+2i| = √5。所以「哪个复数更大」的正确问法是「哪个模更长」。

• 实系数多项式的复根必然共轭成对：若 1+2i 是根，则 1−2i 必为根。这正是二次方程 Δ<0 时两根总形如 p±qi 的原因，也意味着三次实系数方程至少有一个实根（三个根里复根只能成对，必落单一个实根）。这条定理是手算因式分解的重要脚手架：找到 1+2i 这个根，(x−1−2i)(x−1+2i) = x²−2x+5 这个实系数二次因子就到手了。

• √(ab) = √a·√b 对负数失效，这是复数运算最经典的陷阱：√(−1)×√(−1) = i×i = −1，但 √((−1)×(−1)) = √1 = 1，两边不等。乘法公式只在被开方数非负时无条件成立；涉及负数必须先显式写成 i 的形式再算：√(−4)×√(−9) = 2i×3i = −6，而不是 √36 = 6。欧拉本人都在这个问题上出过错。

• 复数域里「n 次方根恰有 n 个」，与实数直觉完全不同：∛(−8) 不只是 −2，还有 1+√3i 和 1−√3i；⁴√1 有 ±1、±i 四个。这 n 个根均匀分布在圆上构成正 n 边形，相邻根辐角差 360°/n，全部根之和恒为 0（对称抵消）。1 的 n 次方根叫 n 次单位根，是数论与信号处理（FFT 蝶形运算的旋转因子）的核心角色。

• 共轭是复数的「镜像操作」，三条恒等式用途极广：z·z̄ = |z|²（分母实数化与求模的理论基础）、z+z̄ = 2Re(z)、z−z̄ = 2i·Im(z)。由此推出实用结论：|z̄| = |z|，且 z 是实数当且仅当 z = z̄，z 是纯虚数当且仅当 z = −z̄（z≠0）。倒数也靠它：1/z = z̄/|z|²。

• 三角不等式 |z₁+z₂| ≤ |z₁|+|z₂| 把「两点之间直线最短」翻译成复数语言，等号成立当且仅当 z₁、z₂ 同向（辐角相同或其一为 0）。取 z₁ = 3+4i、z₂ = 1+2i：左边 2√13 ≈ 7.2111 < 右边 7.2361，因为 53.13° ≠ 63.43° 两向量不同向。它还有个常用的反向形式 |z₁−z₂| ≥ ||z₁|−|z₂||，在估计复数模的上下界时非常好用。

常见问题

参考资料

1. [1]Wikipedia：Complex number（复数）
2. [2]Wikipedia：棣莫弗定理（De Moivre 公式）
3. [3]Wikipedia：Euler 公式（欧拉公式与欧拉恒等式）
4. [4]Wikipedia：Complex plane（复平面与阿冈图）
5. [5]Wikipedia：代数基本定理
6. [6]Wikipedia：Root of unity（单位根）