数学归纳法证明不等式

  • 格式:doc
  • 大小:53.00 KB
  • 文档页数:2

数学归纳法证明不等式的本质

数学归纳法证明不等式的典型类型是与数列或数列求和有关的问题,凡是与数列或数列求和有关的问题都可统一表述成)()()(Nnngnf的形式或近似于上述形式。

这种形式的关键步骤是由kn时,命题成立推导1kn时,命题也成立。为了表示的方便,我们记)()1(kfkfn左,)()1(kgkgn右分别叫做左增量,右增量。那么,上述证明的步骤可表述为

)1()()()()1(kgkgkgkfkfkkk右左左

例1.已知12nna,求证:)(231213221Nnnaaaaaannn

本题要证后半节的关键是证

kk右中 即证21121221kk

而此式显然成立,所以可以用数学归纳法证明。

而要证前半节的关键是证

kk中左 即证12122121kk

而此式显然不成立,所以不能用数学归纳法证明。如果不进行判断就用数学归纳法证前半节,忙乎半天,只会徒劳。

有时,)()()(Nnngnf中)(),(ngnf是以乘积形式出现,

且0)(,0)(ngnf是显然成立的。此时,可记

)()1(kfkfk左,)()1(kgkgk右

分别叫做左增倍,右增倍。那么,用数学归结法证明由kn时,成立推导1kn成立,可表述为

)1()()()()1(kgkgkgkfkfkkk右左左

和前面所讲相似,上述四步中,两个“=”和“<”都显然成立,而“≤”是否成立,就需要判断和证明了,既“kk右左”若成立,既可用数学归纳法证明;若不成立,则不能用数学归纳法证明。因此,可以这样说,此时,数学归纳法证明不等式的本质是证“左增倍≤右增倍”,而判断能否用数学归纳法证明不等式的标准就是看“左增倍≤右增倍”是否成立。