ℹ️ Skipped - page is already crawled
| Filter | Status | Condition | Details |
|---|---|---|---|
| HTTP status | PASS | download_http_code = 200 | HTTP 200 |
| Age cutoff | PASS | download_stamp > now() - 6 MONTH | 2.5 months ago (distributed domain, exempt) |
| History drop | PASS | isNull(history_drop_reason) | No drop reason |
| Spam/ban | PASS | fh_dont_index != 1 AND ml_spam_score = 0 | ml_spam_score=0 |
| Canonical | PASS | meta_canonical IS NULL OR = '' OR = src_unparsed | Not set |
| Property | Value |
|---|---|
| URL | https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8 |
| Last Crawled | 2026-02-01 04:03:41 (2 months ago) |
| First Indexed | 2014-05-18 09:06:03 (11 years ago) |
| HTTP Status Code | 200 |
| Meta Title | 自然對數 - 维基百科,自由的百科全书 |
| Meta Description | null |
| Meta Canonical | null |
| Boilerpipe Text | 自然對數
的
函數圖像
自然对数
的積分定義
自然对数
(英語:
Natural logarithm
)為以
数学常数
為
底數
的
对数函数
,標記作
或
,其
反函数
為
指數函數
。
[
註 1
]
自然
对数积分
定義為對任何正
實數
,由
到
所圍成,
曲線下的面積
。如果
小於1,則計算面積為負數。
則定義為唯一的實數
使得
。
自然对数一般表示為
,數學中亦有以
表示自然對數。
[
1
]
[
註 2
]
雙曲線扇形
是
笛卡爾平面
上的一個區域,由從原點到
和
的射線,以及
雙曲線
圍成。在標準位置的雙曲線扇形有
且
,它的面積為
[
2
]
,此時雙曲線扇形對應正
雙曲角
。
當直角雙曲線下的兩段面積相等時,
的值呈
等比數列
,
,
的值也呈等比數列,
。
約翰·納皮爾
在1614年
[
3
]
以及
约斯特·比尔吉
在6年後
[
4
]
,分別發表了獨立編制的
對數表
,當時通過對接近1的底數的大量乘
冪
運算,來找到指定範圍和精度的
對數
和所對應的真數。當時還沒出現
有理數
冪的概念,按後世的觀點,
約翰·納皮爾
的底數0.9999999
10000000
相當接近
[
5
]
,而
约斯特·比尔吉
的底數1.0001
10000
相當接近自然對數的底數
。實際上不需要做開高次方這種艱難運算,
約翰·納皮爾
用了20年時間進行相當於數百萬次乘法的計算,
亨利·布里格斯
建議納皮爾改用10為底數未果,他用自己的方法
[
6
]
於1624年部份完成了
常用對數
表的編制。
形如
的曲線都有一個代數
反導數
,除了特殊情況
對應於雙曲線的
弓形面積
,即
雙曲線扇形
;其他情況都由1635年發表的
卡瓦列里弓形面積公式
給出
[
7
]
,其中拋物線的弓形面積由公元前3世紀的
阿基米德
完成(
拋物線的弓形面積
),雙曲線的弓形面積需要發明一個新函數。1647年
圣文森特的格列高利
將對數聯繫於雙曲線
的弓形面積,他發現x軸上
兩點對應的雙曲線線段與原點圍成的
雙曲線扇形
同
對應的扇形,在
時面積相同,這指出了雙曲線從
到
的積分
滿足
[
8
]
:
1649年,
萨拉萨的阿尔丰斯·安东尼奥
將雙曲線下的面積解釋為對數。大約1665年,
伊薩克·牛頓
推廣了
二項式定理
,他將
展開並逐項積分,得到了自然對數的無窮級數。“自然對數”最早描述見於
尼古拉斯·麥卡托
在1668年出版的著作《Logarithmotechnia》中
[
9
]
,他也獨立發現了同樣的級數,即自然對數的
麥卡托級數
。
大約1730年,
歐拉
定義互為逆函數的
指數函數
和自然對數為
[
10
]
[
11
]
:
1742年
威廉·琼斯
發表了現在的
冪
指數
概念
[
12
]
。
歐拉
定義自然對數為
序列的極限
:
正式定義為
積分
,
這個函數為對數是因滿足
對數
的基本性質:
這可以通過將定義了
的積分拆分為兩部份,並在第二部份中進行
換元
來證實:
冪公式
可如下推出:
第二個等式使用了
換元
。
自然對數還有在某些情況下更有用的另一個積分表示:
(參見
複數對數
)
證明
自然對數的圖像和它在
處的切線。
的泰勒多項式只在
範圍內有逐步精確的近似。
自然對數的
導數
為
證明一(微積分第一基本定理):
證明二:
按此影片
(
页面存档备份
,存于
互联网档案馆
)
设
设
用自然對數定義的更一般的對數函數,
,根據其
逆函數
即一般
指數函數
的性質,它的導數為
[
13
]
[
14
]
:
根據
鏈式法則
,以
為參數的自然對數的導數為
右手端的商叫做
的
對數導數
,通過
的導數的方法計算
叫做
對數微分
[
15
]
。
自然對數的導數性質導致了
在0處的
泰勒級數
,也叫做
麥卡托級數
:
對於所有
但不包括
把
代入
中,可得到
自身的級數。通過在麥卡托級數上使用
歐拉變換
,可以得到對
絕對值
大於1的任何
有效的如下級數:
這個級數類似於
贝利-波尔温-普劳夫公式
。
還要注意到
是自身的逆函數,所以要生成特定數
的自然對數,簡單把
代入
中。
對於
自然數的倒數的總和
叫做
調和級數
。它與自然對數有密切聯繫:當
趨於無窮的時候,差
收斂
於
欧拉-马歇罗尼常数
。這個關係有助於分析算法比如
快速排序
的性能。
[
16
]
自然對數通過
分部積分法
積分:
假設:
所以:
自然對數可以簡化形如
的函數的積分:
的一個
原函數
給出為
。這是基於
鏈式法則
和如下事實:
換句話說,
且
下面是
的例子:
設
且
:
在
直角雙曲線
(方程
)下,雙曲線三角形(黃色),和對應於
雙曲角
的
雙曲線扇形
(紅色)。這個三角形的邊分別是
雙曲函數
中
和
的
倍。
射線出原點交
單位雙曲線
於點
,這裡的
是射線、雙曲線和
軸圍成的面積的二倍。對於雙曲線上位於x軸下方的點,這個面積被認為是負值。
在18世紀,
約翰·海因里希·蘭伯特
介入
雙曲函數
[
17
]
,並計算
雙曲幾何
中
雙曲三角形
的面積
[
18
]
。對數函數是在
直角雙曲線
下定義的,可構造雙曲線直角三角形,底邊在線
上,一個頂點是原點,另一個頂點在雙曲線。這裡以自然對數即雙曲角作為參數的函數,是自然對數的逆函數
指數函數
,即要形成指定
雙曲角
,在漸近線即x或y軸上需要有的
或
的值。顯見這裡的底邊是
,垂線是
。
通過旋轉和縮小
線性變換
,得到
單位雙曲線
下的情況,有:
單位雙曲線
中雙曲線扇形的面積是對應
直角雙曲線
下雙曲角的
。
儘管自然對數沒有簡單的
連分數
,但有一些
廣義連分數
如:
這些連分數特別是最後一個對接近1的值快速收斂。但是,更大的數的自然對數,可以輕易的用這些更小的數的自然對數的加法來計算,帶有類似的快速收斂。
例如,因為
,
2的自然對數
可以計算為:
進而,因為
,10的自然對數可以計算為:
指數函數
可以擴展為對任何複數
得出複數值為
的函數,只需要簡單使用
為複數的無窮級數;這個指數函數的逆函數形成複數對數,並帶有正常的對數的多數性質。但是它涉及到了兩個困難:不存在
使得
;並且有著
。因為乘法性質仍適用於複數指數函數,
,對於所有複數
和整數
。
所以對數不能定義在整個
複平面
上,並且它是
多值函數
,就是說任何複數對數都可以增加
的任何整數倍而成為等價的對數。複數對數只能在
切割平面
上是單值函數。例如,
或
或
等等;儘管
,
不能定義為
或
或
,以此類推。
自然對數函數在複平面(主分支)上的繪圖
z
=Re(ln(x+iy))
前三圖的疊加
對於每個非0複數
,主值
是虛部位於區間
內的對數。表達式
不做定義,因為沒有複數
滿足
。
要對
給出一個公式,可以先將
表達為
極坐標
形式,
。給定
,極坐標形式不是確切唯一的,因為有可能向
增加
的整數倍,所以為了保證唯一性而要求
位於區間
內;這個
叫做幅角的主值,有時寫為
或
。則對數的主值可以定義為
[
19
]
:
例如,
。
自然指数有应用於表达
放射性衰變
的过程,如放射性原子数目的
微分方程
随时间变化率
,常数
为原子衰变概率,积分得
。
^
例如
哈代
和
賴特
所著的《數論入門》"Introduction to the theory of numbers" (1.7, Sixth edition, Oxford 2008)的注解 "log x is, of course the 'Napierian' logarithm of x, to base e. 'Common' logarithms have no mathematical interest."(log x 當然是以e為基,x的「
納皮爾
」對數。「常用」對數在數學上毫無重要。)
^
證明:從1到
b
積分1/
x
,增加三角形{(0, 0), (1, 0), (1, 1)},並減去三角形{(0, 0), (
b
, 0), (
b
, 1/
b
)}。
^
Ernest William Hobson,
John Napier and the invention of logarithms, 1614
, Cambridge: The University Press, 1914
^
Boyer, Carl B.
, 14,Section "Jobst Bürgi
"
, A History of Mathematics, New York:
John Wiley & Sons
, 1991,
ISBN
978-0-471-54397-8
^
選取接近e的底數b,對數表涉及的b
x
為單調增函數,定義域為0到1而值域為1到b;選取接近1/e的底數b,對數表涉及的b
x
為單調減函數,定義域為0到∞而值域為1到0。
^
以
這個接近1的數為基礎。
^
博納文圖拉·卡瓦列里
在1635年的《Geometria indivisibilibus continuorum nova quadam ratione promota》中給出
定積分
:
其
不定積分
形式為:
獨立發現者還有:
皮埃爾·德·費馬
、
罗贝瓦尔的吉尔
和
埃萬傑利斯塔·托里拆利
。
^
設a=1,x軸上[a,b]兩點對應的雙曲線線段與原點圍成的
雙曲線扇形
面積為f(b),[c,d]對應的扇形面積為f(d)-f(c),d=bc,即為f(bc)-f(c),當且僅當f(bc)=f(b)+f(c)時,兩雙曲線扇形面積相等。
^
J. J. O'Connor; E. F. Robertson,
The number e
, The MacTutor History of Mathematics archive, September 2001
[
2009-02-02
]
, (
原始内容
存档于2012-02-19)
^
卡瓦列里弓形面積公式,對於負數值的
n
(
x
的負數冪),由於在
x
= 0處有個
奇點
,因此定積分的下限為1,而不是0,即為:
歐拉
的自然對數定義:
^
Maor, Eli, e: The Story of a Number,
Princeton University Press
, 2009,
ISBN
978-0-691-14134-3
,sections 1, 1.
Eves, Howard Whitley
, An introduction to the history of mathematics, The Saunders series 6th, Philadelphia: Saunders, 1992,
ISBN
978-0-03-029558-4
, section 9-3
Boyer, Carl B.
, A History of Mathematics, New York:
John Wiley & Sons
, 1991,
ISBN
978-0-471-54397-8
, p. 484, 489
^
在最初的概念下,底數是接近1的數,而對數是整數;經過簡單變換後,底數變大了,成為接近數學常量e的數,而對數變小了,成為 x/n。
^
Lang
1997
, section IV.2
^
Wolfram, Stephen
.
"
Calculation of
d/dx(Log(b,x))
"
. from
Wolfram Alpha
: Computational Knowledge Engine,
Wolfram Research
. (
原始内容
存档于2011-07-18)
(英语)
.
^
Kline, Morris
, Calculus: an intuitive and physical approach, Dover books on mathematics, New York:
Dover Publications
, 1998,
ISBN
978-0-486-40453-0
, p. 386
^
Havil, Julian, Gamma: Exploring Euler's Constant,
Princeton University Press
, 2003,
ISBN
978-0-691-09983-5
, sections 11.5 and 13.8
^
Eves, Howard,
Foundations and Fundamental Concepts of Mathematics
, Courier Dover Publications: 59, 2012,
ISBN
9780486132204
,
We also owe to Lambert the first systematic development of the theory of hyperbolic functions and, indeed, our present notation for these functions.
^
Ratcliffe, John,
Foundations of Hyperbolic Manifolds
, Graduate Texts in Mathematics
149
, Springer: 99, 2006
[
2014-03-28
]
,
ISBN
9780387331973
, (
原始内容
存档于2014-01-12),
That the area of a hyperbolic triangle is proportional to its angle defect first appeared in Lambert's monograph
Theorie der Parallellinien
, which was published posthumously in 1786.
^
Sarason, Section IV.9.
John B. Conway,
Functions of one complex variable
, 2nd edition, Springer, 1978.
Serge Lang
,
Complex analysis
, 3rd edition, Springer-Verlag, 1993.
Gino Moretti,
Functions of a Complex Variable
, Prentice-Hall, Inc., 1964.
Donald Sarason,
Complex function theory
(
页面存档备份
,存于
互联网档案馆
)
, 2nd edition, American Mathematical Society, 2007.
E. T. Whittaker
and
G. N. Watson
,
A Course in Modern Analysis
, fourth edition, Cambridge University Press, 1927. |
| Markdown | [跳转到内容](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#bodyContent)
主菜单
主菜单
移至侧栏
隐藏
导航
- [首页](https://zh.wikipedia.org/wiki/Wikipedia:%E9%A6%96%E9%A1%B5 "访问首页[z]")
- [分类索引](https://zh.wikipedia.org/wiki/Wikipedia:%E5%88%86%E7%B1%BB%E7%B4%A2%E5%BC%95 "以分类索引搜寻中文维基百科")
- [特色内容](https://zh.wikipedia.org/wiki/Portal:%E7%89%B9%E8%89%B2%E5%85%A7%E5%AE%B9 "查看中文维基百科的特色内容")
- [新闻动态](https://zh.wikipedia.org/wiki/Portal:%E6%96%B0%E8%81%9E%E5%8B%95%E6%85%8B "提供当前新闻事件的背景资料")
- [最近更改](https://zh.wikipedia.org/wiki/Special:RecentChanges "列出维基百科中的最近修改[r]")
- [随机条目](https://zh.wikipedia.org/wiki/Special:Random "随机载入一个页面[x]")
帮助
- [帮助](https://zh.wikipedia.org/wiki/Help:%E9%A6%96%E9%A1%B5 "寻求帮助")
- [维基社群](https://zh.wikipedia.org/wiki/Wikipedia:%E7%A4%BE%E7%BE%A4%E9%A6%96%E9%A1%B5 "关于本计划、你可以做什么、应该如何做")
- [方针与指引](https://zh.wikipedia.org/wiki/Wikipedia:%E6%96%B9%E9%87%9D%E8%88%87%E6%8C%87%E5%BC%95 "查看维基百科的方针和指引")
- [互助客栈](https://zh.wikipedia.org/wiki/Wikipedia:%E4%BA%92%E5%8A%A9%E5%AE%A2%E6%A0%88 "参与维基百科社群的讨论")
- [知识问答](https://zh.wikipedia.org/wiki/Wikipedia:%E7%9F%A5%E8%AF%86%E9%97%AE%E7%AD%94 "解答任何与维基百科无关的问题的地方")
- [字词转换](https://zh.wikipedia.org/wiki/Wikipedia:%E5%AD%97%E8%AF%8D%E8%BD%AC%E6%8D%A2 "提出字词转换请求")
- [IRC即时聊天](https://zh.wikipedia.org/wiki/Wikipedia:IRC%E8%81%8A%E5%A4%A9%E9%A2%91%E9%81%93)
- [联络我们](https://zh.wikipedia.org/wiki/Wikipedia:%E8%81%94%E7%BB%9C%E6%88%91%E4%BB%AC "如何联络维基百科")
- [关于维基百科](https://zh.wikipedia.org/wiki/Wikipedia:%E5%85%B3%E4%BA%8E "查看维基百科的简介")
- [特殊页面](https://zh.wikipedia.org/wiki/Special:SpecialPages "所有特殊页面的列表[q]")
[  ](https://zh.wikipedia.org/wiki/Wikipedia:%E9%A6%96%E9%A1%B5)
[搜索](https://zh.wikipedia.org/wiki/Special:Search "搜索维基百科[f]")
外观
- [资助维基百科](https://donate.wikimedia.org/?wmf_source=donate&wmf_medium=sidebar&wmf_campaign=zh.wikipedia.org&uselang=zh)
- [创建账号](https://zh.wikipedia.org/w/index.php?title=Special:CreateAccount&returnto=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8 "我们推荐您创建账号并登录,但这不是强制性的")
- [登录](https://zh.wikipedia.org/w/index.php?title=Special:UserLogin&returnto=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8 "建议你登录,尽管并非必须。[o]")
个人工具
- [资助维基百科](https://donate.wikimedia.org/?wmf_source=donate&wmf_medium=sidebar&wmf_campaign=zh.wikipedia.org&uselang=zh)
- [创建账号](https://zh.wikipedia.org/w/index.php?title=Special:CreateAccount&returnto=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8 "我们推荐您创建账号并登录,但这不是强制性的")
- [登录](https://zh.wikipedia.org/w/index.php?title=Special:UserLogin&returnto=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8 "建议你登录,尽管并非必须。[o]")
## 目录
移至侧栏
隐藏
- [序言](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8)
- [1 歷史](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#%E6%AD%B7%E5%8F%B2)
开关歷史子章节
- [1\.1 十七世纪](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#%E5%8D%81%E4%B8%83%E4%B8%96%E7%BA%AA)
- [1\.2 十八世纪](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#%E5%8D%81%E5%85%AB%E4%B8%96%E7%BA%AA)
- [2 形式定義](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#%E5%BD%A2%E5%BC%8F%E5%AE%9A%E7%BE%A9)
- [3 性質](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#%E6%80%A7%E8%B3%AA)
- [4 導數](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#%E5%B0%8E%E6%95%B8)
- [5 冪級數](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#%E5%86%AA%E7%B4%9A%E6%95%B8)
- [6 積分](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#%E7%A9%8D%E5%88%86)
开关積分子章节
- [6\.1 例子](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#%E4%BE%8B%E5%AD%90)
- [7 與雙曲函數的關係](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#%E8%88%87%E9%9B%99%E6%9B%B2%E5%87%BD%E6%95%B8%E7%9A%84%E9%97%9C%E4%BF%82)
- [8 連分數](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#%E9%80%A3%E5%88%86%E6%95%B8)
- [9 複數對數](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#%E8%A4%87%E6%95%B8%E5%B0%8D%E6%95%B8)
开关複數對數子章节
- [9\.1 主值定義](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#%E4%B8%BB%E5%80%BC%E5%AE%9A%E7%BE%A9)
- [10 科学應用](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#%E7%A7%91%E5%AD%A6%E6%87%89%E7%94%A8)
- [11 註釋](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#%E8%A8%BB%E9%87%8B)
- [12 参考资料](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#%E5%8F%82%E8%80%83%E8%B5%84%E6%96%99)
- [13 延伸阅读](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#%E5%BB%B6%E4%BC%B8%E9%98%85%E8%AF%BB)
开关目录
# 自然對數
62种语言
- [Afrikaans](https://af.wikipedia.org/wiki/Natuurlike_logaritme "Natuurlike logaritme – 南非荷兰语")
- [العربية](https://ar.wikipedia.org/wiki/%D9%84%D8%BA%D8%A7%D8%B1%D8%AA%D9%85_%D8%B7%D8%A8%D9%8A%D8%B9%D9%8A "لغارتم طبيعي – 阿拉伯语")
- [Azərbaycanca](https://az.wikipedia.org/wiki/Natural_loqarifm "Natural loqarifm – 阿塞拜疆语")
- [Беларуская](https://be.wikipedia.org/wiki/%D0%9D%D0%B0%D1%82%D1%83%D1%80%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B_%D0%BB%D0%B0%D0%B3%D0%B0%D1%80%D1%8B%D1%84%D0%BC "Натуральны лагарыфм – 白俄罗斯语")
- [Български](https://bg.wikipedia.org/wiki/%D0%9D%D0%B0%D1%82%D1%83%D1%80%D0%B0%D0%BB%D0%B5%D0%BD_%D0%BB%D0%BE%D0%B3%D0%B0%D1%80%D0%B8%D1%82%D1%8A%D0%BC "Натурален логаритъм – 保加利亚语")
- [Brezhoneg](https://br.wikipedia.org/wiki/Logaritm_neperian "Logaritm neperian – 布列塔尼语")
- [Bosanski](https://bs.wikipedia.org/wiki/Prirodni_logaritam "Prirodni logaritam – 波斯尼亚语")
- [Català](https://ca.wikipedia.org/wiki/Logaritme_natural "Logaritme natural – 加泰罗尼亚语")
- [کوردی](https://ckb.wikipedia.org/wiki/%D9%84%DB%86%DA%AF%D8%A7%D8%B1%DB%8C%D8%AA%D9%85%DB%8C_%D8%B3%D8%B1%D9%88%D8%B4%D8%AA%DB%8C "لۆگاریتمی سروشتی – 中库尔德语")
- [Чӑвашла](https://cv.wikipedia.org/wiki/%D0%9D%D0%B0%D1%82%D1%83%D1%80%D0%B0%D0%BB%D0%BB%C4%83_%D0%BB%D0%BE%D0%B3%D0%B0%D1%80%D0%B8%D1%84%D0%BC "Натураллă логарифм – 楚瓦什语")
- [Dansk](https://da.wikipedia.org/wiki/Naturlig_logaritme "Naturlig logaritme – 丹麦语")
- [Deutsch](https://de.wikipedia.org/wiki/Nat%C3%BCrlicher_Logarithmus "Natürlicher Logarithmus – 德语")
- [Ελληνικά](https://el.wikipedia.org/wiki/%CE%A6%CF%85%CF%83%CE%B9%CE%BA%CF%8C%CF%82_%CE%BB%CE%BF%CE%B3%CE%AC%CF%81%CE%B9%CE%B8%CE%BC%CE%BF%CF%82 "Φυσικός λογάριθμος – 希腊语")
- [English](https://en.wikipedia.org/wiki/Natural_logarithm "Natural logarithm – 英语")
- [Español](https://es.wikipedia.org/wiki/Logaritmo_natural "Logaritmo natural – 西班牙语")
- [Eesti](https://et.wikipedia.org/wiki/Naturaallogaritm "Naturaallogaritm – 爱沙尼亚语")
- [Euskara](https://eu.wikipedia.org/wiki/Logaritmo_natural "Logaritmo natural – 巴斯克语")
- [فارسی](https://fa.wikipedia.org/wiki/%D9%84%DA%AF%D8%A7%D8%B1%DB%8C%D8%AA%D9%85_%D8%B7%D8%A8%DB%8C%D8%B9%DB%8C "لگاریتم طبیعی – 波斯语")
- [Suomi](https://fi.wikipedia.org/wiki/Luonnollinen_logaritmi "Luonnollinen logaritmi – 芬兰语")
- [Føroyskt](https://fo.wikipedia.org/wiki/N%C3%A1tt%C3%BArlig_logaritma "Náttúrlig logaritma – 法罗语")
- [Français](https://fr.wikipedia.org/wiki/Logarithme_n%C3%A9p%C3%A9rien "Logarithme népérien – 法语")
- [Galego](https://gl.wikipedia.org/wiki/Logaritmo_natural "Logaritmo natural – 加利西亚语")
- [עברית](https://he.wikipedia.org/wiki/%D7%9C%D7%95%D7%92%D7%A8%D7%99%D7%AA%D7%9D_%D7%98%D7%91%D7%A2%D7%99 "לוגריתם טבעי – 希伯来语")
- [हिन्दी](https://hi.wikipedia.org/wiki/%E0%A4%AA%E0%A5%8D%E0%A4%B0%E0%A4%BE%E0%A4%95%E0%A5%83%E0%A4%A4%E0%A4%BF%E0%A4%95_%E0%A4%B2%E0%A4%98%E0%A5%81%E0%A4%97%E0%A4%A3%E0%A4%95 "प्राकृतिक लघुगणक – 印地语")
- [Magyar](https://hu.wikipedia.org/wiki/Term%C3%A9szetes_logaritmus "Természetes logaritmus – 匈牙利语")
- [Հայերեն](https://hy.wikipedia.org/wiki/%D4%B2%D5%B6%D5%A1%D5%AF%D5%A1%D5%B6_%D5%AC%D5%B8%D5%A3%D5%A1%D6%80%D5%AB%D5%A9%D5%B4 "Բնական լոգարիթմ – 亚美尼亚语")
- [Bahasa Indonesia](https://id.wikipedia.org/wiki/Logaritma_alami "Logaritma alami – 印度尼西亚语")
- [Italiano](https://it.wikipedia.org/wiki/Logaritmo_naturale "Logaritmo naturale – 意大利语")
- [日本語](https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%AF%BE%E6%95%B0 "自然対数 – 日语")
- [ქართული](https://ka.wikipedia.org/wiki/%E1%83%9C%E1%83%90%E1%83%A2%E1%83%A3%E1%83%A0%E1%83%90%E1%83%9A%E1%83%A3%E1%83%A0%E1%83%98_%E1%83%9A%E1%83%9D%E1%83%92%E1%83%90%E1%83%A0%E1%83%98%E1%83%97%E1%83%9B%E1%83%98 "ნატურალური ლოგარითმი – 格鲁吉亚语")
- [Қазақша](https://kk.wikipedia.org/wiki/%D0%9D%D0%B0%D1%82%D1%83%D1%80%D0%B0%D0%BB_%D0%BB%D0%BE%D0%B3%D0%B0%D1%80%D0%B8%D1%84%D0%BC "Натурал логарифм – 哈萨克语")
- [한국어](https://ko.wikipedia.org/wiki/%EC%9E%90%EC%97%B0%EB%A1%9C%EA%B7%B8 "자연로그 – 韩语")
- [Lombard](https://lmo.wikipedia.org/wiki/Logaritm_natural "Logaritm natural – 伦巴第语")
- [Lietuvių](https://lt.wikipedia.org/wiki/Nat%C5%ABrinis_logaritmas "Natūrinis logaritmas – 立陶宛语")
- [Latviešu](https://lv.wikipedia.org/wiki/Natur%C4%81lais_logaritms "Naturālais logaritms – 拉脱维亚语")
- [Македонски](https://mk.wikipedia.org/wiki/%D0%9F%D1%80%D0%B8%D1%80%D0%BE%D0%B4%D0%B5%D0%BD_%D0%BB%D0%BE%D0%B3%D0%B0%D1%80%D0%B8%D1%82%D0%B0%D0%BC "Природен логаритам – 马其顿语")
- [Bahasa Melayu](https://ms.wikipedia.org/wiki/Logaritma_asli "Logaritma asli – 马来语")
- [Nederlands](https://nl.wikipedia.org/wiki/Natuurlijke_logaritme "Natuurlijke logaritme – 荷兰语")
- [Norsk bokmål](https://no.wikipedia.org/wiki/Naturlig_logaritme "Naturlig logaritme – 书面挪威语")
- [Occitan](https://oc.wikipedia.org/wiki/Logaritme_neperian "Logaritme neperian – 奥克语")
- [Polski](https://pl.wikipedia.org/wiki/Logarytm_naturalny "Logarytm naturalny – 波兰语")
- [Piemontèis](https://pms.wikipedia.org/wiki/Logaritm_%C3%ABd_Napier "Logaritm ëd Napier – 皮埃蒙特文")
- [Português](https://pt.wikipedia.org/wiki/Logaritmo_natural "Logaritmo natural – 葡萄牙语")
- [Română](https://ro.wikipedia.org/wiki/Logaritm_natural "Logaritm natural – 罗马尼亚语")
- [Русский](https://ru.wikipedia.org/wiki/%D0%9D%D0%B0%D1%82%D1%83%D1%80%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B9_%D0%BB%D0%BE%D0%B3%D0%B0%D1%80%D0%B8%D1%84%D0%BC "Натуральный логарифм – 俄语")
- [Srpskohrvatski / српскохрватски](https://sh.wikipedia.org/wiki/Prirodni_logaritam "Prirodni logaritam – 塞尔维亚-克罗地亚语")
- [Taclḥit](https://shi.wikipedia.org/wiki/Alugaritm_agaman "Alugaritm agaman – 希尔哈语")
- [සිංහල](https://si.wikipedia.org/wiki/%E0%B6%B4%E0%B7%8A%E2%80%8D%E0%B6%BB%E0%B6%9A%E0%B7%98%E0%B6%AD%E0%B7%92_%E0%B6%BD%E0%B6%9D%E0%B7%94%E0%B6%9C%E0%B6%AB%E0%B6%9A "ප්රකෘති ලඝුගණක – 僧伽罗语")
- [Slovenščina](https://sl.wikipedia.org/wiki/Naravni_logaritem "Naravni logaritem – 斯洛文尼亚语")
- [Shqip](https://sq.wikipedia.org/wiki/Logaritmi_natyror "Logaritmi natyror – 阿尔巴尼亚语")
- [Српски / srpski](https://sr.wikipedia.org/wiki/%D0%9F%D1%80%D0%B8%D1%80%D0%BE%D0%B4%D0%BD%D0%B8_%D0%BB%D0%BE%D0%B3%D0%B0%D1%80%D0%B8%D1%82%D0%B0%D0%BC "Природни логаритам – 塞尔维亚语")
- [Svenska](https://sv.wikipedia.org/wiki/Naturliga_logaritmen "Naturliga logaritmen – 瑞典语")
- [தமிழ்](https://ta.wikipedia.org/wiki/%E0%AE%87%E0%AE%AF%E0%AE%B2%E0%AF%8D_%E0%AE%AE%E0%AE%9F%E0%AE%95%E0%AF%8D%E0%AE%95%E0%AF%88 "இயல் மடக்கை – 泰米尔语")
- [ไทย](https://th.wikipedia.org/wiki/%E0%B8%A5%E0%B8%AD%E0%B8%81%E0%B8%B2%E0%B8%A3%E0%B8%B4%E0%B8%97%E0%B8%B6%E0%B8%A1%E0%B8%98%E0%B8%A3%E0%B8%A3%E0%B8%A1%E0%B8%8A%E0%B8%B2%E0%B8%95%E0%B8%B4 "ลอการิทึมธรรมชาติ – 泰语")
- [Українська](https://uk.wikipedia.org/wiki/%D0%9D%D0%B0%D1%82%D1%83%D1%80%D0%B0%D0%BB%D1%8C%D0%BD%D0%B8%D0%B9_%D0%BB%D0%BE%D0%B3%D0%B0%D1%80%D0%B8%D1%84%D0%BC "Натуральний логарифм – 乌克兰语")
- [اردو](https://ur.wikipedia.org/wiki/%D9%82%D8%AF%D8%B1%D8%AA%DB%8C_%D9%84%D8%A7%DA%AF%D8%B1%D8%AA%DA%BE%D9%85 "قدرتی لاگرتھم – 乌尔都语")
- [Oʻzbekcha / ўзбекча](https://uz.wikipedia.org/wiki/Natural_logarifm "Natural logarifm – 乌兹别克语")
- [Tiếng Việt](https://vi.wikipedia.org/wiki/Logarit_t%E1%BB%B1_nhi%C3%AAn "Logarit tự nhiên – 越南语")
- [吴语](https://wuu.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%AF%B9%E6%95%B0 "自然对数 – 吴语")
- [文言](https://zh-classical.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8 "自然對數 – 文言文")
- [閩南語 / Bân-lâm-gí](https://zh-min-nan.wikipedia.org/wiki/Ch%C5%AB-ji%C3%A2n_t%C3%B9i-s%C3%B2%CD%98 "Chū-jiân tùi-sò͘ – 闽南语")
- [粵語](https://zh-yue.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8 "自然對數 – 粤语")
[编辑链接](https://www.wikidata.org/wiki/Special:EntityPage/Q204037#sitelinks-wikipedia "编辑跨语言链接")
- [条目](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8 "浏览条目正文[c]")
- [讨论](https://zh.wikipedia.org/wiki/Talk:%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8 "关于此页面的讨论[t]")
不转换
- [不转换](https://zh.wikipedia.org/zh/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8)
- [简体](https://zh.wikipedia.org/zh-hans/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8)
- [繁體](https://zh.wikipedia.org/zh-hant/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8)
- [大陆简体](https://zh.wikipedia.org/zh-cn/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8)
- [香港繁體](https://zh.wikipedia.org/zh-hk/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8)
- [澳門繁體](https://zh.wikipedia.org/zh-mo/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8)
- [大马简体](https://zh.wikipedia.org/zh-my/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8)
- [新加坡简体](https://zh.wikipedia.org/zh-sg/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8)
- [臺灣正體](https://zh.wikipedia.org/zh-tw/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8)
- [阅读](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8)
- [编辑](https://zh.wikipedia.org/w/index.php?title=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&action=edit "编辑该页面[e]")
- [查看历史](https://zh.wikipedia.org/w/index.php?title=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&action=history "本页面的早前版本。[h]")
工具
工具
移至侧栏
隐藏
操作
- [阅读](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8)
- [编辑](https://zh.wikipedia.org/w/index.php?title=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&action=edit "编辑该页面[e]")
- [查看历史](https://zh.wikipedia.org/w/index.php?title=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&action=history)
常规
- [链入页面](https://zh.wikipedia.org/wiki/Special:WhatLinksHere/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8 "列出所有与本页相链的页面[j]")
- [相关更改](https://zh.wikipedia.org/wiki/Special:RecentChangesLinked/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8 "页面链出所有页面的更改[k]")
- [上传文件](https://zh.wikipedia.org/wiki/Project:%E4%B8%8A%E4%BC%A0 "上传图像或多媒体文件[u]")
- [固定链接](https://zh.wikipedia.org/w/index.php?title=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&oldid=91225956 "此页面该修订版本的固定链接")
- [页面信息](https://zh.wikipedia.org/w/index.php?title=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&action=info "关于此页面的更多信息")
- [引用此页](https://zh.wikipedia.org/w/index.php?title=Special:CiteThisPage&page=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&id=91225956&wpFormIdentifier=titleform "有关如何引用此页面的信息")
- [获取短链接](https://zh.wikipedia.org/w/index.php?title=Special:UrlShortener&url=https%3A%2F%2Fzh.wikipedia.org%2Fwiki%2F%25E8%2587%25AA%25E7%2584%25B6%25E5%25B0%258D%25E6%2595%25B8)
- [下载二维码](https://zh.wikipedia.org/w/index.php?title=Special:QrCode&url=https%3A%2F%2Fzh.wikipedia.org%2Fwiki%2F%25E8%2587%25AA%25E7%2584%25B6%25E5%25B0%258D%25E6%2595%25B8)
打印/导出
- [下载为PDF](https://zh.wikipedia.org/w/index.php?title=Special:DownloadAsPdf&page=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&action=show-download-screen)
- [打印页面]("本页面的可打印版本[p]")
在其他项目中
- [Wikifunctions](https://www.wikifunctions.org/wiki/Z21003)
- [维基数据项目](https://www.wikidata.org/wiki/Special:EntityPage/Q204037 "链接到连接的数据仓库项目[g]")
外观
移至侧栏
隐藏

维基百科,自由的百科全书
[](https://zh.wikipedia.org/wiki/File:Mplwp_ln.svg)
自然對數
ln
(
x
)
{\\displaystyle \\ln(x)}

的[函數圖像](https://zh.wikipedia.org/wiki/%E5%87%BD%E6%95%B0%E5%9B%BE%E5%83%8F "函数图像")
[](https://zh.wikipedia.org/wiki/File:Log-def.svg)
自然对数
ln
(
x
)
{\\displaystyle \\ln(x)}

的積分定義
**自然对数**(英語:Natural logarithm)為以[数学常数](https://zh.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E5%B8%B8%E6%95%B0 "数学常数")[e {\\displaystyle e} ](https://zh.wikipedia.org/wiki/E_\(%E6%95%B0%E5%AD%A6%E5%B8%B8%E6%95%B0\) "E (数学常数)")為[底數](https://zh.wikipedia.org/wiki/%E5%BA%95%E6%95%B0_\(%E5%AF%B9%E6%95%B0\) "底数 (对数)")的[对数函数](https://zh.wikipedia.org/wiki/%E5%AF%B9%E6%95%B0%E5%87%BD%E6%95%B0 "对数函数"),標記作ln x {\\displaystyle \\ln x} 或log e x {\\displaystyle \\log \_{e}x} ,其[反函数](https://zh.wikipedia.org/wiki/%E5%8F%8D%E5%87%BD%E6%95%B8 "反函數")為[指數函數](https://zh.wikipedia.org/wiki/%E6%8C%87%E6%95%B8%E5%87%BD%E6%95%B8 "指數函數")e x {\\displaystyle e^{x}} 。[\[註 1\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-1)
自然[对数积分](https://zh.wikipedia.org/wiki/%E5%AF%B9%E6%95%B0%E7%A7%AF%E5%88%86 "对数积分")定義為對任何正[實數](https://zh.wikipedia.org/wiki/%E5%AF%A6%E6%95%B8 "實數")x {\\displaystyle x} ,由1 {\\displaystyle 1} 到x {\\displaystyle x} 所圍成,x y \= 1 {\\displaystyle xy=1} [曲線下的面積](https://zh.wikipedia.org/wiki/%E7%A9%8D%E5%88%86 "積分")。如果x {\\displaystyle x} 小於1,則計算面積為負數。
ln
x
\=
∫
1
x
d
t
t
{\\displaystyle \\ln x=\\int \_{1}^{x}{\\frac {dt}{t}}\\,}

e {\\displaystyle e} 則定義為唯一的實數x {\\displaystyle x} 使得ln x \= 1 {\\displaystyle \\ln x=1} 。
自然对数一般表示為ln x {\\displaystyle \\ln x\\!} ,數學中亦有以log x {\\displaystyle \\log x\\!} 表示自然對數。[\[1\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-2)[\[註 2\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-3)
## 歷史
\[[编辑](https://zh.wikipedia.org/w/index.php?title=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&action=edit§ion=1 "编辑章节:歷史")\]
### 十七世纪
\[[编辑](https://zh.wikipedia.org/w/index.php?title=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&action=edit§ion=2 "编辑章节:十七世纪")\]
[](https://zh.wikipedia.org/wiki/File:Hyperbolic_sector.svg)
[雙曲線扇形](https://zh.wikipedia.org/wiki/%E9%9B%99%E6%9B%B2%E7%B7%9A%E6%89%87%E5%BD%A2 "雙曲線扇形")是[笛卡爾平面](https://zh.wikipedia.org/wiki/%E7%AC%9B%E5%8D%A1%E5%B0%94%E5%B9%B3%E9%9D%A2 "笛卡尔平面")
{
(
x
,
y
)
}
{\\displaystyle \\{(x,y)\\}}

上的一個區域,由從原點到
(
a
,
1
a
)
{\\textstyle (a,{\\frac {1}{a}})}

和
(
b
,
1
b
)
{\\textstyle (b,{\\frac {1}{b}})}

的射線,以及[雙曲線](https://zh.wikipedia.org/wiki/%E9%9B%99%E6%9B%B2%E7%B7%9A "雙曲線")
x
y
\=
1
{\\displaystyle xy=1}

圍成。在標準位置的雙曲線扇形有
a
\=
1
{\\displaystyle a=1}

且
b
\>
1
{\\displaystyle b\>1}

,它的面積為
ln
(
b
)
{\\displaystyle \\ln(b)}

[\[2\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-4),此時雙曲線扇形對應正[雙曲角](https://zh.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E8%A7%92 "双曲角")。
[](https://zh.wikipedia.org/wiki/File:Gregoire_de_St_Vincent_Quadrature.svg)
當直角雙曲線下的兩段面積相等時,
x
{\\displaystyle x}

的值呈[等比數列](https://zh.wikipedia.org/wiki/%E7%AD%89%E6%AF%94%E6%95%B8%E5%88%97 "等比數列"),
x
2
x
1
\=
x
1
x
0
\=
k
{\\textstyle {\\frac {x\_{2}}{x\_{1}}}={\\frac {x\_{1}}{x\_{0}}}=k}

,
y
{\\displaystyle y}

的值也呈等比數列,
x
2
x
1
\=
x
1
x
0
\=
1
k
{\\textstyle {\\frac {x\_{2}}{x\_{1}}}={\\frac {x\_{1}}{x\_{0}}}={\\frac {1}{k}}}

。
[約翰·納皮爾](https://zh.wikipedia.org/wiki/%E7%B4%84%E7%BF%B0%C2%B7%E7%B4%8D%E7%9A%AE%E7%88%BE "約翰·納皮爾")在1614年[\[3\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-5)以及[约斯特·比尔吉](https://zh.wikipedia.org/wiki/%E7%BA%A6%E6%96%AF%E7%89%B9%C2%B7%E6%AF%94%E5%B0%94%E5%90%89 "约斯特·比尔吉")在6年後[\[4\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-6),分別發表了獨立編制的[對數表](https://zh.wikipedia.org/wiki/%E5%AF%B9%E6%95%B0%E8%A1%A8 "对数表"),當時通過對接近1的底數的大量乘[冪](https://zh.wikipedia.org/wiki/%E5%86%AA "冪")運算,來找到指定範圍和精度的[對數](https://zh.wikipedia.org/wiki/%E5%B0%8D%E6%95%B8 "對數")和所對應的真數。當時還沒出現[有理數](https://zh.wikipedia.org/wiki/%E6%9C%89%E7%90%86%E6%95%B0 "有理数")冪的概念,按後世的觀點,[約翰·納皮爾](https://zh.wikipedia.org/wiki/%E7%B4%84%E7%BF%B0%C2%B7%E7%B4%8D%E7%9A%AE%E7%88%BE "約翰·納皮爾")的底數0.999999910000000相當接近1 e {\\textstyle {\\frac {1}{e}}} [\[5\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-7),而[约斯特·比尔吉](https://zh.wikipedia.org/wiki/%E7%BA%A6%E6%96%AF%E7%89%B9%C2%B7%E6%AF%94%E5%B0%94%E5%90%89 "约斯特·比尔吉")的底數1.000110000相當接近自然對數的底數e {\\displaystyle e} 。實際上不需要做開高次方這種艱難運算,[約翰·納皮爾](https://zh.wikipedia.org/wiki/%E7%B4%84%E7%BF%B0%C2%B7%E7%B4%8D%E7%9A%AE%E7%88%BE "約翰·納皮爾")用了20年時間進行相當於數百萬次乘法的計算,[亨利·布里格斯](https://zh.wikipedia.org/w/index.php?title=%E4%BA%A8%E5%88%A9%C2%B7%E5%B8%83%E9%87%8C%E6%A0%BC%E6%96%AF&action=edit&redlink=1 "亨利·布里格斯(页面不存在)")(英语:[Henry Briggs (mathematician)](https://en.wikipedia.org/wiki/Henry_Briggs_\(mathematician\) "en:Henry Briggs (mathematician)"))建議納皮爾改用10為底數未果,他用自己的方法[\[6\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-8)於1624年部份完成了[常用對數](https://zh.wikipedia.org/wiki/%E5%B8%B8%E7%94%A8%E5%B0%8D%E6%95%B8 "常用對數")表的編制。
形如f ( x ) \= x p {\\displaystyle f(x)=x^{p}} 的曲線都有一個代數[反導數](https://zh.wikipedia.org/wiki/%E5%8F%8D%E5%B0%8E%E6%95%B8 "反導數"),除了特殊情況p \= − 1 {\\displaystyle p=-1} 對應於雙曲線的[弓形面積](https://zh.wikipedia.org/w/index.php?title=%E5%BC%93%E5%BD%A2%E9%9D%A2%E7%A9%8D&action=edit&redlink=1 "弓形面積(页面不存在)")(英语:[Quadrature (mathematics)](https://en.wikipedia.org/wiki/Quadrature_\(mathematics\) "en:Quadrature (mathematics)")),即[雙曲線扇形](https://zh.wikipedia.org/wiki/%E9%9B%99%E6%9B%B2%E7%B7%9A%E6%89%87%E5%BD%A2 "雙曲線扇形");其他情況都由1635年發表的[卡瓦列里弓形面積公式](https://zh.wikipedia.org/w/index.php?title=%E5%8D%A1%E7%93%A6%E5%88%97%E9%87%8C%E5%BC%93%E5%BD%A2%E9%9D%A2%E7%A9%8D%E5%85%AC%E5%BC%8F&action=edit&redlink=1 "卡瓦列里弓形面積公式(页面不存在)")(英语:[Cavalieri's quadrature formula](https://en.wikipedia.org/wiki/Cavalieri%27s_quadrature_formula "en:Cavalieri's quadrature formula"))給出[\[7\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-9),其中拋物線的弓形面積由公元前3世紀的[阿基米德](https://zh.wikipedia.org/wiki/%E9%98%BF%E5%9F%BA%E7%B1%B3%E5%BE%B7 "阿基米德")完成([拋物線的弓形面積](https://zh.wikipedia.org/wiki/%E6%8B%8B%E7%89%A9%E7%B7%9A%E7%9A%84%E5%BC%93%E5%BD%A2%E9%9D%A2%E7%A9%8D "拋物線的弓形面積")),雙曲線的弓形面積需要發明一個新函數。1647年[圣文森特的格列高利](https://zh.wikipedia.org/w/index.php?title=%E5%9C%A3%E6%96%87%E6%A3%AE%E7%89%B9%E7%9A%84%E6%A0%BC%E5%88%97%E9%AB%98%E5%88%A9&action=edit&redlink=1 "圣文森特的格列高利(页面不存在)")(英语:[Grégoire de Saint-Vincent](https://en.wikipedia.org/wiki/Gr%C3%A9goire_de_Saint-Vincent "en:Grégoire de Saint-Vincent"))將對數聯繫於雙曲線x y \= 1 {\\displaystyle xy=1} 的弓形面積,他發現x軸上\[ a , b \] {\\displaystyle \[a,b\]} ![{\\displaystyle \[a,b\]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c4b788fc5c637e26ee98b45f89a5c08c85f7935)兩點對應的雙曲線線段與原點圍成的[雙曲線扇形](https://zh.wikipedia.org/wiki/%E9%9B%99%E6%9B%B2%E7%B7%9A%E6%89%87%E5%BD%A2 "雙曲線扇形")同\[ c , d \] {\\displaystyle \[c,d\]} ![{\\displaystyle \[c,d\]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d85b3b21d6d891d97f85e263d394e3c90287586f)對應的扇形,在a b \= c d {\\textstyle {\\frac {a}{b}}={\\frac {c}{d}}} 時面積相同,這指出了雙曲線從x \= 1 {\\displaystyle x=1} 到x \= t {\\displaystyle x=t} 的積分f ( t ) {\\displaystyle f(t)} 滿足[\[8\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-10):
f
(
t
u
)
\=
f
(
t
)
\+
f
(
u
)
{\\displaystyle f(tu)=f(t)+f(u)\\,}

1649年,[萨拉萨的阿尔丰斯·安东尼奥](https://zh.wikipedia.org/w/index.php?title=%E8%90%A8%E6%8B%89%E8%90%A8%E7%9A%84%E9%98%BF%E5%B0%94%E4%B8%B0%E6%96%AF%C2%B7%E5%AE%89%E4%B8%9C%E5%B0%BC%E5%A5%A5&action=edit&redlink=1 "萨拉萨的阿尔丰斯·安东尼奥(页面不存在)")(英语:[Alphonse Antonio de Sarasa](https://en.wikipedia.org/wiki/Alphonse_Antonio_de_Sarasa "en:Alphonse Antonio de Sarasa"))將雙曲線下的面積解釋為對數。大約1665年,[伊薩克·牛頓](https://zh.wikipedia.org/wiki/%E4%BC%8A%E8%90%A8%E5%85%8B%C2%B7%E7%89%9B%E9%A1%BF "伊萨克·牛顿")推廣了[二項式定理](https://zh.wikipedia.org/wiki/%E4%BA%8C%E9%A1%B9%E5%BC%8F%E5%AE%9A%E7%90%86 "二项式定理"),他將1 1 \+ x {\\textstyle {\\frac {1}{1+x}}} 展開並逐項積分,得到了自然對數的無窮級數。“自然對數”最早描述見於[尼古拉斯·麥卡托](https://zh.wikipedia.org/wiki/%E5%B0%BC%E5%8F%A4%E6%8B%89%E6%96%AF%C2%B7%E9%BA%A5%E5%8D%A1%E6%89%98 "尼古拉斯·麥卡托")在1668年出版的著作《Logarithmotechnia》中[\[9\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-11),他也獨立發現了同樣的級數,即自然對數的[麥卡托級數](https://zh.wikipedia.org/wiki/%E9%BA%A5%E5%8D%A1%E6%89%98%E7%B4%9A%E6%95%B8 "麥卡托級數")。
### 十八世纪
\[[编辑](https://zh.wikipedia.org/w/index.php?title=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&action=edit§ion=3 "编辑章节:十八世纪")\]
大約1730年,[歐拉](https://zh.wikipedia.org/wiki/%E6%AD%90%E6%8B%89 "歐拉")定義互為逆函數的[指數函數](https://zh.wikipedia.org/wiki/%E6%8C%87%E6%95%B8%E5%87%BD%E6%95%B8 "指數函數")和自然對數為[\[10\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-12)[\[11\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-ReferenceA-13):
e
x
\=
lim
n
→
∞
(
1
\+
x
n
)
n
,
{\\displaystyle e^{x}=\\lim \_{n\\rightarrow \\infty }\\left(1+{\\frac {x}{n}}\\right)^{n},}

ln
(
x
)
\=
lim
n
→
∞
n
(
x
1
n
−
1
)
{\\displaystyle \\ln(x)=\\lim \_{n\\rightarrow \\infty }n\\left(x^{\\frac {1}{n}}-1\\right)}

1742年[威廉·琼斯](https://zh.wikipedia.org/wiki/%E5%A8%81%E5%BB%89%C2%B7%E7%90%BC%E6%96%AF_\(%E6%95%B0%E5%AD%A6%E5%AE%B6\) "威廉·琼斯 (数学家)")發表了現在的[冪](https://zh.wikipedia.org/wiki/%E5%86%AA "冪")[指數](https://zh.wikipedia.org/wiki/%E6%8C%87%E6%95%B0 "指数")概念[\[12\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-14)。
## 形式定義
\[[编辑](https://zh.wikipedia.org/w/index.php?title=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&action=edit§ion=4 "编辑章节:形式定義")\]
[歐拉](https://zh.wikipedia.org/wiki/%E6%AD%90%E6%8B%89 "歐拉")定義自然對數為[序列的極限](https://zh.wikipedia.org/wiki/%E5%BA%8F%E5%88%97%E7%9A%84%E6%9E%81%E9%99%90 "序列的极限"):
ln
(
x
)
\=
lim
n
→
∞
n
(
x
1
n
−
1
)
.
{\\displaystyle \\ln(x)=\\lim \_{n\\rightarrow \\infty }n\\left(x^{\\frac {1}{n}}-1\\right).}

ln ( a ) {\\displaystyle \\ln(a)} 正式定義為[積分](https://zh.wikipedia.org/wiki/%E7%A9%8D%E5%88%86 "積分"),
ln
(
a
)
\=
∫
1
a
1
x
d
x
.
{\\displaystyle \\ln(a)=\\int \_{1}^{a}{\\frac {1}{x}}\\,dx.}

這個函數為對數是因滿足[對數](https://zh.wikipedia.org/wiki/%E5%B0%8D%E6%95%B8 "對數")的基本性質:
ln
(
a
b
)
\=
ln
(
a
)
\+
ln
(
b
)
.
{\\displaystyle \\ln(ab)=\\ln(a)+\\ln(b).\\,\\!}

這可以通過將定義了ln ( a b ) {\\displaystyle \\ln(ab)} 的積分拆分為兩部份,並在第二部份中進行[換元](https://zh.wikipedia.org/wiki/%E6%8D%A2%E5%85%83%E7%A7%AF%E5%88%86%E6%B3%95 "换元积分法")x \= t a {\\displaystyle x=ta} 來證實:
ln
(
a
b
)
\=
∫
1
a
b
1
x
d
x
\=
∫
1
a
1
x
d
x
\+
∫
a
a
b
1
x
d
x
\=
∫
1
a
1
x
d
x
\+
∫
1
b
1
a
t
d
(
a
t
)
{\\displaystyle \\ln(ab)=\\int \_{1}^{ab}{\\frac {1}{x}}\\;dx=\\int \_{1}^{a}{\\frac {1}{x}}\\;dx\\;+\\int \_{a}^{ab}{\\frac {1}{x}}\\;dx=\\int \_{1}^{a}{\\frac {1}{x}}\\;dx\\;+\\int \_{1}^{b}{\\frac {1}{at}}\\;d(at)}

\=
∫
1
a
1
x
d
x
\+
∫
1
b
1
t
d
t
\=
ln
(
a
)
\+
ln
(
b
)
.
{\\displaystyle =\\int \_{1}^{a}{\\frac {1}{x}}\\;dx\\;+\\int \_{1}^{b}{\\frac {1}{t}}\\;dt=\\ln(a)+\\ln(b).}

冪公式ln ( t r ) \= r ln ( t ) {\\displaystyle \\ln(t^{r})=r\\ln(t)} 可如下推出:
ln
(
t
r
)
\=
∫
1
t
r
1
x
d
x
\=
∫
1
t
1
u
r
d
(
u
r
)
\=
∫
1
t
1
u
r
(
r
u
r
−
1
d
u
)
\=
r
∫
1
t
1
u
d
u
\=
r
ln
(
t
)
.
{\\displaystyle \\ln(t^{r})=\\int \_{1}^{t^{r}}{\\frac {1}{x}}dx=\\int \_{1}^{t}{\\frac {1}{u^{r}}}d\\left(u^{r}\\right)=\\int \_{1}^{t}{\\frac {1}{u^{r}}}\\left(ru^{r-1}\\,du\\right)=r\\int \_{1}^{t}{\\frac {1}{u}}\\,du=r\\ln(t).}

第二個等式使用了[換元](https://zh.wikipedia.org/wiki/%E6%8D%A2%E5%85%83%E7%A7%AF%E5%88%86%E6%B3%95 "换元积分法")u \= x 1 r {\\displaystyle u=x^{\\frac {1}{r}}} 。
自然對數還有在某些情況下更有用的另一個積分表示:
ln
(
x
)
\=
−
lim
ϵ
→
0
∫
ϵ
∞
d
t
t
(
e
−
x
t
−
e
−
t
)
.
{\\displaystyle \\ln(x)=-\\lim \_{\\epsilon \\to 0}\\int \_{\\epsilon }^{\\infty }{\\frac {dt}{t}}\\left(e^{-xt}-e^{-t}\\right).}

## 性質
\[[编辑](https://zh.wikipedia.org/w/index.php?title=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&action=edit§ion=5 "编辑章节:性質")\]
- ln
(
1
)
\=
∫
1
1
1
t
d
t
\=
0
{\\displaystyle \\ln(1)=\\int \_{1}^{1}{\\frac {1}{t}}\\,dt=0\\,}

- ln
(
−
1
)
\=
i
π
{\\displaystyle \\operatorname {ln} (-1)=i\\pi \\,}

(參見[複數對數](https://zh.wikipedia.org/wiki/%E8%A4%87%E6%95%B8%E5%B0%8D%E6%95%B8 "複數對數"))
- ln
(
x
)
\<
ln
(
y
)
f
o
r
0
\<
x
\<
y
{\\displaystyle \\ln(x)\<\\ln(y)\\quad {\\rm {for}}\\quad 0\<x\<y\\,}

- lim
x
→
0
ln
(
1
\+
x
)
x
\=
1
{\\displaystyle \\lim \_{x\\to 0}{\\frac {\\ln(1+x)}{x}}=1\\,}

- ln
(
x
y
)
\=
y
ln
(
x
)
{\\displaystyle \\ln(x^{y})=y\\,\\ln(x)\\,}

- x
−
1
x
≤
ln
(
x
)
≤
x
−
1
f
o
r
x
\>
0
{\\displaystyle {\\frac {x-1}{x}}\\leq \\ln(x)\\leq x-1\\quad {\\rm {for}}\\quad x\>0\\,}

- ln
(
1
\+
x
α
)
≤
α
x
f
o
r
x
≥
0
,
α
≥
1
{\\displaystyle \\ln {(1+x^{\\alpha })}\\leq \\alpha x\\quad {\\rm {for}}\\quad x\\geq 0,\\alpha \\geq 1\\,}

| 證明 |
|---|
| lim h → 0 ln ( 1 \+ h ) h \= lim h → 0 ln ( 1 \+ h ) − ln 1 h \= d d x ln x \| x \= 1 \= 1 {\\displaystyle \\lim \_{h\\to 0}{\\frac {\\ln(1+h)}{h}}=\\lim \_{h\\to 0}{\\frac {\\ln(1+h)-\\ln 1}{h}}={\\frac {d}{dx}}\\ln x{\\Bigg \|}\_{x=1}=1}  |
## 導數
\[[编辑](https://zh.wikipedia.org/w/index.php?title=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&action=edit§ion=6 "编辑章节:導數")\]
[](https://zh.wikipedia.org/wiki/File:Logarithm_derivative.svg)
自然對數的圖像和它在
x
\=
1\.5
{\\displaystyle x=1.5}

處的切線。
[](https://zh.wikipedia.org/wiki/File:LogTay.svg)
ln
(
1
\+
x
)
{\\displaystyle \\ln(1+x)}

的泰勒多項式只在
−
1
\<
x
≤
1
{\\displaystyle -1\<x\\leq 1}

範圍內有逐步精確的近似。
自然對數的[導數](https://zh.wikipedia.org/wiki/%E5%B0%8E%E6%95%B8 "導數")為
d
d
x
ln
(
x
)
\=
1
x
.
{\\displaystyle {\\frac {d}{dx}}\\ln(x)={\\frac {1}{x}}.\\,}

證明一(微積分第一基本定理):d d x ln ( x ) \= d d x ∫ 1 x 1 t d t \= 1 x {\\displaystyle {\\frac {d}{dx}}\\ln(x)={\\frac {d}{dx}}\\int \_{1}^{x}{\\frac {1}{t}}\\,dt={\\frac {1}{x}}} 
證明二:[按此影片](https://www.youtube.com/watch?v=yUpDRpkUhf4&list=PL19E79A0638C8D449&index=28)([页面存档备份](https://web.archive.org/web/20210402030947/https://www.youtube.com/watch?v=yUpDRpkUhf4&list=PL19E79A0638C8D449&index=28),存于[互联网档案馆](https://zh.wikipedia.org/wiki/%E4%BA%92%E8%81%94%E7%BD%91%E6%A1%A3%E6%A1%88%E9%A6%86 "互联网档案馆"))
d
d
x
ln
(
x
)
\=
lim
h
→
0
ln
(
x
\+
h
)
−
ln
(
x
)
h
{\\displaystyle {\\frac {d}{dx}}\\ln(x)=\\lim \_{h\\to 0}{\\frac {\\ln(x+h)-\\ln(x)}{h}}}

\=
lim
h
→
0
ln
(
x
\+
h
x
)
h
{\\displaystyle =\\lim \_{h\\to 0}{\\frac {\\ln({\\frac {x+h}{x}})}{h}}}

\=
lim
h
→
0
\[
1
h
ln
(
1
\+
h
x
)
\]
{\\displaystyle =\\lim \_{h\\to 0}\\left\[{\\frac {1}{h}}\\ln \\left(1+{\\frac {h}{x}}\\right)\\right\]\\quad }
![{\\displaystyle =\\lim \_{h\\to 0}\\left\[{\\frac {1}{h}}\\ln \\left(1+{\\frac {h}{x}}\\right)\\right\]\\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0d8ec064c03dca33ec9440c431407ea9090bbe1)
\=
lim
h
→
0
ln
(
1
\+
h
x
)
1
h
{\\displaystyle =\\lim \_{h\\to 0}\\ln \\left(1+{\\frac {h}{x}}\\right)^{\\frac {1}{h}}}

设u \= h x ⇒ u x \= h {\\displaystyle u={\\frac {h}{x}}\\Rightarrow ux=h} 
1
h
\=
1
u
x
{\\displaystyle {\\frac {1}{h}}={\\frac {1}{ux}}}

d
d
x
ln
(
x
)
\=
lim
u
→
0
ln
(
1
\+
u
)
1
u
x
{\\displaystyle {\\frac {d}{dx}}\\ln(x)=\\lim \_{u\\to 0}\\ln(1+u)^{\\frac {1}{ux}}}

\=
lim
u
→
0
ln
\[
(
1
\+
u
)
1
u
\]
1
x
{\\displaystyle =\\lim \_{u\\to 0}\\ln \\left\[(1+u)^{\\frac {1}{u}}\\right\]^{\\frac {1}{x}}}
![{\\displaystyle =\\lim \_{u\\to 0}\\ln \\left\[(1+u)^{\\frac {1}{u}}\\right\]^{\\frac {1}{x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a1cdcd1187e5294c22ac0293d87549d6e1eef9a)
\=
1
x
lim
u
→
0
ln
(
1
\+
u
)
1
u
{\\displaystyle ={\\frac {1}{x}}\\lim \_{u\\to 0}\\ln(1+u)^{\\frac {1}{u}}}

设n \= 1 u ⇒ u \= 1 n {\\displaystyle n={\\frac {1}{u}}\\Rightarrow u={\\frac {1}{n}}} 
d
d
x
ln
(
x
)
\=
1
x
lim
n
→
∞
ln
(
1
\+
1
n
)
n
{\\displaystyle {\\frac {d}{dx}}\\ln(x)={\\frac {1}{x}}\\lim \_{n\\to \\infty }\\ln \\left(1+{\\frac {1}{n}}\\right)^{n}}

\=
1
x
ln
\[
lim
n
→
∞
(
1
\+
1
n
)
n
\]
{\\displaystyle ={\\frac {1}{x}}\\ln \\left\[\\lim \_{n\\to \\infty }\\left(1+{\\frac {1}{n}}\\right)^{n}\\right\]}
![{\\displaystyle ={\\frac {1}{x}}\\ln \\left\[\\lim \_{n\\to \\infty }\\left(1+{\\frac {1}{n}}\\right)^{n}\\right\]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e0380744b61c8586952f38a93d51089fad2b6c3)
\=
1
x
ln
e
{\\displaystyle ={\\frac {1}{x}}\\ln e}

\=
1
x
{\\displaystyle ={\\frac {1}{x}}}

用自然對數定義的更一般的對數函數,log b ( x ) \= ln ( x ) ln ( b ) {\\displaystyle \\log \_{b}(x)={\\frac {\\ln(x)}{\\ln(b)}}} ,根據其[逆函數](https://zh.wikipedia.org/wiki/%E9%80%86%E5%87%BD%E6%95%B0 "逆函数")即一般[指數函數](https://zh.wikipedia.org/wiki/%E6%8C%87%E6%95%B8%E5%87%BD%E6%95%B8 "指數函數")的性質,它的導數為[\[13\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-LangIV.2-15)[\[14\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-16):
d
d
x
log
b
(
x
)
\=
1
x
ln
(
b
)
.
{\\displaystyle {\\frac {d}{dx}}\\log \_{b}(x)={\\frac {1}{x\\ln(b)}}.}

根據[鏈式法則](https://zh.wikipedia.org/wiki/%E9%93%BE%E5%BC%8F%E6%B3%95%E5%88%99 "链式法则"),以f ( x ) {\\displaystyle f(x)} 為參數的自然對數的導數為
d
d
x
ln
\[
f
(
x
)
\]
\=
f
′
(
x
)
f
(
x
)
.
{\\displaystyle {\\frac {d}{dx}}\\ln\[f(x)\]={\\frac {f'(x)}{f(x)}}.}
![{\\displaystyle {\\frac {d}{dx}}\\ln\[f(x)\]={\\frac {f'(x)}{f(x)}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d12207bb467c5467b6f0587fd9e0f56a983e4c4)
右手端的商叫做f {\\displaystyle f} 的[對數導數](https://zh.wikipedia.org/w/index.php?title=%E5%B0%8D%E6%95%B8%E5%B0%8E%E6%95%B8&action=edit&redlink=1 "對數導數(页面不存在)")(英语:[logarithmic derivative](https://en.wikipedia.org/wiki/logarithmic_derivative "en:logarithmic derivative")),通過ln ( f ( x ) ) {\\displaystyle \\ln(f(x))} 的導數的方法計算f ′ ( x ) {\\displaystyle f'(x)} 叫做[對數微分](https://zh.wikipedia.org/wiki/%E5%B0%8D%E6%95%B8%E5%BE%AE%E5%88%86 "對數微分")[\[15\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-17)。
## 冪級數
\[[编辑](https://zh.wikipedia.org/w/index.php?title=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&action=edit§ion=7 "编辑章节:冪級數")\]
自然對數的導數性質導致了ln ( 1 \+ x ) {\\displaystyle \\ln(1+x)} 在0處的[泰勒級數](https://zh.wikipedia.org/wiki/%E6%B3%B0%E5%8B%92%E7%BA%A7%E6%95%B0 "泰勒级数"),也叫做[麥卡托級數](https://zh.wikipedia.org/wiki/%E9%BA%A5%E5%8D%A1%E6%89%98%E7%B4%9A%E6%95%B8 "麥卡托級數"):
ln
(
1
\+
x
)
\=
∑
n
\=
1
∞
(
−
1
)
n
\+
1
n
x
n
\=
x
−
x
2
2
\+
x
3
3
−
⋯
{\\displaystyle \\ln(1+x)=\\sum \_{n=1}^{\\infty }{\\frac {(-1)^{n+1}}{n}}x^{n}=x-{\\frac {x^{2}}{2}}+{\\frac {x^{3}}{3}}-\\cdots }

對於所有
\|
x
\|
≤
1
,
{\\displaystyle \\left\|x\\right\|\\leq 1,}

但不包括
x
\=
−
1\.
{\\displaystyle x=-1.}

把x − 1 {\\displaystyle x-1} 代入x {\\displaystyle x} 中,可得到ln ( x ) {\\displaystyle \\ln(x)} 自身的級數。通過在麥卡托級數上使用[歐拉變換](https://zh.wikipedia.org/wiki/%E4%BA%8C%E9%A0%85%E5%BC%8F%E8%AE%8A%E6%8F%9B "二項式變換"),可以得到對[絕對值](https://zh.wikipedia.org/wiki/%E7%BB%9D%E5%AF%B9%E5%80%BC "绝对值")大於1的任何x {\\displaystyle x} 有效的如下級數:
ln
x
x
−
1
\=
∑
n
\=
1
∞
1
n
x
n
\=
1
x
\+
1
2
x
2
\+
1
3
x
3
\+
⋯
.
{\\displaystyle \\ln {x \\over {x-1}}=\\sum \_{n=1}^{\\infty }{1 \\over {nx^{n}}}={1 \\over x}+{1 \\over {2x^{2}}}+{1 \\over {3x^{3}}}+\\cdots \\,.}

這個級數類似於[贝利-波尔温-普劳夫公式](https://zh.wikipedia.org/wiki/%E8%B4%9D%E5%88%A9-%E6%B3%A2%E5%B0%94%E6%B8%A9-%E6%99%AE%E5%8A%B3%E5%A4%AB%E5%85%AC%E5%BC%8F "贝利-波尔温-普劳夫公式")。
還要注意到x x − 1 {\\displaystyle x \\over {x-1}} 是自身的逆函數,所以要生成特定數y {\\displaystyle y} 的自然對數,簡單把x x − 1 {\\displaystyle x \\over {x-1}} 代入*x {\\displaystyle x} *中。
ln
x
\=
∑
n
\=
1
∞
1
n
(
x
−
1
x
)
n
\=
(
x
−
1
x
)
\+
1
2
(
x
−
1
x
)
2
\+
1
3
(
x
−
1
x
)
3
\+
⋯
{\\displaystyle \\ln {x}=\\sum \_{n=1}^{\\infty }{1 \\over {n}}\\left({x-1 \\over x}\\right)^{n}=\\left({x-1 \\over x}\\right)+{1 \\over 2}\\left({x-1 \\over x}\\right)^{2}+{1 \\over 3}\\left({x-1 \\over x}\\right)^{3}+\\cdots \\,}

對於
Re
(
x
)
≥
1
2
.
{\\displaystyle \\operatorname {Re} (x)\\geq {\\frac {1}{2}}\\,.}

自然數的倒數的總和
1
\+
1
2
\+
1
3
\+
⋯
\+
1
n
\=
∑
k
\=
1
n
1
k
,
{\\displaystyle 1+{\\frac {1}{2}}+{\\frac {1}{3}}+\\cdots +{\\frac {1}{n}}=\\sum \_{k=1}^{n}{\\frac {1}{k}},}

叫做[調和級數](https://zh.wikipedia.org/wiki/%E8%AA%BF%E5%92%8C%E7%B4%9A%E6%95%B8 "調和級數")。它與自然對數有密切聯繫:當n {\\displaystyle n} 趨於無窮的時候,差
∑
k
\=
1
n
1
k
−
ln
(
n
)
,
{\\displaystyle \\sum \_{k=1}^{n}{\\frac {1}{k}}-\\ln(n),}

[收斂](https://zh.wikipedia.org/wiki/%E5%BA%8F%E5%88%97%E7%9A%84%E6%9E%81%E9%99%90 "序列的极限")於[欧拉-马歇罗尼常数](https://zh.wikipedia.org/wiki/%E6%AC%A7%E6%8B%89-%E9%A9%AC%E6%AD%87%E7%BD%97%E5%B0%BC%E5%B8%B8%E6%95%B0 "欧拉-马歇罗尼常数")。這個關係有助於分析算法比如[快速排序](https://zh.wikipedia.org/wiki/%E5%BF%AB%E9%80%9F%E6%8E%92%E5%BA%8F "快速排序")的性能。[\[16\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-18)
## 積分
\[[编辑](https://zh.wikipedia.org/w/index.php?title=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&action=edit§ion=8 "编辑章节:積分")\]
自然對數通過[分部積分法](https://zh.wikipedia.org/wiki/%E5%88%86%E9%83%A8%E7%A9%8D%E5%88%86%E6%B3%95 "分部積分法")積分:
∫
ln
(
x
)
d
x
\=
x
ln
(
x
)
−
x
\+
C
.
{\\displaystyle \\int \\ln(x)\\,dx=x\\ln(x)-x+C.}

假設:
u
\=
ln
(
x
)
⇒
d
u
\=
d
x
x
{\\displaystyle u=\\ln(x)\\Rightarrow du={\\frac {dx}{x}}}

d
v
\=
d
x
⇒
v
\=
x
{\\displaystyle dv=dx\\Rightarrow v=x\\,}

所以:
∫
ln
(
x
)
d
x
\=
x
ln
(
x
)
−
∫
x
x
d
x
\=
x
ln
(
x
)
−
∫
1
d
x
\=
x
ln
(
x
)
−
x
\+
C
{\\displaystyle {\\begin{aligned}\\int \\ln(x)\\,dx&=x\\ln(x)-\\int {\\frac {x}{x}}\\,dx\\\\&=x\\ln(x)-\\int 1\\,dx\\\\&=x\\ln(x)-x+C\\end{aligned}}}

自然對數可以簡化形如g ( x ) \= f ′ ( x ) f ( x ) {\\displaystyle g(x)={\\frac {f'(x)}{f(x)}}} 的函數的積分:g ( x ) {\\displaystyle g(x)} 的一個[原函數](https://zh.wikipedia.org/wiki/%E5%8E%9F%E5%87%BD%E6%95%B0 "原函数")給出為ln ( \| f ( x ) \| ) {\\displaystyle \\ln(\\left\\vert f(x)\\right\\vert )} 。這是基於[鏈式法則](https://zh.wikipedia.org/wiki/%E9%93%BE%E5%BC%8F%E6%B3%95%E5%88%99 "链式法则")和如下事實:
d
d
x
ln
\|
x
\|
\=
1
x
.
{\\displaystyle \\ {d \\over dx}\\ln \\left\|x\\right\|={1 \\over x}.}

換句話說,
∫
1
x
d
x
\=
ln
\|
x
\|
\+
C
{\\displaystyle \\int {1 \\over x}dx=\\ln \|x\|+C}

且
∫
f
′
(
x
)
f
(
x
)
d
x
\=
ln
\|
f
(
x
)
\|
\+
C
.
{\\displaystyle \\int {{\\frac {f'(x)}{f(x)}}\\,dx}=\\ln \|f(x)\|+C.}

### 例子
\[[编辑](https://zh.wikipedia.org/w/index.php?title=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&action=edit§ion=9 "编辑章节:例子")\]
下面是g ( x ) \= tan x {\\displaystyle g(x)=\\tan x} 的例子:
∫
tan
x
d
x
\=
∫
sin
x
cos
x
d
x
\=
∫
−
d
d
x
cos
x
cos
x
d
x
.
{\\displaystyle {\\begin{aligned}\\int \\tan x\\,dx&=\\int {\\sin x \\over \\cos x}\\,dx\\\\&=\\int {-{d \\over dx}\\cos x \\over {\\cos x}}\\,dx.\\\\\\end{aligned}}}

設f ( x ) \= cos x {\\displaystyle f(x)=\\cos x} 且f ′ ( x ) \= − sin x {\\displaystyle f'(x)=-\\sin x} :
∫
tan
x
d
x
\=
−
ln
\|
cos
x
\|
\+
C
\=
ln
\|
sec
x
\|
\+
C
{\\displaystyle {\\begin{aligned}\\int \\tan x\\,dx&=-\\ln {\\left\|\\cos x\\right\|}+C\\\\&=\\ln {\\left\|\\sec x\\right\|}+C\\\\\\end{aligned}}}

## 與雙曲函數的關係
\[[编辑](https://zh.wikipedia.org/w/index.php?title=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&action=edit§ion=10 "编辑章节:與雙曲函數的關係")\]
[](https://zh.wikipedia.org/wiki/File:Cartesian_hyperbolic_triangle.svg)
在[直角雙曲線](https://zh.wikipedia.org/w/index.php?title=%E7%9B%B4%E8%A7%92%E9%9B%99%E6%9B%B2%E7%B7%9A&action=edit&redlink=1 "直角雙曲線(页面不存在)")(方程
y
\=
1
x
{\\displaystyle y={\\frac {1}{x}}}

)下,雙曲線三角形(黃色),和對應於[雙曲角](https://zh.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E8%A7%92 "双曲角")*u {\\displaystyle u} *的[雙曲線扇形](https://zh.wikipedia.org/wiki/%E9%9B%99%E6%9B%B2%E7%B7%9A%E6%89%87%E5%BD%A2 "雙曲線扇形")(紅色)。這個三角形的邊分別是[雙曲函數](https://zh.wikipedia.org/wiki/%E9%9B%99%E6%9B%B2%E5%87%BD%E6%95%B8 "雙曲函數")中
[cosh {\\displaystyle \\cosh } ](https://zh.wikipedia.org/wiki/%E9%9B%99%E6%9B%B2%E9%A4%98%E5%BC%A6 "雙曲餘弦")
和
[sinh {\\displaystyle \\sinh } ](https://zh.wikipedia.org/wiki/%E9%9B%99%E6%9B%B2%E6%AD%A3%E5%BC%A6 "雙曲正弦")
的
2
{\\displaystyle {\\sqrt {2}}}

倍。
[](https://zh.wikipedia.org/wiki/File:Hyperbolic_functions-2.svg)
射線出原點交[單位雙曲線](https://zh.wikipedia.org/wiki/%E5%8D%95%E4%BD%8D%E5%8F%8C%E6%9B%B2%E7%BA%BF "单位双曲线")
x
2
−
y
2
\=
1
{\\displaystyle \\scriptstyle x^{2}\\ -\\ y^{2}\\ =\\ 1}

於點
(
cosh
a
,
sinh
a
)
{\\displaystyle \\scriptstyle (\\cosh \\,a,\\,\\sinh \\,a)}

,這裡的
a
{\\displaystyle \\scriptstyle a}

是射線、雙曲線和
x
{\\displaystyle \\scriptstyle x}

軸圍成的面積的二倍。對於雙曲線上位於x軸下方的點,這個面積被認為是負值。
在18世紀,[約翰·海因里希·蘭伯特](https://zh.wikipedia.org/wiki/%E7%BA%A6%E7%BF%B0%C2%B7%E6%B5%B7%E5%9B%A0%E9%87%8C%E5%B8%8C%C2%B7%E5%85%B0%E4%BC%AF%E7%89%B9 "约翰·海因里希·兰伯特")介入[雙曲函數](https://zh.wikipedia.org/wiki/%E9%9B%99%E6%9B%B2%E5%87%BD%E6%95%B8 "雙曲函數")[\[17\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-19),並計算[雙曲幾何](https://zh.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E5%87%A0%E4%BD%95 "双曲几何")中[雙曲三角形](https://zh.wikipedia.org/wiki/%E9%9B%99%E6%9B%B2%E4%B8%89%E8%A7%92%E5%BD%A2 "雙曲三角形")的面積[\[18\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-20)。對數函數是在[直角雙曲線](https://zh.wikipedia.org/w/index.php?title=%E7%9B%B4%E8%A7%92%E9%9B%99%E6%9B%B2%E7%B7%9A&action=edit&redlink=1 "直角雙曲線(页面不存在)")x y \= 1 {\\displaystyle xy=1} 下定義的,可構造雙曲線直角三角形,底邊在線y \= x {\\displaystyle y=x} 上,一個頂點是原點,另一個頂點在雙曲線。這裡以自然對數即雙曲角作為參數的函數,是自然對數的逆函數[指數函數](https://zh.wikipedia.org/wiki/%E6%8C%87%E6%95%B8%E5%87%BD%E6%95%B8 "指數函數"),即要形成指定[雙曲角](https://zh.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E8%A7%92 "双曲角")u {\\displaystyle u} ,在漸近線即x或y軸上需要有的x {\\displaystyle x} 或y {\\displaystyle y} 的值。顯見這裡的底邊是( e u \+ e − u ) 2 2 {\\displaystyle \\left(e^{u}+e^{-u}\\right){\\frac {\\sqrt {2}}{2}}} ,垂線是( e u − e − u ) 2 2 {\\displaystyle \\left(e^{u}-e^{-u}\\right){\\frac {\\sqrt {2}}{2}}} 。
通過旋轉和縮小[線性變換](https://zh.wikipedia.org/wiki/%E7%BA%BF%E6%80%A7%E5%8F%98%E6%8D%A2 "线性变换"),得到[單位雙曲線](https://zh.wikipedia.org/wiki/%E5%8D%95%E4%BD%8D%E5%8F%8C%E6%9B%B2%E7%BA%BF "单位双曲线")下的情況,有:
- cosh
x
\=
e
x
\+
e
−
x
2
{\\displaystyle \\cosh x={\\frac {e^{x}+e^{-x}}{2}}}

- sinh
x
\=
e
x
−
e
−
x
2
{\\displaystyle \\sinh x={\\frac {e^{x}-e^{-x}}{2}}}

[單位雙曲線](https://zh.wikipedia.org/wiki/%E5%8D%95%E4%BD%8D%E5%8F%8C%E6%9B%B2%E7%BA%BF "单位双曲线")中雙曲線扇形的面積是對應[直角雙曲線](https://zh.wikipedia.org/w/index.php?title=%E7%9B%B4%E8%A7%92%E9%9B%99%E6%9B%B2%E7%B7%9A&action=edit&redlink=1 "直角雙曲線(页面不存在)")x y \= 1 {\\displaystyle xy=1} 下雙曲角的1 2 {\\displaystyle {\\frac {1}{2}}} 。
## 連分數
\[[编辑](https://zh.wikipedia.org/w/index.php?title=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&action=edit§ion=11 "编辑章节:連分數")\]
儘管自然對數沒有簡單的[連分數](https://zh.wikipedia.org/wiki/%E9%80%A3%E5%88%86%E6%95%B8 "連分數"),但有一些[廣義連分數](https://zh.wikipedia.org/w/index.php?title=%E5%BB%A3%E7%BE%A9%E9%80%A3%E5%88%86%E6%95%B8&action=edit&redlink=1 "廣義連分數(页面不存在)")如:
ln
(
1
\+
x
)
\=
x
1
1
−
x
2
2
\+
x
3
3
−
x
4
4
\+
x
5
5
−
⋯
\=
x
1
−
0
x
\+
1
2
x
2
−
1
x
\+
2
2
x
3
−
2
x
\+
3
2
x
4
−
3
x
\+
4
2
x
5
−
4
x
\+
⋱
{\\displaystyle {\\begin{aligned}\\ln(1+x)&={\\frac {x^{1}}{1}}-{\\frac {x^{2}}{2}}+{\\frac {x^{3}}{3}}-{\\frac {x^{4}}{4}}+{\\frac {x^{5}}{5}}-\\cdots \\\\&={\\cfrac {x}{1-0x+{\\cfrac {1^{2}x}{2-1x+{\\cfrac {2^{2}x}{3-2x+{\\cfrac {3^{2}x}{4-3x+{\\cfrac {4^{2}x}{5-4x+\\ddots }}}}}}}}}}\\\\\\end{aligned}}}

ln
(
1
\+
x
y
)
\=
x
y
\+
1
x
2
\+
1
x
3
y
\+
2
x
2
\+
2
x
5
y
\+
3
x
2
\+
⋱
\=
2
x
2
y
\+
x
−
(
1
x
)
2
3
(
2
y
\+
x
)
−
(
2
x
)
2
5
(
2
y
\+
x
)
−
(
3
x
)
2
7
(
2
y
\+
x
)
−
⋱
{\\displaystyle {\\begin{aligned}\\ln \\left(1+{\\frac {x}{y}}\\right)&={\\cfrac {x}{y+{\\cfrac {1x}{2+{\\cfrac {1x}{3y+{\\cfrac {2x}{2+{\\cfrac {2x}{5y+{\\cfrac {3x}{2+\\ddots }}}}}}}}}}}}\\\\&={\\cfrac {2x}{2y+x-{\\cfrac {(1x)^{2}}{3(2y+x)-{\\cfrac {(2x)^{2}}{5(2y+x)-{\\cfrac {(3x)^{2}}{7(2y+x)-\\ddots }}}}}}}}\\\\\\end{aligned}}}

這些連分數特別是最後一個對接近1的值快速收斂。但是,更大的數的自然對數,可以輕易的用這些更小的數的自然對數的加法來計算,帶有類似的快速收斂。
例如,因為2 \= 1\.25 3 × 1\.024 {\\displaystyle 2=1.25^{3}\\times 1.024} ,[2的自然對數](https://zh.wikipedia.org/wiki/2%E7%9A%84%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8 "2的自然對數")可以計算為:
ln
2
\=
3
ln
(
1
\+
1
4
)
\+
ln
(
1
\+
3
125
)
\=
6
9
−
1
2
27
−
2
2
45
−
3
2
63
−
⋱
\+
6
253
−
3
2
759
−
6
2
1265
−
9
2
1771
−
⋱
.
{\\displaystyle {\\begin{aligned}\\ln 2&=3\\ln \\left(1+{\\frac {1}{4}}\\right)+\\ln \\left(1+{\\frac {3}{125}}\\right)\\\\&={\\cfrac {6}{9-{\\cfrac {1^{2}}{27-{\\cfrac {2^{2}}{45-{\\cfrac {3^{2}}{63-\\ddots }}}}}}}}+{\\cfrac {6}{253-{\\cfrac {3^{2}}{759-{\\cfrac {6^{2}}{1265-{\\cfrac {9^{2}}{1771-\\ddots }}}}}}}}.\\\\\\end{aligned}}}

進而,因為10 \= 1\.25 10 × 1\.024 3 {\\displaystyle 10=1.25^{10}\\times 1.024^{3}} ,10的自然對數可以計算為:
ln
10
\=
10
ln
(
1
\+
1
4
)
\+
3
ln
(
1
\+
3
125
)
\=
20
9
−
1
2
27
−
2
2
45
−
3
2
63
−
⋱
\+
18
253
−
3
2
759
−
6
2
1265
−
9
2
1771
−
⋱
.
{\\displaystyle {\\begin{aligned}\\ln 10&=10\\ln \\left(1+{\\frac {1}{4}}\\right)+3\\ln \\left(1+{\\frac {3}{125}}\\right)\\\\&={\\cfrac {20}{9-{\\cfrac {1^{2}}{27-{\\cfrac {2^{2}}{45-{\\cfrac {3^{2}}{63-\\ddots }}}}}}}}+{\\cfrac {18}{253-{\\cfrac {3^{2}}{759-{\\cfrac {6^{2}}{1265-{\\cfrac {9^{2}}{1771-\\ddots }}}}}}}}.\\\\\\end{aligned}}}

## 複數對數
\[[编辑](https://zh.wikipedia.org/w/index.php?title=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&action=edit§ion=12 "编辑章节:複數對數")\]
主条目:[複數對數](https://zh.wikipedia.org/wiki/%E8%A4%87%E6%95%B8%E5%B0%8D%E6%95%B8 "複數對數")
[指數函數](https://zh.wikipedia.org/wiki/%E6%8C%87%E6%95%B8%E5%87%BD%E6%95%B8 "指數函數")可以擴展為對任何複數x {\\displaystyle x} 得出複數值為e x {\\displaystyle e^{x}} 的函數,只需要簡單使用*x {\\displaystyle x} *為複數的無窮級數;這個指數函數的逆函數形成複數對數,並帶有正常的對數的多數性質。但是它涉及到了兩個困難:不存在*x {\\displaystyle x} *使得e x \= 0 {\\displaystyle e^{x}=0} ;並且有著e 2 π i \= 1 \= e 0 {\\displaystyle e^{2\\pi i}=1=e^{0}} 。因為乘法性質仍適用於複數指數函數,e z \= e z \+ 2 n π i {\\displaystyle e^{z}=e^{z+2n\\pi i}} ,對於所有複數z {\\displaystyle z} 和整數n {\\displaystyle n} 。
所以對數不能定義在整個[複平面](https://zh.wikipedia.org/wiki/%E8%A4%87%E5%B9%B3%E9%9D%A2 "複平面")上,並且它是[多值函數](https://zh.wikipedia.org/wiki/%E5%A4%9A%E5%80%BC%E5%87%BD%E6%95%B0 "多值函数"),就是說任何複數對數都可以增加2 π i {\\displaystyle 2\\pi i} 的任何整數倍而成為等價的對數。複數對數只能在[切割平面](https://zh.wikipedia.org/wiki/%E8%A4%87%E5%B9%B3%E9%9D%A2#%E5%88%87%E5%89%B2%E8%A4%87%E5%B9%B3%E9%9D%A2 "複平面")上是單值函數。例如,log i \= 1 2 π i {\\displaystyle \\log i={\\frac {1}{2}}\\pi i} 或5 2 π i {\\displaystyle {\\frac {5}{2}}\\pi i} 或− 3 2 π i {\\displaystyle -{\\frac {3}{2}}\\pi i} 等等;儘管i 4 \= 1 {\\displaystyle i^{4}=1} ,4 log \= i {\\displaystyle 4\\log =i} 不能定義為2 π i {\\displaystyle 2\\pi i} 或10 π i {\\displaystyle 10\\pi i} 或− 6 π i {\\displaystyle -6\\pi i} ,以此類推。
- 自然對數函數在複平面(主分支)上的繪圖
- [](https://zh.wikipedia.org/wiki/File:Natural_Logarithm_Re.svg "z=Re(ln(x+iy))")
*z*\=Re(ln(x+iy))
- [](https://zh.wikipedia.org/wiki/File:Natural_Logarithm_Im_Abs.svg)
- [](https://zh.wikipedia.org/wiki/File:Natural_Logarithm_Abs.svg)
- [](https://zh.wikipedia.org/wiki/File:Natural_Logarithm_All.svg "前三圖的疊加")
前三圖的疊加
### 主值定義
\[[编辑](https://zh.wikipedia.org/w/index.php?title=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&action=edit§ion=13 "编辑章节:主值定義")\]
對於每個非0複數z \= x \+ y i {\\displaystyle z=x+yi} ,主值log z {\\displaystyle \\log z} 是虛部位於區間( − π , π \] {\\displaystyle (-\\pi ,\\pi \]} ![{\\displaystyle (-\\pi ,\\pi \]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7fbb1843079a9df3d3bbcce3249bb2599790de9c)內的對數。表達式log 0 {\\displaystyle \\log 0} 不做定義,因為沒有複數w {\\displaystyle w} 滿足e w \= 0 {\\displaystyle e^{w}=0} 。
要對log z {\\displaystyle \\log z} 給出一個公式,可以先將z {\\displaystyle z} 表達為[極坐標](https://zh.wikipedia.org/wiki/%E6%9E%81%E5%9D%90%E6%A0%87 "极坐标")形式,z \= r e i θ {\\displaystyle z=re^{i\\theta }} 。給定z {\\displaystyle z} ,極坐標形式不是確切唯一的,因為有可能向θ {\\displaystyle \\theta } 增加2 π {\\displaystyle 2\\pi } 的整數倍,所以為了保證唯一性而要求*θ {\\displaystyle \\theta } *位於區間( − π , π \] {\\displaystyle (-\\pi ,\\pi \]} ![{\\displaystyle (-\\pi ,\\pi \]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7fbb1843079a9df3d3bbcce3249bb2599790de9c)內;這個*θ {\\displaystyle \\theta } *叫做幅角的主值,有時寫為arg z {\\displaystyle \\operatorname {arg} z} 或atan 2 ( y , x ) {\\displaystyle \\operatorname {atan} 2(y,x)} 。則對數的主值可以定義為[\[19\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-Sarason-21):
Log
z
:=
ln
r
\+
i
θ
\=
ln
\|
z
\|
\+
i
Arg
z
\=
ln
x
2
\+
y
2
\+
i
atan2
(
y
,
x
)
.
{\\displaystyle \\operatorname {Log} z:={\\text{ln }}r+i\\theta =\\ln \|z\|+i\\operatorname {Arg} z=\\operatorname {ln} {\\sqrt {x^{2}+y^{2}}}+i\\operatorname {atan2} (y,x).}

例如,Log ( − 3 i ) \= ln 3 − π i 2 {\\displaystyle \\operatorname {Log} (-3i)=\\ln 3-{\\frac {\\pi i}{2}}} 。
## 科学應用
\[[编辑](https://zh.wikipedia.org/w/index.php?title=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&action=edit§ion=14 "编辑章节:科学應用")\]
自然指数有应用於表达[放射性衰變](https://zh.wikipedia.org/wiki/%E6%94%BE%E5%B0%84%E6%80%A7%E8%A1%B0%E8%AE%8A "放射性衰變")的过程,如放射性原子数目的[微分方程](https://zh.wikipedia.org/wiki/%E5%BE%AE%E5%88%86%E6%96%B9%E7%A8%8B "微分方程")N {\\displaystyle N} 随时间变化率d N d t \= − p N {\\displaystyle {\\frac {dN}{dt}}=-pN} ,常数p {\\displaystyle p} 为原子衰变概率,积分得N ( t ) \= N ( 0 ) exp ( − p t ) {\\displaystyle N(t)=N(0)\\exp(-pt)} 。
## 註釋
\[[编辑](https://zh.wikipedia.org/w/index.php?title=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&action=edit§ion=15 "编辑章节:註釋")\]
1. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-1)**
根據[微積分學](https://zh.wikipedia.org/wiki/%E5%BE%AE%E7%A9%8D%E5%88%86%E5%AD%B8 "微積分學"),某函數之定義域為其反函數之值域,反之其值域為其反函數之定義域。因
e
x
{\\displaystyle e^{x}}

的值域為
(
0
,
∞
)
{\\displaystyle (0,\\infty )}

,且其為
ln
x
{\\displaystyle \\ln x}

之反函數,故可知
ln
x
{\\displaystyle \\ln x}

之定義域為
(
0
,
∞
)
{\\displaystyle (0,\\infty )}

,即
ln
x
{\\displaystyle \\ln x}

在非正實數系無法定義。
2. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-3)**
若要避免與底為10的[常用對數](https://zh.wikipedia.org/wiki/%E5%B8%B8%E7%94%A8%E5%B0%8D%E6%95%B8 "常用對數")
log
x
{\\displaystyle \\log x\\!}

混淆,可用「全寫」
log
e
x
{\\displaystyle \\log \_{\\boldsymbol {e}}x\\!}

。
## 参考资料
\[[编辑](https://zh.wikipedia.org/w/index.php?title=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&action=edit§ion=16 "编辑章节:参考资料")\]
1. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-2)** 例如[哈代](https://zh.wikipedia.org/wiki/%E6%88%88%E5%BC%97%E9%9B%B7%C2%B7%E5%93%88%E7%BD%97%E5%BE%B7%C2%B7%E5%93%88%E4%BB%A3 "戈弗雷·哈罗德·哈代")和[賴特](https://zh.wikipedia.org/wiki/%E6%84%9B%E5%BE%B7%E8%8F%AF%C2%B7%E6%A2%85%E7%89%B9%E8%98%AD%C2%B7%E8%B3%B4%E7%89%B9 "愛德華·梅特蘭·賴特")所著的《數論入門》"Introduction to the theory of numbers" (1.7, Sixth edition, Oxford 2008)的注解 "log x is, of course the 'Napierian' logarithm of x, to base e. 'Common' logarithms have no mathematical interest."(log x 當然是以e為基,x的「[納皮爾](https://zh.wikipedia.org/wiki/%E7%B4%84%E7%BF%B0%C2%B7%E7%B4%8D%E7%9A%AE%E7%88%BE "約翰·納皮爾")」對數。「常用」對數在數學上毫無重要。)
2. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-4)** 證明:從1到*b*積分1/*x*,增加三角形{(0, 0), (1, 0), (1, 1)},並減去三角形{(0, 0), (*b*, 0), (*b*, 1/*b*)}。
3. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-5)**
Ernest William Hobson, [John Napier and the invention of logarithms, 1614](http://www.archive.org/details/johnnapierinvent00hobsiala), Cambridge: The University Press, 1914
4. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-6)**
[Boyer, Carl B.](https://zh.wikipedia.org/w/index.php?title=Carl_Benjamin_Boyer&action=edit&redlink=1 "Carl Benjamin Boyer(页面不存在)"), 14,Section "Jobst Bürgi", A History of Mathematics, New York: [John Wiley & Sons](https://zh.wikipedia.org/wiki/John_Wiley_%26_Sons "John Wiley & Sons"), 1991, [ISBN 978-0-471-54397-8](https://zh.wikipedia.org/wiki/Special:BookSources/978-0-471-54397-8 "Special:BookSources/978-0-471-54397-8")
5. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-7)** 選取接近e的底數b,對數表涉及的bx為單調增函數,定義域為0到1而值域為1到b;選取接近1/e的底數b,對數表涉及的bx為單調減函數,定義域為0到∞而值域為1到0。
6. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-8)**
以
10
1
2
54
{\\displaystyle 10^{\\frac {1}{2^{54}}}}

這個接近1的數為基礎。
7. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-9)**
[博納文圖拉·卡瓦列里](https://zh.wikipedia.org/wiki/%E5%8D%9A%E7%B4%8D%E6%96%87%E5%9C%96%E6%8B%89%C2%B7%E5%8D%A1%E7%93%A6%E5%88%97%E9%87%8C "博納文圖拉·卡瓦列里")在1635年的《Geometria indivisibilibus continuorum nova quadam ratione promota》中給出[定積分](https://zh.wikipedia.org/wiki/%E5%AE%9A%E7%A7%AF%E5%88%86 "定积分"):
∫
0
a
x
n
d
x
\=
1
n
\+
1
a
n
\+
1
n
≥
0
,
{\\displaystyle \\int \_{0}^{a}x^{n}\\,dx={\\tfrac {1}{n+1}}\\,a^{n+1}\\qquad n\\geq 0,}

其[不定積分](https://zh.wikipedia.org/wiki/%E4%B8%8D%E5%AE%9A%E7%A9%8D%E5%88%86 "不定積分")形式為:
∫
x
n
d
x
\=
1
n
\+
1
x
n
\+
1
\+
C
n
≠
−
1\.
{\\displaystyle \\int x^{n}\\,dx={\\tfrac {1}{n+1}}\\,x^{n+1}+C\\qquad n\\neq -1.}

獨立發現者還有:[皮埃爾·德·費馬](https://zh.wikipedia.org/wiki/%E7%9A%AE%E5%9F%83%E7%88%BE%C2%B7%E5%BE%B7%C2%B7%E8%B2%BB%E9%A6%AC "皮埃爾·德·費馬")、[罗贝瓦尔的吉尔](https://zh.wikipedia.org/w/index.php?title=%E7%BD%97%E8%B4%9D%E7%93%A6%E5%B0%94%E7%9A%84%E5%90%89%E5%B0%94&action=edit&redlink=1 "罗贝瓦尔的吉尔(页面不存在)")(英语:[Gilles de Roberval](https://en.wikipedia.org/wiki/Gilles_de_Roberval "en:Gilles de Roberval"))和[埃萬傑利斯塔·托里拆利](https://zh.wikipedia.org/wiki/%E5%9F%83%E8%90%AC%E5%82%91%E5%88%A9%E6%96%AF%E5%A1%94%C2%B7%E6%89%98%E9%87%8C%E6%8B%86%E5%88%A9 "埃萬傑利斯塔·托里拆利")。
8. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-10)** 設a=1,x軸上\[a,b\]兩點對應的雙曲線線段與原點圍成的[雙曲線扇形](https://zh.wikipedia.org/wiki/%E9%9B%99%E6%9B%B2%E7%B7%9A%E6%89%87%E5%BD%A2 "雙曲線扇形")面積為f(b),\[c,d\]對應的扇形面積為f(d)-f(c),d=bc,即為f(bc)-f(c),當且僅當f(bc)=f(b)+f(c)時,兩雙曲線扇形面積相等。
9. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-11)**
J. J. O'Connor; E. F. Robertson, [The number e](https://web.archive.org/web/20120219231529/http://www-history.mcs.st-and.ac.uk/HistTopics/e.html), The MacTutor History of Mathematics archive, September 2001 \[2009-02-02\], ([原始内容](http://www-history.mcs.st-and.ac.uk/HistTopics/e.html)存档于2012-02-19)
10. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-12)**
卡瓦列里弓形面積公式,對於負數值的*n*(*x*的負數冪),由於在*x* = 0處有個[奇點](https://zh.wikipedia.org/wiki/%E5%A5%87%E7%82%B9_\(%E6%95%B0%E5%AD%A6\) "奇点 (数学)"),因此定積分的下限為1,而不是0,即為:
∫
1
a
x
n
d
x
\=
1
n
\+
1
(
a
n
\+
1
−
1
)
n
≠
−
1\.
{\\displaystyle \\int \_{1}^{a}x^{n}\\,dx={\\tfrac {1}{n+1}}(a^{n+1}-1)\\qquad n\\neq -1.}

[歐拉](https://zh.wikipedia.org/wiki/%E6%AD%90%E6%8B%89 "歐拉")的自然對數定義:
ln
(
x
)
\=
lim
n
→
∞
n
(
x
1
/
n
−
1
)
\=
lim
n
→
−
1
1
n
\+
1
(
x
n
\+
1
−
1
)
{\\displaystyle {\\begin{aligned}\\ln(x)&=\\lim \_{n\\rightarrow \\infty }n(x^{1/n}-1)\\\\&=\\lim \_{n\\rightarrow -1}{\\tfrac {1}{n+1}}(x^{n+1}-1)\\\\\\end{aligned}}}

11. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-ReferenceA_13-0)**
Maor, Eli, e: The Story of a Number, [Princeton University Press](https://zh.wikipedia.org/wiki/Princeton_University_Press "Princeton University Press"), 2009, [ISBN 978-0-691-14134-3](https://zh.wikipedia.org/wiki/Special:BookSources/978-0-691-14134-3 "Special:BookSources/978-0-691-14134-3")
,sections 1, 1.
[Eves, Howard Whitley](https://zh.wikipedia.org/w/index.php?title=Howard_Eves&action=edit&redlink=1 "Howard Eves(页面不存在)"), An introduction to the history of mathematics, The Saunders series 6th, Philadelphia: Saunders, 1992, [ISBN 978-0-03-029558-4](https://zh.wikipedia.org/wiki/Special:BookSources/978-0-03-029558-4 "Special:BookSources/978-0-03-029558-4")
, section 9-3
[Boyer, Carl B.](https://zh.wikipedia.org/w/index.php?title=Carl_Benjamin_Boyer&action=edit&redlink=1 "Carl Benjamin Boyer(页面不存在)"), A History of Mathematics, New York: [John Wiley & Sons](https://zh.wikipedia.org/wiki/John_Wiley_%26_Sons "John Wiley & Sons"), 1991, [ISBN 978-0-471-54397-8](https://zh.wikipedia.org/wiki/Special:BookSources/978-0-471-54397-8 "Special:BookSources/978-0-471-54397-8")
, p. 484, 489
12. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-14)**
(
1
\+
1
n
)
x
\=
(
(
1
\+
1
n
)
n
)
x
n
{\\displaystyle \\left(1+{\\frac {1}{n}}\\right)^{x}=\\left(\\left(1+{\\frac {1}{n}}\\right)^{n}\\right)^{\\frac {x}{n}}}

在最初的概念下,底數是接近1的數,而對數是整數;經過簡單變換後,底數變大了,成為接近數學常量e的數,而對數變小了,成為 x/n。
13. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-LangIV.2_15-0)**
Lang [1997](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#CITEREFLang1997), section IV.2
14. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-16)**
[Wolfram, Stephen](https://zh.wikipedia.org/wiki/%E5%8F%B2%E8%92%82%E8%8A%AC%C2%B7%E6%B2%83%E7%88%BE%E5%A4%AB%E5%8B%92%E5%A7%86 "史蒂芬·沃爾夫勒姆"). ["Calculation of *d/dx(Log(b,x))*"](https://web.archive.org/web/20110718075346/http://www.wolframalpha.com/input/?i=d%2Fdx%28Log%28b%2Cx%29%29). from [Wolfram Alpha](https://zh.wikipedia.org/wiki/Wolfram_Alpha "Wolfram Alpha"): Computational Knowledge Engine, [Wolfram Research](https://zh.wikipedia.org/wiki/Wolfram_Research "Wolfram Research"). ([原始内容](http://www.wolframalpha.com/input/?i=d%2Fdx%28Log%28b%2Cx%29%29)存档于2011-07-18) (英语).
15. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-17)**
[Kline, Morris](https://zh.wikipedia.org/w/index.php?title=Morris_Kline&action=edit&redlink=1 "Morris Kline(页面不存在)"), Calculus: an intuitive and physical approach, Dover books on mathematics, New York: [Dover Publications](https://zh.wikipedia.org/w/index.php?title=Dover_Publications&action=edit&redlink=1 "Dover Publications(页面不存在)"), 1998, [ISBN 978-0-486-40453-0](https://zh.wikipedia.org/wiki/Special:BookSources/978-0-486-40453-0 "Special:BookSources/978-0-486-40453-0")
, p. 386
16. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-18)**
Havil, Julian, Gamma: Exploring Euler's Constant, [Princeton University Press](https://zh.wikipedia.org/wiki/Princeton_University_Press "Princeton University Press"), 2003, [ISBN 978-0-691-09983-5](https://zh.wikipedia.org/wiki/Special:BookSources/978-0-691-09983-5 "Special:BookSources/978-0-691-09983-5")
, sections 11.5 and 13.8
17. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-19)**
Eves, Howard, [Foundations and Fundamental Concepts of Mathematics](http://books.google.com/books?id=J9QcmFHj8EwC&pg=PA59), Courier Dover Publications: 59, 2012, [ISBN 9780486132204](https://zh.wikipedia.org/wiki/Special:BookSources/9780486132204 "Special:BookSources/9780486132204"), "We also owe to Lambert the first systematic development of the theory of hyperbolic functions and, indeed, our present notation for these functions."
18. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-20)**
Ratcliffe, John, [Foundations of Hyperbolic Manifolds](https://web.archive.org/web/20140112001533/http://books.google.com/books?id=JV9m8o-ok6YC&pg=PA99), Graduate Texts in Mathematics **149**, Springer: 99, 2006 \[2014-03-28\], [ISBN 9780387331973](https://zh.wikipedia.org/wiki/Special:BookSources/9780387331973 "Special:BookSources/9780387331973"), ([原始内容](http://books.google.com/books?id=JV9m8o-ok6YC&pg=PA99)存档于2014-01-12), "That the area of a hyperbolic triangle is proportional to its angle defect first appeared in Lambert's monograph *Theorie der Parallellinien*, which was published posthumously in 1786."
19. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-Sarason_21-0)** Sarason, Section IV.9.
## 延伸阅读
\[[编辑](https://zh.wikipedia.org/w/index.php?title=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&action=edit§ion=17 "编辑章节:延伸阅读")\]
- John B. Conway, *Functions of one complex variable*, 2nd edition, Springer, 1978.
- [Serge Lang](https://zh.wikipedia.org/wiki/%E5%A1%9E%E5%B0%94%E6%97%A5%C2%B7%E5%85%B0 "塞尔日·兰"), *Complex analysis*, 3rd edition, Springer-Verlag, 1993.
- Gino Moretti, *Functions of a Complex Variable*, Prentice-Hall, Inc., 1964.
- Donald Sarason, *[Complex function theory](http://books.google.com/books?id=FUWPyHM-XK0C&pg=PA40&dq=logarithm+intitle:Complex+intitle:function+intitle:theory+inauthor:sarason&lr=&as_brr=0&ei=df4UScGONJ_EtAPZ5-XjCw) ([页面存档备份](https://web.archive.org/web/20140111075715/http://books.google.com/books?id=FUWPyHM-XK0C&pg=PA40&dq=logarithm+intitle:Complex+intitle:function+intitle:theory+inauthor:sarason&lr=&as_brr=0&ei=df4UScGONJ_EtAPZ5-XjCw),存于[互联网档案馆](https://zh.wikipedia.org/wiki/%E4%BA%92%E8%81%94%E7%BD%91%E6%A1%A3%E6%A1%88%E9%A6%86 "互联网档案馆"))*, 2nd edition, American Mathematical Society, 2007.
- [E. T. Whittaker](https://zh.wikipedia.org/w/index.php?title=E._T._Whittaker&action=edit&redlink=1 "E. T. Whittaker(页面不存在)")(英语:[E. T. Whittaker](https://en.wikipedia.org/wiki/E._T._Whittaker "en:E. T. Whittaker")) and [G. N. Watson](https://zh.wikipedia.org/wiki/%E5%96%AC%E6%B2%BB%C2%B7%E5%A5%88%E7%B6%AD%E7%88%BE%C2%B7%E6%B2%83%E6%A3%AE "喬治·奈維爾·沃森"), *A Course in Modern Analysis*, fourth edition, Cambridge University Press, 1927.

检索自“<https://zh.wikipedia.org/w/index.php?title=自然對數&oldid=91225956>”
[分类](https://zh.wikipedia.org/wiki/Special:Categories "Special:Categories"):
- [对数](https://zh.wikipedia.org/wiki/Category:%E5%AF%B9%E6%95%B0 "Category:对数")
- [基本特殊函数](https://zh.wikipedia.org/wiki/Category:%E5%9F%BA%E6%9C%AC%E7%89%B9%E6%AE%8A%E5%87%BD%E6%95%B0 "Category:基本特殊函数")
- [E (数学常数)](https://zh.wikipedia.org/wiki/Category:E_\(%E6%95%B0%E5%AD%A6%E5%B8%B8%E6%95%B0\) "Category:E (数学常数)")
- [一元运算](https://zh.wikipedia.org/wiki/Category:%E4%B8%80%E5%85%83%E8%BF%90%E7%AE%97 "Category:一元运算")
隐藏分类:
- [CS1英语来源 (en)](https://zh.wikipedia.org/wiki/Category:CS1%E8%8B%B1%E8%AF%AD%E6%9D%A5%E6%BA%90_\(en\) "Category:CS1英语来源 (en)")
- [含有英語的條目](https://zh.wikipedia.org/wiki/Category:%E5%90%AB%E6%9C%89%E8%8B%B1%E8%AA%9E%E7%9A%84%E6%A2%9D%E7%9B%AE "Category:含有英語的條目")
- 本页面最后修订于2026年1月23日 (星期五) 19:22。
- 本站的全部文字在[知识共享 署名-相同方式共享 4.0协议](https://zh.wikipedia.org/wiki/Wikipedia:CC_BY-SA_4.0%E5%8D%8F%E8%AE%AE%E6%96%87%E6%9C%AC "Wikipedia:CC BY-SA 4.0协议文本")之条款下提供,附加条款亦可能应用。(请参阅[使用条款](https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Terms_of_Use))
Wikipedia®和维基百科标志是[维基媒体基金会](https://wikimediafoundation.org/)的注册商标;维基™是维基媒体基金会的商标。
维基媒体基金会是按美国国內稅收法501(c)(3)登记的[非营利慈善机构](https://donate.wikimedia.org/wiki/Special:MyLanguage/Tax_deductibility)。
- [隐私政策](https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy)
- [关于维基百科](https://zh.wikipedia.org/wiki/Wikipedia:%E5%85%B3%E4%BA%8E)
- [免责声明](https://zh.wikipedia.org/wiki/Wikipedia:%E5%85%8D%E8%B4%A3%E5%A3%B0%E6%98%8E)
- [行为准则](https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct)
- [开发者](https://developer.wikimedia.org/)
- [统计](https://stats.wikimedia.org/#/zh.wikipedia.org)
- [Cookie声明](https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement)
- [移动版视图](https://zh.wikipedia.org/w/index.php?title=%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8&mobileaction=toggle_view_mobile)
- [](https://www.wikimedia.org/)
- [](https://www.mediawiki.org/)
搜索
开关目录
自然對數
62种语言
[添加话题](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8) |
| Readable Markdown | [](https://zh.wikipedia.org/wiki/File:Mplwp_ln.svg)
自然對數的[函數圖像](https://zh.wikipedia.org/wiki/%E5%87%BD%E6%95%B0%E5%9B%BE%E5%83%8F "函数图像")
[](https://zh.wikipedia.org/wiki/File:Log-def.svg)
自然对数的積分定義
**自然对数**(英語:Natural logarithm)為以[数学常数](https://zh.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E5%B8%B8%E6%95%B0 "数学常数")[](https://zh.wikipedia.org/wiki/E_\(%E6%95%B0%E5%AD%A6%E5%B8%B8%E6%95%B0\) "E (数学常数)")為[底數](https://zh.wikipedia.org/wiki/%E5%BA%95%E6%95%B0_\(%E5%AF%B9%E6%95%B0\) "底数 (对数)")的[对数函数](https://zh.wikipedia.org/wiki/%E5%AF%B9%E6%95%B0%E5%87%BD%E6%95%B0 "对数函数"),標記作或,其[反函数](https://zh.wikipedia.org/wiki/%E5%8F%8D%E5%87%BD%E6%95%B8 "反函數")為[指數函數](https://zh.wikipedia.org/wiki/%E6%8C%87%E6%95%B8%E5%87%BD%E6%95%B8 "指數函數")。[\[註 1\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-1)
自然[对数积分](https://zh.wikipedia.org/wiki/%E5%AF%B9%E6%95%B0%E7%A7%AF%E5%88%86 "对数积分")定義為對任何正[實數](https://zh.wikipedia.org/wiki/%E5%AF%A6%E6%95%B8 "實數"),由到所圍成,[曲線下的面積](https://zh.wikipedia.org/wiki/%E7%A9%8D%E5%88%86 "積分")。如果小於1,則計算面積為負數。

則定義為唯一的實數使得。
自然对数一般表示為,數學中亦有以表示自然對數。[\[1\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-2)[\[註 2\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-3)
[](https://zh.wikipedia.org/wiki/File:Hyperbolic_sector.svg)
[雙曲線扇形](https://zh.wikipedia.org/wiki/%E9%9B%99%E6%9B%B2%E7%B7%9A%E6%89%87%E5%BD%A2 "雙曲線扇形")是[笛卡爾平面](https://zh.wikipedia.org/wiki/%E7%AC%9B%E5%8D%A1%E5%B0%94%E5%B9%B3%E9%9D%A2 "笛卡尔平面")上的一個區域,由從原點到和的射線,以及[雙曲線](https://zh.wikipedia.org/wiki/%E9%9B%99%E6%9B%B2%E7%B7%9A "雙曲線")圍成。在標準位置的雙曲線扇形有且,它的面積為[\[2\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-4),此時雙曲線扇形對應正[雙曲角](https://zh.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E8%A7%92 "双曲角")。
[](https://zh.wikipedia.org/wiki/File:Gregoire_de_St_Vincent_Quadrature.svg)
當直角雙曲線下的兩段面積相等時,的值呈[等比數列](https://zh.wikipedia.org/wiki/%E7%AD%89%E6%AF%94%E6%95%B8%E5%88%97 "等比數列"),,的值也呈等比數列,。
[約翰·納皮爾](https://zh.wikipedia.org/wiki/%E7%B4%84%E7%BF%B0%C2%B7%E7%B4%8D%E7%9A%AE%E7%88%BE "約翰·納皮爾")在1614年[\[3\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-5)以及[约斯特·比尔吉](https://zh.wikipedia.org/wiki/%E7%BA%A6%E6%96%AF%E7%89%B9%C2%B7%E6%AF%94%E5%B0%94%E5%90%89 "约斯特·比尔吉")在6年後[\[4\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-6),分別發表了獨立編制的[對數表](https://zh.wikipedia.org/wiki/%E5%AF%B9%E6%95%B0%E8%A1%A8 "对数表"),當時通過對接近1的底數的大量乘[冪](https://zh.wikipedia.org/wiki/%E5%86%AA "冪")運算,來找到指定範圍和精度的[對數](https://zh.wikipedia.org/wiki/%E5%B0%8D%E6%95%B8 "對數")和所對應的真數。當時還沒出現[有理數](https://zh.wikipedia.org/wiki/%E6%9C%89%E7%90%86%E6%95%B0 "有理数")冪的概念,按後世的觀點,[約翰·納皮爾](https://zh.wikipedia.org/wiki/%E7%B4%84%E7%BF%B0%C2%B7%E7%B4%8D%E7%9A%AE%E7%88%BE "約翰·納皮爾")的底數0.999999910000000相當接近[\[5\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-7),而[约斯特·比尔吉](https://zh.wikipedia.org/wiki/%E7%BA%A6%E6%96%AF%E7%89%B9%C2%B7%E6%AF%94%E5%B0%94%E5%90%89 "约斯特·比尔吉")的底數1.000110000相當接近自然對數的底數。實際上不需要做開高次方這種艱難運算,[約翰·納皮爾](https://zh.wikipedia.org/wiki/%E7%B4%84%E7%BF%B0%C2%B7%E7%B4%8D%E7%9A%AE%E7%88%BE "約翰·納皮爾")用了20年時間進行相當於數百萬次乘法的計算,[亨利·布里格斯](https://zh.wikipedia.org/w/index.php?title=%E4%BA%A8%E5%88%A9%C2%B7%E5%B8%83%E9%87%8C%E6%A0%BC%E6%96%AF&action=edit&redlink=1 "亨利·布里格斯(页面不存在)")建議納皮爾改用10為底數未果,他用自己的方法[\[6\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-8)於1624年部份完成了[常用對數](https://zh.wikipedia.org/wiki/%E5%B8%B8%E7%94%A8%E5%B0%8D%E6%95%B8 "常用對數")表的編制。
形如的曲線都有一個代數[反導數](https://zh.wikipedia.org/wiki/%E5%8F%8D%E5%B0%8E%E6%95%B8 "反導數"),除了特殊情況對應於雙曲線的[弓形面積](https://zh.wikipedia.org/w/index.php?title=%E5%BC%93%E5%BD%A2%E9%9D%A2%E7%A9%8D&action=edit&redlink=1 "弓形面積(页面不存在)"),即[雙曲線扇形](https://zh.wikipedia.org/wiki/%E9%9B%99%E6%9B%B2%E7%B7%9A%E6%89%87%E5%BD%A2 "雙曲線扇形");其他情況都由1635年發表的[卡瓦列里弓形面積公式](https://zh.wikipedia.org/w/index.php?title=%E5%8D%A1%E7%93%A6%E5%88%97%E9%87%8C%E5%BC%93%E5%BD%A2%E9%9D%A2%E7%A9%8D%E5%85%AC%E5%BC%8F&action=edit&redlink=1 "卡瓦列里弓形面積公式(页面不存在)")給出[\[7\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-9),其中拋物線的弓形面積由公元前3世紀的[阿基米德](https://zh.wikipedia.org/wiki/%E9%98%BF%E5%9F%BA%E7%B1%B3%E5%BE%B7 "阿基米德")完成([拋物線的弓形面積](https://zh.wikipedia.org/wiki/%E6%8B%8B%E7%89%A9%E7%B7%9A%E7%9A%84%E5%BC%93%E5%BD%A2%E9%9D%A2%E7%A9%8D "拋物線的弓形面積")),雙曲線的弓形面積需要發明一個新函數。1647年[圣文森特的格列高利](https://zh.wikipedia.org/w/index.php?title=%E5%9C%A3%E6%96%87%E6%A3%AE%E7%89%B9%E7%9A%84%E6%A0%BC%E5%88%97%E9%AB%98%E5%88%A9&action=edit&redlink=1 "圣文森特的格列高利(页面不存在)")將對數聯繫於雙曲線的弓形面積,他發現x軸上![{\\displaystyle \[a,b\]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c4b788fc5c637e26ee98b45f89a5c08c85f7935)兩點對應的雙曲線線段與原點圍成的[雙曲線扇形](https://zh.wikipedia.org/wiki/%E9%9B%99%E6%9B%B2%E7%B7%9A%E6%89%87%E5%BD%A2 "雙曲線扇形")同![{\\displaystyle \[c,d\]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d85b3b21d6d891d97f85e263d394e3c90287586f)對應的扇形,在時面積相同,這指出了雙曲線從到的積分滿足[\[8\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-10):

1649年,[萨拉萨的阿尔丰斯·安东尼奥](https://zh.wikipedia.org/w/index.php?title=%E8%90%A8%E6%8B%89%E8%90%A8%E7%9A%84%E9%98%BF%E5%B0%94%E4%B8%B0%E6%96%AF%C2%B7%E5%AE%89%E4%B8%9C%E5%B0%BC%E5%A5%A5&action=edit&redlink=1 "萨拉萨的阿尔丰斯·安东尼奥(页面不存在)")將雙曲線下的面積解釋為對數。大約1665年,[伊薩克·牛頓](https://zh.wikipedia.org/wiki/%E4%BC%8A%E8%90%A8%E5%85%8B%C2%B7%E7%89%9B%E9%A1%BF "伊萨克·牛顿")推廣了[二項式定理](https://zh.wikipedia.org/wiki/%E4%BA%8C%E9%A1%B9%E5%BC%8F%E5%AE%9A%E7%90%86 "二项式定理"),他將展開並逐項積分,得到了自然對數的無窮級數。“自然對數”最早描述見於[尼古拉斯·麥卡托](https://zh.wikipedia.org/wiki/%E5%B0%BC%E5%8F%A4%E6%8B%89%E6%96%AF%C2%B7%E9%BA%A5%E5%8D%A1%E6%89%98 "尼古拉斯·麥卡托")在1668年出版的著作《Logarithmotechnia》中[\[9\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-11),他也獨立發現了同樣的級數,即自然對數的[麥卡托級數](https://zh.wikipedia.org/wiki/%E9%BA%A5%E5%8D%A1%E6%89%98%E7%B4%9A%E6%95%B8 "麥卡托級數")。
大約1730年,[歐拉](https://zh.wikipedia.org/wiki/%E6%AD%90%E6%8B%89 "歐拉")定義互為逆函數的[指數函數](https://zh.wikipedia.org/wiki/%E6%8C%87%E6%95%B8%E5%87%BD%E6%95%B8 "指數函數")和自然對數為[\[10\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-12)[\[11\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-ReferenceA-13):


1742年[威廉·琼斯](https://zh.wikipedia.org/wiki/%E5%A8%81%E5%BB%89%C2%B7%E7%90%BC%E6%96%AF_\(%E6%95%B0%E5%AD%A6%E5%AE%B6\) "威廉·琼斯 (数学家)")發表了現在的[冪](https://zh.wikipedia.org/wiki/%E5%86%AA "冪")[指數](https://zh.wikipedia.org/wiki/%E6%8C%87%E6%95%B0 "指数")概念[\[12\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-14)。
[歐拉](https://zh.wikipedia.org/wiki/%E6%AD%90%E6%8B%89 "歐拉")定義自然對數為[序列的極限](https://zh.wikipedia.org/wiki/%E5%BA%8F%E5%88%97%E7%9A%84%E6%9E%81%E9%99%90 "序列的极限"):

正式定義為[積分](https://zh.wikipedia.org/wiki/%E7%A9%8D%E5%88%86 "積分"),

這個函數為對數是因滿足[對數](https://zh.wikipedia.org/wiki/%E5%B0%8D%E6%95%B8 "對數")的基本性質:

這可以通過將定義了的積分拆分為兩部份,並在第二部份中進行[換元](https://zh.wikipedia.org/wiki/%E6%8D%A2%E5%85%83%E7%A7%AF%E5%88%86%E6%B3%95 "换元积分法")來證實:


冪公式可如下推出:

第二個等式使用了[換元](https://zh.wikipedia.org/wiki/%E6%8D%A2%E5%85%83%E7%A7%AF%E5%88%86%E6%B3%95 "换元积分法")。
自然對數還有在某些情況下更有用的另一個積分表示:

- 
- 
(參見[複數對數](https://zh.wikipedia.org/wiki/%E8%A4%87%E6%95%B8%E5%B0%8D%E6%95%B8 "複數對數"))
- 
- 
- 
- 
- 
| 證明 |
|---|
|  |
[](https://zh.wikipedia.org/wiki/File:Logarithm_derivative.svg)
自然對數的圖像和它在處的切線。
[](https://zh.wikipedia.org/wiki/File:LogTay.svg)
的泰勒多項式只在範圍內有逐步精確的近似。
自然對數的[導數](https://zh.wikipedia.org/wiki/%E5%B0%8E%E6%95%B8 "導數")為

證明一(微積分第一基本定理):
證明二:[按此影片](https://www.youtube.com/watch?v=yUpDRpkUhf4&list=PL19E79A0638C8D449&index=28)([页面存档备份](https://web.archive.org/web/20210402030947/https://www.youtube.com/watch?v=yUpDRpkUhf4&list=PL19E79A0638C8D449&index=28),存于[互联网档案馆](https://zh.wikipedia.org/wiki/%E4%BA%92%E8%81%94%E7%BD%91%E6%A1%A3%E6%A1%88%E9%A6%86 "互联网档案馆"))


![{\\displaystyle =\\lim \_{h\\to 0}\\left\[{\\frac {1}{h}}\\ln \\left(1+{\\frac {h}{x}}\\right)\\right\]\\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0d8ec064c03dca33ec9440c431407ea9090bbe1)

设


![{\\displaystyle =\\lim \_{u\\to 0}\\ln \\left\[(1+u)^{\\frac {1}{u}}\\right\]^{\\frac {1}{x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a1cdcd1187e5294c22ac0293d87549d6e1eef9a)

设

![{\\displaystyle ={\\frac {1}{x}}\\ln \\left\[\\lim \_{n\\to \\infty }\\left(1+{\\frac {1}{n}}\\right)^{n}\\right\]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e0380744b61c8586952f38a93d51089fad2b6c3)


用自然對數定義的更一般的對數函數,,根據其[逆函數](https://zh.wikipedia.org/wiki/%E9%80%86%E5%87%BD%E6%95%B0 "逆函数")即一般[指數函數](https://zh.wikipedia.org/wiki/%E6%8C%87%E6%95%B8%E5%87%BD%E6%95%B8 "指數函數")的性質,它的導數為[\[13\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-LangIV.2-15)[\[14\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-16):

根據[鏈式法則](https://zh.wikipedia.org/wiki/%E9%93%BE%E5%BC%8F%E6%B3%95%E5%88%99 "链式法则"),以為參數的自然對數的導數為
![{\\displaystyle {\\frac {d}{dx}}\\ln\[f(x)\]={\\frac {f'(x)}{f(x)}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d12207bb467c5467b6f0587fd9e0f56a983e4c4)
右手端的商叫做的[對數導數](https://zh.wikipedia.org/w/index.php?title=%E5%B0%8D%E6%95%B8%E5%B0%8E%E6%95%B8&action=edit&redlink=1 "對數導數(页面不存在)"),通過的導數的方法計算叫做[對數微分](https://zh.wikipedia.org/wiki/%E5%B0%8D%E6%95%B8%E5%BE%AE%E5%88%86 "對數微分")[\[15\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-17)。
自然對數的導數性質導致了在0處的[泰勒級數](https://zh.wikipedia.org/wiki/%E6%B3%B0%E5%8B%92%E7%BA%A7%E6%95%B0 "泰勒级数"),也叫做[麥卡托級數](https://zh.wikipedia.org/wiki/%E9%BA%A5%E5%8D%A1%E6%89%98%E7%B4%9A%E6%95%B8 "麥卡托級數"):

對於所有但不包括
把代入中,可得到自身的級數。通過在麥卡托級數上使用[歐拉變換](https://zh.wikipedia.org/wiki/%E4%BA%8C%E9%A0%85%E5%BC%8F%E8%AE%8A%E6%8F%9B "二項式變換"),可以得到對[絕對值](https://zh.wikipedia.org/wiki/%E7%BB%9D%E5%AF%B9%E5%80%BC "绝对值")大於1的任何有效的如下級數:

這個級數類似於[贝利-波尔温-普劳夫公式](https://zh.wikipedia.org/wiki/%E8%B4%9D%E5%88%A9-%E6%B3%A2%E5%B0%94%E6%B8%A9-%E6%99%AE%E5%8A%B3%E5%A4%AB%E5%85%AC%E5%BC%8F "贝利-波尔温-普劳夫公式")。
還要注意到是自身的逆函數,所以要生成特定數的自然對數,簡單把代入**中。

對於
自然數的倒數的總和

叫做[調和級數](https://zh.wikipedia.org/wiki/%E8%AA%BF%E5%92%8C%E7%B4%9A%E6%95%B8 "調和級數")。它與自然對數有密切聯繫:當趨於無窮的時候,差

[收斂](https://zh.wikipedia.org/wiki/%E5%BA%8F%E5%88%97%E7%9A%84%E6%9E%81%E9%99%90 "序列的极限")於[欧拉-马歇罗尼常数](https://zh.wikipedia.org/wiki/%E6%AC%A7%E6%8B%89-%E9%A9%AC%E6%AD%87%E7%BD%97%E5%B0%BC%E5%B8%B8%E6%95%B0 "欧拉-马歇罗尼常数")。這個關係有助於分析算法比如[快速排序](https://zh.wikipedia.org/wiki/%E5%BF%AB%E9%80%9F%E6%8E%92%E5%BA%8F "快速排序")的性能。[\[16\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-18)
自然對數通過[分部積分法](https://zh.wikipedia.org/wiki/%E5%88%86%E9%83%A8%E7%A9%8D%E5%88%86%E6%B3%95 "分部積分法")積分:

假設:


所以:

自然對數可以簡化形如的函數的積分:的一個[原函數](https://zh.wikipedia.org/wiki/%E5%8E%9F%E5%87%BD%E6%95%B0 "原函数")給出為。這是基於[鏈式法則](https://zh.wikipedia.org/wiki/%E9%93%BE%E5%BC%8F%E6%B3%95%E5%88%99 "链式法则")和如下事實:

換句話說,

且

下面是的例子:

設且:

[](https://zh.wikipedia.org/wiki/File:Cartesian_hyperbolic_triangle.svg)
在[直角雙曲線](https://zh.wikipedia.org/w/index.php?title=%E7%9B%B4%E8%A7%92%E9%9B%99%E6%9B%B2%E7%B7%9A&action=edit&redlink=1 "直角雙曲線(页面不存在)")(方程)下,雙曲線三角形(黃色),和對應於[雙曲角](https://zh.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E8%A7%92 "双曲角")**的[雙曲線扇形](https://zh.wikipedia.org/wiki/%E9%9B%99%E6%9B%B2%E7%B7%9A%E6%89%87%E5%BD%A2 "雙曲線扇形")(紅色)。這個三角形的邊分別是[雙曲函數](https://zh.wikipedia.org/wiki/%E9%9B%99%E6%9B%B2%E5%87%BD%E6%95%B8 "雙曲函數")中[](https://zh.wikipedia.org/wiki/%E9%9B%99%E6%9B%B2%E9%A4%98%E5%BC%A6 "雙曲餘弦")和[](https://zh.wikipedia.org/wiki/%E9%9B%99%E6%9B%B2%E6%AD%A3%E5%BC%A6 "雙曲正弦")的倍。
[](https://zh.wikipedia.org/wiki/File:Hyperbolic_functions-2.svg)
射線出原點交[單位雙曲線](https://zh.wikipedia.org/wiki/%E5%8D%95%E4%BD%8D%E5%8F%8C%E6%9B%B2%E7%BA%BF "单位双曲线")於點,這裡的是射線、雙曲線和軸圍成的面積的二倍。對於雙曲線上位於x軸下方的點,這個面積被認為是負值。
在18世紀,[約翰·海因里希·蘭伯特](https://zh.wikipedia.org/wiki/%E7%BA%A6%E7%BF%B0%C2%B7%E6%B5%B7%E5%9B%A0%E9%87%8C%E5%B8%8C%C2%B7%E5%85%B0%E4%BC%AF%E7%89%B9 "约翰·海因里希·兰伯特")介入[雙曲函數](https://zh.wikipedia.org/wiki/%E9%9B%99%E6%9B%B2%E5%87%BD%E6%95%B8 "雙曲函數")[\[17\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-19),並計算[雙曲幾何](https://zh.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E5%87%A0%E4%BD%95 "双曲几何")中[雙曲三角形](https://zh.wikipedia.org/wiki/%E9%9B%99%E6%9B%B2%E4%B8%89%E8%A7%92%E5%BD%A2 "雙曲三角形")的面積[\[18\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-20)。對數函數是在[直角雙曲線](https://zh.wikipedia.org/w/index.php?title=%E7%9B%B4%E8%A7%92%E9%9B%99%E6%9B%B2%E7%B7%9A&action=edit&redlink=1 "直角雙曲線(页面不存在)")下定義的,可構造雙曲線直角三角形,底邊在線上,一個頂點是原點,另一個頂點在雙曲線。這裡以自然對數即雙曲角作為參數的函數,是自然對數的逆函數[指數函數](https://zh.wikipedia.org/wiki/%E6%8C%87%E6%95%B8%E5%87%BD%E6%95%B8 "指數函數"),即要形成指定[雙曲角](https://zh.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E8%A7%92 "双曲角"),在漸近線即x或y軸上需要有的或的值。顯見這裡的底邊是,垂線是。
通過旋轉和縮小[線性變換](https://zh.wikipedia.org/wiki/%E7%BA%BF%E6%80%A7%E5%8F%98%E6%8D%A2 "线性变换"),得到[單位雙曲線](https://zh.wikipedia.org/wiki/%E5%8D%95%E4%BD%8D%E5%8F%8C%E6%9B%B2%E7%BA%BF "单位双曲线")下的情況,有:
- 
- 
[單位雙曲線](https://zh.wikipedia.org/wiki/%E5%8D%95%E4%BD%8D%E5%8F%8C%E6%9B%B2%E7%BA%BF "单位双曲线")中雙曲線扇形的面積是對應[直角雙曲線](https://zh.wikipedia.org/w/index.php?title=%E7%9B%B4%E8%A7%92%E9%9B%99%E6%9B%B2%E7%B7%9A&action=edit&redlink=1 "直角雙曲線(页面不存在)")下雙曲角的。
儘管自然對數沒有簡單的[連分數](https://zh.wikipedia.org/wiki/%E9%80%A3%E5%88%86%E6%95%B8 "連分數"),但有一些[廣義連分數](https://zh.wikipedia.org/w/index.php?title=%E5%BB%A3%E7%BE%A9%E9%80%A3%E5%88%86%E6%95%B8&action=edit&redlink=1 "廣義連分數(页面不存在)")如:


這些連分數特別是最後一個對接近1的值快速收斂。但是,更大的數的自然對數,可以輕易的用這些更小的數的自然對數的加法來計算,帶有類似的快速收斂。
例如,因為,[2的自然對數](https://zh.wikipedia.org/wiki/2%E7%9A%84%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8 "2的自然對數")可以計算為:

進而,因為,10的自然對數可以計算為:

[指數函數](https://zh.wikipedia.org/wiki/%E6%8C%87%E6%95%B8%E5%87%BD%E6%95%B8 "指數函數")可以擴展為對任何複數得出複數值為的函數,只需要簡單使用**為複數的無窮級數;這個指數函數的逆函數形成複數對數,並帶有正常的對數的多數性質。但是它涉及到了兩個困難:不存在**使得;並且有著。因為乘法性質仍適用於複數指數函數,,對於所有複數和整數。
所以對數不能定義在整個[複平面](https://zh.wikipedia.org/wiki/%E8%A4%87%E5%B9%B3%E9%9D%A2 "複平面")上,並且它是[多值函數](https://zh.wikipedia.org/wiki/%E5%A4%9A%E5%80%BC%E5%87%BD%E6%95%B0 "多值函数"),就是說任何複數對數都可以增加的任何整數倍而成為等價的對數。複數對數只能在[切割平面](https://zh.wikipedia.org/wiki/%E8%A4%87%E5%B9%B3%E9%9D%A2#%E5%88%87%E5%89%B2%E8%A4%87%E5%B9%B3%E9%9D%A2 "複平面")上是單值函數。例如,或或等等;儘管,不能定義為或或,以此類推。
- 自然對數函數在複平面(主分支)上的繪圖
- [](https://zh.wikipedia.org/wiki/File:Natural_Logarithm_Re.svg "z=Re(ln(x+iy))")
*z*\=Re(ln(x+iy))
- [](https://zh.wikipedia.org/wiki/File:Natural_Logarithm_Im_Abs.svg)
- [](https://zh.wikipedia.org/wiki/File:Natural_Logarithm_Abs.svg)
- [](https://zh.wikipedia.org/wiki/File:Natural_Logarithm_All.svg "前三圖的疊加")
前三圖的疊加
對於每個非0複數,主值是虛部位於區間![{\\displaystyle (-\\pi ,\\pi \]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7fbb1843079a9df3d3bbcce3249bb2599790de9c)內的對數。表達式不做定義,因為沒有複數滿足。
要對給出一個公式,可以先將表達為[極坐標](https://zh.wikipedia.org/wiki/%E6%9E%81%E5%9D%90%E6%A0%87 "极坐标")形式,。給定,極坐標形式不是確切唯一的,因為有可能向增加的整數倍,所以為了保證唯一性而要求**位於區間![{\\displaystyle (-\\pi ,\\pi \]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7fbb1843079a9df3d3bbcce3249bb2599790de9c)內;這個**叫做幅角的主值,有時寫為或。則對數的主值可以定義為[\[19\]](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_note-Sarason-21):

例如,。
自然指数有应用於表达[放射性衰變](https://zh.wikipedia.org/wiki/%E6%94%BE%E5%B0%84%E6%80%A7%E8%A1%B0%E8%AE%8A "放射性衰變")的过程,如放射性原子数目的[微分方程](https://zh.wikipedia.org/wiki/%E5%BE%AE%E5%88%86%E6%96%B9%E7%A8%8B "微分方程")随时间变化率,常数为原子衰变概率,积分得。
1. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-2)** 例如[哈代](https://zh.wikipedia.org/wiki/%E6%88%88%E5%BC%97%E9%9B%B7%C2%B7%E5%93%88%E7%BD%97%E5%BE%B7%C2%B7%E5%93%88%E4%BB%A3 "戈弗雷·哈罗德·哈代")和[賴特](https://zh.wikipedia.org/wiki/%E6%84%9B%E5%BE%B7%E8%8F%AF%C2%B7%E6%A2%85%E7%89%B9%E8%98%AD%C2%B7%E8%B3%B4%E7%89%B9 "愛德華·梅特蘭·賴特")所著的《數論入門》"Introduction to the theory of numbers" (1.7, Sixth edition, Oxford 2008)的注解 "log x is, of course the 'Napierian' logarithm of x, to base e. 'Common' logarithms have no mathematical interest."(log x 當然是以e為基,x的「[納皮爾](https://zh.wikipedia.org/wiki/%E7%B4%84%E7%BF%B0%C2%B7%E7%B4%8D%E7%9A%AE%E7%88%BE "約翰·納皮爾")」對數。「常用」對數在數學上毫無重要。)
2. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-4)** 證明:從1到*b*積分1/*x*,增加三角形{(0, 0), (1, 0), (1, 1)},並減去三角形{(0, 0), (*b*, 0), (*b*, 1/*b*)}。
3. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-5)**
Ernest William Hobson, [John Napier and the invention of logarithms, 1614](http://www.archive.org/details/johnnapierinvent00hobsiala), Cambridge: The University Press, 1914
4. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-6)**
[Boyer, Carl B.](https://zh.wikipedia.org/w/index.php?title=Carl_Benjamin_Boyer&action=edit&redlink=1 "Carl Benjamin Boyer(页面不存在)"), 14,Section "Jobst Bürgi", A History of Mathematics, New York: [John Wiley & Sons](https://zh.wikipedia.org/wiki/John_Wiley_%26_Sons "John Wiley & Sons"), 1991, [ISBN 978-0-471-54397-8](https://zh.wikipedia.org/wiki/Special:BookSources/978-0-471-54397-8 "Special:BookSources/978-0-471-54397-8")
5. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-7)** 選取接近e的底數b,對數表涉及的bx為單調增函數,定義域為0到1而值域為1到b;選取接近1/e的底數b,對數表涉及的bx為單調減函數,定義域為0到∞而值域為1到0。
6. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-8)** 以這個接近1的數為基礎。
7. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-9)**
[博納文圖拉·卡瓦列里](https://zh.wikipedia.org/wiki/%E5%8D%9A%E7%B4%8D%E6%96%87%E5%9C%96%E6%8B%89%C2%B7%E5%8D%A1%E7%93%A6%E5%88%97%E9%87%8C "博納文圖拉·卡瓦列里")在1635年的《Geometria indivisibilibus continuorum nova quadam ratione promota》中給出[定積分](https://zh.wikipedia.org/wiki/%E5%AE%9A%E7%A7%AF%E5%88%86 "定积分"):

其[不定積分](https://zh.wikipedia.org/wiki/%E4%B8%8D%E5%AE%9A%E7%A9%8D%E5%88%86 "不定積分")形式為:

獨立發現者還有:[皮埃爾·德·費馬](https://zh.wikipedia.org/wiki/%E7%9A%AE%E5%9F%83%E7%88%BE%C2%B7%E5%BE%B7%C2%B7%E8%B2%BB%E9%A6%AC "皮埃爾·德·費馬")、[罗贝瓦尔的吉尔](https://zh.wikipedia.org/w/index.php?title=%E7%BD%97%E8%B4%9D%E7%93%A6%E5%B0%94%E7%9A%84%E5%90%89%E5%B0%94&action=edit&redlink=1 "罗贝瓦尔的吉尔(页面不存在)")和[埃萬傑利斯塔·托里拆利](https://zh.wikipedia.org/wiki/%E5%9F%83%E8%90%AC%E5%82%91%E5%88%A9%E6%96%AF%E5%A1%94%C2%B7%E6%89%98%E9%87%8C%E6%8B%86%E5%88%A9 "埃萬傑利斯塔·托里拆利")。
8. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-10)** 設a=1,x軸上\[a,b\]兩點對應的雙曲線線段與原點圍成的[雙曲線扇形](https://zh.wikipedia.org/wiki/%E9%9B%99%E6%9B%B2%E7%B7%9A%E6%89%87%E5%BD%A2 "雙曲線扇形")面積為f(b),\[c,d\]對應的扇形面積為f(d)-f(c),d=bc,即為f(bc)-f(c),當且僅當f(bc)=f(b)+f(c)時,兩雙曲線扇形面積相等。
9. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-11)**
J. J. O'Connor; E. F. Robertson, [The number e](https://web.archive.org/web/20120219231529/http://www-history.mcs.st-and.ac.uk/HistTopics/e.html), The MacTutor History of Mathematics archive, September 2001 \[2009-02-02\], ([原始内容](http://www-history.mcs.st-and.ac.uk/HistTopics/e.html)存档于2012-02-19)
10. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-12)**
卡瓦列里弓形面積公式,對於負數值的*n*(*x*的負數冪),由於在*x* = 0處有個[奇點](https://zh.wikipedia.org/wiki/%E5%A5%87%E7%82%B9_\(%E6%95%B0%E5%AD%A6\) "奇点 (数学)"),因此定積分的下限為1,而不是0,即為:

[歐拉](https://zh.wikipedia.org/wiki/%E6%AD%90%E6%8B%89 "歐拉")的自然對數定義:

11. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-ReferenceA_13-0)**
Maor, Eli, e: The Story of a Number, [Princeton University Press](https://zh.wikipedia.org/wiki/Princeton_University_Press "Princeton University Press"), 2009, [ISBN 978-0-691-14134-3](https://zh.wikipedia.org/wiki/Special:BookSources/978-0-691-14134-3 "Special:BookSources/978-0-691-14134-3")
,sections 1, 1.
[Eves, Howard Whitley](https://zh.wikipedia.org/w/index.php?title=Howard_Eves&action=edit&redlink=1 "Howard Eves(页面不存在)"), An introduction to the history of mathematics, The Saunders series 6th, Philadelphia: Saunders, 1992, [ISBN 978-0-03-029558-4](https://zh.wikipedia.org/wiki/Special:BookSources/978-0-03-029558-4 "Special:BookSources/978-0-03-029558-4")
, section 9-3
[Boyer, Carl B.](https://zh.wikipedia.org/w/index.php?title=Carl_Benjamin_Boyer&action=edit&redlink=1 "Carl Benjamin Boyer(页面不存在)"), A History of Mathematics, New York: [John Wiley & Sons](https://zh.wikipedia.org/wiki/John_Wiley_%26_Sons "John Wiley & Sons"), 1991, [ISBN 978-0-471-54397-8](https://zh.wikipedia.org/wiki/Special:BookSources/978-0-471-54397-8 "Special:BookSources/978-0-471-54397-8")
, p. 484, 489
12. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-14)** 
在最初的概念下,底數是接近1的數,而對數是整數;經過簡單變換後,底數變大了,成為接近數學常量e的數,而對數變小了,成為 x/n。
13. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-LangIV.2_15-0)**
Lang [1997](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#CITEREFLang1997), section IV.2
14. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-16)**
[Wolfram, Stephen](https://zh.wikipedia.org/wiki/%E5%8F%B2%E8%92%82%E8%8A%AC%C2%B7%E6%B2%83%E7%88%BE%E5%A4%AB%E5%8B%92%E5%A7%86 "史蒂芬·沃爾夫勒姆"). ["Calculation of *d/dx(Log(b,x))*"](https://web.archive.org/web/20110718075346/http://www.wolframalpha.com/input/?i=d%2Fdx%28Log%28b%2Cx%29%29). from [Wolfram Alpha](https://zh.wikipedia.org/wiki/Wolfram_Alpha "Wolfram Alpha"): Computational Knowledge Engine, [Wolfram Research](https://zh.wikipedia.org/wiki/Wolfram_Research "Wolfram Research"). ([原始内容](http://www.wolframalpha.com/input/?i=d%2Fdx%28Log%28b%2Cx%29%29)存档于2011-07-18) (英语).
15. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-17)**
[Kline, Morris](https://zh.wikipedia.org/w/index.php?title=Morris_Kline&action=edit&redlink=1 "Morris Kline(页面不存在)"), Calculus: an intuitive and physical approach, Dover books on mathematics, New York: [Dover Publications](https://zh.wikipedia.org/w/index.php?title=Dover_Publications&action=edit&redlink=1 "Dover Publications(页面不存在)"), 1998, [ISBN 978-0-486-40453-0](https://zh.wikipedia.org/wiki/Special:BookSources/978-0-486-40453-0 "Special:BookSources/978-0-486-40453-0")
, p. 386
16. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-18)**
Havil, Julian, Gamma: Exploring Euler's Constant, [Princeton University Press](https://zh.wikipedia.org/wiki/Princeton_University_Press "Princeton University Press"), 2003, [ISBN 978-0-691-09983-5](https://zh.wikipedia.org/wiki/Special:BookSources/978-0-691-09983-5 "Special:BookSources/978-0-691-09983-5")
, sections 11.5 and 13.8
17. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-19)**
Eves, Howard, [Foundations and Fundamental Concepts of Mathematics](http://books.google.com/books?id=J9QcmFHj8EwC&pg=PA59), Courier Dover Publications: 59, 2012, [ISBN 9780486132204](https://zh.wikipedia.org/wiki/Special:BookSources/9780486132204 "Special:BookSources/9780486132204"), "We also owe to Lambert the first systematic development of the theory of hyperbolic functions and, indeed, our present notation for these functions."
18. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-20)**
Ratcliffe, John, [Foundations of Hyperbolic Manifolds](https://web.archive.org/web/20140112001533/http://books.google.com/books?id=JV9m8o-ok6YC&pg=PA99), Graduate Texts in Mathematics **149**, Springer: 99, 2006 \[2014-03-28\], [ISBN 9780387331973](https://zh.wikipedia.org/wiki/Special:BookSources/9780387331973 "Special:BookSources/9780387331973"), ([原始内容](http://books.google.com/books?id=JV9m8o-ok6YC&pg=PA99)存档于2014-01-12), "That the area of a hyperbolic triangle is proportional to its angle defect first appeared in Lambert's monograph *Theorie der Parallellinien*, which was published posthumously in 1786."
19. **[^](https://zh.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8#cite_ref-Sarason_21-0)** Sarason, Section IV.9.
- John B. Conway, *Functions of one complex variable*, 2nd edition, Springer, 1978.
- [Serge Lang](https://zh.wikipedia.org/wiki/%E5%A1%9E%E5%B0%94%E6%97%A5%C2%B7%E5%85%B0 "塞尔日·兰"), *Complex analysis*, 3rd edition, Springer-Verlag, 1993.
- Gino Moretti, *Functions of a Complex Variable*, Prentice-Hall, Inc., 1964.
- Donald Sarason, *[Complex function theory](http://books.google.com/books?id=FUWPyHM-XK0C&pg=PA40&dq=logarithm+intitle:Complex+intitle:function+intitle:theory+inauthor:sarason&lr=&as_brr=0&ei=df4UScGONJ_EtAPZ5-XjCw) ([页面存档备份](https://web.archive.org/web/20140111075715/http://books.google.com/books?id=FUWPyHM-XK0C&pg=PA40&dq=logarithm+intitle:Complex+intitle:function+intitle:theory+inauthor:sarason&lr=&as_brr=0&ei=df4UScGONJ_EtAPZ5-XjCw),存于[互联网档案馆](https://zh.wikipedia.org/wiki/%E4%BA%92%E8%81%94%E7%BD%91%E6%A1%A3%E6%A1%88%E9%A6%86 "互联网档案馆"))*, 2nd edition, American Mathematical Society, 2007.
- [E. T. Whittaker](https://zh.wikipedia.org/w/index.php?title=E._T._Whittaker&action=edit&redlink=1 "E. T. Whittaker(页面不存在)") and [G. N. Watson](https://zh.wikipedia.org/wiki/%E5%96%AC%E6%B2%BB%C2%B7%E5%A5%88%E7%B6%AD%E7%88%BE%C2%B7%E6%B2%83%E6%A3%AE "喬治·奈維爾·沃森"), *A Course in Modern Analysis*, fourth edition, Cambridge University Press, 1927. |
| Shard | 152 (laksa) |
| Root Hash | 17790707453426894952 |
| Unparsed URL | org,wikipedia!zh,/wiki/%E8%87%AA%E7%84%B6%E5%B0%8D%E6%95%B8 s443 |