從哲學認知角度談談：為什麼複數i定義為根號下-1？

01-27

這個問題和「為什麼常溫下1L水的質量是1kg」問題，從哲學認知角度是不是是一致的。

對於這個問題, 我覺得沒什麼"哲學"的. 數學引發出來的哲學問題不在這裡. 而關於計量單位制, 它實際上只是一種規定而已, 比如對於"千克"這個單位, 重要的不是"這個東西究竟有多重", 而是"這東西的質量跟參照物的比值有多大"(不知道的就去查查千克原器). 現在不談單位的問題, 因為它涉及到跟下文毫無關聯的數學內容(齊次函數和 $Pi$ 定理等等).

下面來就事論事.

先不談虛數單位的定義. 我們來看看數系是如何擴充的.

整數抽象自日常的計數. 但是對於"半個饅頭"等等的計數問題, 整數無能為力. 把問題精確地寫出來, 就是: 多少個(相同的)饅頭加在一起是一個饅頭? 為此我們需要引入"半個饅頭". 換句話說, 我們需要引入方程 $2x=1$ 的解. 從而我們從直觀上知道了什麼叫做"有理數". 負數的引入同樣是為了解這樣的一次方程, 不贅述.

[注: 我們覺得有理數很好理解, 不過是因為我們習慣了而已. 數學常常要打破習慣, 從而看到不一樣的景色.]

但是有理數究竟是什麼? 對於正整數, 我們可以從日常的經驗中抽象出來它的性質, 例如說"1是一隻羊, 一頭牛, 一個人......的共有的數量屬性"(這句話本身含義不清楚, 但我們先不去管它). 正的有理數可以通過"等分"來直觀地理解. 對於"零"和負數, 這種直觀認知就已經有點困難了; 回想一下羅馬人是如何對待零的. 為了彌補這種語義上的模糊帶來的缺陷, 數學家發明了嚴格的定義; 下面再講.

對於無理數, 問題就更加嚴重, 因為日常計數問題中沒有它的對應物. 實際上, 正如我們所知道的, 最早的無理數來源於幾何度量問題: $sqrt2$ 是最為人們熟知的無理數. 但是這依舊可以歸結為為方程尋找根. Pythagoras學派遇見 $sqrt2$ 就是因為他們要為方程 $x^2=2$ 尋找根. 這樣, 我們從直觀上知道了根式的含義.

由此立刻產生了問題: 很多具有整係數的二次方程是沒有根的(以及更高次的方程). 最簡單的例子就是 $x^2=-1$ . 在抽象思維還不發達的時期, 這種方程確實是沒有什麼意思. 但正如我們所知道的, 情況從Cardano的時期開始發生了變化. 這段時間內不斷地湧現出當時的數學家們無力解釋的對象, 而"-1的平方根"就是一個最明顯的例子. 為了使得三次方程有形式統一的求根公式, 不得不引入這個"毫無意義"的"虛數單位". 儘管意義不明確, 數學家們還是依靠虛數單位得到了一系列有意思的結果(當然, 很多時候它不過是一種形式上的運算; 只在實數的範圍內並非不可以進行, 只是會麻煩得多).

[由此我們可以看到"為方程尋找根"實際上是一個比"定義圓周率"要抽象得多的問題, 因為後者是"客觀存在"的(現在不追究這是什麼意思, 下文再講), 而前者卻不一定有什麼現實對應物].

我們知道Euler時期就已經對實數有了模糊的概念(他已經發現了很多跟 $e,pi$ 有關的結論), 但對於"虛數", Euler還是不能真正搞清楚, 儘管在形式上他得到了Euler公式

$e^{ix}=cos x+isin x$ .

[這個公式的含義實際上也不明確; 什麼叫把 $e$ 自乘 $i$ 次?]

Dedekind等人嚴格地定義了實數, 至此人們總算是能夠用不引發歧義的語言來描述實數. 按照現在的觀點, 實數其實也只是一個思維對象, 十進位小數和Dedekind分劃等等不過是這個思維對象在現實中的實現. 而圓周率等等需要藉助幾何度量來定義的實數也可以納入這個邏輯框架之下了, 因為有了分析學的幫助後, 我們就能夠說清楚什麼是"曲線的長度"了.

但是對於"虛數", 不得不承認, 我們還是感到困難, 因為它並沒有實在的對應物, 可偏偏在實際問題(流體力學, 傳熱學, 電學etc)之中有著重要的應用.

怎麼才能夠為方程 $x^2=-1$ 找到一個合理定義的"解"呢?

我們當然可以通過實數域上的二維可除代數來定義複數. 但這樣似乎沒法做太多的推廣. 所以我們換一種方式來考慮問題. 這種方式能夠讓我們說清楚什麼是"添加代數方程的根".

對於給定的域 $k$ , 考慮上面的多項式環 $k[x]$ .

[注: 回憶一下, 多項式環 $k[x]$ 定義為無限循環群的係數在 $k$ 中的(具有有限支撐的)群代數, 不應作為"多項式函數"來考慮.]

對於一個不可約多項式 $f(x)in k[x]$ , 我們想要找到它的根. 為此, 考慮 $f(x)$ 生成的理想 $I$ . 由不可約性, 它應當是極大理想, 所以商環 $K=k[x]/I$ 是個域. 它包含了一個同 $k$ 同構的子域, 所以可以看成是 $k$ 的一個擴張. 進而, $f(x)$ 也可自然地看作是 $K$ 上的多項式.

$K$ 中的元素是等價類 $g(x)+I$ ; 我們來特別地考慮類 $x+I$ . 根據商環的運算性質, 我們立刻得到 $f(x+I)=I$ . 換句話說, 在域 $K$ 中, $x+I$ 是多項式 $f(x)$ 的根. 至此, 我們找到了 $f(x)$ 的一個根. 剩下的不過是通過不斷地擴充域來窮盡 $f(x)$ 的所有根(根據多項式的基本性質, 它在任何域中的根的數目都不可能超過它的次數).

這樣, 我們知道了"添加代數方程的根"的嚴格含義. 至於"有理數"的定義, 則要簡單得多; 無非就是整環的分式域而已.

如果某域上的任何代數方程在這域中都有解, 則這域稱作代數閉的. 對於這類域, 研究其上的多項式是一件比較容易的事情; 實際上, 任何多項式都可以分解成線性因式的乘積(Bezout定理).

回到複數的情形, 取 $k=mathbb{R}$ , $f(x)=x^2+1$ , 則得到的域擴張就是複數 $mathbb{C}$ . 這個域是代數閉的; 這是所謂的"代數基本定理", 有很多很多的(代數的, 實分析的, 複分析的, 拓撲的,...... )證明, 但代數味道最濃的自然還是基於代數學的證明. 正因為 $mathbb{C}$ 是代數閉的, 它才在數學中扮演著舉足輕重的角色. 只舉最簡單的例子. 為了計算某個方陣的100次乘冪, 我們常常需要把它化為Jordan標準型, 而這必須要藉助複數來加以實現. 要是不通過複數, 則計算量會大得難以想像.

說了這麼多, 才發現自己寫了很多似乎很"哲學"的話, 之後後面一部分是乾貨. 但假如前面的"哲學"能夠幫助一些人想清楚問題的話, 我也很欣慰.

[注: 我會修改的.]

可以說說，什麼叫"從哲學認知的角度"嗎？舉個例子可以不？

令人困惑的數學定義之二 ——虛數單位i定義

拿負數來開平方有必要嗎？

有必要！

但是這個問題的完整解答，遠不止於「定義：i^2=-1」。

一、筆者首先簡要地介紹有理數集：

1、我們有自然數集和加法運算，自然數集對加法運算封閉（兩個自然數做加法運算結果還是自然數）。

2、加法運算的逆是減法運算，但是自然數集對減法運算不封閉（不能保證任意兩個自然數做減法運算結果還是自然數）；通過定義了負數，把自然數集擴充為整數集；整數集對加法運算和減法運算都封閉（人們認可負數經歷了很長的過程，原因是認為負數沒有現實意義）。

3、乘法運算的逆是除法運算，整數集對乘法運算封閉，但是對除法運算不封閉；通過定義了分數，把整數集擴充為有理數集；有理數集對加法運算、減法運算、乘法運算和除法運算（除數非零）都封閉。

4、有理數集更嚴格的稱謂是「有理數域」，但是「域」的解釋需要抽象代數的內容，為了通俗起見，筆者就把「有理數域」稱為「有理數集」；以上的「集」都是集合的意思，就是同一類數的集合；比如自然數集、整數集。

二、萬物皆數與畢達哥拉斯定理：

1、古希臘時期的畢達哥拉斯學派認為」萬物皆數「並奉為教義，這裡的數指的是有理數；這種信念源於他們對自己構造的有理數集的自信，他們認為有理數集已經包含了所有的數。

2、隨後這個學派發現了」畢達哥拉斯定理「，即」勾股定理「，並用面積法給出了證明。

3、如果」萬物皆有理數「的話，那麼直角三角形的斜邊也應該是有理數；但是畢達哥拉斯學派的希帕索斯（Hipasus)找到了這樣的例子並給出了證明：a=1，b=1，由a、b通過勾股定理確定的c不是有理數！有一種說法是Hipasus因為這個發現被逐出了學派，另一種說法是他遭到了學派的屠戮。

4、無論如何，有理數集中沒有這樣」c「，但是現實中確實存在這樣的c，那唯一的原因就是畢達哥拉斯學派創造的有理數集存在缺陷，沒有涵蓋所有的數！

5、通過添加開n次方運算，把有理數集擴充為實集（實集不是實數集，只是部分實數的集合，這裡的實集嚴格來說只是有理數集的n次代數擴張）。

6、實集對加法運算、減法運算、乘法運算和除法運算（除數非零）封閉，實集中的正數還對開n次方運算封閉，實集中的負數對開奇數次方運算封閉而對開偶數次方不封閉；特別的，√（-1）不在這個實集中，換言之在這個實集中沒有數的平方等於（-1）。

三、是添加定義的時候了嗎？

1、那是否應該添加定義」i^2=-1」或是「i=√（-1）」,把上述的實集做成一個更大的數集？

答案是人們認為沒有必要！

2、人們認為正數開方是有意義的，因為開方的結果在現實中有這樣的元算與之對應。正如√2，人們確實能找到一條長度不多不少恰好是√2的線段。

3、人們認為負數開方是沒有意義的，因為開方的結果在現實中沒有這樣的元素與之對應。當然筆者還說過，那個時代，人們甚至還不認可負數，因為在現實中沒有」負「的線段。3√（-2）=-3√（2）只是正數開方的一種」變形「；至於√（-1），那更沒有人關心有沒有東西與它對應了，因為它沒有現實意義。

四、三次、四次方程與求根公式：

1、所謂的方程，就是含有未知量的等式；未知量是數，方程就是代數方程；未知量是函數，方程就是函數方程（例如微分方程和積分方程）；方程的解，就是一個能使方程成立的量；代數方程的解是數，這樣的數稱為代數方程的根。

2、代數方程里，人們比較關注多項式方程，因為這樣的方程與人們的生產生活密切相關；古典數學時期，數學家研究的方程也主要是多項式方程。下文出現的」方程「都特指」多項式方程「。

3、所謂的方程的求根公式，就是用方程的係數通過加減乘除和開方運算來構造根的式子。

4、一次方程和二次方程的求根公式很早就被發現了，人們致力於尋找三次和更高次方程的求根公式。

5、16世紀義大利數學家菲爾洛(Ferro)發現了缺二次項的、即形如x^3+px+q=0的三次方程的求根公式。因為當時人們普遍不接受負數，所以實際上Ferro是把缺二次項的三次方程分成了三類：x^3+px=q、x^3=px+q、x^3+q=px，p和q都是正數；他分別給出了解法。

6、有意思的是，當時的數學家之間流行」決鬥「（文藝復興時期的風氣？）。所謂的」決鬥「，就是相互要求對手解決自己提出的問題。所以Ferro把自己的三次方程求根公式作為決鬥時秘密武器，沒有發表。也因為這個求根公式，Ferro在決鬥中屢屢獲勝，名聲鵲起。

7、Ferro死前，把自己的秘密武器傳授給了學生菲奧爾（Fior)和女婿兼繼承人納威（Nave）。

8、Fior也是一個爭強好勝的人，他向當時的數學家塔爾塔利亞（Tartaglia，這不是原名，意為口吃者，Tartaglia孩童時期被法國士兵用馬刀砍傷了臉變成口吃）提出挑戰。Tartaglia並不知道缺二次項的三次方程的求根公式，但是在挑戰的壓力下，竟然成功地推導出了一般的求根公式！因此，Tartaglia在與Fior的決鬥中大獲全勝，因為後者並不會解形如x^3+rx^2+px+q=0的一般三次方程。Tartaglia名聲鵲起。

9、卡爾丹（Cardano）得知這件事後，多次乞求Tartaglia把求根公式告訴他。作為回報，Cardano許諾給予Tartaglia經濟上的援助。Tartaglia最終耐不住Cardano的軟磨硬泡和利益誘惑，把求根公式以一首晦澀難懂的語句詩的形式告訴了Cardano，並要求Cardano發誓保密。

10、後來，Cardano從Nave那裡了解到Ferro的求根公式，認為Tartaglia的求根公式本質上和Ferro的求根公式是一樣的（其實一般的三次方程通過一個變數代換就可以轉化為缺二次項的三次方程，待會大家就會看到）。

11、所以Cardano不顧自己的誓言，把求根公式傳授給了學生費拉里（Ferrari），Ferrari在此基礎上竟然發現了四次方程求根公式！

12、Cardano把三次方程求根公式和學生Ferrari的四次方程求根公式發表在了自己的著作《重要的藝術》（Ars magna）。Cardano這樣評論道：」Ferro在30年前就發現了這個法則，並把它傳給了Fior。是Fior向Tartaglia挑戰，使得Tartaglia有機會重新發現這一法則。Tartaglia在我的懇求之下把這個法則告訴了我，但Tartaglia保留了證明，我在獲得這種幫助之下找到了它的證明「。

13、接下來就是Tartaglia對Cardano的嚴厲控訴，譴責Cardano的背信棄義。憤怒的Tartaglia向Cardano提出挑戰，而Ferrari代替自己的老師接收了挑戰。因為Ferrari已經發現了四次方程的求根公式，所以大敗Tartaglia。Tartaglia名聲掃地，在爭吵和窮困中度過了晚年。

14、三次方程求根公式是枯燥的，但是公式背後的歷史是有趣的；筆者無意評論Cardano和Tartaglia孰對孰錯，每個讀者心中自有看法。

五、三次方程不可約的情況：

1、一般的三次方程為aX^3+bX2+cX+d=0，通過變數代換X=x-[b/(3a)]（前文提及的），一般的三次方程可以轉化為缺二次項的三次方程x^3+px+q=0，求解這個方程就可以了。

2、x^3+px+q=0的求根公式：

這裡筆者就不給出求根公式的推導過程了。

3、注意到⊿要開平方，但⊿並不能保證一定大於0。也就是說，Cardano或是Tartaglia的用加減乘除和開方運算構造的求根公式里，可能要面臨負數開平方的困境。

4、為了讓讀者更清晰的認識到矛盾所在，筆者舉一個例子：

三次方程x^3+px+q=0，p=-10，q=6。

函數y=x^3-10x+6的圖像大致為

函數曲線和x軸相交的點的x值，就是三次方程x^3-10x+6=0的根。

通過圖像，我們可以清楚地看到這個三次方程有3個實根。

但是，⊿=(1/4)q^2+(1/27)p^3=-28.037&<0！

5、也就是說，實係數的三次方程，對於⊿&<0的情況，為了得到3個實根，根據求根公式，必須對負數開平方！這個結果對16世紀的數學家是難以接受的。

6、藉助負數開平方得到實根的過程，實在難以讓人滿意，所以Cardano試圖」修正「求根公式來避免這種情況。但是，所有的嘗試都失敗。Cardano無奈地把這種情況稱為」三次方程不可約「情況。

7、為了處理這種情況，Cardano引入了虛數單位i，定義i^2=-1，使得求根公式可以正常運作。

8、那麼這樣的」修正「是否存在呢？直到19世紀，天才數學家伽羅瓦（Galois）才用他開創性的群論工具才給出答案：不存在！也就是說：」藉助負數開平方得到實根的過程「是無法避免的！

9 、這裡必須強調的是：二次方程的求解之所以沒有導致虛數i的引入，原因在於判別式⊿&<0時方程確實沒有實數解，直觀地看就是函數曲線y=ax^2+bx+c與x軸確實沒有交點，人們不會有興趣更不會認為有意義而去為負數開平方動腦筋！

六、總結與反思：

1、數學似乎和所有人開了一個玩笑：當你認為有理數域完備的時候，你發現用自己證明的畢達哥拉斯定理居然發現了一大類怪胎，所以不得不把開方運算納入系統；當你認為求根公式能解決所有三次方程的時候，你發現三個明顯存在的實根居然要藉助負數開平方，所以不得不定義」i^2=-1」；至於定義了」i^2=-1」之後，給代數和分析帶來的諸多便利，那已經是後話。

2、這再次驗證了筆者的話：「沒有哪一位數學家，可以從一開始就預見他所定義創造的東西，能帶來多少方便快捷」，或是存在多少缺陷；數學家都是摸著石頭過河，一路上很多修修補補。課本中的斟字酌句的描述，未能表現出創造過程中的鬥爭、挫折，以及在建立一個客觀的結構之前，數學家所經歷的艱苦漫長的道路。

3、「i^2=-1」的故事，遠不是一個簡單的定義所能講述的.

原作者：我愛肖邦 QQ空間

這很容易啊…

因為不知道1的相反數是啥，規定了-1是1的相反數，然後要求-1+1=0好了。

不知道5除以11等於多少，那就規定5/11就是得到的那個數吧。

同樣由於不知道什麼數的平方是2於是規定了根號2的平方是2，如果你非要給它加上一個符號也ok。

這樣子，我又不知道-1開根號是多少了，555，不要緊，我就規定i的平方是-1好了。

於是代數隨著這個過程就發展了。

這樣看數學家很無聊吧。

佛曰i,即非i,是名i。施主你明白了么？

先代科技的發展，在很大程度上取決於以前數學的發展。因為數學的基礎在某種程度脫離現實，所以數學的發展可以只是邏輯的嚴格推論，只要邏輯允許就合理，這樣就遠遠超越了很多當代認知！也就突破了想像力！

人的認知很有限，並且很大程度上決定於先想到什麼，和心理學上說的表徵概念很接近，當人先做假想然後再去驗證，這就變得容易發現以前沒注意到的現象，並盡量不去忽略一些無法解釋的現象！感覺，說到底，科學也就是客觀和主觀的相互轉換，把純粹主觀的東西變得盡量客觀！

不問是不是就問為什麼，很流氓的好不好？

複數的正式定義： $mathbb{C}=mathbb{R}^2$ 。

(a, b) + (c, d) = (a + c, b + d)

-(a, b) = (-a, -b)

(a, b)(c, d) = (ac - bd, ad + bc)

現在定義 i = (0, 1)。

這才是 i 的正式定義，在這樣定義之前， $sqrt{-1}$ 是沒有意義的，在這樣定義之後， $sqrt{-1}={i,-i}$ 。

複數最本質的特性是什麼？為什麼物理上需要，並且能夠如此頻繁地使用複數？

樓上的答案都沒有提到這一點，複數最重要的性質是旋轉。也就是兩個複數的積的輻角等於各自輻角的和。如果沒有這一特性，複數在數學和物理上的地位不會像現在這麼重要。

先從原題說起，從根本上來看，為什麼i是-1的平方根。

如上圖複數構成一個平面，實軸和虛軸正交。

-1位於實軸負半軸，輻角為π（180度）。開平方，按照前面說的輻角的性質，即是輻角減半，變為π/2，也即虛軸正半軸上的i的位置。另一個解是輻角為3π/2的-i，因為-1的輻角也可以是3π。

或者反過來看，一個複數乘以i，就相當於逆時針旋轉π/2。那麼i^2=1*i*i，就是把1旋轉了2次π/2，正好落在-1上。

舉一反三，現在大家明白如何從複數旋轉的角度，來說明為什麼負負得正了吧？理解了這一點，就很容易明白，為什麼複數作為一個不那麼自然的，人為發明的數，能夠如此好地應用於物理了。

比如極其重要的簡諧振動，可以看成複平面單位圓上，做勻速圓周運動的點，在實軸上的投影。既然是旋轉，那麼用時間的指數函數就可以表達了，並且求導非常方便。

當一個方程的解不能用任何實數來表示的時候，數學家們發現可以用實數係數乘以一個單位來表示，而這個單位的最簡形式就是i，所以就定義了這個i2=-1。

卡爾丹在解「兩數和為十，乘積為四十」這個題的時候只好引入了。其實是「數又不夠用了」

這個問題其實蠻有意思的。

為什麼i是根號下負一？

為什麼2+2=4？

為什麼1L水在4攝氏度時是1kg？

為什麼單身漢是未婚男子？

這四類問題有什麼聯繫嗎？

這些其實都是蠻有趣的問題。首先，i是根號下負一是純粹由於定義，你可以定義S為根號下負一，也可以定義B為根號下負一。就像單身漢是未婚男子，這個其實也是定義出來的，沒別的。你叫Andy也是我的名字，Andy Lee也是我的名字，你光叫Lee我也應聲。

1L水是1kg也是如此，它也是由於定義，不過最新的定義已經改了。具體可以查一下國際單位制。

這兩種定義有何不同嗎？似乎看起來是不同的。2+2=4，1L水的質量是1kg，單身漢是未婚男子。不過，這些看起來不同的「等同」，其實都是一樣的，只不過2+2=4是依據數學規則，但有些人認為數學規則不是任意的，是某種意義上先天的。就單身漢是未婚男子這一語言使用方式來看，語言的用法在某種意義上也是先天的，但就其起源，就「命名儀式」來看，所指和能指是任意的。而1L水的質量是1kg，其實是可錯的，所以我們才修改了對kg的定義，使其更精確。

這些問題其實蠻有意思的，關係到語言哲學，也關係到認識論以及形而上學。感興趣的朋友可以了解一下這些領域。

首先1代表單位，任何數乘以1都為它本身。其次-1開方，是為了表示虛數i是一個基本存在。負數開方是不存在的，但是為了引入「不存在」這個概念，於是就有了符號i。

然後討論i的意義，開方對應了乘方，乘法是基本演算法，i的連續乘方始終在±1和±i之間循環，也就是在複平面不斷地逆時針旋轉。ai，不斷乘以i，於是意義便成了：不存在的a顯現了，然後又從負方向隱去了，又從負方向出現了，又從正方向隱去了。也就是說i是獨立於實數維的「不存在」維，但是實數的「實」值並沒有消逝，只是隱藏進了虛維。

運用這個性質，可以用i來表達振動或者循環。

感覺不太一樣

i是一個虛數單位

你可以把虛數單位定義為 $sqrt{-2}$ ，沒有什麼問題的，但是顯然 $sqrt{-1}$ 最為方便啊

正如前面的回答所提到的一樣，只有當一個數的概念在現實世界有「實在」的對應時候，人們才能最充分和完整地理解接收它，並輔以更廣闊的應用。

其實，負數出現時候，人們發現，除了可以把減法轉化我加一個負數外，一個數和「-1」的相乘，可以對應於數軸上，一個數關於原點的對稱翻轉的幾何變化。這是數在一維坐標系的幾何映射變化。

相應的，一個數和「i」相乘，對應於二維坐標系複平面中逆時針旋轉90。拓展了數和空間旋轉變化的範圍。把數和二維平面幾何進一步結合起來！這就是虛數的「實在」意義。虛數就再也不是讓人摸不著頭腦的「根號負一」那麼虛無飄渺了！

-1相當於在實軸上進行一次反轉操作，而它的平方根所代表的操作，執行兩次才能達到完成一次反轉操作的效果，也就是轉九十度，再轉九十度，這就是i的操作。反向轉九十度就是-i。

不算是哲學意義，只是比較容易接受的幾何解釋，讓概念不那麼突兀。

首先 -1 可以是什麼？我們用最簡單的例子講，

$cos(pi )=-1$

按照i的定義，i是-1的平方根，或者 $icdot i=-1$ ，於是我們有：

$cos(pi)=icdot i$

接著來：

$cos(pi)=cos(pi/2+pi/2)=icdot i$

如果你的代數感覺好，你馬上就覺得上面的式子有一些「代數味道」。是的，一個角度為 $pi$ 的旋轉，可以看作兩個角度為 $pi/2$ 的旋轉之和。i和i的乘法，也有類似的交換群的感覺。

索性，我們把式子補齊：

$cos(pi)=cos(pi/2+pi/2)=-1$

$sin(pi)=sin(pi/2+pi/2)=0$

還記得三角恆等式么：

$cos(a+b)=cos(a)cos(b)-sin(a)sin(b)$

$sin(a+b)=sin(a)cos(b)+cos(a)sin(b)$

針對一個任意角度，把cos部分作為實部，把sin部分作為虛部，用三角不等式就可以構造出複數的乘法，這就是複數乘法的意義。改寫成：

$cos(a+b) + isin(a+b) = [cos(a)cos(b)-sin(a)sin(b)] + i[sin(a)cos(b)+cos(a)sin(b)]$

也就是教科書上看到的形式：

$z_{1} cdot z_{2} = (x_{1} + iy_{1}) cdot (x_{2} + iy_{2}) = [(x_{1} x_{2}) - (y_{1} y_{2})] + i[(x_{1} y_{2}) - (x_{2} y_{1})]$

如果你有興趣，請玩歐拉公式，去了解這種乘法計算中的各種有趣的地方。

至於i么，其實就是複平面上的一個自然基。i的「全稱」是：

$i=[0, 1]^{T} =[cos(pi/2), sin(pi/2)]^{T}$

小結一下：在實數上玩的時候（比如代數多項式的根），常常發現數不夠用，於是把實數擴張成複平面。複數（域）的運算限制在實軸（域）上都是成立的。i的平方所以是-1，這樣理解：平方是同一變換兩次合成的結果。把實數乘法單位元1變換成-1（加法群逆元），需要在複數域中表達為一個角度為 $pi$ 的旋轉變換，或者看作兩個角度為 $pi/2$ 旋轉變換的合成。因此，i只是一個 $pi/2$ 旋轉變換的結果。

我們剛才都是從代數在講。我們注意從分析上：