冪

File:Disambig gray.svg此條目的主題是代數概念。關於幾何定理，請見「圓冪定理」。

bn
記號
底數<math>b</math> 與 指數<math>n</math>

在數學中，乘方或冪法（power method）是重複連乘的運算，冪（mathematical power，power）是乘方的結果；由此，若 <math>n</math> 為正整數，<math>n</math> 個相同的數 <math>b</math> 連續相乘（即 <math>b</math> 自乘 <math>n</math> 次），就可將 <math>b^n</math> 看作乘方的結果 ——「冪」。

<math>b^n = \underbrace{b \times \cdots \times b}_n</math>

在精確的定義上，乘方與冪不同，例如：「冪的乘方」是指幾個相同的冪相乘，<math>(b^m)^n</math> 即「冪 <math>b^m</math> 再做 <math>n</math> 次乘方」。此外，在漢語命名上，乘方與開方相對，兩者互為逆運算。乘方在古代原本指正整數次的自身連乘，當 <math>n</math> 不為正整數時，「乘方」則有了衍伸的定義，即「乘冪」：將某個量或符號提升到任意指定次冪或對它施加一個指定指數的行為或過程。

乘冪（exponentiation）或冪運算，又稱指數運算、取冪，如上述，與乘方一樣是數學運算，表達式為 <math>b^n</math>，讀作「<math>b</math> 的 <math>n</math> 次方」或「<math>b</math> 的 <math>n</math> 次冪」。其中，<math>b</math> 稱為底數（base），而 <math>n</math> 稱為指數（exponent，power），通常指數寫成上標，放在底數的右邊。

當乘冪的指數 <math>n</math> 為 1 時，通常不寫出來，因為運算出的值和底數的數值一樣；指數為 2 時，另可讀作「<math>b</math> 的平方」；指數為 3 時，另可讀作「<math>b</math> 的立方」。乘冪在純文字格式等不能用上標的情況，例如在編程語言或電子郵件中，<math>b^n</math> 通常寫成 b^n 或 b**n；也可視為超運算，記為 b[3]n；亦可以用高德納箭號表示法，寫成 b↑n。

由於在十進制中，十的冪很容易計算，只需在後面加零即可，所以科學記數法藉此簡化記錄的數字；二的冪則在計算機科學中相當重要。

起始值 1（乘法的單位元素）乘上底數（<math>b</math>）自乘指數（<math>n</math>）這麼多次。這樣定義了後，很易想到如何一般化指數 0 和負數的情況：指數是零時，底數不為零，冪均為一（即除 0 外，所有數的 0 次方都是 1 ）；指數是負數時，就等於重複除以底數（或底數的倒數自乘指數這麼多次），即：

<math> b^{0} = 1 \qquad (b \ne 0)</math>

<math>b^{-n} = {1 \over \underbrace{b\times\cdots\times b}_n} = \frac{1}{b^n} = \left(\frac{1}{b}\right)^{n} \qquad (b \ne 0)</math>。

若以分數為指數的冪，則定義：

<math>b^{\frac{n}{m}} = \sqrt[m]{b^{n}}</math>，

即 <math>b</math> 的 <math>n</math> 次方再開 <math>m</math> 次方根。

0的0次方（<math>0^0</math>）目前沒有數學家給予正式的定義；在部分數學領域中，如組合數學，常用的慣例是定義為 1 。

此外，當 <math>n</math> 是複數，且 <math>b</math> 是正實數時，

<math>b^n = \exp(n \ln(b))</math>

exp 是指數函數，而 ln 是自然對數。

重要的恆等式

運算法則

• 同底數冪相乘，底數不變，指數相加：

<math>a^m \times a^n = a^{m + n} </math>

• 同底數冪相除，底數不變，指數相減：

<math>a^m \div a^n = a^{m - n} </math>

• 同指數冪相除，指數不變，底數相除(<math>b</math>不為0)：

<math>\frac{a^n}{b^n} = \left(\frac{a}{b}\right)^n</math>

其他等式

• <math>x^\frac{m}{n} = \sqrt[n]{x^m}</math>
• <math>x^{-m} = \frac{1}{x^m} \qquad (x \ne 0)</math>
• <math>x^0 = 1 \qquad (x \ne 0)</math>
• <math>x^1 = x\,\!</math>
• <math>x^{-1} = \frac{1}{x} \qquad (x \ne 0)</math>

運算律

加法和乘法存在交換律，比如：<math>2+3=5=3+2</math>，<math>2 \times 3 =6 =3 \times 2</math>，但是冪的運算不存在交換律，<math>2^3 = 8 </math>，但是<math>3^2 = 9 </math>。

同樣，加法和乘法存在結合律，比如：<math>(2+3)+4=9=2+(3+4)</math>，<math>(2 \times 3) \times 4=24=2 \times (3 \times 4)</math>。不過，冪運算沒有結合律：<math>(2^3)^4 = 8^4 = 4096 </math>，而<math>2^{(3^4)} = 2^{81} = 2,417,851,639,229,258,349,412,352 </math>，所以<math>(2^3)^4\neq 2^{(3^4)} </math>。

但是冪運算仍然有其運算律，稱為指數律：

• <math>a^m \cdot a^n = a^{m+n}</math>
• <math>\frac{a^m}{a^n} = a^{m-n}</math>
• <math>(a^m)^n = a^{mn}</math>
• <math>\sqrt[n]{a^m} = a^{\frac{m}{n}}</math>
• <math>a^n \cdot b^n = (a \cdot b)^n</math>
• <math>\frac{a^n}{b^n} = \left(\frac{a}{b}\right)^n</math>

整數指數冪

整數指數冪的運算只需要初等代數的知識。

正整數指數冪

表達式<math>a^2 = a\cdot a</math>被稱作<math>a</math>的平方，因為邊長為<math>a</math>的正方形面積是<math>a^2</math>。

表達式<math>a^3 = a\cdot a\cdot a</math>被稱作<math>a</math>的立方，因為邊長為<math>a</math>的正方體體積是<math>a^3</math>。

所以<math>3^2</math>讀作「3的平方」，<math>2^3</math>讀作「2的立方」。

指數表示的是底數反覆相乘多少次。比如<math>3^5 = 3\times 3\times 3\times 3\times 3 = 243</math>，指數是5，底數是3，表示3反覆相乘5次。

或者，整數指數冪可以遞歸地定義成：

<math>a^n=

\begin{cases} 1 & (n= 0) \\ a \cdot a^{n-1} & (n> 0) \\ \left(\frac{1}{a}\right)^{-n} & (n< 0) \end{cases} </math>

指數是1或者0

注意<math>3^1</math>表示僅僅1個3的乘積，就等於3。

注意<math>3^5 = 3\times 3^4</math>，<math>3^4 = 3\times 3^3</math>，<math>3^3 = 3\times 3^2</math>，<math>3^2=3\times 3^1</math>，

繼續，得到<math>3^1 = 3\times 3^0 = 3</math>，所以<math>3^0 = 1</math>

另一個得到此結論的方法是：通過運算法則<math> \frac{x^n}{x^m} = x^{n - m}</math>

當<math>m=n</math>時，<math> 1 = \frac{x^n}{x^n} = x^{n - n} = x^0 </math>

• 任何數的1次方是它本身。

零的零次方

主條目：零的零次方

<math> 0^0 </math> 其實還並未被數學家完整的定義，但部分看法是<math> 0^0 = 1 </math> ，在程式語言中（python） <math> 0**0 = 1 </math>

在這裏給出這一種極限的看法

<math>\lim _{x \to 0^+} x ^ x= 0^0</math> 於是，可以求出 x 取值從 1 到 0.0000001 計算得到的值，如圖

負數指數

我們定義任何不為 0 的數 a 的 -1 次方等於它的倒數。

<math>a^{-1} = \frac{1}{a}</math>

對於非零<math>a</math>定義

<math>a^{-n} = \frac{1}{a^n}</math>,

而<math>a=0</math>時分母為 0 沒有意義。

證法一：

根據定義<math>a^m\cdot a^n = a^{m+n}</math>，當<math>m=-n</math>時

<math>a^{-n} \, a^{n} = a^{-n\,+\,n} = a^0 = 1,</math>

得<math> a^{-n} \, a^{n} = 1 </math>, 所以<math>a^{-n} = \frac{1}{a^{n}}</math>。

證法二：

通過運算法則<math> \frac{a^m}{a^n} = a^{m - n}</math>

當<math>m=0</math>時，可得<math>a^{-n} = a^{0-n} = \frac{a^0}{a^n} = \frac{1}{a^{n}}</math>

負數指數<math>a^{-n}</math>還可以表示成1連續除以<math>n</math>個<math>a</math>。比如：

<math>3^{-4} = \frac{\frac{\frac{\frac{1}{3}}{3}}{3}}{3} = \frac{1}{81} = \frac{1}{3^{4}}</math>.

特殊數的冪

10的冪

主條目：科學計數法

在十進制的計數系統中，10的冪寫成1後面跟着很多個0。例如：<math>10^3 = 1000,\ 10^{-3} = 0.001</math>

因此10的冪用來表示非常大或者非常小的數字。如：299,792,458（真空中光速，單位是米每秒），可以寫成 <math>2.99792458\times 10^8</math>，近似值 <math>2.998\times 10^8</math> 或 <math>3\times 10^8</math>

國際單位制詞頭也使用10的冪來描述特別大或者特別小的數字，比如：詞頭「千」就是 <math>10^3</math>，詞頭「毫」就是 <math>10^{-3}</math>

2的冪

主條目：2的冪

1的冪

1的任何次冪都為1。

0的冪

0的正數冪都等於0。

0的負數冪沒有定義。

任何非0之數的0次方都是1；而0的0次方是懸而未決的，某些領域下常用的慣例是約定為1。但某些教科書表示0的0次方為無意義。也有人主張定義為1。

負1的冪

-1的奇數冪等於-1

-1的偶數冪等於1

指數非常大時的冪

一個大於1的數的冪趨於無窮大，一個小於-1的數的冪趨於負無窮大

當<math>a > 1</math>，<math> n \to \infty</math>，<math> a^n \to \infty</math>

當<math>a < -1</math>，<math> n \to \infty</math>，<math> a^n \to -\infty </math> 或 <math>\infty</math> , (視乎n 是奇數或偶數)

一個絕對值小於1的數的冪趨於0

當<math>|a| < 1</math>，<math> n \to \infty</math>，<math> a^n \to 0</math>

1的冪永遠都是1

當<math>a = 1</math>，<math> n \to \infty</math>，<math> a^n \to 1</math>

如果數a趨於1而它的冪趨於無窮，那麼極限並不一定是上面幾個。一個很重要的例子是：

當<math> n \to \infty, \left(1+\frac{1}{n}\right)^n \to e</math>

參見e的冪

其他指數的極限參見冪的極限

正實數的實數冪

一個正實數的實數冪可以通過兩種方法實現。

• 有理數冪可以通過N次方根定義，任何非0實數次冪都可以這樣定義
• 自然對數可以被用來通過指數函數定義實數冪

N次方根

File:Root graphs.svg

從上到下：<math>x^{\frac{1}{8}},\ x^{\frac{1}{4}},\ x^{\frac{1}{2}},\ x^{1},\ x^{2},\ x^{4},\ x^{8}</math>

主條目：方根

一個數<math>a</math>的<math>n</math>次方根是<math>x</math>，<math>x</math>使<math>x^n=a</math>。

如果<math>a</math>是一個正實數，<math>n</math>是正整數，那麼方程<math>x^n=a</math>只有一個正實數根。 這個根被稱為<math>a</math>的<math>n</math>次方根，記作：<math>\sqrt[n]{a}</math>，其中<math>\sqrt{\ }</math>叫做根號。或者，<math>a</math>的<math>n</math>次方根也可以寫成<math>a^{\frac{1}{n}}</math>. 例如<math>4^{\frac{1}{2}} = 2,\ 8^{\frac{1}{3}} = 2</math>

當指數是<math>\frac{1}{2}</math>時根號上的2可以省略，如：<math>\sqrt{4}=4^{\frac{1}{2}}= \sqrt[2]{4} = 2</math>

有理數冪

有理數指數冪定義為

<math>a^{\frac{m}{n}} = (a^m)^{\frac{1}{n}} = \sqrt[n]{a^m}</math>

e的冪

主條目：指數函數

這個重要的數學常數e，有時叫做歐拉數，近似2.718，是自然對數的底。它提供了定義非整數指數冪的一個方法。 它是從以下極限定義的：

<math>e =\lim_{n \to \infty} \left(1+\frac{1}{n} \right)^n </math>

指數函數的定義是：

<math>e^x =\lim_{n \to \infty} \left(1+\frac{x}{n} \right)^n </math>

可以很簡單地證明e的正整數k次方<math>e^k</math>是：

<math>e^k = \left[\lim_{n \to \infty} \left(1+\frac{1}{n} \right) ^n\right]^k </math>

<math>= \lim_{n \to \infty} \left(1+\frac k {n\cdot k} \right)^{n \cdot k} </math>

<math>= \lim_{n \cdot k \to \infty} \left(1+\frac k {n\cdot k} \right)^{n \cdot k} </math>

<math>= \lim_{m \to \infty} \left(1+\frac k m \right)^m </math>

實數指數冪

File:Expo02.svg

y = b^x對各種底數b的圖像，分別為綠色的10、紅色的e、藍色的2和青色的1/2。

因為所有實數可以近似地表示為有理數，任意實數指數x可以定義成：

<math> b^x = \lim_{r \to x} b^r,</math>

例如：

<math>x \approx 1.732 </math>

於是

<math>5^x \approx 5^{1.732} =5^{\frac{433}{250}}=\sqrt[250]{5^{433}} \approx 16.241</math>

實數指數冪通常使用對數來定義，而不是近似有理數。

自然對數<math>\ln{x} </math>是指數函數<math>e^x</math>的反函數。 它的定義是：對於任意<math>b>0</math>，滿足

<math>b = e^{\ln b}</math>

根據對數和指數運算的規則：

<math>b^x = (e^{\ln b})^x = e^{x \cdot\ln b}</math>

這就是實數指數冪的定義：

<math>b^x = e^{x\cdot\ln b}\,</math>

實數指數冪<math>b^x</math>的這個定義和上面使用有理數指數和連續性的定義相吻合。對於複數，這種定義更加常用。

負實數的實數冪

如果<math>a</math>是負數且<math>n</math>是偶數，那麼<math>x = a^n</math>是正數。如果<math>a</math>是負數且<math>n</math>是奇數，那麼<math>x = a^n</math>是負數。

使用對數和有理數指數都不能將<math>a^k</math>（其中<math>a</math>是負實數，<math>k</math>實數）定義成實數。在一些特殊情況下，給出一個定義是可行的：負指數的整數指數冪是實數，有理數指數冪對於<math>a^\frac{m}{n}</math>（<math>n</math>是奇數）可以使用<math>n</math>次方根來計算，但是因為沒有實數<math>x</math>使<math>x^2 = -1</math>，對於<math>a^\frac{m}{n}</math>（<math>n</math>是偶數）時必須使用虛數單位<math>i</math>。

使用對數的方法不能定義<math>a\leq 0</math>時的<math>a^k</math>為實數。實際上，<math>e^x</math>對於任何實數<math>x</math>都是正的，所以<math>\ln(a)</math>對於負數沒有意義。

使用有理數指數冪來逼近的方法也不能用於負數<math>a</math>因為它依賴於連續性。函數<math>f(r) = a^r</math>對於任何正的有理數<math>a</math>是連續的，但是對於負數<math>a</math>，函數<math>f</math>在有些有理數<math>r</math>上甚至不是連續的。

例如：當<math>a=-1</math>，它的奇數次根等於-1。所以如果<math>n</math>是正奇數整數，<math>-1^{\frac m n}=-1</math>當<math>m</math>是奇數，<math>-1^{\frac m n}=1</math>當<math>m</math>是偶數。雖然有理數<math>q</math>使<math>-1^q=1</math>的集合是稠密集，但是有理數<math>q</math>使<math>-1^q=-1</math>的集合也是。所以函數<math>-1^q</math>在有理數體不是連續的。

因此，如果要求負實數的任意實數冪，必須將底數和指數看成複數，按複數的正實數冪或複數的複數冪方法計算。

正實數的複數冪

e的虛數次冪

主條目：指數函數

File:ExpIPi.gif

指數函數e^z可以通過(1 + z/N)^N當N趨於無窮大時的極限來定義，那麼e^iπ就是(1 + iπ/N)^N的極限。在這個動畫中n從1取到100。(1 + iπ/N)^N的值通過N重複增加在複數平面上展示，最終結果就是(1 + iπ/N)^N的準確值。可以看出，隨着N的增大，(1 + iπ/N)^N逐漸逼近極限-1。這就是歐拉公式。

複數運算的幾何意義和e的冪可以幫助我們理解<math>e^{ix}</math>（<math>x</math>是實數），即純虛數指數函數。想像一個直角三角形<math>(0,1,1+\frac{ix}{n})</math>（括號內是複數平面內三角形的三個頂點），對於足夠大的<math>n</math>，這個三角形可以看作一個扇形，這個扇形的中心角就等於<math>\frac{x}{n}</math>弧度。對於所有<math>k</math>，三角形<math>(0,(1+\frac{ix}{n})^k, (1+\frac{ix}{n})^{k+1})</math>互為相似三角形。所以當<math>n</math>足夠大時<math>(1+\frac{ix}{n})^n</math>的極限是複數平面上的單位圓上<math>x</math>弧度的點。這個點的極坐標是<math>(r,\theta)=(1,x)</math>，直角坐標是<math>(\cos x,\sin x)</math>。所以<math>e^{ix} = \cos x + i \sin x</math>，而這個函數可以稱為純虛數指數函數。這就是歐拉公式，它通過複數的意義將代數學和三角學聯繫起來了。

等式<math>e^z = 1</math>的解是一個整數乘以<math>2i\pi</math>：

<math>\{ z : e^z = 1 \} = \{ 2k\pi i : k \in \mathbb{Z} \}.</math>

更一般地，如果<math>e^b = a</math>，那麼<math>e^z = a</math>的每一個解都可以通過將<math>2i\pi</math>的整數倍加上<math>b</math>得到：

<math>\{ z : e^z = a \} = \{ b + 2k\pi i : k \in \mathbb{Z} \}. </math>

這個複指數函數是一個有週期<math>2i\pi</math>的週期函數。

更簡單的：<math>e^{i\pi} = -1;\ e^{x + iy}= e^x(\cos y + i \sin y )</math>。

三角函數

主條目：歐拉公式

根據歐拉公式，三角函數餘弦和正弦是：

<math>\cos z = \frac{ e^{i\cdot z} + e^{-i\cdot z}} {2} \qquad \sin z = \frac{e^{i\cdot z} - e^{-i\cdot z}}{2\cdot i}</math>

歷史上，在複數發明之前，餘弦和正弦是用幾何的方法定義的。上面的公式將複雜的三角函數的求和公式轉換成了簡單的指數方程

<math>e^{i\cdot (x+y)}=e^{i\cdot x}\cdot e^{i\cdot y}.\,</math>

使用了複數指數冪之後，很多三角學問題都能夠使用代數方法解決。

e的複數指數冪

<math>e^{x+iy}</math>可以分解成<math>e^x\cdot e^{iy}</math>。其中<math>e^x</math>是<math>e^{x+iy}</math>的模，<math>e^{iy}</math>決定了<math>e^{x+iy}</math>的方向

正實數的複數冪

如果<math>a</math>是一個正實數，<math>z</math>是任何複數，<math>a^z</math>定義成<math>e^{z\cdot \ln(a)}</math>，其中<math>x=\ln (a)</math>是方程<math>e^x = a</math>的唯一解。所以處理實數的方法同樣可以用來處理複數。

例如：

<math>2^i = e^{i\cdot \ln(2)} = \cos{\ln 2}+i\cdot \sin{\ln 2 } = 0.7692+0.63896i</math>

<math>{ {e}^{i} } = 0.5403023+0.841471i </math>

<math>{ {10}^{i} } = -0.6682015+0.7439803i </math>

<math>(e^{2\pi})^i = 535.49^i = 1</math>

複數的複數冪

複數的虛數冪

讓我們從一個簡單的例子開始：計算<math> \left( 1+i \right)^i </math>。

<math>\begin{align} \left( 1+i \right)^i & = \left[\sqrt{2}\left(\frac{\sqrt{2}}{2}+\frac{\sqrt{2}}{2} i\right)\right]^i \\ & = \left(\sqrt{2}e^{\tfrac{\pi}{4}i}\right)^i \\ & = e^{-\tfrac{\pi}{4}}\sqrt{2}^i \\ & = e^{-\tfrac{\pi}{4}}\cos\frac{\ln 2}{2} + ie^{-\tfrac{\pi}{4}}\sin\frac{\ln 2}{2} \\ \end{align}</math>

其中<math> \sqrt{2}^i </math>的得法參見上文正實數的複數冪

複數的複數冪

類似地，在計算複數的複數冪時，我們可以將指數的實部與虛部分開以進行冪計算。例如計算<math> \left( 1+i \right)^{2+i} </math>：

<math>\begin{align} \left( 1+i \right)^{2+i} & = \left( 1+i \right)^2 \left( 1+i \right)^i \\ & = 2ie^{-\tfrac{\pi}{4}}\left(\cos\frac{\ln 2}{2} + i\sin\frac{\ln 2}{2}\right) \\ & = -2e^{-\tfrac{\pi}{4}}\sin\frac{\ln 2}{2} + 2ie^{-\tfrac{\pi}{4}}\cos\frac{\ln 2}{2} \\ \end{align}</math>

一般情況

複數的複數冪必須首先化為底數為<math>e</math>的形式：

<math>w^z = e^{z \ln w}</math>

又，由複數的極坐標表示法：

<math>w = r e^{i\theta}</math>

故

<math>w^z = e^{z \ln(w)} = e^{z(\ln(r) + i\theta)}</math>。

然後，使用歐拉公式處理即可。

由於複數的極坐標表示法中，輻角<math>\theta</math>的取值是具有週期性的，因此複數的複數冪在大多數情況下是多值函數。不過實際應用中，為了簡便起見，輻角都只取主值，從而使冪值唯一。

在函數中

當函數名後有上標的數（即函數的指數），一般指要重複它的運算。例如<math>f^3 (x )</math>即<math>f ( f ( f ( x ) ) )</math>。特別地，<math>f^{-1} (x )</math>指<math>f (x )</math>的反函數。

但三角函數的情況有所不同，一個正指數應用於函數的名字時，指答案要進行乘方運算，而指數為-1時則表示其反函數。例如：<math>(\sin x)^{-1}</math>表示<math>\csc x</math>。因此在三角函數時，使用<math>\sin^{-1} x</math>來表示<math>\sin x</math>的反函數<math>\arcsin x</math>。

計算自然數（正整數）<math>n</math>的<math>a^n</math>的算法

最快的方式計算<math>a^n</math>，當<math>n</math>是正整數的時候。它利用了測試一個數是奇數在計算機上是非常容易的，和通過簡單的移所有位向右來除以2的事實。

在C/C++語言中，你可以寫如下算法：

double power(double a, unsigned int n)
{
    double y = 1;
    double f = a;
    while (n > 0) {
       if (n % 2 == 1) y *= f;
       n >>= 1;
       f *= f;
    }
    return y;
}

此算法的時間複雜度為<math>\Omicron(\log n)\!</math>，比普通算法快（a自乘100次，時間複雜度為<math>\Omicron(n)\!</math>），在<math>n</math>較大的時候更為顯著。

例如計算<math>a^{100}</math>，普通算法需要算100次，上述算法則只需要算7次。若要計算<math>a^{n} (n < 0)</math>可先以上述算法計算<math>a^{|n|}</math>，再作倒數。

另見

• 迭代冪次

外部連結

• 指數的歷史