複數，為實數的延伸，它使任一多項式方程都有根。複數當中有個「虛數單位」i，它是 1 的一個平方根，即。任一複數都可表達為 x yi，其中 x 及 y 皆為實數，分別稱為複數之「實部」和「虛部」。 複數的發現源於三次方程的根的表示式。數學上，「複」字表明所討論的數體為複數，如複矩陣、複變函式等。 形式上，複數系統可以定義為普通實數的虛數 i 的代數擴充套件。這意味著複數可以作為變數 i 中的多項式進行加，減和乘，並施加規則。此外，複數也可以除以非零複數。總體而言，複數系統是一個域。 在幾何上，複數透過將水平軸用於實部，將垂直軸用於虛部，將一維數線的概念擴充套件到二維複平面。這些數字的點位於複平面的垂直軸上。虛部為零的複數可以看作是實數。 但是，複數允許使用更豐富的代數結構，其中包括在向量空間中不一定可用的附加運算。例如，兩個複數的乘積總是再次產生一個複數，並且不應將其誤認為是涉及向量的常規 乘積。 歷史 最早提到有關負數的平方根的文獻出於公元 1 世紀古希臘數學家亞歷山卓的希羅，他考慮的是一種不可能的平頂金字塔的體積，計算結果會是 sqrt 81 144 3isqrt 7 ，但這對他是不可理解的，所以他只單純地把為正的 sqrt 144 81 3sqrt 7。 16 世紀義大利數學家（請參看塔塔利亞和卡爾達諾）得出一元三次和四次方程式的根的表示式，並發現即使只考慮實數根，仍不可避免面對負數方根。17 世紀笛卡兒稱負數方根為虛數，「子虛烏有的數」，表達對此的無奈和不忿。18 世紀初棣莫弗及尤拉大力推動複數的接受。1730 年，棣莫弗提出棣莫弗公式： cos theta i sin thetan cos n theta i sin n theta， 而尤拉則在 1748 年提出分析學中的尤拉公式： cos theta i sin theta e i theta， 18 世紀末，複數漸漸被大多數人接受，當時卡斯帕爾韋塞爾提出複數可看作平面上的一點。數年後，高斯再提出此觀點並大力推廣，複數的研究開始高速發展。詫異的是，早於 1685 年約翰沃利斯已經在 De Algebra tractatus 提出此一觀點。 卡斯帕爾韋塞爾的文章發表在 1799 年的 Proceedings of the Copenhagen Academy 上，以當今標準來看，也是相當清楚和完備。他又考慮球 zhhans 體；zhhant 體；，得出四元數並以此提出完備的球面三角學理論。1804 年，Abbé Buée 亦獨立地提出與沃利斯相似的觀點，即以 pmsqrt 1 來表示平面上與實數軸垂直的單位線段。1806 年，Buée 的文章正式刊出，同年讓 羅貝爾阿爾岡亦發表同類文章，而阿岡的複數平面成了標準。1831 年高斯認為複數不夠普及，他發表了一篇備忘錄，奠定複數在數學的地位。 柯西及阿貝爾的努力，掃除了複數使用的最後顧忌，後者更是首位以複數研究著名的。 複數吸引了著名數學家的注意，包括庫默爾（1844 年）、克羅內克（1845 年）、Scheffler（1845 年、1851 年、1880 年）、Bellavitis（1835 年、1852 年）、喬治皮科克（1845 年）及德摩根（1849 年）。莫比烏斯發表了大量有關複數幾何的短文，約翰彼得狄利克雷將很多實數概念，例如質數，推廣至複數。 費迪南艾森斯坦研究 a bj，其中 j 是 x3 1 0 的複根。其他如 xk 1 0 k 是質數 亦有考慮。類以推廣的先鋒為庫默爾的完美數理論，經由菲利克斯克萊因（1893 年）以幾何角度加以簡化。伽羅華其後提出更一般的推廣 阿貝爾 魯菲尼定理，解決了五次以上多項式的根不能表達問題。 定義 符號表示 儘管可以使用其他表示法，複數通常寫為如下形式： a bi 這裡的 a 和 b 是實數，而 i 是虛數單位，它有著性質。實數 a 叫做複數的實部，而實數 b 叫做複數的虛部。實數可以被認為是虛部為零的複數；就是說實數 a 等價於複數 a0i。實部為零且虛部不為零的複數也被稱作 純虛數；而實部不為零且虛部也不為零的複數也被稱作 非純虛數 或 雜虛數。 例如，32i 是複數，它的實部為 3 虛部為 2。如果 zaib，則實部（a）被指示為 operatorname Rez 或 Re z，而虛部（b）被指示為 operatorname Imz 或 Im z。 在某些領 域（特別是電子工程，這裡的 i 是電流的符號）中，虛部 i 被替代寫為 j，所以複數有時寫為 ajb。 所有複數的集合通常指示為 C，或者用寫為 mathbb C。實數 mathbb R 可以被當作 mathbb C 的子集，透過把實數的所有成員當作複數：aa0i。 等量關係 複數中的虛數是無法比較大小的，即兩個虛數 只 有相等和不等兩種等量關係。 兩個複數是相等的，當且僅當它們的實部是相等的並且它們的虛部是相等的。就是說，設 abcd 為實數，則 abicdi 當且僅當 ac 並且 bd。 運算 透過形式上應用代數的結合律、交換律和分配律，再加上等式，定義複數的加法、減法、乘法和除法 加法：a bi c di a c b d i 減法：a bi c di a c b d i 乘法：a bi c di ac bci adi bd i2 ac bd bc ad i 除法：frac a bic di frac abicdicdicdi frac acbciadibd i2c2 di2frac acbdbcad ic2d2left ac bd over c2 d2right left bc ad over c2 d2 right i 複數體 複數可定義為實數 a b 組成的有序對，而其相關之和及積為： a b c d a c b d， a b cdot c d ac bd bc ad， 複數數系是一個體，複數體常以 mathbb C 來表示。 一個實數 a 等同於複數 a 0，故實數體為複數體的子體。虛數單位 i 就是複數 01。此外，還有 加法單位元（零元） 0 0 乘法單位元（么元） 1 0 ab 的加法逆元 ab 非零 ab 的乘法逆元（倒數） left aover a2b2bover a2b2right。 複數體亦可定為代數數的拓撲閉包或實數體的代數閉包。 複數平面 先把座標軸畫出來，橫的叫實軸，豎的叫虛軸，然後確定 0 的位置，zabi 可以用二維空間來表示出來。 複數 z 可以被看作在被稱為阿甘得圖（得名於讓 羅貝爾阿岡，也叫做高斯平面）的二維笛卡爾座標系內的一個點或位置向量。這個點也就是這個複數 z 可以用笛卡爾（直角）座標指定。複數的笛卡爾座標是實部 xRe z 和虛部 yIm z。複數的笛卡爾座標表示叫做複數的 笛卡爾形式、直角形式 或 代數形式。 絕對值、共軛與距離 z reiphi，則 zr 是 z 的「絕對值」（「模」、「幅值」、「大小」）。如果 zabi，則 z sqrt a2b2 對所有 z 及 w，有 z w leq z w leq z w z w z w left frac zw right frac z w 當定義了距離 d z w left z w right，複數體便成了度量空間，我們亦可談極限和連續。加法、乘法及除法都是連續的運算。 zaib 的共軛複數定義為 zaib，記作 overline z 或 z。如圖所示，overline z 是 z 關於實數軸的「對稱點」。有 overline zw overline z overline w overline zw overline zcdotoverline w overline left frac zw right frac overline zoverline w overline overline zz overline zz 當且僅當 z 是實數 zoverline z z2 zoverline z（複數和其共軛值相乘等於其大小平方值） z1 overline zz2 若 z 非零。這是計算乘法逆最常用的等式。 對於所有代數運算 f，共軛值是可交換的。這即是說 f overline z overline f z。一些非代數運算如正弦「sin」亦有此性質。這是由於 i 的不明確選擇 x2 1 有二解。可是，共軛值是不可微分的（參見全純函式）。 一複數 z reiphi 的「幅角」或「相位」為 phi。此值對模 2pi 而言是唯一的。 對於乘法和除法分別有： realpha i sebeta irs ealpha beta i（即 模值相乘，幅角相加 或 大小相乘，相位相加） frac realpha isebeta ifrac rs ealpha beta i（即 模值相除，幅角相減 或 大小相除，相位相減 複數運算的幾何解釋 考慮一個平面。一個點是原點 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 的三角形相互是映象。 極座標形式 複數 z 也可以用極座標來表示。z 所對應的極座標由叫做絕對值或模或大小的 rleft vert z right vert geq 0 和叫做輻角或相位的 varphi arg z 組成。若 r0，不論 varphi 值為何，z0。為了避免一個複數具有多種極座標表示的情況，通常會設定 arg 0 0，從而讓 z0 所對應的 varphi 具有唯一的值：0。r0 時，複數在輻角 varphi 模以 2pi 後是唯一的；就是說，對於兩個被視為極座標表示的複數而言，若它們的輻角之差是 2pi 的整數倍數，則這兩個複數等價。因此，通常會限制 varphi 在區間 pipi 內，也就是說 pi varphi leq pi，以此來避免一個複數具有多種極座標表示的情況。 極座標形式的寫法 極座標形式的寫法 z rcos varphi isin varphi， 被叫做 三角形式。有時使用符號 cis φ 簡寫 cosφ isinφ。 使用尤拉公式還可以寫為 z rmathrm ei varphi 這叫做 指數形式。 從極座標形式到笛卡爾座標形式的轉換 x r cos varphi y r sin varphi 從笛卡爾座標形式到極座標形式的轉換 r sqrt x2y2 varphi begin cases arctan frac yx mbox if x 0 arctan frac yx pi mbox if x 0 mbox and y ge 0 arctan frac yx pi mbox if x 0 mbox and y 0 frac pi2 mbox if x 0 mbox and y 0 frac pi2 mbox if x 0 mbox and y 0 mathrm undefined mbox if x 0 mbox and y 0 end cases 前面的公式要求非常繁雜的情況區分。但是很多程式語言提供了經常叫做 atan2 一個變體的反正切函式來處理這些細節。使用反餘弦函式的公式要求更少的情況區分 varphi begin cases arccosfrac xr mbox if y geq 0 mbox and r ne 0 arccosfrac xr mbox if y 0 mathrm undefined mbox if r 0 end cases 極座標形式下的乘法、除法、指數和開方根 在極座標形式下乘法、除法、指數和開方根要比笛卡爾形式下容易許多。 使用三角恆等式得到 r_1eivarphi_1 cdot r_2eivarphi_2 r_1r_2ei varphi_1 varphi_2， 和 frac r_1eivarphi_1r_2eivarphi_2 frac r_1r_2ei varphi_1 varphi_2。 依據棣莫弗定理做整數冪的指數運算， big reivarphibign rneinvarphi。 任意複數冪的指數運算在條目指數函式中討論。 兩個複數的加法只是兩個向量的向量加法，乘以一個固定複數的可以被看作同時旋轉和伸縮。 乘以 i 對應於一個逆時針旋轉 90 度 frac pi2 弧度。方程 i21 的幾何意義是順序的兩個 90 度旋轉導致一個 180 度 pi 弧度 旋轉。甚至算術中的 1times 11 都可以被在幾何上被理解為兩個 180 度旋轉的組合。 任何數的所有方根，實數或複數的，都可以用簡單的演算法找到。n 次方根給出為 sqrt nr eivarphisqrt nr eileft frac varphi2kpinright 對於 k012ldotsn1，這裡的 sqrt nr 表示 r 的主 n 次方根。 代數性質 下表給出任何複數 a b c 的加法和乘法的基本性質。 性質 加法 乘法 封閉性 a b in mathbb C a times b in mathbb C 結合律 a b c a b c a times b times c a times b times c 交換律 a b b a a times b b times a 存在單位元 a 0 a a times 1 a 存在逆元 a a 0 a times frac 1a 1 quad a ne 0 分配律 a times b c a times b a times c a times b c a times b a times c 一些特性 矩陣表示式 這是個實用價值不大，但具數學意義的表示式，是將複數看作能旋轉及縮放二維位置向量的 22 實數矩陣，即是 aib leftrightarrow begin pmatrix a b b a end pmatrix rbegin bmatrix cosvarphi sinvarphi sinvarphi cosvarphi end bmatrix rexpleft varphibegin bmatrix 0 1 1 0 end bmatrixright 其中 a 及 b 為實數。可算出此類矩陣的和、積及乘法逆都是此類矩陣。此外 begin pmatrix a b b a end pmatrix a begin pmatrix 1 0 0 1 end pmatrix b begin pmatrix 0 1 1 0 end pmatrix 即實數 1 對應著單位矩陣 begin pmatrix 1 0 0 1 end pmatrix， 而虛數單位 i 對應著 begin pmatrix 0 1 1 0 end pmatrix。 此矩陣令平面作逆時鐘 90 度旋轉，它的平方就是 1。 複數的絶對值就是行列式的平方根。這些矩陣對應相應的平面變換，其旋轉角度等於複數的徧角，改變比例等於複數的絶對值。複數的軛就是矩陣的轉置。 若矩陣中的 a 和 b 本來就是複數，則構成的代數便是四元數。由此，矩陣代表法可看成代數的凱萊 迪克森結構法。 實向量空間 mathbb C 可以視作二維實綫性空間。不同於實數體，複數體上不可能有與其算術相容的全序：mathbb C 並非有序體。 多項式的根 滿足 p z0 的複數 z 是多項式 p 的 根。代數基本定理指出，所有 n 次多項式，不管實數系數抑或複數系數的，都剛好有 n 個複數根（k 重根按 k 個計算）。這定理等價於複數體是代數閉體。 事實上，複數體是實數體的代數閉包。它是多項式環 mathbb RX 經由理想 left langle X21 right rangle 顯生出的商環： mathbb C mathbb RX X2 1。 這是一個體因為 X21 為不可約多項式，而 X 在商環內對應著虛數單位 i。 代數特徵 複數體 mathbb C 唯一（就體同構來說）的體擁有三項代數特徵 它的特徵值是 0 它對質數體的超越度是實數的基數 它是代數閉的 而然，mathbb C 包含很多與 mathbb C 同構的子體。 不可排序 在 mathbb C 上不可能建立與其加法及乘法相容之全序關係，即不存在一全序 preceq 使得對於任意複數 z_1 z_2，有 0 preceq z_1 z_2 Rightarrow 0 preceq z_1z_2 0 preceq z_1 z_2。 復指數冪 計算一個實數的複數冪是可以的。az 可以定義為 ezcdot ln a。 複分析 研究複變函式的理論稱為複分析。它在應用數學和其他數學分支上都有許多實際應用。實分析和數論的結果，最自然的證明經常是以複分析的技巧完成（例子可見質數定理）。 複變函式的影像是四維的，所以不像實變函式般可以用平面影像表示。要表示複變函式的影像，可以用有顏色的三維影像表達四維資訊，或者以動畫表示函式對複平面的動態變換。 應用 系統分析 在系統分析中，系統常常透過拉普拉斯變換從時 域 變換到頻 域。因此可在複平面上分析系統的極點和零點。分析系統穩定性的根軌跡法、奈奎斯特圖法和尼科爾斯圖法都是在複平面上進行的。 無論系統極點和零點在左半平面還是右半平面，根軌跡法都很重要。如果系統極點 位於右半平面，則因果系統不穩定； 都位於左半平面，則因果系統穩定； 位於虛軸上，則系統為臨界穩定的。 如果穩定系統的全部零點都位於左半平面，則這是個最小相位系統。如果系統的極點和零點關於虛軸對稱，則這是全通系統。 訊號分析 訊號分析和其他領 域 使用複數可以方便的表示週期訊號。模值 left vert z right vert 表示訊號的幅度，輻角 arg z 表示給定頻率的正弦波的相位。 利用傅立葉變換可將實訊號表示成一系列週期函式的和。這些週期函式通常用形式如下的複函式的實部表示： f t z eiomega t， 其中 omega 對應角頻率，複數 z 包含了幅度和相位的資訊。 電路分析中，引入電容、電感與頻率有關的虛部可以方便的將電壓、電流的關係用簡單的線性方程表示並求解。（有時用字母 j 作為虛數單位，以免與電流符號 i 混淆。） 反常積分 在應用層面，複分析常用以計算某些實值的反常積分，藉由複值函式得出。方法有多種，見。 量子力學 量子力學中複數是十分重要的，因其理論是建基於複數體上無限維的希爾伯特空間。 相對論 如將時間變數視為虛數的話便可簡化一些狹義和廣義相對論中的時空度量張量 Metric Tensor 方程。 應用數學 實際應用中，求解給定差分方程模型的系統，通常首先找出線性差分方程對應的特徵方程的所有複特徵根 r，再將系統以形為 f t ert 的基函式的線性組合表示。 流 zhhans 體；zhhant 體； 力學 複函式於流 zhhans 體；zhhant 體； 力學中可描述二維勢流。 電路分析 物理和工程領域中的交流電路分析，使用到相量作表達正弦訊號。 分形 一些分形如曼德博集合和茹利亞集（Julia set）是建基於複平面上的點的。 複數的平方根 複數的平方根是可以計算的。其公式為 sqrt xiy sqrt frac leftxiyright x2 pm i sqrt frac leftxiyright x2。 參見 複平面 複幾何 棣莫弗公式 尤拉恆等式 超複數 區域性體 相量 四元數 雙曲複數 參考資料 延伸閱讀 An Imaginary Tale The Story of sqrt 1 by Paul J Nahin Princeton University Press ISBN 0691027951 hardcover 1998 A gentle introduction to the history of complex numbers and the beginnings of complex analysis Numbers by HD Ebbinghaus H Hermes F Hirzebruch M Koecher K Mainzer J Neukirch A Prestel R Remmert Springer ISBN 0387974970 hardcover 1991 An advanced perspective on the historical development of the concept of number The Road to Reality A Complete Guide to the Laws of the Universe by Roger Penrose Alfred A Knopf 2005 ISBN 0679454438 Chapters 47 in particular deal extensively and enthusiastically with complex numbers Unknown Quantity A Real and Imaginary History of Algebra by John Derbyshire Joseph Henry Press ISBN 030909657X hardcover 2006 A very readable history with emphasis on solving polynomial equations and the structures of modern algebra Visual Complex Analysis by Tristan Needham Clarendon Press ISBN 0198534477 hardcover 1997 History of complex numbers and complex analysis with compelling and useful visual interpretations 外部連結 Eulers work on Complex Roots of Polynomials at Convergence John and Bettys Journey Through Complex Numbers SOS Math Complex Variables Algebraic Structure of Complex Numbers from cuttheknot Complex Numbers Module by John H Mathews IMO Compendium Training Materials contains a text on applications of complex numbers to euclidean geometry myElectricalcom Complex Number Ccalculator solvemymathcom Complex Numbers Calculator Interactive Visual Representation of Complex Numbers F