2011归纳原 理递推方法

  • 格式:doc
  • 大小:2.40 MB
  • 文档页数:52

1 ; 归 纳 原 理 皮亚诺公里第五条(归纳原理):设S是正自然数集N的一个子集,满足条件: (1)1S;(2)如果nN,那么1nS。则S一定就是N。 最小数原理:自然数集N的任一非空子集T必有最小元素。 第一数学归纳法:

第二数学归纳法: 典型例题: 例1.设nN,证明:111111111234212122nnnnn



例2.设1(1)()nnkakknN,证明不等式2(1)(1)22nnnna对所有的正整数 n都成立。

例3.已知110,1xx且212(3)()31nnnnxxxnNx。试证:数列nx或者对任意自然数n 都满足1nnxx,或者对任意自然数n都满足1nnxx

例4.对于数列121,,,(0)nxxxx,当3n时满足条件 22222221212312231()()()nnnnxxxxxxxxxxxx。求证:数列

12,,,,nxxx是等比数列。 2

例5.设1,2cosnNxx,求证:12cosnnxnx 练习: 1.证明最小数原理与第一数学归纳法的等价性。

2.设2a,给定数列nx,其中211,()21nnnxxaxnNx 求证:2nx且11()nnxnNx。

3.证明sinsinnn。 4.若12123,7,32(3)nnnaaaaan。求证:对于任意自然数n,总有 121nna。

5.设数列21121:,()2nnnaaaaananN。试证:1(1)nann。 3

6.证明:12222()=2cos2nn重根号。 7.已知001120,,,,()2nnnnnnnnabababaabbabnNab。证明: nnabab,并且2nnnnnnnaabaabaabaab。

8.实数数列na满足,,ijijaaaijN。证明:对,nN都有1nknkaak。 4

9.证明:存在无穷的自然数数列12aa,使得对所有自然数n,21nkka都是平方数。

10.已知数列na满足011,5aa,及21122392nnnnaaaa。证明:所有na都是整数。 5 归 纳 原 理(续)

例1.试证明:用面值为3分和5分的邮票可以支付任何大于7分的整数分的邮资。

例2.2n粒糖围成一个圆圈,依顺时针次序编上号码1,2,,2n。自1号开始,每隔1粒取走

1粒,陆续取走第1,3,5,粒,最后剩下1粒。它的号码是多少?

例3.将n颗石子随意分成两堆,记下两堆石子数的乘积;再将其中一堆分成两堆,记下这两堆石子数的乘积;再将这三堆中的一堆分成两堆,记下这两堆石子数的乘积;这样一直进行下去,直到分成n堆,每堆一颗石子为止。求这些乘积之和。

例4.令1231212,213,2317,,1nnvvvvvvv,且11nnkkSv。证明或否定下述结论:对任意的正整数n,1nS,且对任何n个包含着121,,,nvvv

的正

整数的倒数和nI,如果1nI,则1nnIS。因此nS是|1nnII中最接近1的数。

练习: 1.在一次象棋比赛中,每个参加者要和其他所有人都比赛一局。证明:在比赛结束后,无论结果如何,都能把所有参加者排列一队,使其中没有人输给紧跟他后面的人。

2.有数目相等的两堆火柴,两人玩耍,每人可在其中一堆里取几根,但不能同时在两堆里取,也不能一根不取,规定取得最后一根者为胜,求证后取者总有取胜的策略。 6

3.有一批文件分成n部分分别由n个人保管,这n个人每人都有电话机,证明:当4n时,只需通电话24n次,就可以使这n个人全都了解全部文件的内容。

4.n粒糖围成一个圆圈,依顺时针次序编上号码1,2,,n。自1号开始,每隔1粒取走1粒,陆续取走第1,3,5,粒,最后剩下1粒。它的号码是多少?

5.数列01,,,,naaa按如下定义出来:01111,1,1,2,nnnaaaaan。试证: 对一切2n,na都不是完全平方数。

6.求证:存在无穷多个这样的无穷数列,它的各项是不同的自然数,并且对每一个自 然数n,这个数列的前n项的和能被3n整除。

7.数列na定义如下:43019,34()nnnaaaanN。证明:10a(在十进制下)中1000 个以上的9。 7

数学归纳法的变通形式 1.第一、第二数学归纳法。 2.跳跃数学归纳法:

3.反向数学归纳法: 4.螺旋归纳法: 典型例题: 例1.已知0,1xx,求证:22111()nnnnxxnnNxx。

例2.函数:fNN具有如下:(1)(2)2f;(2)对,,()()()mnNfmnfmfn; (3)当mn时,()()fmfn 。求证:()fnn。

例3.数列na满足22213,3(1)1()llalalllN,记nS是数列的前n项和。求证: 2221211(431),(431)22llSlllSlll。

例4.设(,)fmn满足(,)(,1)(1,)fmnfmnfmn,其中,mn是正整数,2mn,且(1,)(1,)1(,)fnfmmnN。求证:12(,)mmnfmnC。 8

归 纳 原 理 综 合 1.设22(1)0,1,()(1)xxaaaafxaa,求证:()()fnnnN。

2.设112x,定义2111()2nnnxxxnN,求证:对于3n,有22nnx。 3.已知数列na中,1331,3,6aaa,且当3n时,12332nnnnaaaa,求证: 对大于3的自然数n恒有232nna。

4.整数列na满足21211112,7,22nnnaaaaa,求证:当2n时,na必为奇数。 9

练 习 题 1. 已知对任意的nN,有23110,nnniiiiaaa,求证:nan。

2.若2112211,7,nnnaaaaa。求证:(1),xyZ,使对一切n,21nnnaxaya; (2)191nnaa是平方数。

3.na满足2112221,()nnnaaaanNa。证明:对任意n,na都是整数。 10

4.设1121111,2,(2,)nnnnaaaaannNa。证明:当3n时,2nan。 5.设11101,1,()nnaaaaanNa。求证:,1nnNa。 6.设k是给定正整数,数列na满足2111,()nnnakaakaknN。证明:对任意不同的正整数,mn,必有na与ma互素。 11

7.设20111152,,(2)()2nnnaaaaaanN,求证:2(1)32nnna。 8.数列na中,20111552,,(2)22nnnaaaaa,求数列的通项na。 12 9.函数()fx满足1()1()(),()02fxyfxfyf,且12x时,()0fx。

(1)设()()nafnnN,求na;(2)证明当111,()22nnxnN时, 1()12nfx;(3)判断()fx的单调性,并证明。

10.已知函数23()2fxaxx的最大值不大于16,又当11,42x时,1()8fx。 (1)求a的值;(2)设1110,()()2nnaafanN,证明11nan。 13

递 推 一 典型例题: 1.对任意实数x,函数()fx有性质2()(1)fxfxx。若(19)94f,求(94)f除以1000的余数。

2.已知不等式21111log(3,)232nnnNn。设数列na的各项为正,且满足 111(0),(2,)nnnnaabbannNna



。证明:22(3,)2lognbannNbn。

3.已知2223331,2,3abcabcabc,求444abc的值。 定理:设222333(1),(2),(3)fabcAfabcBfabcC,则 则23111()(1)(2)(3)2623BAfnAfnfnAABCfn。

4.若()fx的定义域为R,对()(),,()1()()fxfyxyRfxyfxfy,且(1)1f,证明: ()fx为周期函数。