数列不等式的证明技巧.docxVIP

数列不等式证明技巧 遂宁市第七中学 郑廷楷 例 1.已知 an 1 1 2 ， a1 11 ，求 (- 1)a 1 2 2 n n an 7 +(- 1) a +?+(- 1) a 1 明：先 0 a2n 1 2 ， a2n 2 （*） 当 n=1 ∵ 0 a1 11 2， a2 25 2 7 11 ∴当 n=1 （ * ）式成立 假 当 n=k （ * ）式成立，即 0 a2k 1 2 ， a2k 2 当 n=k+1 ∵ a2k 1 1 2 0 ， a2k 1 2 2 1 2 a2k 0 a2 k a2k a2k 1 2 2 2a2 k 1 a2 k a2k 2 a2 k 2 2 1 0 a2k 1 a2 k 1 1 2 a2k 2 a2 k ∴ 0 a2k 1 2 ， a2 k 2 2 bn a2 n a2 n 1 (a2n 2)(a2 n 1) a2n 1 bn 1a2n 2 a2 n 1 2( a2n 2)(a2 n 1) a2 n ( a2 n 2) bn 1 2(a2n 1) = 2 2 2 - 3 bn1 a2n (a2 n 2) 3 2 3 4 a2n 1 4 a2 n 1 注意 a2 25 ， b1 a2 a1 54 11 77 bn b1 b2 b3 bn 54 3) n 1 ? ? ? ? (2 b1 b2 bn 1 77 b1 b2 b3 bn 54 4( 3 1) (2 3)] 11 1 77[1 ? 成立 因此当 n 偶数 ： (- 1)a1 2 2 +(- 1) n n +(- 1) a + a 1 当 n 偶奇数 多了个 加数因此原式也成立故原命 成立。 例 2.数列 { an} 中， an 1 1 n 都有 an 1 a ，求 ： 于一切正整数 an 证明： a1 1 a 1 a 2 ， a2 1 a 1 a a 1 a3 1 a a1 1 a2 1 a2 1 1 a 2 1 a 4 1 a n 1 （* ） a3 a 3 a 3 ，猜出： an n a2 1 a 1 a 1 a 下面用数数归纳法证明（ * ） 当 n=1 时（ * ）显然成立 假设当 n=k 时（ * ）成立，即 ak 1 ak 1 1 ak 则 ak 1 1 1 ak a 1 ak 2 ak a ak 1 1 ak 1 1 即当 n=k+1 时（ * ）也成立 故当 n N 时 1 an 1 成立 an 1 an an 1 1 a n 1 1 a n 1 1 an a n (1 a) 0 ， an 1 1 an 1 1 an 1 an 例 3．证明： a 1, n 2 ，且 n N ，求证 an 1 n(a 1 ) 1 a n a a n a( a 2n 1) a(1 a 2 n ) 1 an （ a a 3 a 2 n 1 ) 证明： 1 a n (a2 1) a n (1 a 2 ) a n a a 1 1 1n n( a ? a3 ? ? a 2n 1 ) n ＝ 1n n(a n 21 ) n n a a 因 a 1 ，故 a 1 0 ，于是 an 1 n(a 1 ) a a n 1 ) a 例 4．数列 3 1 , 而数列 a n = (a 大于 ）， 是数列 前 n 项之和， bn n log a (1 an bn 求证： Sn log a bn 1 3 1 ) 1 3n 证明： an log a (1 log a (1 ) log a 1 bn 3n 1 3n Sn a1 a2 an =log a 3 log a 6 log a 3n 1 3 6 3n 2 5 3n ? ) = log a ( ? ? 2 5 3n 1 由假分数的性质得 3 ? 6 ? ? 3n 1 4 ? 7 ? ? 3n 1 （1） 2 5 3n 3 6 3n 3?6? ? 3n 1 5 ? 8 ? ? 3n 2 （2） 2 5 3n 4 7 3n 1 又3?6? ? 3n ＝ 3 ? 6 ? ? 3n （3） 2 5 3n 1 2 5 3n 1 （ 1）×（ 2）×（ 3）得 （3?6? ? 3n ) 3 3 4 5 (3n 2) (3n 1)(3n 2) 2 5 3n 1 2 3 4 (3n 1) 2 3 当 n≥2 时（ 3 ? 6 ? 3n ) 3 (3n 1)(3n 2) 3n+2= 2 ? 2 3 b 因为 a 1 5 3n 1 3 ? 6 ? 3n log a bn 1 ，即 Sn log a bn 1 故有 3 log a ( 5 ? ) 3 2