對數的比較與斐波那契數列
——從2020年全國Ⅲ卷理科第12題談起

肖志軍 張 浩

(1. 北京工業大學附屬中學 100022； 2. 北京市朝陽區教育研究中心 100021)

1 一道“致命問題”

2020年全國Ⅲ卷理科第12題是一道比較對數大小的題目：已知55<84，134<85．設a=log53，b=log85，c=log138，則( )．

(A)a

(C)b

解析因為34<53，所以4log53<3，

這樣的問題曾被選為“致命問題”．美國麻省理工學院的數學家Tanya Khovanova及其Alexey Radul在2012年《美國數學月刊》第十期上合作發表文章《致命問題》(Killer Problems)[1]，其中介紹的第11個問題是一個與上述題目類似的問題：log23與log35誰更大？

這篇文章的第一作者Khovanova曾于1976年代表蘇聯參加國際數學奧林匹克競賽(IMO)獲得金牌，并且是IMO有史以來第二位獲得金牌的女選手．這篇文章包含了14道“致命問題”，王淑紅和蔣迅[2]在《數學文化》上也介紹過這些問題，它們的特點是“構思新穎、設計巧妙，很難使人想到答案，但是一旦看到答案，又使人恍然大悟 ：“原來這么簡單！”這些問題一般都能夠用初等數學知識來解答，但令學生們抓狂．

設{Fn}是斐波那契數列(Fibonacci)：1,1,2,3,5,8,13,21,34,55,…，即F1=F2=1，當n>2時，Fn=Fn-1+Fn-2(這個遞推關系由Girard在1634年發現)．我們觀察到上述不等式鏈中對數的底和真數組成的數列2,3,5,8,13恰好是斐波那契數列的一個子列，于是我們提出如下猜想：

通過計算機數值驗證可以得到當n≤103時，不等式均成立．因此這也讓我們更加相信這一猜想的正確性.

nFnn-2n-1logFn+1Fnn-1n320.50.630930.666667430.6666670.6826060.75550.750.7739760.8680.80.8107140.8333337130.8333330.842480.8571438210.8571430.8633610.8759340.8750.8799770.88888910550.8888890.8927730.91000.9898990.9899320.9910000.9989989990.9989993270.999

2 猜想的證明

引理1(Bernoulli不等式)：設x≥-2，n∈N，則(1+x)n≥1+nx.

證明當n=1時，顯然成立．

以下考慮n>1的情況．

設f(x)=(1+x)n-(1+nx)，

則f′(x)=n[(1+x)n-1-1]．

當x≥0時，f′(x)≥0，

所以f(x)單調遞增，f(x)≥f(0)=0．

當-2≤x≤0時，因為(1+x)n-1-1≤

|1+x|n-1-1≤0，所以f′(x)≤0，

所以f(x)單調遞減，f(x)≥f(0)=0．

所以當x≥-2時，f(x)≥0，即(1+x)n≥1+nx．

注常見的Bernoulli不等式中要求x≥-1，這個引理說明x≥-1的條件可以放大至x≥-2．

則0

(1)首先證明猜想的左半部分．

我們有

因為1+φ-2n-2>1，

又因為φ-2n-2+φ-2n<φ0+φ0=2，

所以-(φ-2n-2+φ-2n)>-2．

由Bernoulli不等式得

因為n≥4，所以

(2)下面證明猜想的右半部分．

我們有

>φ·[1-(φ-2n+φ-2n-2)].

又因為-(φ-2n-2+φ-2n)>-2，

由Bernoulli不等式得

>φn[1-n(φ-2n-2+φ-2n)].

3 推論與探索

證明當n=3時，φ

設n≤k時命題成立,則當n=k+1時，

φk-2+φk-3

因為

φk-1+φk-2=φk-2(1+φ)=φk-2·φ2=φk,

φk-2+φk-3=φk-3(1+φ)=φk-3·φ2=φk-1,

所以φk-1

證明(1)當k≥2且n>k時，

(2)當k≤1時，

證明(1)當n≥3時，

(2)因為