虛數單位

维基百科,自由的百科全书
跳转至: 导航搜索
虛數單位 i\,\!複平面的位置。橫軸是實數,豎軸是虛數。

數學物理工程學裏,虛數單位標記為 i\,\!,在电机工程和相关领域中则标记为j\,,这是为了避免与电流(记为i(t)\,i\,)混淆。虛數單位的發明使實數系統 \mathbb{R}\,\! 能夠延伸至复数系統 \mathbb{C}\,\! 。延伸的主要動機為有很多實係數多項式方程式無實數解。例如方程式 x^2+1=0\,\! 就無實數解。可是倘若我們允許解答為虛數,那麼這方程式以及所有的多項式方程式都有解。

定義[编辑]

\ldots
i^{-3} = i\,\!
i^{-2} = -1\,\!
i^{-1} = -i\,\!
i^0 = 1\,\!
i^1 = i\,\!
i^2 = -1\,\!
i^3 = -i\,\!
i^4 = 1\,\!
i^5 = i\,\!
i^6 = -1\,\!
\ldots

虛數單位 i\,\! 定義為二次方程式 x^2 + 1 = 0\,\! 的兩個解答中的一個解答。這方程式又可等價表達為:

x^2 =  - 1\,\!

由於實數的平方絕不可能是負數,我們假設有這麼一個數目解答,給它設定一個符號 i\,\! 。很重要的一點是,i\,\! 是一個良定義的數學構造。

另外,虛數單位同樣可以表示為:

i = \sqrt{-1}\,

i = \sqrt{-1}\, 往往被誤認為是錯的,他們的證明的方法是:

因為 -1\,=i\cdot i=\left(\sqrt{-1}\right)\times\left(\sqrt{-1}\right)=\sqrt{\left(-1\right)\times\left(-1\right)}=\sqrt{1}=1\,,但是-1不等於1。
但請注意:\sqrt{a \cdot b}=\sqrt{a}\cdot\sqrt{b}\, 成立的條件有a,b不能同時為負數。

實數運算可以延伸至虛數與複數。當計算一個表達式時,我們只需要假設 i\,\! 是一個未知數,然後依照 i\,\! 的定義,替代任何 i^2\,\! 的出現為  - 1\,\!i\,\! 的更高整數冪數也可以替代為  - i\,\!1\,\! ,或 i\,\!,根據下述方程式:

i^3 = i^2 i = ( - 1) i = - i \,\!
i^4 = i^3 i = ( - i) i = - (i^2) = - ( - 1) = 1 \,\!
i^5 = i^4 i = (1) i = i \,\!

一般地,有以下的公式:

i^{4n} = 1\,
i^{4n+1} = i\,
i^{4n+2} = -1\,
i^{4n+3} = -i.\,
i^n = i^{n \bmod 4}\,

其中mod 4表示被4除的余数

i和−i[编辑]

方程x^2 =  - 1\,\!有两个不同的解,它们都是有效的,且互为共轭虚数。更加确切地,一旦固定了方程的一个解i,那么−i(不等于i)也是一个解,由于这个方程是i的唯一的定义,因此这个定义表面上有歧义。然而,只要把其中一个解选定,并固定为i,那么实际上是没有歧义的。这是因为,虽然−ii在数量上不是相等的(它们是一对共轭虚数),但是i和−i之间没有质量上的区别(−1和+1就不是这样的)。如果所有的数学书和出版物都把虚数或复数中的+i换成−i,而把−i换成−(−i) = +i,那么所有的事实和定理都依然是正确的。

-i = \frac{-ii}{i}=\frac{1}{i}

正当的使用[编辑]

虚数单位有时记为\sqrt{-1}。但是,使用这种记法时需要非常谨慎,这是因为有些在实数范围内成立的公式在复数范围内并不成立:

-1 = i \cdot i = \sqrt{-1} \cdot \sqrt{-1} = \sqrt{(-1) \cdot (-1)} = \sqrt{1} = 1    (不正确)

公式\sqrt{a} \cdot \sqrt{b} = \sqrt{a \cdot b}仅对于非负的实数ab才成立。

为了避免这种错误,尽量不要用平方根来表示虚数。例如,我们不应使用\sqrt{-7},而应使用\sqrt{7}i

i的运算[编辑]

虛數單位 i 的平方根在複平面的位置。

许多实数的运算都可以推广到 i ,例如平方根对数三角函数

i平方根为:

 \pm \sqrt{i} = \pm \frac{1}{\sqrt{2}} (1 + i). [1]

其解法為先假設兩實數x及y,使得(x + iy)2 = i,求解x,y[2]

这是因为:

\left( \pm \frac{1}{\sqrt{2}} (1 + i) \right)^2 \ = \left( \pm \frac{1}{\sqrt{2}} \right)^2 (1 + i)^2 \
= (\pm 1)^2 \frac{1}{2} (1 + i)(1 + i) \
= \frac{1}{2} (1 + 2i + i^2) \quad \quad \quad  (i^2 = -1) \
= \frac{1}{2} + i - \frac{1}{2}  \
= i. \

以下运算均为与i有关的多值函数英语Multivalued-function,在实际应用时必须指明函数的定义选择在黎曼面的哪一支。下面列出的仅仅是最常采用的黎曼面分支的计算结果。

一个数的ni次方为:

 \!\ x^{ni} = \cos \ln x^n + i \sin \ln x^n.

一个数的 ni 次方根为:

 \!\ \sqrt[ni]{x} = \cos \ln \sqrt[n]{x} - i \sin \ln \sqrt[n]{x}.

利用歐拉公式

i^i = \left( e^{i (\pi/2 + 2k \pi)} \right)^i = e^{i^2 (\pi/2 + 2k \pi)} = e^{- (\pi/2 + 2k \pi)}
其中k \in \mathbb{Z}

最小的解(k = 0)是e−π/2或近似值0.207879576...[3]

\mathbb{Z}代表整數集,代入不同的k值,可計算出無限多的解。

以i为底的对数为:

 \log_ix = {{2 \ln x} \over i\pi}.

i余弦是一个实数

 \cos i = \cosh 1 = {{e + \frac{1}{e}} \over 2} = {{e^2 + 1} \over 2e}

i正弦纯虚数

 \sin i = \, i\sinh 1  = {{e - \frac{1}{e}} \over 2} \, i = {{e^2 - 1} \over 2e} \, i

程式語言[编辑]

  • 大部分的程式語言都不提供虛數單位,且平方根函數(大多為sqrt()Math.Sqrt())的引數不可以是負數,因此,必須自行建立類別後方可使用。
  • Matlab虛數單位的表示方法為ij,但ijfor迴圈可以有其他用途。
  • Maple,必須啟用虛數功能,並選擇用i還是j表示虛數單位

註解[编辑]

  1. ^ Maple中, \sqrt{i} = \frac{1}{\sqrt{2}} (1 + i).
  2. ^ (University of Toronto Mathematics Network: What is the square root of i? URL retrieved March 26, 2007.)
  3. ^ "The Penguin Dictionary of Curious and Interesting Numbers" by David Wells, Page 26.

参见[编辑]

参考文献[编辑]

  • Paul J. Nahin, An Imaginary Tale, The Story of √-1, Princeton University Press, 1998

外部链接[编辑]