第一篇：数列不等式的证明

数列和式不等式的证明策略

罗红波洪湖二中高三

（九）班周二第三节（11月13日）

数列和式不等式的证明经常在试卷压轴题中出现，在思维能力和方法上要求很高，难度很大，往往让人束手无策，其实，这类不等式的证明，是有一定的规律的，利用S1

n

a1q

来证明也能事半功倍，下面用几个例子来简述数列和式不等式的证明

S1

n

a1q

常用策略。

一、基础演练：

1、等比数列{an}，公比为q，则{an}的前n项和Sn为（）

na1(q1A．)

an

a1(1q)1(1qn)a

1q(q1)B.na1C.1qD.11q2、正项等比数列{an}，公比为q，0q1，{an}的前n项和Sn，以下说法正确的是（）A．S1n

a11qB.Sa11qC.Saa

nn1qD.Sn11q3、正项数列{a}，{a的前n项和Sa

nn}n，要证明S1n1q，其中0q1，可以去证明（）A．

an1qB.an1aqC.an1qD.a

n1aq nnanan

二、典例精讲：

例

1、等比数列{a1

n}，a11,q2，{an}的前n项和Sn，求证：Sn2

变式

1、正项等比数列{an}，{a1n}的前n项和Sn，a11,Sn2恒成立，求证：0q

2例

2、已知数列{an}，an1

2n

1，{an}的前n项和S5n，求证：Sn2(Sn3?)

aann变式

2、数列{n1n}，a3232n1，a11，{a3

n1n}的前n项和Sn，求证：Sn n

2例

3、（09四川理22）数列{an}的前n项和Sn，对任意正整数n，都有a4an

n5Sn1成立，记bn1a(nN).n

(1)求数列{bn}的通项公式；

(2)记c

nb2nb2n1(nN)，{c3

n}的前n项和Tn，求证：Tn

2变式

3、已知a1n

2，求证Sn(1)a1(1)2a2(1)nan1

(2)n

3三、小结

四、课后作业：

1、等比数列{a1

n}，a12,q

3，{an}的前n项和Sn，求证：Sn3

2、已知数列{an}，an

14n2，{an}的前n项和Sn，求证：S2

n

3

第二篇：放缩法证明数列不等式

放缩法证明数列不等式

基础知识回顾:

放缩的技巧与方法：

（1）常见的数列求和方法和通项公式特点：

① 等差数列求和公式：错误！未找到引用源。，错误！未找到引用源。（关于错误！未找到引用源。的一次函数或常值函数）

② 等比数列求和公式：错误！未找到引用源。，错误！未找到引用源。（关于错误！未找到引用源。的指数类函数）③ 错位相减：通项公式为“等差错误！未找到引用源。等比”的形式

④ 裂项相消：通项公式可拆成两个相邻项的差，且原数列的每一项裂项之后正负能够相消，进而在求和后式子中仅剩有限项

（2）与求和相关的不等式的放缩技巧：

① 在数列中，“求和看通项”，所以在放缩的过程中通常从数列的通项公式入手

② 在放缩时要看好所证不等式中不等号的方向，这将决定对通项公式是放大还是缩小（应与所证的不等号同方向）

③ 在放缩时，对通项公式的变形要向可求和数列的通项公式靠拢，常见的是向等比数列与可裂项相消的数列进行靠拢。

④ 若放缩后求和发现放“过”了，即与所证矛盾，通常有两条道路选择：第一个方法是微调：看能否让数列中的一些项不动，其余项放缩。从而减小放缩的程度，使之符合所证不等式；第二个方法就是推翻了原有放缩，重新进行设计，选择放缩程度更小的方式再进行尝试。

（3）放缩构造裂项相消数列与等比数列的技巧：

① 裂项相消：在放缩时，所构造的通项公式要具备“依项同构”的特点，即作差的两项可视为同一数列的相邻两项（或等距离间隔项）

② 等比数列：所面对的问题通常为“错误！未找到引用源。常数”的形式，所构造的等比数列的公比也要满足错误！未找到引用源。，如果题目条件无法体现出放缩的目标，则可从所证不等式的常数入手，常数可视为错误！未找到引用源。的形式，然后猜想构造出等比数列的首项与公比，进而得出等比数列的通项公式，再与原通项公式进行比较，看不等号的方向是否符合条件即可。例如常数错误！未找到引用源。，即可猜想该等比数列的首项为错误！未找到引用源。，公比为错误！未找到引用源。，即通项公式为错误！未找到引用源。

注：此方法会存在风险，所猜出的等比数列未必能达到放缩效果，所以是否选择利用等比数列进行放缩，受数列通项公式的结构影响

（4）与数列中的项相关的不等式问题：

① 此类问题往往从递推公式入手，若需要放缩也是考虑对递推公式进行变形

② 在有些关于项的不等式证明中，可向求和问题进行划归，即将递推公式放缩变形成为可“累加”或“累乘”的形式，即错误！未找到引用源。或错误！未找到引用源。（累乘时要求不等式两侧均为正数），然后通过“累加”或“累乘”达到一侧为错误！未找到引用源。，另一侧为求和的结果，进而完成证明 应用举例:

类型一：与前n项和相关的不等式 例1.【202_届江苏泰州中学高三摸底考试】已知数列错误！未找到引用源。的前错误！未找到引用源。项和错误！未找到引用源。满足：错误！未找到引用源。（错误！未找到引用源。为常数，且错误！未找到引用源。，错误！未找到引用源。）．

（1）求错误！未找到引用源。的通项公式；

（2）设错误！未找到引用源。，若数列错误！未找到引用源。为等比数列，求错误！未找到引用源。的值；（3）在满足条件（2）的情形下，设错误！未找到引用源。，数列错误！未找到引用源。的前错误！未找到引用源。项和为错误！未找到引用源。，若不等式错误！未找到引用源。对任意的错误！未找到引用源。恒成立，求实数错误！未找到引用源。的取值范围．

例2.记错误！未找到引用源。.对数列错误！未找到引用源。和错误！未找到引用源。的子集错误！未找到引用源。，若错误！未找到引用源。，定义错误！未找到引用源。；若错误！未找到引用源。，定义错误！未找到引用源。.例如：错误！未找到引用源。时，错误！未找到引用源。.现设错误！未找到引用源。是公比为3的等比数列，且当错误！未找到引用源。时，错误！未找到引用源。.错误！未找到引用源。

（1）求数列的通项公式；错误！未找到引用源。错误！未找到引用源。错误！未找到引用源。（2）对任意正整数，若，求证：；错误！未找到引用源。错误！未找到引用源。（3）设，求证：.类型

二、与通项运算相关的不等式 例3.设函数错误！未找到引用源。，数列错误！未找到引用源。满足：错误！未找到引用源。．（1）求证:错误！未找到引用源。时，错误！未找到引用源。；（2）求证:错误！未找到引用源。（错误！未找到引用源。）；（3）求证:错误！未找到引用源。（错误！未找到引用源。）．

例4.已知错误！未找到引用源。是数列错误！未找到引用源。的前错误！未找到引用源。项和，且对任意错误！未找到引用源。，有错误！未找到引用源。.其中错误！未找到引用源。为实数，且错误！未找到引用源。.（1）当错误！未找到引用源。时，①求数列错误！未找到引用源。的通项；

②是否存在这样的正整数错误！未找到引用源。，使得错误！未找到引用源。成等比数列？若存在，给出错误！未找到引用源。满足的条件，否则，请说明理由.（2）当错误！未找到引用源。时，设错误！未找到引用源。，① 判定错误！未找到引用源。是否为等比数列；

②设错误！未找到引用源。，若错误！未找到引用源。对错误！未找到引用源。恒成立，求错误！未找到引用源。的取值范围.方法、规律归纳: 常见的放缩变形：

（1）错误！未找到引用源。，（2）错误！未找到引用源。

注：对于错误！未找到引用源。还可放缩为：错误！未找到引用源。（3）分子分母同加常数：错误！未找到引用源。（4）错误！未找到引用源。

错误！未找到引用源。可推广为：错误！未找到引用源。

错误！未找到引用源。实战演练: 1．【江苏省无锡市普通高中202_届高三上学期期中】已知数列错误！未找到引用源。满足错误！未找到引用源。记数列错误！未找到引用源。的前错误！未找到引用源。项和为错误！未找到引用源。，错误！未找到引用源。

（1）求证：数列错误！未找到引用源。为等比数列，并求其通项错误！未找到引用源。；

（2）求错误！未找到引用源。；

（3）问是否存在正整数错误！未找到引用源。，使得错误！未找到引用源。成立？说明理由.2．【江苏省常州市202_届高三上学期武进区高中数学期中试卷】在数列错误！未找到引用源。中，错误！未找到引用源。，错误！未找到引用源。，错误！未找到引用源。，其中错误！未找到引用源。．

⑴ 求证：数列错误！未找到引用源。为等差数列；

⑵ 设错误！未找到引用源。，错误！未找到引用源。，数列错误！未找到引用源。的前错误！未找到引用源。项和为错误！未找到引用源。，若当错误！未找到引用源。且错误！未找到引用源。为偶数时，错误！未找到引用源。恒成立，求实数错误！未找到引用源。的取值范围；

⑶ 设数列错误！未找到引用源。的前错误！未找到引用源。项的和为错误！未找到引用源。，试求数列错误！未找到引用源。的最大值.【答案】⑴见解析⑵错误！未找到引用源。⑶错误！未找到引用源。

3．【江苏省徐州市202_届高三上学期期中考试】已知数列的前项和为，满足，．数列

满足（1）求数列（2）若和，且． 的通项公式；，数列的前项和为，对任意的，（，都有，求实数的取值范围；

（3）是否存在正整数，使，请说明理由．）成等差数列，若存在，求出所有满足条件的，若不存在，4．已知数列错误！未找到引用源。、错误！未找到引用源。，其中，错误！未找到引用源。，数列错误！未找到引用源。满足错误！未找到引用源。,错误！未找到引用源。，数列错误！未找到引用源。满足错误！未找到引用源。．

（1）求数列错误！未找到引用源。、错误！未找到引用源。的通项公式；

（2）是否存在自然数错误！未找到引用源。，使得对于任意错误！未找到引用源。有错误！未找到引用源。恒成立？若存在,求出错误！未找到引用源。的最小值；

（3）若数列错误！未找到引用源。满足错误！未找到引用源。，求数列错误！未找到引用源。的前错误！未找到引用源。项和错误！未找到引用源。．

5．【江苏省启东中学202_届高三上学期第一次月考】设数列错误！未找到引用源。的前错误！未找到引用源。项和为错误！未找到引用源。，且满足错误！未找到引用源。，错误！未找到引用源。为常数．

（1）是否存在数列错误！未找到引用源。，使得错误！未找到引用源。？若存在，写出一个满足要求的数列；若不存在，说明理由．（2）当错误！未找到引用源。时，求证： 错误！未找到引用源。．

（3）当错误！未找到引用源。时，求证：当错误！未找到引用源。时，错误！未找到引用源。．

6．【江苏省泰州中学202_届高三上学期开学考试】已知两个无穷数列

分别满足，其中（1）若数列（2）若数列①若数列②若数列，设数列的前项和分别为的通项公式；，使得，称数列

.都为递增数列，求数列满足：存在唯一的正整数“坠点数列”，求 为“坠点数列”，数列

为“坠点数列”.为“坠点数列”，是否存在正整数，使得，若存在，求的最大值；若不存在，说明理由.7．【江苏省南京师范大学附属中学202_届高三高考模拟一】已知数集错误！未找到引用源。具有性质错误！未找到引用源。对任意的错误！未找到引用源。，使得错误！未找到引用源。成立.（1）分别判断数集错误！未找到引用源。与错误！未找到引用源。是否具有性质错误！未找到引用源。，并说明理由；

（2）求证： 错误！未找到引用源。；

（2）若错误！未找到引用源。，求错误！未找到引用源。的最小值.8．记等差数列错误！未找到引用源。的前错误！未找到引用源。项和为错误！未找到引用源。.（1）求证：数列错误！未找到引用源。是等差数列；

（2）若 错误！未找到引用源。，对任意错误！未找到引用源。，均有错误！未找到引用源。是公差为错误！未找到引用源。的等差数列，求使错误！未找到引用源。为整数的正整数错误！未找到引用源。的取值集合；

（3）记错误！未找到引用源。，求证： 错误！未找到引用源。.9．已知数列{an}的前n项和为Sn，数列{bn}，{cn}满足(n＋1)bn＝an＋1错误！未找到引用源。，(n＋2)cn＝错误！未找到引用源。，其中n∈N*．

（1）若数列{an}是公差为2的等差数列，求数列{cn}的通项公式；

（2）若存在实数λ，使得对一切n∈N*，有bn≤λ≤cn，求证：数列{an}是等差数列．

10．已知各项不为零的数列错误！未找到引用源。的前错误！未找到引用源。项和为错误！未找到引用源。，且错误！未找到引用源。，错误！未找到引用源。，错误！未找到引用源。．

（1）若错误！未找到引用源。成等比数列，求实数错误！未找到引用源。的值；（2）若错误！未找到引用源。成等差数列，①求数列错误！未找到引用源。的通项公式；

②在错误！未找到引用源。与错误！未找到引用源。间插入错误！未找到引用源。个正数，共同组成公比为错误！未找到引用源。的等比数列，若不等式错误！未找到引用源。对任意的错误！未找到引用源。恒成立，求实数错误！未找到引用源。的最大值．

放缩法证明数列不等式

基础知识回顾:

放缩的技巧与方法：

（1）常见的数列求和方法和通项公式特点：

① 等差数列求和公式：错误！未找到引用源。，错误！未找到引用源。（关于错误！未找到引用源。的一次函数或常值函数）

② 等比数列求和公式：错误！未找到引用源。，错误！未找到引用源。（关于错误！未找到引用源。的指数类函数）③ 错位相减：通项公式为“等差错误！未找到引用源。等比”的形式

④ 裂项相消：通项公式可拆成两个相邻项的差，且原数列的每一项裂项之后正负能够相消，进而在求和后式子中仅剩有限项

（2）与求和相关的不等式的放缩技巧：

① 在数列中，“求和看通项”，所以在放缩的过程中通常从数列的通项公式入手

② 在放缩时要看好所证不等式中不等号的方向，这将决定对通项公式是放大还是缩小（应与所证的不等号同方向）

③ 在放缩时，对通项公式的变形要向可求和数列的通项公式靠拢，常见的是向等比数列与可裂项相消的数列进行靠拢。

④ 若放缩后求和发现放“过”了，即与所证矛盾，通常有两条道路选择：第一个方法是微调：看能否让数列中的一些项不动，其余项放缩。从而减小放缩的程度，使之符合所证不等式；第二个方法就是推翻了原有放缩，重新进行设计，选择放缩程度更小的方式再进行尝试。

（3）放缩构造裂项相消数列与等比数列的技巧：

① 裂项相消：在放缩时，所构造的通项公式要具备“依项同构”的特点，即作差的两项可视为同一数列的相邻两项（或等距离间隔项）

② 等比数列：所面对的问题通常为“错误！未找到引用源。常数”的形式，所构造的等比数列的公比也要满足错误！未找到引用源。，如果题目条件无法体现出放缩的目标，则可从所证不等式的常数入手，常数可视为错误！未找到引用源。的形式，然后猜想构造出等比数列的首项与公比，进而得出等比数列的通项公式，再与原通项公式进行比较，看不等号的方向是否符合条件即可。例如常数错误！未找到引用源。，即可猜想该等比数列的首项为错误！未找到引用源。，公比为错误！未找到引用源。，即通项公式为错误！未找到引用源。注：此方法会存在风险，所猜出的等比数列未必能达到放缩效果，所以是否选择利用等比数列进行放缩，受数列通项公式的结构影响

（4）与数列中的项相关的不等式问题：

① 此类问题往往从递推公式入手，若需要放缩也是考虑对递推公式进行变形

② 在有些关于项的不等式证明中，可向求和问题进行划归，即将递推公式放缩变形成为可“累加”或“累乘”的形式，即错误！未找到引用源。或错误！未找到引用源。（累乘时要求不等式两侧均为正数），然后通过“累加”或“累乘”达到一侧为错误！未找到引用源。，另一侧为求和的结果，进而完成证明 应用举例:

类型一：与前n项和相关的不等式 例1.【202_届江苏泰州中学高三摸底考试】已知数列错误！未找到引用源。的前错误！未找到引用源。项和错误！未找到引用源。满足：错误！未找到引用源。（错误！未找到引用源。为常数，且错误！未找到引用源。，错误！未找到引用源。）．

（1）求错误！未找到引用源。的通项公式；

（2）设错误！未找到引用源。，若数列错误！未找到引用源。为等比数列，求错误！未找到引用源。的值；（3）在满足条件（2）的情形下，设错误！未找到引用源。，数列错误！未找到引用源。的前错误！未找到引用源。项和为错误！未找到引用源。，若不等式错误！未找到引用源。对任意的错误！未找到引用源。恒成立，求实数错误！未找到引用源。的取值范围．

【答案】（1）错误！未找到引用源。（2）错误！未找到引用源。（3）错误！未找到引用源。

（2）由（1）知，错误！未找到引用源。，即错误！未找到引用源。，若数列错误！未找到引用源。为等比数列，则有错误！未找到引用源。，而错误！未找到引用源。，错误！未找到引用源。，错误！未找到引用源。，故错误！未找到引用源。，解得错误！未找到引用源。，再将错误！未找到引用源。代入错误！未找到引用源。，得错误！未找到引用源。，例2.记错误！未找到引用源。.对数列错误！未找到引用源。和错误！未找到引用源。的子集错误！未找到引用源。，若错误！未找到引用源。，定义错误！未找到引用源。；若错误！未找到引用源。，定义错误！未找到引用源。.例如：错误！未找到引用源。时，错误！未找到引用源。.现设错误！未找到引用源。是公比为3的等比数列，且当错误！未找到引用源。时，错误！未找到引用源。.错误！未找到引用源。

（1）求数列的通项公式；错误！未找到引用源。错误！未找到引用源。错误！未找到引用源。（2）对任意正整数，若，求证：；错误！未找到引用源。错误！未找到引用源。（3）设，求证：.【答案】（1）错误！未找到引用源。（2）详见解析（3）详见解析 【解析】

试题分析：（1）根据及时定义，列出等量关系，解出首项，写出通项公式；（2）根据子集关系，进行放缩，转化为等比数列求和；（3）利用等比数列和与项的大小关系，确定所定义和的大小关系：设错误！未找到引用源。，则错误！未找到引用源。因此由错误！未找到引用源。，因此错误！未找到引用源。中最大项必在A中，由（2）得错误！未找到引用源。.试题解析：（1）由已知得错误！未找到引用源。.于是当错误！未找到引用源。时，错误！未找到引用源。.又错误！未找到引用源。，故错误！未找到引用源。，即错误！未找到引用源。.所以数列错误！未找到引用源。的通项公式为错误！未找到引用源。.（2）因为错误！未找到引用源。，错误！未找到引用源。，所以错误！未找到引用源。.因此，错误！未找到引用源。.综合①②③得，错误！未找到引用源。.类型

二、与通项运算相关的不等式 例3.设函数错误！未找到引用源。，数列错误！未找到引用源。满足：错误！未找到引用源。．（1）求证:错误！未找到引用源。时，错误！未找到引用源。；（2）求证:错误！未找到引用源。（错误！未找到引用源。）；（3）求证:错误！未找到引用源。（错误！未找到引用源。）． 【答案】（1）证明见解析；（2）证明见解析；（3）证明见解析．

故错误！未找到引用源。，则有：错误！未找到引用源。错误！未找到引用源。例4.已知错误！未找到引用源。是数列错误！未找到引用源。的前错误！未找到引用源。项和，且对任意错误！未找到引用源。，有错误！未找到引用源。.其中错误！未找到引用源。为实数，且错误！未找到引用源。.（1）当错误！未找到引用源。时，①求数列错误！未找到引用源。的通项；

②是否存在这样的正整数错误！未找到引用源。，使得错误！未找到引用源。成等比数列？若存在，给出错误！未找到引用源。满足的条件，否则，请说明理由.（2）当错误！未找到引用源。时，设错误！未找到引用源。，① 判定错误！未找到引用源。是否为等比数列；

②设错误！未找到引用源。，若错误！未找到引用源。对错误！未找到引用源。恒成立，求错误！未找到引用源。的取值范围.【答案】（1）①错误！未找到引用源。；②不存在；（2）①当错误！未找到引用源。且错误！未找到引用源。时，数列错误！未找到引用源。是以错误！未找到引用源。为首项，错误！未找到引用源。为公比的等比数列，当错误！未找到引用源。时，错误！未找到引用源。，不是等比数列；②错误！未找到引用源。．

方法、规律归纳: 常见的放缩变形：

（1）错误！未找到引用源。，（2）错误！未找到引用源。

注：对于错误！未找到引用源。还可放缩为：错误！未找到引用源。（3）分子分母同加常数：错误！未找到引用源。（4）错误！未找到引用源。

错误！未找到引用源。可推广为：错误！未找到引用源。

错误！未找到引用源。实战演练: 1．【江苏省无锡市普通高中202_届高三上学期期中】已知数列错误！未找到引用源。满足错误！未找到引用源。记数列错误！未找到引用源。的前错误！未找到引用源。项和为错误！未找到引用源。，错误！未找到引用源。

（1）求证：数列错误！未找到引用源。为等比数列，并求其通项错误！未找到引用源。；

（2）求错误！未找到引用源。；

（3）问是否存在正整数错误！未找到引用源。，使得错误！未找到引用源。成立？说明理由.【答案】（1）错误！未找到引用源。（2）错误！未找到引用源。（3）当错误！未找到引用源。为偶数时，错误！未找到引用源。都成立，（3）详见解析

（3）假设存在正整数错误！未找到引用源。，使得错误！未找到引用源。成立，因为错误！未找到引用源。，错误！未找到引用源。，所以只要错误！未找到引用源。

即只要满足 ①：错误！未找到引用源。，和②：错误！未找到引用源。，对于①只要错误！未找到引用源。就可以； 对于②，当错误！未找到引用源。为奇数时，满足错误！未找到引用源。，不成立，当错误！未找到引用源。为偶数时，满足错误！未找到引用源。，即错误！未找到引用源。令错误！未找到引用源。，因为错误！未找到引用源。

即错误！未找到引用源。，且当错误！未找到引用源。时，错误！未找到引用源。，所以当错误！未找到引用源。为偶数时，②式成立，即当错误！未找到引用源。为偶数时，错误！未找到引用源。成立.2．【江苏省常州市202_届高三上学期武进区高中数学期中试卷】在数列错误！未找到引用源。中，错误！未找到引用源。，错误！未找到引用源。，错误！未找到引用源。，其中错误！未找到引用源。．

⑴ 求证：数列错误！未找到引用源。为等差数列；

⑵ 设错误！未找到引用源。，错误！未找到引用源。，数列错误！未找到引用源。的前错误！未找到引用源。项和为错误！未找到引用源。，若当错误！未找到引用源。且错误！未找到引用源。为偶数时，错误！未找到引用源。恒成立，求实数错误！未找到引用源。的取值范围；

⑶ 设数列错误！未找到引用源。的前错误！未找到引用源。项的和为错误！未找到引用源。，试求数列错误！未找到引用源。的最大值.【答案】⑴见解析⑵错误！未找到引用源。⑶错误！未找到引用源。

要使错误！未找到引用源。对错误！未找到引用源。且错误！未找到引用源。为偶数恒成立，只要使错误！未找到引用源。对错误！未找到引用源。且错误！未找到引用源。为偶数恒成立，即使错误！未找到引用源。对错误！未找到引用源。为正偶数恒成立，错误！未找到引用源。，错误！未找到引用源。，故实数错误！未找到引用源。的取值范围是错误！未找到引用源。； ⑶由⑴得错误！未找到引用源。，错误！未找到引用源。，错误！未找到引用源。，错误！未找到引用源。，设错误！未找到引用源。，错误！未找到引用源。，错误！未找到引用源。错误！未找到引用源。

错误！未找到引用源。当错误！未找到引用源。时，错误！未找到引用源。，即错误！未找到引用源。，当错误！未找到引用源。时，错误！未找到引用源。，即错误！未找到引用源。，错误！未找到引用源。，因此数列错误！未找到引用源。的最大值为错误！未找到引用源。．

【点睛】本题考查数列与不等式的综合应用，涉及等差数列的判定与证明，其中证明（1）的关键是分析得到错误！未找到引用源。与错误！未找到引用源。的关系式．

3．【江苏省徐州市202_届高三上学期期中考试】已知数列满足，且

． 的前项和为，满足，．数列（1）求数列（2）若和的通项公式；，数列的前项和为，对任意的，（，都有，求实数的取值范围；

（3）是否存在正整数，使，请说明理由．

【答案】（1）（2））成等差数列，若存在，求出所有满足条件的，若不存在，（3）不存在

（2）由（1）得于是所以，两式相减得所以由（1）得因为对 即所以恒成立，都有，，恒成立，记所以因为从而数列于是，为递增数列，所以当．

（），使

成等差数列，则，时取最小值，（3）假设存在正整数即，若为偶数，则若为奇数，设于是当时，为奇数，而为偶数，上式不成立.，则，与

矛盾；，即，此时

4．已知数列错误！未找到引用源。、错误！未找到引用源。，其中，错误！未找到引用源。，数列错误！未找到引用源。满足错误！未找到引用源。,错误！未找到引用源。，数列错误！未找到引用源。满足错误！未找到引用源。．

（1）求数列错误！未找到引用源。、错误！未找到引用源。的通项公式；

（2）是否存在自然数错误！未找到引用源。，使得对于任意错误！未找到引用源。有错误！未找到引用源。恒成立？若存在,求出错误！未找到引用源。的最小值；

（3）若数列错误！未找到引用源。满足错误！未找到引用源。，求数列错误！未找到引用源。的前错误！未找到引用源。项和错误！未找到引用源。．

【答案】（1）错误！未找到引用源。；（2）存在，错误！未找到引用源。；（3）错误！未找到引用源。． 【解析】试题分析：

（1）根据题设条件用累乘法能够求出数列{an}的通项公式．b1=2，bn+1=2bn可知{bn}是首项为2，公比为2的等比数列，由此能求出{bn}的通项公式．（2）bn=2n．假设存在自然数m，满足条件，先求出错误！未找到引用源。，将问题转化成错误！未找到引用源。可求得错误！未找到引用源。的取值范围；（3）分n是奇数、n是偶数两种情况求出Tn，然后写成分段函数的形式。

试题解析：（1）由错误！未找到引用源。，即错误！未找到引用源。． 又错误！未找到引用源。，所以错误！未找到引用源。错误！未找到引用源。错误！未找到引用源。.当错误！未找到引用源。时，上式成立，因为错误！未找到引用源。，所以错误！未找到引用源。是首项为2，公比为2的等比数列，故错误！未找到引用源。.（3）当错误！未找到引用源。为奇数时，错误！未找到引用源。错误！未找到引用源。错误！未找到引用源。错误！未找到引用源。； 当错误！未找到引用源。为偶数时，错误！未找到引用源。错误！未找到引用源。错误！未找到引用源。错误！未找到引用源。.因此错误！未找到引用源。．

点睛：数列求和时，要根据数列项的特点选择不同的方法，常用的求和方法有公式法、裂项相消法、错位相减法、分组求和等。

5．【江苏省启东中学202_届高三上学期第一次月考】设数列错误！未找到引用源。的前错误！未找到引用源。项和为错误！未找到引用源。，且满足错误！未找到引用源。，错误！未找到引用源。为常数．

（1）是否存在数列错误！未找到引用源。，使得错误！未找到引用源。？若存在，写出一个满足要求的数列；若不存在，说明理由．

（2）当错误！未找到引用源。时，求证： 错误！未找到引用源。．

（3）当错误！未找到引用源。时，求证：当错误！未找到引用源。时，错误！未找到引用源。． 【答案】（1）不存在，理由见解析（2）证明见解析（3）证明见解析

当错误！未找到引用源。时，错误！未找到引用源。，两式相减得错误！未找到引用源。，即错误！未找到引用源。，错误！未找到引用源。，错误！未找到引用源。，错误！未找到引用源。，当错误！未找到引用源。时，错误！未找到引用源。，即错误！未找到引用源。，综上，错误！未找到引用源。．

6．【江苏省泰州中学202_届高三上学期开学考试】已知两个无穷数列的前项和分别为（1）若数列.分别满足，其中，设数列都为递增数列，求数列的通项公式；（2）若数列①若数列②若数列满足：存在唯一的正整数“坠点数列”，求 为“坠点数列”，数列，使得，称数列为“坠点数列”.为“坠点数列”，是否存在正整数，使得，若存在，求的最大值；若不存在，说明理由.【答案】（1）

.（2）①，② 6.7．【江苏省南京师范大学附属中学202_届高三高考模拟一】已知数集错误！未找到引用源。具有性质错误！未找到引用源。对任意的错误！未找到引用源。，使得错误！未找到引用源。成立.（1）分别判断数集错误！未找到引用源。与错误！未找到引用源。是否具有性质错误！未找到引用源。，并说明理由；

（2）求证： 错误！未找到引用源。；

（2）若错误！未找到引用源。，求错误！未找到引用源。的最小值.【答案】（1）不具有（2）见解析（3）错误！未找到引用源。.（2）因为集合错误！未找到引用源。具有性质错误！未找到引用源。，所以对错误！未找到引用源。而言，存在错误！未找到引用源。，使得错误！未找到引用源。，又因为错误！未找到引用源。，所以错误！未找到引用源。，所以错误！未找到引用源。，同理可得错误！未找到引用源。，将上述不等式相加得： 错误！未找到引用源。，所以错误！未找到引用源。.（3）由（2）可知错误！未找到引用源。，又错误！未找到引用源。，所以错误！未找到引用源。，所以错误！未找到引用源。，构成数集错误！未找到引用源。，经检验错误！未找到引用源。具有性质错误！未找到引用源。，故错误！未找到引用源。的最小值为错误！未找到引用源。.点睛：本题是一道新定义的迁移信息并利用信息的信息迁移题。求解第一问时，直接运用题设条件中所提供的条件信息进行验证即可；解答第二问时，先运用题设条件中定义的信息可得错误！未找到引用源。，同理可得错误！未找到引用源。，再将上述不等式相加得： 错误！未找到引用源。即可获证错误！未找到引用源。；证明第三问时，充分借助（2）的结论可知错误！未找到引用源。，又错误！未找到引用源。，所以错误！未找到引用源。可得错误！未找到引用源。，因此构成数集错误！未找到引用源。，经检验错误！未找到引用源。具有性质错误！未找到引用源。，进而求出错误！未找到引用源。的最小值为错误！未找到引用源。.8．记等差数列错误！未找到引用源。的前错误！未找到引用源。项和为错误！未找到引用源。.（1）求证：数列错误！未找到引用源。是等差数列；

（2）若 错误！未找到引用源。，对任意错误！未找到引用源。，均有错误！未找到引用源。是公差为错误！未找到引用源。的等差数列，求使错误！未找到引用源。为整数的正整数错误！未找到引用源。的取值集合；

（3）记错误！未找到引用源。，求证： 错误！未找到引用源。.【答案】（1）见解析（2）错误！未找到引用源。（3）见解析

解：（1）设等差数列错误！未找到引用源。的公差为错误！未找到引用源。，则错误！未找到引用源。，从而错误！未找到引用源。，所以当错误！未找到引用源。时，错误！未找到引用源。，即数列错误！未找到引用源。是等差数列.（2）因为的任意的错误！未找到引用源。都是公差为错误！未找到引用源。，的等差数列，所以错误！未找到引用源。是公差为错误！未找到引用源。，的等差数列，又错误！未找到引用源。，所以错误！未找到引用源。，所以错误！未找到引用源。，显然，错误！未找到引用源。满足条件，当错误！未找到引用源。时，因为错误！未找到引用源。，所以错误！未找到引用源。，所以错误！未找到引用源。不是整数，综上所述，正整数错误！未找到引用源。的取值集合为错误！未找到引用源。.（3）设等差数列错误！未找到引用源。的公差为错误！未找到引用源。，则错误！未找到引用源。，所以错误！未找到引用源。，即数列错误！未找到引用源。是公比大于错误！未找到引用源。，首项大于错误！未找到引用源。的等比数列，记公比为错误！未找到引用源。.以下证明： 错误！未找到引用源。，其中错误！未找到引用源。为正整数，且错误！未找到引用源。，因为错误！未找到引用源。，所以错误！未找到引用源。，所以错误！未找到引用源。，当错误！未找到引用源。时，错误！未找到引用源。，当错误！未找到引用源。时，因为错误！未找到引用源。为减函数，错误！未找到引用源。，所以错误！未找到引用源。，所以错误！未找到引用源。，综上，错误！未找到引用源。，其中错误！未找到引用源。错误！未找到引用源。

错误！未找到引用源。，即错误！未找到引用源。.9．已知数列{an}的前n项和为Sn，数列{bn}，{cn}满足(n＋1)bn＝an＋1错误！未找到引用源。，(n＋2)cn＝错误！未找到引用源。，其中n∈N*．

（1）若数列{an}是公差为2的等差数列，求数列{cn}的通项公式；

（2）若存在实数λ，使得对一切n∈N*，有bn≤λ≤cn，求证：数列{an}是等差数列． 【答案】（1）cn＝1．（2）见解析.10．已知各项不为零的数列错误！未找到引用源。的前错误！未找到引用源。项和为错误！未找到引用源。，且错误！未找到引用源。，错误！未找到引用源。，错误！未找到引用源。．

（1）若错误！未找到引用源。成等比数列，求实数错误！未找到引用源。的值；（2）若错误！未找到引用源。成等差数列，①求数列错误！未找到引用源。的通项公式； ②在错误！未找到引用源。与错误！未找到引用源。间插入错误！未找到引用源。个正数，共同组成公比为错误！未找到引用源。的等比数列，若不等式错误！未找到引用源。对任意的错误！未找到引用源。恒成立，求实数错误！未找到引用源。的最大值．

【答案】（1）错误！未找到引用源。（2）错误！未找到引用源。（3）错误！未找到引用源。

（3）错误！未找到引用源。，在错误！未找到引用源。与错误！未找到引用源。间插入错误！未找到引用源。个正数，组成公比为错误！未找到引用源。的等比数列，故有错误！未找到引用源。，即错误！未找到引用源。，

第三篇：放缩法证明数列不等式

放缩法证明不等式

1、设数列an的前n项的和Sn

43an

13

2n

n

1

3(n1,2,3,)

n

（Ⅰ）求首项a1与通项an；（Ⅱ）设Tn

an42

n

n

2Sn

(n1,2,3,)，证明：Ti

i1

解：易求

SnTn

（其中n为正整数）

n

n

432

n

an

n

13

2

n1





4n

23

n



2

n1





2

n1

121

n

Sn

2

n1

121



11

nn1



22121

所以：



i1

Ti

3131

1n12212122、求证：（1）

11法1：数归（两边都可以）

法2：放缩裂项 法3：定积分放缩（2）

22

nN)





1n1n



31n

11n

法1：放缩一：



n(n1)



(n2)

Sn





1n

1n

(1336









52)（15



1653







1n1



1n)

＝1

1336

121400

11

121400

1

23893600(1

1

24003600

.放缩二：

1n

1n1



(n1)(n1)



2n1



n1),(n2)

Sn54







1n

（11



2)

111111111()22435n2nn1n1



1111151115

()().223nn142233

放缩三：

1n



1n

(n

112)(n

12)

（1n



1n

12)2（12n1



12n1),(n1)

Sn







1n

12（13









12n1



12n1)12（13



12n1)

法2：数归——加强命题：常用的放缩公式：

1n(n1)

2n

n1

1n



1n





1n



1n(n1)1n

；n

n12nn

n1；

n

n

2n1；

ab



ambm

(ba0,m0)

1k



k(k1)(k1)

1n11k(k1)



111*

(k2,kN)

2k(k1)k(k1)

1nk

nkn1k!



1n2

...



kn11

(k3)

(k2)

；212

n1n

k!k(k1)(k2)

n

an

例3：已知：

1

(nN

)，求证：ai

i1

n2



法1：均值不等式：即证





715n2

...

212

n1

n

1





n2

也即：





715

...

212

n

n1

n

1



而

:





715

...

212

n1

1

n



法2：放缩后裂项求和

an

21212

n1n

1（

212(21



n

n)1







n1

=

1





21(2

n1

n

1)(21)

n

=



21

n

n1

1)

法3：数归，但是直接去证是不行的，要转化为一个加强命题

4．定义数列如下：a12,an1anan1,nN



证明：（1）对于nN恒有an1an成立。

2



（2）当n2且nN，有an1anan1a2a11成立。

（3）1

202_



1a1



1a2



1a2006

1。

解：（1）用数学归纳法易证。

（2）由an1anan1得：an11an(an1)an1an1(an11)……

a21a1(a11)以上各式两边分别相乘得：

an11anan1a2a1(a11)，又a12an1anan1a2a11（3）要证不等式1

202_



1a1



1a2



1a2006

1，可先设法求和：

1a1



1a2



a2006，再进行适当的放缩。

an11an(an1)



1an111an1a1



1an1



1an



1an11a2



1an111a2006



（1a111



1a211)（1a21



1a31)（1a20061



1a20071)



a11



a200711

1

a1a2a2006

1

又a1a2a2006a1

202_

2

202_

1

1a1a2a2006

1

202_

原不等式得证。

5．已知数列an中an

i

i

n

nn

21，求证：ai(ai1)3.i1

方法一：ai(ai1)

n

i

2121



i

i

i

(21)(22)



i

i1

i1

(21)(21)



i1

1



121

i

.



i1

ai(ai1)

(21)

（121



121)（121



121)（12

n1

1



121

n)3

121

n

3.方法二：

ai(ai1)

i

i

(21)



i

122

i



122

i



122

i



22

i

i1

.(i2)

n





i1

ai(ai1)2





n1

2(1

12)3n1

n1

3.n

法3：数归证



i1

ai(ai1)3

121

n

3.（即转化为证明加强命题）

6、已知函数fxln1xx，数列an满足：

a1

2,ln2lnan1an1anf

an1an．

（1）求证：ln1xx；（2）求数列an的通项公式；

（3）求证不等式：a1a2annln2lnn2． 解：（1）fxln1xx，f'x

11x

1

x1x，当1x0时，f'x0，即yf(x)是单调递增函数；当x0时，f'x0，即yf(x)是单

调递减函数．

所以f'00，即x0是极大值点，也是最大值点

fxln1xxf00ln1xx，当x0时取到等号．（2）法1：数学归纳法（先猜想，再证明）

法2：由ln2lnan1an1anfan1an得2an1an1an1，an1

12an，an11

12an

1

an12an，1an1

1

1an1

1，即数列



1

2，公差为1，是等差数列，首项为

a11an1

nn1

∴

an1

n1an

．

（3）法1：

a1a2an1

111

1

121

1

111

n

23n1n1

又∵x0时，有xln1x，令x

1n112

0，则

1n2

ln1ln n1n1n11

∴n



3

345n1n2

nlnlnlnlnln n1234nn1n

2n2

nln

n12

nln



343

ln2

n nl

∴a1a2annln2lnn2 ． 法2：积分法要证原命题，即证：

12



ln(n2)ln2 n11



1113n12

12

n2



1x

dxlnx

n22

法3：数归证明：7.1、（1）求证：2

n







ln(n2)ln2 n1



2n1(n2,nN)

nn1n01

法1：2CnCn...CnCn；

法2：数学归纳法 法3：函数法（求导）

8.若nN，证明：()+()+…+（n

n

*

n

n

n1n)+（n

nn)

n

ee1

提示:借助e1x证明

x

第四篇：数列与不等式证明专题

数列与不等式证明专题

复习建议：

1．“巧用性质、减少运算量”在等差、等比数列的计算中非常重要，但用“基本量法”并树立“目标意识”，“需要什么，就求什么”，既要充分合理地运用条件，又要时刻注意题的目标，往往能取得与“巧用性质”解题相同的效果2．归纳——猜想——证明体现由具体到抽象，由特殊到一般，由有限到无限的辩证思想．学习这部分知识，对培养学生的逻辑思维能力，计算能力，熟悉归纳、演绎的论证方法，提高分析、综合、抽象、概括等思维能力，都有重大意义．

3．解答数列与函数的综合问题要善于综合运用函数方程思想、化归转化思想等数学思想以及特例分析法，一般递推法，数列求和及求通项等方法来分析、解决问题．

4．数列与解析几何的综合问题解决的策略往往是把综合问题分解成几部分，先利用解析几何的知识以及数形结合得到数列的通项公式，然后再利用数列知识和方法求解． 证明方法：（1）先放缩后求和；（2）先求和后放缩(3)灵活运用 例1．数列a

2nn满足a11,a22,an2(1cos2)asin2n

n2,n1,2,3,.(Ⅰ)求a3,a4,并求数列an的通项公式；(Ⅱ)设ba2n

1n

a,Snb1b2bn.证明：当n6S21n2n

n.分析：本题给出数列相邻两项的递推关系，且要对n分奇偶性。

解:(Ⅰ)因为acos

2

11,a22,所以a3(12)a1sin2



a112,a4(1cos2)a2sin22a24.一般地，当n2k1(kN*)时，a2

k1)2k1[1cos

(22]asin22k1

2k12

 ＝a2k11，即a2k1a2k11.所以数列a2k1是首项为

1、公差为1的等差数列，因此a2k1k.当n2k(kN*)时，a2k2k2(1cos

22)a2k

2ksin2

22a2k.所以数列a2k是首项为

2、公比为2的等比数列，因此a2k2k.故数列an1n的通项公式为an

2,n2k1(kN*),n22,n2k(kN*).(Ⅱ)由(Ⅰ)知，ba2n1nan

123n2,Sn23n,①2n22222

12S1223n

n222242

n1② 1①-②得，1[1(1)2]2S1111nn222232n2n1n1n12n112n2n1.2所以S1nn2

n22n12n22

n.要证明当n6时，S1n(n2)

n2n成立，只需证明当n6时，2n

1成立.证法一

(1)当n = 6时，6(62)264864

341成立.(2)假设当nk(k6)时不等式成立，即k(k2)

k

1.则当n=k+1时，(k1)(k3)k(k2)(k1)(k2k12k3)2k(k2)(k1)(k3)

(k2)2k

1.由(1)、(2)所述，当n≥6时，n(n1)2

21.即当n≥6时，Sn2

1n

.证法二令cn(n2)n

22(n6)，则c(n1)(n3)n(n2)3n2

n1cn2n1222

n10.所以当n6时，c68n1cn.因此当n6时，cnc664

341.于是当n6时，n(n2)221.综上所述，当n6时，Sn

21

n

.点评：本题奇偶分类要仔细，第（2）问证明时可采用分析法。

例题2.已知为锐角，且tan

21，函数f(x)x2tan2xsin(2



4)，数列{an}的首项a1

2,an1f(an).(1)求函数f(x)的表达式；⑵ 求证：an1an；

⑶ 求证：

111a112(n2,nN*)11a21an

分析：本题是借助函数给出递推关系，第（2）问的不等式利用了函数的性质，第（3）问是转化成可以裂项的形式，这是证明数列中的不等式的另一种出路。

解：⑴tan2

2tan2(1)2

又∵为锐角 ∴2 ∴sin(2)1∴f(x)xx1

441tan21(21)2

∴a2,a3,an都大于0∴an0∴an1an2

∴

则S

1111121212111()(S)S a22a2a3ana2an13an13a22an1

⑵

an1anan∵a1

点评：数列中的不等式要用放缩来解决难度就较大了，而且不容易把握，对于这样的题要多探索，多角度的思考问题。

⑶

1an1



1111

2

ananan(1an)an1an111

1ananan1

例题4.已知函数f(x)xln1x,数列an满足0a11,∴

111111111111

2

an1fan;数列bn满足b1,bn1(n1)bn, nN*.求证:

1a11a21ana1a2a2a3anan1a1an1an1

∵a(12)21234, a(34)23

234

1 ,又∵n2an1an∴an1a31

∴1

2

1a2∴1

1n1a11

2

1

11a21an

点评：把复杂的问题转化成清晰的问题是数学中的重要思想，本题中的第（3）问不等式的证明更具有一般性。

例题3.已知数列aa

n满足a11,n12an1nN

（Ⅰ）求数列an的通项公式；（Ⅱ）若数列b1n满足4b114b24

b31

4bn1(an1)bn，证明：bn是等差数列；

（Ⅲ）证明：

11a12nNa 23an13

分析：本例（1）通过把递推关系式转化成等比型的数列；第（2）关键在于找出连续三项间的关系；第（3）问关键在如何放缩 解：（1）an12an1，an112(an1)

故数列{an1}是首项为2，公比为2的等比数列。ann12n，an21

（2）4

b114

b214

b31

4bn1(an1)bn，4

(b1b2bnn)

2nbn

2(b1b2bn)2nnbn①2(b1b2bnbn1)2(n1)(n1)bn1②

②—①得2bn1

2(n1)bn1nbn，即nbn2(n1)bn1③(n1)bn12nbn2④ ④—③得2nbn1

nbnnbn1，即2bn1bnbn1所以数列{bn}是等差数列

（3）

1a1111

2n112n12

设S



1n2ana11，2a3an1

（Ⅰ）0a（Ⅱ）aa2nn1an1;n12;

（Ⅲ）若a12

则当n≥2时,bnann!.分析：第（1）问是和自然数有关的命题，可考虑用数学归纳法证明；第（2）问可利用函数的单调性；第（3）问进行放缩。解：(Ⅰ)先用数学归纳法证明0an1,nN*.（1）当n=1时,由已知得结论成立;（2）假设当n=k时,结论成立,即0ak1.则当n=k+1时,因为0

1x1xx1

0,所以f(x)在(0,1)上是增函数.又f(x)在0,1上连续,所以f(0)1, 得an1ananln1ananln(1an)0,从而an1an.综上可知0an1

an1.(Ⅱ)构造函数g(x)=

x2

x2x2

-f(x)=

ln(1x)x, 0g(0)=0.因为0aa2nn1,所以gan0,即2faa2

nn>0,从而an12

.(Ⅲ)因为

b12b1b

n11,n12(n1)bn,所以bn0,n1bn,所以bba2nbn1bnn

b2b1

1nn!————①由(Ⅱ)an1,知:an1an,n1bn2b122an2

所以

anaa3naa1a2n1 ,因为aa=

a2aa1, n≥2, 0an1an1.1

1a2n12222

a2a2

所以

a1a2an1aan

1<

n

2221<2

n12n

=

2n

————②由①② 两式可知:

bnann!.点评：本题是数列、超越函数、导数的学归纳法的知识交汇题，属于难题，复习时应引起注意。

例题5.已知函数f(x)=52x

168x，设正项数列an满足a1=l，an1fan．

(1)试比较a

5n与

4的大小，并说明理由；

(2)设数列b5n

nn满足bn=4－an，记Sn=bi．证明：当n≥2时,Sn＜(2－1)．

i

14分析：比较大小常用的办法是作差法，而求和式的不等式常用的办法是放缩法。

解：(1)a2ann1



5168a，因为a所以a7

311,2,a34

.（2）因为an0,an10,所以168an0,0an2.n8a552a48(a55

n5nn1)3an554168a432(2a,因为2an0,所以an1与a同号，nn)22an

4n

4因为a514140，a5555

240,a340,„，an40,即an4

.（3）当n2时，b531n4an22a(5a31

31n1)bn1bn12bn1，n1422an1225

所以bn

2bn122bn22n1b312n，13n

(12n)

所以Snb1b2bn

4121

2

121

(2n1)

点评：本题是函数、不等式的综合题，是高考的难点热点。

例题6.已知数列a*

n中，a11，nan12(a1a2...an)nN

．

（1）求a2,a3,a4；（2）求数列an的通项an；（3）设数列{b1n}满足b1

2,b12

n1abnbn，求证：bn1(nk)k

分析：条件中有类似于前n项和的形式出现，提示我们应该考虑an＝Sn－Sn－1(n≥2)

解：（1）a22,a33,a44（2）nan12(a1a2...an)①

(n1)an2(a1a2...an1)②①—②得nan1(n1)an2an

即：nan1

(n1)a1n1aa3ann，ana所以aa223n

n1a...1...1

n(n2)

nna12an112n所以a*n

n(nN)

（3）由（2）得：b1

12,b12

n1k

bnbnbnbn1...b10，所以{bn}是单调递增数列，故要证：bn1(nk)只需证bk1

若k

1，则b121显然成立;若k2，则b1211

n1kbnbnk

bnbn1bn 所以

1b11,因此：1(11)...(11)1k12

k1

n1bnkbkbkbk1b2b1b1kk所以bk



k

k1

1,所以bn1(nk)点评：与数列相关的不等式证明通常需要“放缩”，而放缩的“度”尤为关键，本题中

1b(11)...(11)1,这种拆分方法是数学中较高要求的变形.kbkbk1b2b1b1

例题7.已知不等式

12131n1

[log2n],其中n为不大于2的整数，[log2n]表示不超过log2n的最大整数。设数列a1

n的各项为正且满足a1b(b0),anann

na(n2,3,4)，证明：

n1

an

2b

2b[log，n3,4,5

2n]

分析：由条件an111111n



nana得：

n1

a1

nan1n

an(n2)

nan1

11a



1n1

an2

n1

„„

a11以上各式两边分别相加得： 2a121a111111111

11[log2n](n3)na1nn12anbnn12

b2

=

2b[log2n]2b a2b

n2b[logn]

(n3)

2本题由题设条件直接进行放缩，然后求和，命题即得以证明。

例题8.已知数列{an}的前n项和Sn满足：Sn2an(1)n，n1（1）写出数列{an}的前三项a1，a2，a5；（2）求数列{an}的通项公式；

（3）证明：对任意的整数m4，有1117

a

4a5am8

分析：⑴由递推公式易求：a1=1,a2=0,a3=2； ⑵由已知得：an

SnSn12an(1)n2an1(1)n1（n>1）

化简得：an1anan1anan1n

2an12(1)

(1)n2(1)n12,(1)n232[(1)

n1

2

3] 故数列{

an2(1)n3}是以a123为首项, 公比为2的等比数列.故an21

(1)

n

3(3)(2)n1∴a23[2n2(1)n]∴数列{a2

n

n}的通项公式为：an3

[2n2(1)n].⑶观察要证的不等式，左边很复杂，先要设法对左边的项进行适当的放缩，使之能够求和。而左边=

1a1a13[111

2212312m2(1)

m]，如果我们把上式中的分母中的1去掉，就可利45am2用等比数列的前n项公式求和，由于-1与1交错出现，容易想到将式中两项两项地合并起来一起进行放缩，尝试知：

11111

22112311221

23，2312412324，因此，可将

1

保留，再将后面的项两两组合后放缩，即可求和。这里需要对m进行分类讨论，（1）当m为偶数(m4)时，1a11a1(11)(11)13(11134m2)4a5ma4a5a6am1am

22222



1311224(1137

m4)288（2）当m是奇数(m4)时，m1为偶数，1a1111a1117 4a5ama45a6amam18

所以对任意整数m4，有

aa

7。本题的关键是并项后进行适当的放缩。45am8

例题9.定义数列如下：a2

12,an1anan1,nN

证明：（1）对于nN

恒有a

n1an成立。（2）当n2且nN，有an1anan1a2a11成立。（3）1

112a12006



a1

1。12a2006

分析：（1）用数学归纳法易证。

（2）由a2

n1anan1得：an11an(an1)

an1an1(an11)„„a21a1(a11)

以上各式两边分别相乘得：an11anan1a2a1(a11)，又a12

an1anan1a2a11

（3）要证不等式1

11122006



a11，可先设法求和：11，1a2a2006a1a2a2006

再进行适当的放缩。a111n11an(an1)

aaa11

a n11



n1nanan1n11



1111a(1)(11)(11)1a2a2006a11a21a21a31a20061a20071

1a1a1

11202_1

aa 12a2006又aa2006

1a2a20061

220061

1a11

202_原不等式得证。

1a2a20062

点评：本题的关键是根据题设条件裂项求和。

第五篇：数列----利用函数证明数列不等式

数列已知数列{an}的前n项和为Sn，且a2anS2Sn对一切正整数n都成立。（Ⅰ）求a1，a2的值；（Ⅱ）设a10，数列{lg大值。

2已知数列{an}的前n项和Sn

（1）确定常数k，求an；

（2）求数列{

3在等差数列an中，a3a4a584,a973.（Ⅰ）求数列an的通项公式；（Ⅱ）对任意mN*，将数列an中落入区间(9,9)内的项的个数记为bm，求数列m2m10a1的前n项和为Tn，当n为何值时，Tn最大？并求出Tn的最an12nkn，kN*,且Sn的最大值为8.292an的前n项和Tn。n2bm的前m项和Sm.