劉洋 王德貴
歐拉數(shù)極限值和斯坦納極值問題,是數(shù)學(xué)史上著名的數(shù)論問題,收錄在《100個著名初等數(shù)學(xué)問題》的第12題和第89題,今天我們用Python來分析和求解。
函數(shù)
當x無限增大時的極限值。今天我們只求解第一個函數(shù)的極限值。
根據(jù)題意,要先判斷函數(shù)
在x無限增大時,是否有極限?如果有極限,是多少?
可以證明,函數(shù)在(0,+∞)上是增函數(shù),利用Excel圖表處理功能,做出在(0,500)上函數(shù)圖像如下圖,可以看到,在x無限增大時,函數(shù)值在2.5-3之間,而且函數(shù)值變化很小。
根據(jù)題意,我們利用for循環(huán),讓x值逐漸增大,來分析y的極限值。
從前面的分析,寫出程序代碼。
運行結(jié)果如下,大家可以看到,在(1,100)上,y的值逐漸增大,并在2.7左右。
那我們繼續(xù)增大取值范圍,(1,10000)、(1,1000000)、(1,100000000),最后發(fā)現(xiàn),y趨近一個值:2.718281828……
這里用到了數(shù)學(xué)中的冪函數(shù),在Python里函數(shù)pow(x,y)的意義為xy,也可以表示為x**y,大家使用時注意,用函數(shù)pow(x,y)時,需要導(dǎo)入數(shù)學(xué)模塊math,而x**y則不用。
運行結(jié)果如下:
我們求解是在10的8次方范圍內(nèi),10的10次方運行超過了12個小時。從函數(shù)值的變化趨勢,大家不難發(fā)現(xiàn),這個極限值就是無理數(shù):e。
其實函數(shù)
在(0,+∞)上的極限值,也是e的定義。
如果x為正變數(shù),x取何值時,x的x次方根為最大?
即求函數(shù)
在(0,+∞)上的極值問題。
這是一個與歐拉極限值相關(guān)的函數(shù)極值問題,函數(shù)在(0,+∞)上,函數(shù)值是如何變化的呢?
我們利用Python的for循環(huán),進行分析計算。
下面先測試一定范圍內(nèi)的變化情況,再具體分析。
運行程序,輸出結(jié)果如下:
后面的函數(shù)值,越來越小了,說明在x=3附近有極值。
在x=3附近有極值,那我們就分析在(2.0,4.0)上的單調(diào)性,為了保留一位小數(shù),采取除以10的方法。
運行結(jié)果如下:
不難發(fā)現(xiàn),函數(shù)在x=2.7附近有極值,那么極值點一定在(2.60,2.80)上。
進一步分析函數(shù)在(2.60,2.80)上的單調(diào)性,修改程序,直接求極大值,無須全部輸出。
運行結(jié)果如下:
我們依次提高精度,求解極大值。
運行結(jié)果如下:
從以上分析和精度的提高,我們發(fā)現(xiàn),x的值趨近一個特殊值,即x=e時,
的值最大。
e,作為數(shù)學(xué)常數(shù),是自然對數(shù)函數(shù)的底數(shù)。有時稱它為歐拉數(shù)(Euler number),以瑞士數(shù)學(xué)家歐拉命名;也有個較鮮見的名字納皮爾常數(shù),以紀念蘇格蘭數(shù)學(xué)家約翰·納皮爾(JohnNapier)引進對數(shù)。它和圓周率π一樣,都是無理數(shù),是數(shù)學(xué)中最重要的常數(shù)之一。
將一個數(shù)分成若干等份,要使各等份乘積最大,怎么分?
答案是:使等分的各份盡可能接近e值。例如,把10分成10÷e≈3.7份,但3.7份不是整數(shù),四舍五入,所以分成4份,每份為10÷4=2.5,這時2.5**4=39.0625乘積最大,如分成3或5份,乘積都小于39。參見運行結(jié)果。
運行結(jié)果如下,我們發(fā)現(xiàn)4等份時乘積最大:
那我們編程直接輸出最大項及前后各項,那么為什么除以e呢?
輸入整數(shù)、小數(shù),是否都可以呢?若是只計算最大值及其前后的兩個值,或是只求乘積的最大值,如何編程呢?有興趣的同學(xué)可以去做一下,這里不再贅述。
兩個問題的結(jié)論事先作者也不知道,因而整個求解過程,就是我分析、研究的過程,循序漸進,最后得出結(jié)論。也希望這個分析處理問題的思路給學(xué)生一個啟發(fā):掌握分析方法非常重要。
今天我們認識了e,它是我們數(shù)學(xué)上很重要的常數(shù)。有關(guān)e的相關(guān)知識,大家可自行查閱相關(guān)資料。本文希望大家在學(xué)習Python過程中,了解更多的數(shù)學(xué)史,學(xué)習更多的數(shù)學(xué)知識。