复数 (数学)

复数(英语complex number)，为实数的延伸，它使任一多项式方程都有根。复数当中有个「虚数单位」formula_1，它是formula_2的一个平方根，即。任一复数都可表达为formula_3，其中formula_4及formula_5皆为实数，分别称为复数之「实部」和「虚部」。
复数的发现源于三次方程的根的表达式。数学上，「复」字表明所讨论的数体为复数，如复矩阵、复变函数等。
形式上，复数系统可以定义为普通实数的虚数i的代数扩展。这意味著复数可以作为变量i中的多项式进行加，减和乘，并施加规则。此外，复数也可以除以非零复数。总体而言，复数系统是一个域。
在几何上，复数通过将水平轴用于实部，将垂直轴用于虚部，将一维数线的概念扩展到二维复平面。这些数字的点位于复平面的垂直轴上。虚部为零的复数可以看作是实数。
但是，复数允许使用更丰富的代数结构，其中包括在向量空间中不一定可用的附加运算。例如，两个复数的乘积总是再次产生一个复数，并且不应将其误认为是涉及向量的常规“乘积”。
历史.
最早提到有关负数的平方根的文献出于公元1世纪古希腊数学家亚历山卓的希罗，他考虑的是一种不可能的平顶金字塔的体积，计算结果会是formula_6 ，但这对他是不可理解的，所以他只单纯地把为正的formula_7。
16世纪意大利数学家（请参看塔塔利亚和卡尔达诺）得出一元三次和四次方程式的根的表达式，并发现即使只考虑实数根，仍不可避免面对负数方根。17世纪笛卡儿称负数方根为虚数，「子虚乌有的数」，表达对此的无奈和不忿。18世纪初棣莫弗及欧拉大力推动复数的接受。1730年，棣莫弗提出棣莫弗公式：
而欧拉则在1748年提出分析学中的欧拉公式：
18世纪末，复数渐渐被大多数人接受，当时卡斯帕尔·韦塞尔提出复数可看作平面上的一点。数年后，高斯再提出此观点并大力推广，复数的研究开始高速发展。诧异的是，早于1685年约翰·沃利斯已经在"De Algebra tractatus"提出此一观点。
卡斯帕尔·韦塞尔的文章发表在1799年的"Proceedings of the Copenhagen Academy"上，以当今标准来看，也是相当清楚和完备。他又考虑球-{zh-hans:体; zh-hant:体;}-，得出四元数并以此提出完备的球面三角学理论。1804年，Abbé Buée亦独立地提出与沃利斯相似的观点，即以formula_10来表示平面上与实数轴垂直的单位线段。1806年，Buée的文章正式刊出，同年让-罗贝尔·阿尔冈亦发表同类文章，而阿冈的复数平面成了标准。1831年高斯认为复数不够普及，他发表了一篇备忘录，奠定复数在数学的地位。
柯西及阿贝尔的努力，扫除了复数使用的最后顾忌，后者更是首位以复数研究著名的。
复数吸引了著名数学家的注意，包括库默尔（1844年）、克罗内克（1845年）、Scheffler（1845年、1851年、1880年）、Bellavitis（1835年、1852年）、乔治·皮科克（1845年）及德·摩根（1849年）。莫比乌斯发表了大量有关复数几何的短文，约翰·彼得·狄利克雷将很多实数概念，例如质数，推广至复数。
费迪南·艾森斯坦研究formula_11，其中formula_12是formula_13的复根。其他如formula_14 (formula_15是质数)亦有考虑。类以推广的先锋为库默尔的完美数理论，经由菲利克斯·克莱因（1893年）以几何角度加以简化。伽罗华其后提出更一般的推广——阿贝尔-鲁菲尼定理，解决了五次以上多项式的根不能表达问题。
定义.
符号表示.
尽管可以使用其他表示法，复数通常写为如下形式：
这里的formula_17和formula_18是实数，而"i"是虚数单位，它有着性质。实数formula_17叫做复数的实部，而实数formula_18叫做复数的虚部。实数可以被认为是虚部为零的复数；就是说实数"formula_17"等价于复数formula_22。实部为零且虚部不为零的复数也被称作“纯虚数”；而实部不为零且虚部也不为零的复数也被称作“非纯虚数”或“杂虚数”。
例如，formula_23是复数，它的实部为3虚部为2。如果formula_24，则实部（"formula_17"）被指示为formula_26或formula_27，而虚部（"formula_18"）被指示为formula_29或formula_30。
在某些领-{域}-（特别是电子工程，这里的"i"是电流的符号）中，虚部formula_1被替代写为formula_12，所以复数有时写为formula_33。
所有复数的集合通常指示为formula_34，或者用写为formula_35。实数formula_36可以被当作formula_35的子集，通过把实数的所有成员当作复数：formula_38。
等量关系.
复数中的虚数是无法比较大小的，即两个虚数-{只}-有相等和不等两种等量关系。
两个复数是相等的，当且仅当它们的实部是相等的并且它们的虚部是相等的。就是说，设formula_17,formula_18,formula_41,formula_42为实数，则formula_43当且仅当formula_44并且formula_45。
运算.
通过形式上应用代数的结合律、交换律和分配律，再加上等式，定义复数的加法、减法、乘法和除法:
复数体.
复数可定义为实数formula_50组成的有序对，而其相关之和及积为：
复数数系是一个体，复数体常以formula_35来表示。
一个实数formula_17等同于复数formula_55，故实数体为复数体的子体。虚数单位formula_1就是复数formula_57。此外，还有:
复数体亦可定为代数数的拓扑闭包或实数体的代数闭包。
复数平面.
先把坐标轴画出来，横的叫实轴，竖的叫虚轴，然后确定0的位置，formula_64可以用二维空间来表示出来。
复数formula_65可以被看作在被称为阿甘得图（得名于让-罗贝尔·阿冈，也叫做高斯平面）的二维笛卡尔坐标系内的一个点或位置向量。这个点也就是这个复数"formula_65"可以用笛卡尔（直角）坐标指定。复数的笛卡尔坐标是实部formula_67和虚部formula_68。复数的笛卡尔坐标表示叫做复数的“笛卡尔形式”、“直角形式”或“代数形式”。
绝对值、共轭与距离.
formula_69，则formula_70是formula_65的「绝对值」（「模」、「幅值」、「大小」）。如果formula_64，则formula_73.
对所有formula_65及formula_75，有
当定义了距离formula_79，复数体便成了度量空间，我们亦可谈极限和连续。加法、乘法及除法都是连续的运算。
formula_24的共轭复数定义为formula_81，记作formula_82或formula_83。如图所示，formula_82是formula_65关于实数轴的「对称点」。有
对于所有代数运算formula_96，共轭值是可交换的。这即是说formula_97。一些非代数运算如正弦「formula_98」亦有此性质。这是由于formula_1的不明确选择——formula_100有二解。可是，共轭值是不可微分的（参见全纯函数）。
一复数formula_69的「幅角」或「相位」为formula_102。此值对模formula_103而言是唯一的。
对于乘法和除法分别有：
复数运算的几何解释.
考虑一个平面。一个点是原点0。另一个点是单位1。
两个点"A"和"B"的和是点"X" = "A" + "B"使得顶点0, "A", "B"的三角形和顶点"X", "B", "A"的三角形是全等的。
两个点"A"和"B"的积是点"X" = "AB"使得顶点0, 1, "A"的三角形和顶点"0", "B", "X"的三角形是相似的。
点"A"的共轭复数是点"X" = "A"*使得顶点0, 1, "A"的三角形和顶点0, 1, "X"的三角形相互是镜像。
极坐标形式.
复数formula_65也可以用极坐标来表示。formula_65所对应的极坐标由叫做绝对值或模或大小的formula_108和叫做辐角或相位的formula_109组成。若formula_110，不论formula_111值为何，formula_112。为了避免一个复数具有多种极坐标表示的情况，通常会设置formula_113，从而让formula_112所对应的formula_111具有唯一的值：formula_116。formula_117时，复数在辐角formula_111模以formula_103后是唯一的；就是说，对于两个被视为极坐标表示的复数而言，若它们的辐角之差是formula_103的整数倍数，则这两个复数等价。因此，通常会限制formula_111在区间formula_122内，也就是说formula_123，以此来避免一个复数具有多种极坐标表示的情况。
极坐标形式的写法.
极坐标形式的写法
被叫做“三角形式”。有时使用符号cis φ简写cosφ + "i"sinφ。
使用欧拉公式还可以写为
这叫做“指数形式”。
从笛卡尔坐标形式到极坐标形式的转换.
前面的公式要求非常繁杂的情况区分。但是很多编程语言提供了经常叫做atan2一个变体的反正切函数来处理这些细节。使用反余弦函数的公式要求更少的情况区分:
极坐标形式下的乘法、除法、指数和开方根.
在极坐标形式下乘法、除法、指数和开方根要比笛卡尔形式下容易许多。
使用三角恒等式得到
和
依据棣莫弗定理做整数幂的指数运算，
任意复数幂的指数运算在条目指数函数中讨论。
两个复数的加法只是两个向量的向量加法，乘以一个固定复数的可以被看作同时旋转和伸缩。
乘以formula_1对应于一个逆时针旋转90 度(formula_135 弧度)。方程formula_136的几何意义是顺序的两个90度旋转导致一个180度(formula_137弧度)旋转。甚至算术中的formula_138都可以被在几何上被理解为两个180度旋转的组合。
任何数的所有方根，实数或复数的，都可以用简单的算法找到。formula_139次方根给出为
对于formula_141，这里的formula_142表示formula_143的主formula_139次方根。
代数性质.
下表给出任何复数formula_145的加法和乘法的基本性质。
一些特性.
矩阵表达式.
这是个实用价值不大，但具数学意义的表达式，是将复数看作能旋转及缩放二维位置矢量的2×2实数矩阵，即是
其中formula_17及formula_18为实数。可算出此类矩阵的和、积及乘法逆都是此类矩阵。此外
即实数1对应着单位矩阵
而虚数单位formula_1对应着
此矩阵令平面作逆时钟90度旋转，它的平方就是-1。
复数的绝对值就是行列式的平方根。这些矩阵对应相应的平面变换，其旋转角度等于复数的徧角，改变比例等于复数的绝对值。复数的轭就是矩阵的转置。
若矩阵中的formula_17和formula_18本来就是复数，则构成的代数便是四元数。由此，矩阵代表法可看成代数的凯莱-迪克森结构法。
实向量空间.
formula_35可以视作二维实线性空间。不同于实数体，复数体上不可能有与其算术相容的全序：formula_35并非有序体。
多项式的根.
满足formula_157的复数"z"是多项式formula_158的“根”。代数基本定理指出，所有formula_139次多项式，不管实数系数抑或复数系数的，都刚好有"formula_139"个复数根（formula_15重根按"formula_15"个计算）。这定理等价于复数体是代数闭体。
事实上，复数体是实数体的代数闭包。它是多项式环formula_36经由理想formula_164显生出的商环：
这是一个体因为formula_166为不可约多项式，而formula_167在商环内对应着虚数单位formula_1。
代数特征.
复数体formula_35唯一（就体同构来说）的体拥有三项代数特征:
而然，formula_35包含很多与formula_35同构的子体。
不可排序.
在formula_35上不可能建立与其加法及乘法相容之全序关系，即不存在一全序formula_173使得对于任意复数formula_174，有formula_175。
复指数幂.
计算一个实数的复数幂是可以的。formula_176可以定义为formula_177。
复分析.
研究复变函数的理论称为复分析。它在应用数学和其他数学分支上都有许多实际应用。实分析和数论的结果，最自然的证明经常是以复分析的技巧完成（例子可见质数定理）。
复变函数的图像是四维的，所以不像实变函数般可以用平面图像表示。要表示复变函数的图像，可以用有颜色的三维图像表达四维资讯，或者以动画表示函数对复平面的动态变换。
应用.
系统分析.
在系统分析中，系统常常通过拉普拉斯变换从时-{域}-变换到频-{域}-。因此可在复平面上分析系统的极点和零点。分析系统稳定性的根轨迹法、奈奎斯特图法和尼科尔斯图法都是在复平面上进行的。
无论系统极点和零点在左半平面还是右半平面，根轨迹法都很重要。如果系统极点
如果稳定系统的全部零点都位于左半平面，则这是个最小相位系统。如果系统的极点和零点关于虚轴对称，则这是全通系统。
信号分析.
信号分析和其他领-{域}-使用复数可以方便的表示周期信号。模值formula_178表示信号的幅度，辐角formula_179表示给定频率的正弦波的相位。
利用傅里叶变换可将实信号表示成一系列周期函数的和。这些周期函数通常用形式如下的复函数的实部表示：
其中formula_181对应角频率，复数formula_65包含了幅度和相位的信息。
电路分析中，引入电容、电感与频率有关的虚部可以方便的将电压、电流的关系用简单的线性方程表示并求解。（有时用字母formula_12作为虚数单位，以免与电流符号"i"混淆。）
反常积分.
在应用层面，复分析常用以计算某些实值的反常积分，借由复值函数得出。方法有多种，见。
量子力学.
量子力学中复数是十分重要的，因其理论是建基于复数体上无限维的希尔伯特空间。
相对论.
如将时间变数视为虚数的话便可简化一些狭义和广义相对论中的时空度量张量 (Metric Tensor)方程。
应用数学.
实际应用中，求解给定差分方程模型的系统，通常首先找出线性差分方程对应的特征方程的所有复特征根"r"，再将系统以形为"f"("t")= "e""rt"的基函数的线性组合表示。
流-{zh-hans:体; zh-hant:体;}-力学.
复函数于流-{zh-hans:体; zh-hant:体;}-力学中可描述二维势流。
电路分析.
物理和工程领域中的交流电路分析，使用到相量作表达正弦信号。
分形.
一些分形如曼德博集合和茹利亚集（Julia set）是建基于复平面上的点的。
复数的平方根.
复数的平方根是可以计算的。其公式为formula_184。