對數的歷史
![納皮爾.J.](/img/f/3b3/wZwpmL4gzN2ITM5cDNzIDN0UTMyITNykTO0EDMwAjMwUzL3QzLxczLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
16、17世紀之交,隨著天文、航海、工程、貿易以及軍事的發展,改進數字計算方法成了當務之急。約翰·納皮爾(J.Napier,1550—1617)正是在研究天文學的過程中,為了簡化其中的計算而發明了對數.對數的發明是數學史上的重大事件,天文學界更是以近乎狂喜的心情迎接這一發明。恩格斯曾經把對數的發明和解析幾何的創始、微積分的建立稱為17世紀數學的三大成就,伽利略也說過:“給我空間、時間及對數,我就可以創造一個宇宙。”
對數發明之前,人們對三角運算中將三角函式的積化為三角函式的和或差的方法已很熟悉,而且德國數學家斯蒂弗爾(M.Stifel,約1487—1567)在《綜合算術》(1544年)中闡述了一種如下所示的一種對應關係:
![log[logarithms]](/img/7/421/wZwpmLyYjN0MTNxMjM4IDN0UTMyITNykTO0EDMwAjMwUzLzIzL4YzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![log[logarithms]](/img/6/393/wZwpmL4cjNxEDMzMjM0EDN0UTMyITNykTO0EDMwAjMwUzLzIzLzYzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
該關係可被歸納為,同時該種關係之間存在的運算性質(即上面一行數字的乘、除、乘方、開方對應於下面一行數字的加、減、乘、除)也已廣為人知。經過對運算體系的多年研究,納皮爾在1614年出版了《奇妙的對數定律說明書》,書中藉助運動學,用幾何術語闡述了對數方法。
將對數加以改造使之廣泛流傳的是納皮爾的朋友布里格斯(H.Briggs,1561—1631),他通過研究《奇妙的對數定律說明書》,感到其中的對數用起來很不方便,於是與納皮爾商定,使1的對數為0,10的對數為1,這樣就得到了以10為底的常用對數。由於所用的數系是十進制,因此它在數值上計算具有優越性。1624年,布里格斯出版了《對數算術》,公布了以10為底包含1~20000及90000~100000的14位常用對數表。
根據對數運算原理,人們還發明了對數計算尺。300多年來,對數計算尺一直是科學工作者,特別是工程技術人員必備的計算工具,直到20世紀70年代才讓位給電子計算器。儘管作為一種計算工具,對數計算尺、對數表都不再重要了,但是,對數的思想方法卻仍然具有生命力。
![log[logarithms]](/img/a/b40/wZwpmLwgTM2gzMxMDO4EDN0UTMyITNykTO0EDMwAjMwUzLzgzLygzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![log[logarithms]](/img/f/449/wZwpmLyUzM4IDM1MjN1ATN0UTMyITNykTO0EDMwAjMwUzLzYzL4IzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
從對數的發明過程我們可以發現,納皮爾在討論對數概念時,並沒有使用指數與對數的互逆關係,造成這種狀況的主要原因是當時還沒有明確的指數概念,就連指數符號也是在20多年後的1637年才由法國數學家笛卡兒(R.Descartes,1596—1650)開始使用。直到18世紀,才由瑞士數學家歐拉發現了指數與對數的互逆關係。在1770年出版的一部著作中,歐拉首先使用來定義,他指出:“ 對數源於指數”。對數的發明先於指數,成為數學史上的珍聞。
從對數的發明過程可以看到,社會生產、科學技術的需要是數學發展的主要動力。建立對數與指數之間的聯繫的過程表明,使用較好的符號體系對於數學的發展是至關重要的。實際上,好的數學符號能夠大大地節省人的思維負擔。數學家們對數學符號體系的發展與完善作出了長期而艱苦的努力 。
對數符號
![log[logarithms]](/img/2/923/wZwpmLwEjN0YTNwITN2IDN0UTMyITNykTO0EDMwAjMwUzLyUzL3AzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
以 a為底 N的對數記作。對數符號log出自拉丁文logarithm,最早由義大利數學家卡瓦列里(Cavalieri)所使用。20世紀初,形成了對數的現代表示。 為了使用方便,人們逐漸把以10為底的常用對數及以無理數e為底的自然對數分別記作lg N和ln N。
對數的定義
![log[logarithms]](/img/2/e64/wZwpmLzQjN1EzNwMjM4IDN0UTMyITNykTO0EDMwAjMwUzLzIzLzMzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![log[logarithms]](/img/4/5f6/wZwpmL2YzMzQTM0UTM5IDN0UTMyITNykTO0EDMwAjMwUzL1EzL4MzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
如果,即 a的 x次方等於 N( a>0,且 a≠1),那么數 x叫做以 a為底 N的對數(logarithm),記作。其中, a叫做對數的底數, N叫做真數, x叫做“以 a為底 N的 對數”。
特別地,我們稱以10為底的對數叫做常用對數(common logarithm),並記為lg。
稱以無理數e(e=2.71828...)為底的對數稱為自然對數(natural logarithm),並記為ln。
零沒有對數。
在實數範圍內,負數無對數。 在複數範圍內,負數是有對數的。
1.常用對數
2.自然對數
3.零沒有對數。
4.在實數範圍內,負數無對數。 在複數範圍內,負數是有對數的。
![log[logarithms]](/img/e/6cd/wZwpmL2IzM5IzNwMzNxIDN0UTMyITNykTO0EDMwAjMwUzLzczL1IzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![log[logarithms]](/img/3/42f/wZwpmL4cDO4ADN1EDNxMDN0UTMyITNykTO0EDMwAjMwUzLxQzLyMzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
事實上,當,,則有e +1=0,所以ln(-1)的具有周期性的多個值,ln(-1)=(2 k+1)πi。這樣,任意一個負數的自然對數都具有周期性的多個值。例如:ln(-5)=(2 k+1)πi+ln 5。
對數函式
定義
![log[logarithms]](/img/c/063/wZwpmLyYTM1UDN2cjN1IDN0UTMyITNykTO0EDMwAjMwUzL3YzLzUzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![log[logarithms]](/img/b/f84/wZwpmLzYDO1QjNwITN2IDN0UTMyITNykTO0EDMwAjMwUzLyUzLyMzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
函式叫做對數函式(logarithmic function),其中 x是自變數。對數函式的定義域是。
函式基本性質
![log[logarithms]](/img/0/030/wZwpmLwczNwUDN4YTM0EDN0UTMyITNykTO0EDMwAjMwUzL2EzL0QzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
1、過定點,即 x=1時, y=0。
![log[logarithms]](/img/7/9ca/wZwpmL3QTN5IzNwgTN2IDN0UTMyITNykTO0EDMwAjMwUzL4UzLyIzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![log[logarithms]](/img/b/f84/wZwpmLzYDO1QjNwITN2IDN0UTMyITNykTO0EDMwAjMwUzLyUzLyMzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![log[logarithms]](/img/5/b81/wZwpmLygDN5YDN4YTM0EDN0UTMyITNykTO0EDMwAjMwUzL2EzL2gzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![log[logarithms]](/img/b/f84/wZwpmLzYDO1QjNwITN2IDN0UTMyITNykTO0EDMwAjMwUzLyUzLyMzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
2、當 時,在上是減函式;當時,在上是增函式。
複變函數
![log[logarithms]](/img/f/830/wZwpmLxcjNxYTNwMjM4IDN0UTMyITNykTO0EDMwAjMwUzLzIzL0gzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
,e是自然對數的底,i是虛數單位。它將指數函式的定義域擴大到複數,建立了三角函式和指數函式的關係,它在複變函數論里占有非常重要的地位,被譽為“數學中的天橋”。
![log[logarithms]](/img/9/630/wZwpmL2cTMwATNwMzMzIDN0UTMyITNykTO0EDMwAjMwUzLzMzL0YzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
的推導:
![log[logarithms]](/img/6/309/wZwpmL3gDO0cjM4MjM0IDN0UTMyITNykTO0EDMwAjMwUzLzIzLyMzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
因為
![log[logarithms]](/img/1/76f/wZwpmL1IDN4UDO4kTNwMDN0UTMyITNykTO0EDMwAjMwUzL5UzL0AzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![log[logarithms]](/img/b/15a/wZwpmL1QzNwkDOyMTMzEDN0UTMyITNykTO0EDMwAjMwUzLzEzL0gzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![log[logarithms]](/img/9/755/wZwpmL4IDOxITNwkDO0ATN0UTMyITNykTO0EDMwAjMwUzL5gzLzMzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
在 的展開式中把x換成±ix.
![log[logarithms]](/img/7/32f/wZwpmL3MDN1MTM4YTM0EDN0UTMyITNykTO0EDMwAjMwUzL2EzL1YzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![log[logarithms]](/img/e/98e/wZwpmL4ETO5UTO5gDM5IDN0UTMyITNykTO0EDMwAjMwUzL4AzL2AzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![log[logarithms]](/img/0/54b/wZwpmL1ATO4cTM2cjN1IDN0UTMyITNykTO0EDMwAjMwUzL3YzL2gzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
所以
將公式里的x換成-x,得到:
![log[logarithms]](/img/a/2d9/wZwpmL0gTO2kTNwMzMzIDN0UTMyITNykTO0EDMwAjMwUzLzMzLzIzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![log[logarithms]](/img/f/8ae/wZwpmLzcTN0UDN1MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL0QzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![log[logarithms]](/img/f/477/wZwpmLzMDNycTMwkDO0ATN0UTMyITNykTO0EDMwAjMwUzL5gzLwczLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![log[logarithms]](/img/f/830/wZwpmLxcjNxYTNwMjM4IDN0UTMyITNykTO0EDMwAjMwUzLzIzL0gzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
,然後採用兩式相加減的方法得到: , .這兩個也叫做歐拉公式。將 中的x取作π就得到:
![log[logarithms]](/img/b/57b/wZwpmL0UjM3ATNzMjM0EDN0UTMyITNykTO0EDMwAjMwUzLzIzL3QzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
.這個恆等式也叫做 歐拉公式,它是數學裡最令人著迷的一個公式,它將數學裡最重要的幾個數字聯繫到了一起:兩個超越數:自然對數的底e ,圓周率π,兩個單位:虛數單位i和自然數的單位1,以及被稱為人類偉大發現之一的0。數學家們評價它是“上帝創造的公式”。
套用
對數在數學內外有許多套用。這些事件中的一些與尺度不變性的概念有關。例如,鸚鵡螺的殼的每個室是下一個的大致副本,由常數因子縮放。這引起了對數螺鏇。Benford關於領先數字分配的定律也可以通過尺度不變性來解釋。對數也與自相似性相關。例如,對數算法出現在算法分析中,通過將算法分解為兩個類似的較小問題並修補其解決方案來解決問題。自相似幾何形狀的尺寸,即其部分類似於整體圖像的形狀也基於對數。對數刻度對於量化與其絕對差異相反的值的相對變化是有用的。此外,由於對數函式log(x)對於大的x而言增長非常緩慢,所以使用對數標度來壓縮大規模科學數據。對數也出現在許多科學公式中,例如Tsiolkovsky火箭方程,Fenske方程或能斯特方程。