本文介紹的是代數(shù)概念。關(guān)于幾何定理,請見“ 圓冪定理”。
冪運算(英語:Exponentiation),又稱指數(shù)運算,一種數(shù)學(xué)運算,表示為bn,其中,b被稱為底數(shù),而n被稱為指數(shù),其結(jié)果為b自乘n次。同樣的,把看作乘方的結(jié)果,叫做“b的n次冪”或“b的n次方”。
通常指數(shù)寫成上標,放在底數(shù)的右邊。當(dāng)不能用上標時,例如在編程語言或電子郵件中,通常寫成b^n或b**n,也可視為超運算,記為b[3]n,亦可以用高德納箭號表示法,寫成b↑n,讀作“b的n次方”。
當(dāng)指數(shù)為1時,通常不寫出來,因為運算出的值和底數(shù)的數(shù)值一樣;指數(shù)為2時,可以讀作“b的平方”;指數(shù)為3時,可以讀作“b的立方”。
bn的意義亦可視為:
起始值1(乘法的單位元)乘上底數(shù)(b)自乘指數(shù)(n)這么多次。這樣定義了后,很易想到如何一般化指數(shù)0和負數(shù)的情況:除0外所有數(shù)的零次方都是1;指數(shù)是負數(shù)時就等于重復(fù)除以底數(shù)(或底數(shù)的倒數(shù)自乘指數(shù)這么多次),即:
- 。
以分數(shù)為指數(shù)的冪定義為,即b的m次方再開n次方根
0的0次方目前數(shù)學(xué)家沒有給予正式的定義,部分領(lǐng)域中,如組合數(shù)學(xué),常用的慣例是定義為1。也有人主張定義為1。
冪不符合結(jié)合律和交換律。
因為十的次方很易計算,只需在后加零即可,所以科學(xué)記數(shù)法借助此簡化記錄數(shù)的方式;二的冪在計算機科學(xué)中很有用。
目錄
- 同底數(shù)冪相乘,底數(shù)不變,指數(shù)相加:
-
-
- 同底數(shù)冪相除,底數(shù)不變,指數(shù)相減:
-
-
- 冪的乘方,底數(shù)不變,指數(shù)相乘:
-
-
- 同指數(shù)冪相乘,指數(shù)不變,底數(shù)相乘:
-
-
- 同指數(shù)冪相除,指數(shù)不變,底數(shù)相除:
-
-
-
-
-
-
-
-
-
加法和乘法遵守交換律,比如:2 3 = 5 = 3 2,2×3 = 6 = 3×2,但是冪的運算不遵守交換律, ,但是 。
同樣,加法和乘法遵守結(jié)合律,比如:(2 3) 4 = 9 = 2 (3 4),(2×3)×4 = 24 = 2×(3×4),冪同樣不遵守: ,但是 。
冪的運算順序通常由上到下:
-
整數(shù)指數(shù)冪編輯
整數(shù)指數(shù)冪的運算只需要初等代數(shù)的知識。
正整數(shù)指數(shù)冪編輯
表達式 被稱作a的平方,因為邊長為a的正方形面積是 。
表達式 被稱作a的立方,因為邊長為a的正方體體積是 。
所以 讀作3的平方, 讀作2的立方。
指數(shù)表示的是底數(shù)反復(fù)相乘多少次。比如 ,指數(shù)是5,底數(shù)是3,表示3反復(fù)相乘5次。
或者,整數(shù)指數(shù)冪可以遞歸地定義成:
-
指數(shù)是1或者0編輯
注意 表示僅僅1個3的乘積,就等于3。
注意 , , , ,
繼續(xù),得到 ,所以
另一個得到此結(jié)論的方法是:通過運算法則
當(dāng) 時,
負數(shù)指數(shù)編輯
我們定義任何不為0的數(shù)的-1次方等于它的倒數(shù)。
-
對于非零a定義 。因為當(dāng) 時分母是0而沒有意義。
這個定義是因為 ,當(dāng)m=-n時
-
因為 已經(jīng)定義了,所以 。
或者還可以像定義a的0次方一樣定義:
通過運算法則
當(dāng) 時,可以約去分子得
負數(shù)指數(shù) 還可以表示成1連續(xù)除以n個a。比如:
- .
特殊數(shù)的冪編輯
在十進制的計數(shù)系統(tǒng)中,10的冪寫成1后面跟著很多個0。例如:
因此10的冪用來表示非常大或者非常小的數(shù)字。如:299,792,458(真空中光速,單位是米每秒),可以寫成 ,近似值 .
國際單位制詞頭也使用10的冪來描述特別大或者特別小的數(shù)字,比如:詞頭“千”就是 ,詞頭“毫”就是
1的任何次冪都為1
0的正數(shù)冪都等于0。
0的負數(shù)冪沒有定義。
任何非0之?dāng)?shù)的0次方都是1;而0的0次方是懸而未決的,某些領(lǐng)域下常用的慣例是約定為1。[1]但某些教科書表示0的0次方為無意義。[2]也有人主張定義為1。
-1的奇數(shù)冪等于-1
-1的偶數(shù)冪等于1
指數(shù)非常大時的冪編輯
一個大于1的數(shù)的冪趨于無窮大,一個小于-1的數(shù)的冪趨于負無窮大
- 當(dāng) , ,
- 當(dāng) , ,
一個絕對值小于1的數(shù)的冪趨于0
- 當(dāng) , ,
1的冪永遠都是1
- 當(dāng) , ,
如果數(shù)a趨于1而它的冪趨于無窮,那么極限并不一定是上面幾個。一個很重要的例子是:
- 當(dāng)
參見e的冪
其他指數(shù)的極限參見冪的極限
正實數(shù)的實數(shù)冪編輯
一個正實數(shù)的實數(shù)冪可以通過兩種方法實現(xiàn)。
從上到下:
一個數(shù)a的n次方根是x,x使 。
如果a是一個正實數(shù),n是正整數(shù),那么方程 只有一個正實數(shù)根。 這個根被稱為a的n次方根,記作: ,其中 叫做根號?;蛘?,a的n次方根也可以寫成 . 例如
當(dāng)指數(shù)是 時根號上的2可以省略,如:
有理數(shù)冪編輯
有理數(shù)指數(shù)通??梢岳斫獬?/p>
-
這個重要的數(shù)學(xué)常數(shù)e,有時叫做歐拉數(shù),近似2.718,是自然對數(shù)的底。它提供了定義非整數(shù)指數(shù)冪的一個方法。 它是從以下極限定義的:
-
指數(shù)函數(shù)的定義是:
-
可以很簡單地證明e的正整數(shù)k次方 是:
-
-
-
-
-
實數(shù)指數(shù)冪編輯
y = bx對各種底數(shù)b的圖像,分別為綠色的10、紅色的e、藍色的2和青色的1/2。
因為所有實數(shù)可以近似地表示為有理數(shù),任意實數(shù)指數(shù)x可以定義成[3]:
-
例如:
-
于是
-
實數(shù)指數(shù)冪通常使用對數(shù)來定義,而不是近似有理數(shù)。
自然對數(shù) 是指數(shù)函數(shù) 的反函數(shù)。 它的定義是:對于任意 ,滿足
-
根據(jù)對數(shù)和指數(shù)運算的規(guī)則:
-
這就是實數(shù)指數(shù)冪的定義:
-
實數(shù)指數(shù)冪 的這個定義和上面使用有理數(shù)指數(shù)和連續(xù)性的定義相吻合。對于復(fù)數(shù),這種定義更加常用。
負實數(shù)的實數(shù)冪編輯
如果a是負數(shù)且n是偶數(shù),那么 無實數(shù)解。 如果a是負數(shù)且n是奇數(shù),那么 有一個負數(shù)解。
使用對數(shù)和有理數(shù)指數(shù)都不能將 (其中a是負實數(shù),k實數(shù))定義成實數(shù)。在一些特殊情況下,給出一個定義是可行的:負指數(shù)的整數(shù)指數(shù)冪是實數(shù),有理數(shù)指數(shù)冪對于 (n是奇數(shù))可以使用n次方根來計算,但是因為沒有實數(shù)x使 ,對于 (n是偶數(shù))時必須使用虛數(shù)單位i。
使用對數(shù)的方法不能定義a ≤ 0時的 為實數(shù)。實際上, 對于任何實數(shù)x都是正的,所以 對于負數(shù)沒有意義。
使用有理數(shù)指數(shù)冪來逼近的方法也不能用于負數(shù)a因為它依賴于連續(xù)性。函數(shù) 對于任何正的有理數(shù)a是連續(xù)的,但是對于負數(shù)a,函數(shù)f在有些有理數(shù)r上甚至不是連續(xù)的。
例如:當(dāng)a = -1,它的奇數(shù)次根等于-1。所以如果n是正奇數(shù)整數(shù), 當(dāng)m是奇數(shù), 當(dāng)m是偶數(shù)。雖然有理數(shù)q使 的集合是稠密集,但是有理數(shù)q使 的集合也是。所以函數(shù) 在有理數(shù)域不是連續(xù)的。
正實數(shù)的復(fù)數(shù)冪編輯
e的虛數(shù)次冪編輯
指數(shù)函數(shù)ez可以通過 (1 z/N)N當(dāng) N趨于無窮大時的 極限來定義,那么 eiπ就是 (1 iπ/N)N的極限。在這個動畫中 n從1取到100。 (1 iπ/N)N的值通過 N重復(fù)增加在復(fù)數(shù)平面上展示,最終結(jié)果就是 (1 iπ/N)N的準確值??梢钥闯?,隨著 N的增大, (1 iπ/N)N逐漸逼近極限-1。這就是 歐拉公式。
復(fù)數(shù)運算的幾何意義和e的冪可以幫助我們理解 (x是實數(shù))。想象一個直角三角形(0, 1, 1 ix/n)(括號內(nèi)是復(fù)數(shù)平面內(nèi)三角形的三個頂點),對于足夠大的n,這個三角形可以看作一個扇形,這個扇形的中心角就等于x/n弧度。對于所有k,三角形(0, (1 ix/n)k, (1 ix/n)k 1)互為相似三角形。所以當(dāng)n足夠大時(1 ix/n)n的極限是復(fù)數(shù)平面上的單位圓上x弧度的點。這個點的極坐標是(r, θ) = (1, x),,直角坐標是(cos x, sin x)。所以 。這就是歐拉公式,它通過復(fù)數(shù)的意義將代數(shù)學(xué)和三角學(xué)聯(lián)系起來了。
等式 的解是一個整數(shù)乘以2iπ[4]:
-
更一般地,如果 ,那么 的每一個解都可以通過將2iπ的整數(shù)倍加上b得到:
-
這個復(fù)指數(shù)函數(shù)是一個有周期2iπ的周期函數(shù)。
更簡單的: 。
三角函數(shù)編輯
根據(jù)歐拉公式,三角函數(shù)余弦和正弦是:
-
歷史上,在復(fù)數(shù)發(fā)明之前,余弦和正弦是用幾何的方法定義的。上面的公式將復(fù)雜的三角函數(shù)的求和公式轉(zhuǎn)換成了簡單的指數(shù)方程
-
使用了復(fù)數(shù)指數(shù)冪之后,很多三角學(xué)問題都能夠使用代數(shù)方法解決。
e的復(fù)數(shù)指數(shù)冪編輯
可以分解成 。其中 是 的模, 決定了 的方向
正實數(shù)的復(fù)數(shù)冪編輯
如果a是一個正實數(shù),z是任何復(fù)數(shù), 定義成 ,其中x = ln(a)是方程 的唯一解。所以處理實數(shù)的方法同樣可以用來處理復(fù)數(shù)。
例如:
-
-
-
-
當(dāng)函數(shù)名后有上標的數(shù)(即函數(shù)的指數(shù)),一般指要重復(fù)它的運算。例如 即 。特別地, 指 的反函數(shù)。
但三角函數(shù)的情況有所不同,一個正指數(shù)應(yīng)用于函數(shù)的名字時,指答案要進行乘方運算,而指數(shù)為-1時則表示其反函數(shù)。例如: 表示 。因此在三角函數(shù)時,使用 來表示 的反函數(shù) 。
計算自然數(shù)(正整數(shù))n的an的算法編輯
最快的方式計算 ,當(dāng)n是正整數(shù)的時候。它利用了測試一個數(shù)是奇數(shù)在計算機上是非常容易的,和通過簡單的移所有位向右來除以2的事實。
偽代碼:
1. 1 → y, n → k, a → f
2.若k不為0,執(zhí)行3至6
3.若k為奇數(shù), y * f → y
4. k [[位操作#移位|右移]]1位(即k / 2 → k ,小數(shù)點無條件捨去)
5. f * f → f
6.回到2
7.傳回y
在C/C 語言中,你可以寫如下算法:
double power (double a, unsigned int n)
{
double y = 1;
double f = a;
unsigned int k = n;
while (k != 0) {
if (k % 2 == 1) y *= f;
k >>= 1;
f *= f;
}
return y;
}
此算法的時間復(fù)雜度為 ,比普通算法快(a自乘100次,時間復(fù)雜度為 ),在n較大的時候更為顯著。
例如計算 ,普通算法需要算100次,上述算法則只需要算7次。若要計算 可先以上述算法計算 ,再作倒數(shù)。
- ^ Augustin-Louis Cauchy, Cours d'Analyse de l'école Royale Polytechnique (1821). In his Oeuvres Complètes, series 2, volume 3.
- ^ 康軒國中1上《FUN學(xué)練功坊①》P.35:a的0次方=1(a≠0)(注:0的0次方為無意義)
- ^ Denlinger, Charles G. Elements of Real Analysis. Jones and Bartlett. 2011: 278–283. ISBN 978-0-7637-7947-4.
- ^ This definition of a principal root of unity can be found in:
- Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. Introduction to Algorithms second. MIT Press. 2001. ISBN 0-262-03293-7. Online resource
- Paul Cull, Mary Flahive, and Robby Robson. Difference Equations: From Rabbits to Chaos Undergraduate Texts in Mathematics. Springer. 2005. ISBN 0-387-23234-6. Defined on page 351, available on Google books.
- 'Principal root of unity', MathWorld.
|