数列不等式的证明.docVIP

PAGE PAGE 3 数列不等式的证明 四川省邻水县三古乡初级中学——曹小霞 摘要: 数列是数学中的重要内容之一，它从等差、等比数列入手涉及到通项与求和，以及数列的性质（有界性、单调性、周期性、整除性），还常常与函数叠代，集合分拆，初等数论等其它知识交织成综合题.而把数列知识与不等式的知识整合起来，形成的数列不等式的相关问题，既是高考的重点，又是竞赛数学研究的焦点.数列不等式的证明要调动证明不等式的各种方法，同时结合数列的相关知识，题型错综复杂值得深入研究.本文主要通过对例题的分析，探索解决数列不等式的一般规律，目的是使复杂的问题明朗化.本文主要运用数学归纳法，三个重要不等式以及数列的性质，探索归纳有关证明数列不等式的一般规律. 关键词: 数列 不等式 1．引言 数列是数学中的重要内容之一，它从等差、等比数列入手涉及到通项与求和，以及数列的性质（有界性、单调性、周期性、整除性），还常常与函数叠代，集合分拆，初等数论等其它知识交织成综合题.而把数列知识与不等式的知识整合起来，形成的数列不等式的相关问题，既是高考的重点，又是竞赛数学研究的焦点.数列不等式的证明要调动证明不等式的各种方法，同时结合数列的相关知识，题型错综复杂值得深入研究.本文主要通过对例题的分析，探索解决数列不等式的一般规律，目的是使复杂的问题明朗化. 2．数列性质的应用 例1[11]．设满足 = 1 \* GB3 ① 的实数序列，而是由下式定义的实数列， = 2 \* GB3 ② 证明： = 1 \* GB2 ⑴对任意成立. = 2 \* GB2 ⑵对于中任意，存在具有性质 = 1 \* GB3 ①的序列，使得由它构成的序列 = 2 \* GB3 ②中有无穷多个下标n满足. 分析与证明 由题设易知 求前n项和，显然，但无法保证，因此可将其作为恒等变形： = 为证问题（2），关键是选取以便计算，可将特殊化，取为常数，此时为等比数列.因而，取，则 此时只要就有无穷多个下标，使 因此当时，取就有，故证得满足题设条件的序列存在. 例2．数列的前n项和为，,, , . 求的通项公式，并证明 解：当n=1时， 当时， （n） 故 例3.设为常数，数列的通项公式为 （n） 若对任意不等式恒成立，求的取值范围. 解： 因为 等价于 = 1 \* GB3 ① = 1 \* GB2 ⑴当时 = 1 \* GB3 ①式即为此式对…恒成立 = 2 \* GB2 ⑵当, …时 = 1 \* GB3 ①式即为 即 此式对 …恒成立， 综上 = 1 \* GB3 ①式对任意成立，有0 ，故的取值范围为 例4[5].求证： （其中）. 证明：构造数列模型， 则有 = = 所以数列为递增数列. 又因为， 故（其中），即原不等式得证. 例5[11].如果（）,证明：对于一切，都有 证明：因为， 所以 ， . 又因为 = 由于 = = 故 由以上例题我们可以看到，数列不等式的证明中，在涉及数列与常数比较大小的问题上，我们常借助于数列的有界性去解决；在涉及到数列前后两项大小已知的问题上，常常采用数列的单调性去解决.在解决不等式问题时，亦可构造数列把不等式问题转化为数列问题，然后借助数列的性质去解决，从而使证明过程更简捷、明了. 3．三个重要不等式的应用 3.1排序不等式 设， ，则有 3.2 平均不等式 对于任意个正数，， 令 这样的分别叫做这个正数的算术平均值,几何平均值，调和平均值，次幂平均值，其中均为大于的自然数.四种平均值之间，具有如下关系： .当且仅当时等号成立. 3.3 柯西不等式 设和为任意实数 则 当且仅当时等号成立. 例1[9].设，且对任意正整数都有，证明： 证明：因 则 又因为