妙用 『糖水不等式』 巧解題
張國治
摘要
: 對於一個從生活中提煉出來的 『糖水不等式』, 筆者發現此不等式無論對教 材的處理還是各種競賽和高考題的解決有事半功倍之效。 作為教師無論在教學還是 在教師的科研中, 都應該謹慎處理每一個數學問題, “追問”數學, 做好做足數學反 思, 而數學反思更是數學教師專業化成長最有效的途徑之一, 通過反思教學提高課堂 教學效率和教科研水準。關鍵字
: 糖水不等式, 解題反思, 教材的處理, 挖掘, 教師專業化成長。我們熟知, 若 a kg 白糖製出 b kg 糖溶液, 則糖的品質分數為 a
b。 若在上述不飽和溶液中 再添加 m kg 白糖, 此時糖的品質分數增加到 a + m
b + m, 糖水變甜了。 將這個事實抽象為數學問
題, 即: 若 a, b, m ∈ R+, 且 a < b, 則 a
b < a + m
b + m。 (詳見人教社 《選修 4-5 不等式選講》, p.21)。 我們不妨稱之為 『糖水不等式』。 事實上, 若能恰當的利用此不等式可巧妙地證明一些較 複雜的不等式, 下面舉例說明此不等式的應用。
應用一、 證絕對值不等式
例1: 已知 a, b 是實數, 求證 |a + b|
1 +|a + b| ≤ |a|
1 +|a| + |b|
1 +|b|。 (詳見人教社 《選修 4-5 不等 式選講》, p.28)。
分析: 教科書中是採用 |a + b|
1 +|a + b| = 1− 1
1 +|a + b| ≤ 1 − 1
1 +|a| + |b| = |a| + |b|
1 +|a| + |b|
來證明的, 技巧性較強。 事實上, 利用教材中已證的 『糖水不等式』 便有如下簡潔的證法。
證明: ∵ 0 ≤ |a + b| ≤ |a| + |b|, ∴ m = |a| + |b| − |a + b| ≥ 0, 由 『糖水不等式』 得
|a + b|
1 +|a + b| ≤ |a + b| + m
1 +|a + b| + m = |a| + |b|
1 +|a| + |b| = |a|
1 +|a| + |b| + |b|
1 +|a| + |b|
≤ |a|
1 +|a| + |b|
1 +|b|.
76
按此證明方法不難做如下推廣。
推廣1: 已知 x1, x2, . . . , xn 是實數, 求證 |x1+ x2+· · · + xn|
1 +|x1+ x2+· · · + xn| ≤ |x1|
1 +|x1|+ |x2|
1 +|x2| +· · · + |xn| 1 +|xn|. 推廣2: 已知 x1, x2, . . . , xn 是實數且 c > 0
求證 |x1+ x2+· · · + xn|
c +|x1 + x2+· · · + xn| ≤ |x1|
c +|x1|+ |x2|
c +|x2| +· · · + |xn| c +|xn|.
應用二、 證分式不等式
例2: (2008年全國高中數學聯賽山東省預賽題第17題) 若 x > 0, y > 0, z > 0 且 xyz = 1,
求證 1 < 1
1 + x + 1
1 + y + 1
1 + z < 2.
解析: 依題意可設 x = b
a, y = c
b, z = a
c, (a、 b、 c ∈ R+),則 1
1+x+ 1
1+y+ 1
1+z = a a+b+ b
b+c+ c
c+a > a
a+b+c+ b
b+c+a+ c
c+a+b = 1, 另一方面, 由 『糖水不等式』 可知
a
a + b + b
b + c + c
c + a < a + c
a + b + c + b + a
b + c + a + c + b
c + a + b = 2, 所以原不等式成立。
評注: 對於條件 xyz = 1 常作代換 x = b
a, y = c
b, z = a
c, 可使非齊次不等式變為齊次不等 式。 按此證明方法不難做如下推廣。
推廣1: 若 ai > 0 (i = 1, 2, . . . , n) n∈ N∗, n > 2 則 1 < a1
a1 + a2+· · · + an−1 + a2
a2+ a3+· · · + an
+· · · + an
an+ a1+· · · + an−2 < 2.
推廣2: 若 ai > 0 (i = 1, 2, . . . , n) n∈ N∗, n > 2 且 a1· a2· a3· · · an = 1。 求證 1 < 1
1 + a1 + 1
1 + a2 +· · · + 1
1 + an < n− 1.
應用三、 證排列組合數不等式
例3: (2001年全國高考題理科第20題) 已知 i, m, n 是正整數, 且 1 < i ≤ m < n。
證明 (1) niAim < miAin; (2) (1 + m)n> (1 + n)m。 解析: (1) 對於 1 < i ≤ m < n 有
Aim= m(m− 1) · · · (m − i + 1), Aim mi = m
m · m− 1
m · · ·m− i + 1
m ,
同理 Ain ni =n
n ·n− 1
n · · ·n− i + 1 n
由於 m < n, 對於整數 k = 1, 2, . . . , i−1, 由 『糖水不等式』 得 m− k
n− k < m− k + k n− k + k = m
n 即 n− k
n > m− k
m , 所以 Ain
ni > Aim
mi 即 niAim < miAin。 (2) 由二項式定理有 (1 + m)n =
∑n i=0
miCni, (1 + n)m =
∑m i=0
niCmi , 由 (1) 知 niAim < miAin(1 < i≤ m < n) 而 Cmi = Aim
i! , Cni = Ain
i! ,所以 miCni > niCmi 。 因此, ∑m
i=2
miCni >
∑m i=2
niCmi , 又 m0Cn0 = n0Cm0 = 1, mCn1 = nCm1 = mn,
∴
∑m i=0
miCni >
∑m i=0
niCmi , 即 (1 + m)n > (1 + n)m.
應用四、 證數列型不等式
例4: (1995年全國高考題文科第25題) 設 {an} 是由正數組成的等比數列, Sn 是其前 n 項和。
證明 log0.5Sn+ log0.5Sn+2
2 > log0.5Sn+1.
分析: 原高考標準解答是討論公比 q = 1 與 q ̸= 1 兩種情況, 利用作差比較法證明, 略顯繁瑣。
若考慮到題設結構和等比數列的性質巧妙利用 『糖水不等式』 便有如下簡潔的證法。
證明: 原不等式等價於 SnSn+2< Sn+12 ⇔ Sn
Sn+1<Sn+1
Sn+2。 設 {an} 的公比為 q 首項為 a1, 則 Sn+1
Sn+2 = a1+ a2+ a3+· · · + an+1
a1+ a2+ a3+· · · + an+2
= a1+ q(a1+ a2 +· · · + an)
a1+ q(a1+ a2+· · · + an+1) = a1+ qSn a1+ qSn+1, 由 『糖水不等式』 得 Sn
Sn+1 = qSn
qSn+1 < a1+ qSn
a1+ qSn+1 = Sn+1
Sn+2, 故原不等式成立。
例5: 已知數列 {an} 的前n項和為 Sn, 已知對任意的 n∈N+, an總是n與 Sn 的等差中項。
求證 1 a1 + 1
a2 +· · · + 1 an < 2.
解析: 由題意可知 2an = n + Sn, 故 2an−1 = n− 1 + Sn−1, 兩式相減得, 2an− 2an−1 = 1 + Sn− Sn−1, 即 an = 2an−1+ 1, (n ≥ 2), ∴ an+ 1 = 2(an−1+ 1), (n ≥ 2), 故數列 {an+ 1} 是以 2 為公比 a1+ 1 為首項的等比數列, 易知 an = 2n− 1, ∴ 1
an = 1 2n− 1, 由
『糖水不等式』 可知 1
an = 1
2n− 1 < 1 + 1
2n− 1 + 1 = 2 2n =
(1 2
)n−1
(n≥ 2),
∴ 1 a2 + 1
a3 +· · · + 1 an <
(1 2
)1
+ (1
2 )2
+· · · +(1 2
)n−1
=
1 2
[ 1−(
1 2
)n−1]
1− 12 = 1−(1 2
)n−1
< 1,
∴ 1 a1 + 1
a2 +· · · + 1
an < 1 + 1 a1 = 2.
例6: (2007年四川高考題理科第22題第3小題) 求證 Tn= 4
320 − 1+ 4
321 − 1+ 4
322 − 1+· · · + 4
32n−1 − 1 < 3.
分析: 此題直接放縮較難, 若考慮到題設待證不等式的結構利用 『糖水不等式』 便有如下簡解。
解析: 設 an= 4
32n−1 − 1,當 n = 1 時, T1 = a1 = 4
320 − 1 = 2 < 3 成立;
當 n ≥ 2 時, 32n−1− 1 > 4, 由 『糖水不等式』 可知
an= 4
32n−1− 1 < 4 + 1
32n−1 − 1 + 1 = 5
32n−1 ≤ 5 3n. 故 a2 < 5
32, a3 < 5
33, . . . , an < 5 3n, 所以
a2 + a3+· · · + an< 5 32 + 5
33 +· · · + 5 3n = 5·
1 9
(
1− 3n1−1
)
1− 13 = 5 6 (
1− 1 3n−1
)
< 5 6. 所以 Tn = a1+a2+· · ·+an< a1+5
6 = 2+5 6 = 17
6 < 18
6 = 3, 而 n=1 時, 上式也成立。
故對任意的 n∈N+ 都有 Tn= 4
320−1+ 4
321−1+ 4
322−1+· · ·+ 4
32n−1−1< 3 成立。
例7: (2009年山東高考題理科第20題) 等比數列 {an} 的前 n 項和為 Sn, 已知對任意的 n ∈ N+ 點 (n, Sn) 均在函數 y = bx+ r (b > 0且 b ̸= 1, b, r 均為常數) 的圖像上。
(I) 求 r 的值。 (II) 當 b = 2 時, 記 bn= 2(log2an+ 1) (n∈ N+)。 證明對任意的 n ∈ N+ 不等式成立 b1+ 1
b1 · b2+ 1
b2 · · ·bn+ 1 bn >√
n + 1 成立。
分析: 原標準解答是利用數學歸納法證明, 略顯繁瑣, 注意到通項公式的特點可利用 『糖水不等 式』 有如下簡解。
解析: (I) 略。
(II) 由 (I) 知 an = (b− 1)bn−1 當 b = 2 時, 易知 bn= 2n, 故要證的不等式為 3
2· 5
4· · ·2n + 1 2n >√
n + 1,
設 A = 3 2 · 5
4· · ·2n + 1
2n ,由 『糖水不等式』 得 2n
2n + 1 < 2n + 1
2n + 1 + 1 = 2n + 1
2n + 2, 即 2n + 1
2n > 2n + 2 2n + 1, 也即 A > B = 4
3·6
5· · ·2n + 2
2n + 1,故 A2 > AB = 3 2·4
3·5 4·6
5· · ·2n + 1
2n ·2n + 2
2n + 1 = n + 1, 故 A = 3
2 · 5
4· · ·2n + 1 2n >√
n + 1。
例8: (1998年全國高考題理科第25題) 已知數列 {bn} 是等差數列, b1 = 1, b1 + b2+· · · + b10= 145
(I) 求數列 {bn} 的通項 bn;
(II) 設數列 {an} 的通項 an = loga(1 + 1 bn
) (其中 a > 0 且 a ̸= 1), 記 Sn 是數列 {an} 的前 n 項的和。 試比較 Sn 與 1
3logabn+1 的大小, 並證明你的結論。
分析: (II) 原標準解答是利用數學歸納法證明, 略顯繁瑣, 注意到通項公式的特點可利用 『糖水 不等式』 有如下簡解。
解析: (I) 設數列 {bn} 的公差為 d, 由題意得
b1 = 1,
10b1+ 10(10− 1)
2 d = 145,
解得
b1 = 1,
d = 3, 所以, bn= 3n− 2.
(II) 由 bn = 3n− 2, 知
Sn= loga(1 + 1) + loga (
1 + 1 4 )
+· · · + loga
(
1 + 1 3n− 2
)
= loga [
(1 + 1) (
1 + 1 4
)· · ·(
1 + 1 3n− 2
)]
,
而 1
3logabn+1 = loga√3
3n + 1,因此要比較 Sn 與 1
3logabn+1 的大小, 可先比較 (1 + 1)
( 1 + 1
4 )· · ·(
1 + 1 3n− 2
) 與 √3
3n + 1 的大小。
取 n = 1 有 (1 + 1) > √3
3· 1 + 1, 取 n = 2 有 (1 + 1)(
1 + 1 4
)
> √3
3· 2 + 1, ...
由此猜想
(1 + 1) (
1 + 1 4
)· · ·(
1 + 1 3n− 2
)
> √3
3n + 1 (∗)
即 2 · 5
4· · ·3n− 1 3n− 2 >√3
3n + 1⇔ 1 2· 4
5· · ·3n− 2 3n− 1 < 3
√ 1 3n + 1 設 A = 1
2· 4
5· · ·3n− 2
3n− 1, 由 『糖水不等式』 得 3n− 2
3n− 1 < 3n− 2 + 1
3n− 1 + 1 = 3n− 1
3n < 3n− 1 + 1
3n + 1 = 3n 3n + 1, 故 A < B = 2
3· 5
6· · ·3n− 1
3n , 同理 A < C = 3 4 ·6
7· · · 3n 3n + 1, 故 A3 < ABC = 1
2 · 2 3· 3
4 ·4 5 · 5
6· 6
7· · ·3n− 2
3n− 1· 3n− 1
3n · 3n
3n + 1 = 1 3n + 1, 即 A = 1
2· 4
5· · ·3n− 2 3n− 1 < 3
√ 1
3n + 1 即不等式 (∗) 成立, 則由對數函數單調性易知 當 a > 1 時, Sn> 1
3logabn+1; 當 0 < a < 1 時, Sn< 1
3logabn+1。 例9: 證明對任意的 n ∈ N+, 不等式 12+1+1
12+1 · 22+2+1
22+2 ·32+3+1
32+3 · · ·n2+n+1
n2+n < e成 立。
分析: 此題直接論證很難, 用數學歸納法也很難證明, 若構造函數不等式 ln(1 + x) < x, 則思 維量大且不易想到, 若注意到題設待證不等式的結構可考慮利用 『糖水不等式』 證明。
證明: 原不等式等價於 12+ 1
12+ 1 + 1· 22+ 2
22+ 2 + 1· 32+ 3
32+ 3 + 1· · · n2+ n
n2+ n + 1 > 1 e, 當 n = 1 時, 12+ 1
12+ 1 + 1 = 2 3 > 2
2e = 1 e 成立;
當 n = 2 時, 12+ 1
12+ 1 + 1· 22+ 2
22+ 2 + 1 = 12 21 > 12
12e = 1 e 成立;
當 n ≥ 3 時, 由 『糖水不等式』 可知 n2− 1
n2 < n2− 1 + n + 1
n2+ n + 1 = n2+ n n2+ n + 1 即 n2+ n
n2+ n + 1 > n2 − 1
n2 = n− 1
n · n + 1
n , 故當 n ≥ 3 時, 32+3
32+3+1 · 42+4
42+4+1· · · n2+n n2+n+1>2
3 · 4 3· 3
4· 5
4· · ·n− 2 n− 1· n
n− 1· n− 1
n · n+1 n
=2
3 · n+1
n = 2
3 (
1+1 n
)
> 2 3 故
12+ 1
12+ 1 + 1 · 22+ 2
22+ 2 + 1· 32+ 3
32+ 3 + 1 · 42+ 4
42+ 4 + 1· · · n2+ n n2+ n + 1
> 12+ 1
12+ 1 + 1· 22+ 2 22+ 2 + 1 ·2
3 = 8 21 > 8
8e = 1 e. 綜上, 對任意的 n ∈ N+,
12+ 1
12+ 1 + 1 · 22+ 2
22+ 2 + 1 · 32+ 3
32+ 3 + 1· · · n2+ n
n2+ n + 1 > 1 e 成立, 即原不等式成立。
可見, 適當挖掘某些不等式的潛在功能無論是對解題還是對教材的處理都大有裨益, 有事 半功倍之效。
練習 :
1. 已知 a, b, c 是 △ABC 的三邊, 求證 a
a + m + b
b + m > c c + m。 2. 已知 A, B, C 是 △ABC 的三內角,
求證 1 < sin A
sin B + sin C + sin B
sin C + sin A + sin C
sin A + sin B < 2.
3. (1995年全國高考題理科第 25 題) 設 {an} 是由正數組成的等比數列, Sn是其前 n 項 和。
(1) 證明 log Sn+ log Sn+2
2 < log Sn+1;
(2) 是否存在常數 c > 0, 使得 log(Sn− c) + log(Sn+2− c)
2 = log(Sn+1− c)成立? 並 證明你的結論。
4. 對任意大於 1 的正整數 n, 求證 ( 1 + 1
3 )(
1 + 1 5
)· · ·(
1 + 1 2n− 1
)
>
√2n + 1 2 。 5. (1998全國高考題文科25題) 已知數列 {bn} 是等差數列, b1 = 1, b1 + b2+· · · + b10 =
100。
(I) 求數列 {bn} 的通項 bn; (II) 設數列 {an} 的通項 an = log
( 1 + 1
bn )
, 記 Sn 是數列 {an} 的前 n 項的和, 試比 較 Sn 與 1
2log bn+1 的大小, 並證明你的結論。
6. (2009年全國數學聯賽河北省預賽題第17題) 已知函數 f(x) = x2− 2, 設曲線 y = f(x) 在點 A(xn, f (xn)), n∈ N∗處的切線與 x 軸交於點 B(xn+1, 0), n ∈ N∗且 x1 = 3。 (1) 求證 xn>√
2, n∈ N∗; (2) 設 bn = xn−√
2,數列 {bn} 的前項和為 Tn, 證明 Tn < 2(3−√ 2)。
參考資料
1. 張國治, 反思出巧解 [J], 中國數學教育, 2012 (4), 35-36.
2. 張國治, 一道流行錯題的正本清源及反思 [J], 中國數學教育, 2012 (6), 41-42.
—本文作者任教中國新疆生產建設兵團第二中學—
台北表現理論研討會 IV
日 期 : 2013 年 12 月 20 日 (星期五) ∼ 2013 年 12 月 23 日 (星期一) 地 點 : 台北市大安區羅斯福路四段1號 天文數學館
詳見中研院數學所網頁 http://www.math.sinica.edu.tw