典型例题：推理与证明.docVIP

PAGE6/NUMPAGES6

第二章《推理与证明》章末复习习题

考试要求

1．了解合情推理的思维过程；

2．掌握演绎推理的一般模式；

3．会灵活运用直接证明和间接证明的方法，证明问题；

4．掌握数学归纳法的整体思想.

典例精析精讲

例1、如图，已知□ABCD，直线BC⊥平面ABE，F为CE的中点.

例1图（1）求证：直线AE∥平面BDF；

例1图

（2）若，求证：平面BDF⊥平面BCE．

证明：（1）设AC∩BD＝G，连接FG.

由四边形ABCD为平行四边形，得G是AC的中点.

又∵F是EC中点，∴在△ACE中，FG∥AE.

∵AE平面BFD，FG?平面BFD，∴AE∥平面BFD；

（2）∵，∴.

又∵直线BC⊥平面ABE，∴.

又，∴直线平面.

由（1）知，FG∥AE，∴直线平面.

例2已知数列的前n项和（n为正整数）.

（Ⅰ）令，求证数列是等差数列，并求数列的通项公式；

（Ⅱ）令，试比较与的大小，并予以证明.

解：（I）在中，令n=1，可得，即.

当时，，

.

.

又数列是首项和公差均为1的等差数列.

于是.

(II)由（I）得，所以

，

.

由①-②得

.

于是确定的大小关系等价于比较的大小.

由

可猜想当证明如下：

证法1：（1）当n=3时，由上验算显示成立.

（2）假设时，.

所以当时猜想也成立.

综合（1）（2）可知，对一切的正整数，都有

证法2：当时，

综上所述，当，当时.

例3设数列的前项和为，对任意的正整数，都有成立，记.

（I）求数列与数列的通项公式；

（II）设数列的前项和为，是否存在正整数，使得成立？若存在，找出一个正整数；若不存在，请说明理由；

（III）记，设数列的前项和为，求证：对任意正整数都有.

解：（I）当时，.

又，

.

∴数列是首项为，公比为的等比数列.

∴，.

（II）不存在正整数，使得成立.

证明：由（I）知.

∴当n为偶数时，设.

∴.

当n为奇数时，设.

∴.

∴对于一切的正整数n，都有.

∴不存在正整数，使得成立.

（III）由，得

又，

当时，，

当时，

例4设函数．数列满足，．

（Ⅰ）证明：函数在区间是增函数；

（Ⅱ）证明：；

（Ⅲ）设，整数．证明：．

解析：（Ⅰ）证明：，

故函数在区间(0,1)上是增函数.

（Ⅱ）证明：（用数学归纳法）（i）当n=1时，，，

，

由函数在区间是增函数，且函数在处连续，则在区间是增函数，，即成立；

（ⅱ）假设当时，成立，即，

那么当时，由在区间是增函数，，得

.而，则，

，也就是说当时，也成立；

根据（ⅰ）、（ⅱ）可得对任意的正整数，恒成立.

（Ⅲ）证明：由，，可得

.

若存在某满足，则由（ⅱ）知：；

（2）若对任意都有，则

，即成立.

例5已知函数满足下列条件：对任意的实数x1，x2都有和，其中是大于0的常数.设实数a0，a，b满足和.

（Ⅰ）证明:，并且不存在，使得；

（Ⅱ）证明:；

（Ⅲ）证明:.

证明：（Ⅰ）不妨设，由，

可知，是R上的增函数.不存在，使得.

又，.

（Ⅱ）要证：，

即证：.

不妨设，由，得.

即.则.（1）

由，得，即.

则.（2）

由（1）（2）可得..

（Ⅲ）,.,又由（2）中结论，.