国产精品成人一区二区在线_日本淫妇xxww老女人,_黑人让我高潮的视频_欧美亚洲高清在线一区_国产丝袜久久久久之久_国产精品这里有精品_亚洲aⅴ男人的天堂t在线观看_免费黄色片一级毛片

數(shù)學(xué)歸納法證明的原理

2024-05-12

數(shù)學(xué)歸納法證明的原理

  數(shù)學(xué)歸納法證明的原理

  數(shù)學(xué)歸納法證明的是與自然數(shù)有關(guān)的命題,它的依據(jù)是皮亞諾提出的自

  然數(shù)的序數(shù)理論,就是通常所說(shuō)的自然數(shù)的皮亞諾公理,內(nèi)容是:

 。ǎ保 是自然數(shù)。

 。ǎ玻┟總(gè)自然數(shù) a 有一個(gè)確定的“直接后繼”數(shù) a’,a 也是自然數(shù)。

 。ǎ玻帷伲保 1 不是任何自然數(shù)的“直接后繼”數(shù)。

 。ǎ矗┯ a’=b’,推得 a=b,即每個(gè)自然數(shù)只能是另外的唯一自然的“直

  接后繼”數(shù)。

 。ǎ担┤我蛔匀粩(shù)的集合,如果包含 1,并且假設(shè)包含 a,也一定包含 a

  的“直接后繼”數(shù) a’,則這個(gè)集合包含所有的自然數(shù)。

  皮亞諾公理中的(5)是數(shù)學(xué)歸納法的依據(jù),又叫歸納公理

  數(shù)學(xué)歸納法的應(yīng)用及舉例。

  因?yàn)橛杉僭O(shè)知 42k+1+3k+2 能被 13 整除,1342k+1 也能被 13 整除,這就

  是說(shuō),當(dāng) n=k+1 時(shí),f(k+l)能被 13 整除。根據(jù)(1)、(2),可知命題

  對(duì)任何 n∈N 都成立。

  下面按歸納步中歸納假設(shè)的形式向讀者介紹數(shù)學(xué)歸納法的幾種不同形式

  以及它們的應(yīng)用。

 。ǎ欤┖(jiǎn)單歸納法。即在歸納步中,歸納假設(shè)為“n=k 時(shí)待證命題成立”。

  這是最常用的一種歸納法,稱(chēng)為簡(jiǎn)單歸納法,大家都比較熟悉,這里不再贅

  述。

 。ǎ玻⿵(qiáng)歸納法。這種數(shù)學(xué)歸納法,在歸納步中,其歸納假設(shè)為“n≥k

  時(shí)待證命題成立”。我們稱(chēng)之為強(qiáng)歸納法,又叫串值歸納法。

  通常,如果在證明 p(n+l)成立時(shí),不僅依賴(lài)于 p(n)成立,而且還

  可能依賴(lài)于以前各步時(shí),一般應(yīng)選用強(qiáng)歸納法,下面舉例說(shuō)明其應(yīng)用。

  例 有數(shù)目相等的兩堆棋子,兩人輪流從任一堆里取幾項(xiàng)棋子,但不能

  不取也不能同時(shí)從兩堆里取,規(guī)定凡取得最后一項(xiàng)者勝。求證后者必勝。

  證:歸納元 n 為每堆棋子的數(shù)目。設(shè)甲為先取者,乙為后取者。

  奠基 n=l,易證乙必勝。

  歸納 設(shè) N n≤k 時(shí),乙必勝。現(xiàn)證 n=k+l 時(shí)也是乙必勝。

  設(shè)甲在某堆中先取 r 顆,O<r≤k。乙的對(duì)策是在另一堆中也取 r 顆。有

  二種可能:

  (1)若 r<k,經(jīng)過(guò)兩人各取一次之后,兩堆都只有 k-r 顆,k-r<k,

  現(xiàn)在又輪到甲先取,依歸納假設(shè),乙必勝。

 。ǎ玻┤ r=k,顯然是乙勝,證畢。

  上述形式的歸納法雖然比較簡(jiǎn)單,但如使用不當(dāng),往往會(huì)發(fā)生錯(cuò)誤,有

  兩點(diǎn)應(yīng)注意:第一,在使用歸納假設(shè)時(shí)防止無(wú)形中引入不相干的假設(shè)。第二,

  在證明過(guò)程中應(yīng)注意數(shù)學(xué)規(guī)律的正確性。下面我們引入一個(gè)反例,在這個(gè)反

  例中,由于錯(cuò)誤的證明導(dǎo)致證得了錯(cuò)誤的待證命題。

  反倒:證明任意 n 條直線(xiàn)均能重合成一條直線(xiàn)。

  下面給出錯(cuò)誤的證明:

  證:奠基 n=1 時(shí)該命題成立。

  歸納 利用強(qiáng)歸納法,可以有如下的歸納假設(shè):任意 1 條,2 條,3 條,…,

 。 條直線(xiàn)均重合成一條直線(xiàn),要證 k+1 條直線(xiàn)也重合成一條直線(xiàn),設(shè)這 k+1

  條直線(xiàn)為 l1、l2、…,lk,lk+1 由強(qiáng)歸納假設(shè)得 l1,…,lk…重合為一條直線(xiàn),

  記為 l。又由強(qiáng)歸納假設(shè)得 l 和 lk+1 重合為一條直線(xiàn),于是任意 n 條直線(xiàn)便

  重合一條直線(xiàn)了。

  細(xì)心的讀者也許已經(jīng)發(fā)現(xiàn)這里的錯(cuò)誤了,這是由于錯(cuò)誤地使用了強(qiáng)歸納

  假設(shè)而造成的。具體地說(shuō),這是在“l 和 lk+1 這兩條直線(xiàn)重合為一條直線(xiàn)”

  這一點(diǎn)把強(qiáng)歸納假設(shè)使用錯(cuò)了。強(qiáng)歸納假設(shè)中并沒(méi)有包含這一條件,因?yàn)槲?/p>

  們這里奠的基是 n=l,因此待證命題“k+1 條直線(xiàn)重合為一條直線(xiàn)”要求對(duì)于

  一切大于等于 1 的 k 成立,而上面證明中所假設(shè)的 l 和 lk+1 重合為一條直線(xiàn)

  實(shí)際上是要求 k≥2,這就是錯(cuò)誤的所在。

 。ǎ常﹨⒆儦w納法。在待證命題中含有參數(shù)的時(shí)候,例如 P(u,n),則

  用數(shù)學(xué)歸納法證明 P(u,n)對(duì)一切 n 成立時(shí),在奠基步中,應(yīng)證 P(u,0)

  對(duì)一切 u 成立。在歸納步中,假設(shè) P(u,k)對(duì)一切 u 成立,證明 P(u,k+1)

  對(duì)一切 u 成立。這里,“P(u,k)”對(duì)一切 u 成立稱(chēng)之為參變歸納假設(shè),這

  種證明方法叫做參變歸納法,U 起著參數(shù)的作用。

  例 求證當(dāng) n≥3 時(shí)有 n(n+1)≥(n+1)3。

  本題證明的困難主要在于歸納步驟,無(wú)論采用哪種歸納假設(shè),都難于證

  明。如果我們對(duì)該待證命題施展一定的技巧,把該式中的部分 n 寫(xiě)成 u(視

  作參數(shù)),部分 n 保持不變,即寫(xiě)成

 。睿酰睢荩ǎ酰欤睿

  則可用參變歸納法證明當(dāng) u≥n≥3 時(shí)上式成立,原命題即可得證。

  奠基 n=3 時(shí),對(duì) u≥3 的一切 u 均有

  右端=3u3=u3+uu2u

  ≥u3+3u+gu

 。荆酰常常酰玻常酰

 。剑ǎ酰保常接叶

  歸納 n=k+1 時(shí),

  左端=(k+1)Uk+1=u(k+1)uk

  =(uk 十 u)uk≥(uk 十 k)Uk

 。剑耄ǎ酰欤酰搿荩ǎ睿保ǎ酰保

 。剑ǎ眨欤耄保接叶。

  所以當(dāng) u≥n≥3 時(shí),有 nun>(u+l)n。

  令 u=n,上式便為 nn+1≥(n+l)n,即為原不等式,故原不等式得證。

  值得指出的是,上面三種形式的數(shù)學(xué)歸納法,都要求待證命題含有自然

  數(shù)變?cè)?n,對(duì) n 施行歸納,n 稱(chēng)為歸納變?cè),但是在?shù)學(xué)的一些分支中,有些

  待證命題表面上看來(lái)似乎不含自然數(shù)變?cè)?n,但仔細(xì)一分析,實(shí)際上是含有

  自然數(shù)變?cè),?dāng)我們一旦把 n 的含義明確以后,用數(shù)學(xué)歸納法去證明這些

  待證命題就迎刃而解了。舉一個(gè)簡(jiǎn)單的例子。

  例 證明由{a,b,c,d}四個(gè)標(biāo)識(shí)符利用+、-運(yùn)算符組成的任意算術(shù)

  表達(dá)式中,所含標(biāo)識(shí)符的個(gè)數(shù)一定等于這個(gè)表達(dá)式中運(yùn)算符的個(gè)數(shù)加 1。

  證:設(shè)任意的表達(dá)式為 f,而歸納變?cè)?n 為 f 中所含運(yùn)算符的個(gè)數(shù)。

  奠基 n=0,則 f 由一個(gè)標(biāo)識(shí)符組成(因?yàn)闆](méi)有運(yùn)算符),所以命題成立。

  歸納 假設(shè) n≤k 時(shí)本命題成立,現(xiàn)證 n=k+1 時(shí)本命題也成立。 f 一

  定是下述兩種情況之一:

 。 是 f1+f2 或 f 是 f1-f2。

  其中 f1,f2 所含的運(yùn)算符個(gè)數(shù)都小于 k+l,對(duì) f1,f2 使用歸納假設(shè),可

  得 f1+f2,f1-f2 中所含標(biāo)識(shí)符個(gè)數(shù)也比各自所含的運(yùn)算符的個(gè)數(shù)多 1。

 。ǎ矗⿵V義歸納法。數(shù)學(xué)歸納法不僅可用于含有自然數(shù)變?cè)?n 的命題,經(jīng)

  推廣后,還可用于含有某些其它集合上的命題。這種集合,稱(chēng)為歸納集。對(duì)

  于一個(gè)含有某個(gè)歸納集上的變?cè)?x 的待證命題 P(x),所用的歸納法稱(chēng)之為

  廣義歸納法。

  定義:設(shè)有一個(gè)集合 A,如果它滿(mǎn)足下面三個(gè)性質(zhì):

  (1)a1,a2…,an 是 A 中的元素(n≥1);

  (2)如果 x 是 A 中元素,則 f11(x),f12(x),…f1n1(x)也是 A 中

  的元素(n、>0);

  如果 x,y 是 A 是元素,則 f21(x、y),f22(x,y),…f2n2(x,y)

  也是 A 中元素(n2>0);…;

  如果 x1…,xm 是 A 中元素,則 fm1 xl…xm),fm2(xl…,xm),…fmnm

 。ǎ薄,xm)也是 A 中元素(m≥l,nm>0)。

 。ǎ常 中的元素僅限于此。

  則 A 稱(chēng)之為歸納集 a1,a2,…an 稱(chēng)為該集的開(kāi)始元素,諸 fij 稱(chēng)為該集

  的生成函數(shù)(其中第一下標(biāo)為該函數(shù)的元素,第二下標(biāo)以區(qū)分具有同樣元素

  的各函數(shù))。

  按照上述的定義,自然數(shù)集是歸納集,它的開(kāi)始元素是 0,生成函數(shù)是 f

  (x)=x+1。

  前例中集{a,b,c,d}的元素利用“+”,“-”運(yùn)算所構(gòu)成的一切表

  達(dá)式的集合是歸納集,開(kāi)始元素是是 a,b,c,d,生成函數(shù)為 f21(x,y)

  =x+y,f22(x,y)=x-y。

  在證明含有某個(gè)歸納集 A 上的變?cè)?X 的待證命題 P(x)時(shí),可用如下的

  廣義歸納法。

  奠基步要證明(al),P(a2),……P(an)成立,這里 al,a2…,an

  是 A 中的開(kāi)始元素。

  歸納法要證明對(duì)于 1≤i≤m 及 1≤j≤n 的所有 i、j 對(duì)于 A 中的任何元

  素 x1,x2…,xi,如果 P(xl),P(x2),…,P(x1)成立,則 P(fij(xx1,…,

 。椋┮渤闪ⅰT诶 4 中,因?yàn)楸磉_(dá)式所組成的集合是歸納集(記為 A),

  我們可用廣義歸納法證之。

  奠基:對(duì)于 A 中的四個(gè)開(kāi)始元素 a,b,C,d,因?yàn)樗鼈兊臉?biāo)識(shí)符個(gè)數(shù)為

 。, 而運(yùn)算符個(gè)數(shù)均為 0,所以命題成立。

  歸納:對(duì)于 A 中的元素 x,y,f21(x,y)=x+y 中,我們?cè)O(shè) x+y 標(biāo)識(shí)

  符個(gè)數(shù)為 m,運(yùn)算符個(gè)數(shù)為 n;

 。 中標(biāo)識(shí)符個(gè)數(shù)為 ml,運(yùn)算符個(gè)數(shù)為 nl;

 。 中標(biāo)識(shí)符個(gè)數(shù)為 m2,運(yùn)算符個(gè)數(shù)為 n2;

  則

  m=ml+m2=(n1+1)+(n2+1)

 。ǎ睿欤睿保保剑睿保

  同理可證 f22(x,y)=x-y 也有如上的結(jié)果,故依廣義歸納法,本命題

  成立。

  • 相關(guān)推薦

【數(shù)學(xué)歸納法證明的原理】相關(guān)文章:

有趣的數(shù)學(xué)歸納法證明06-15

數(shù)學(xué)歸納法證明不等式學(xué)案08-01

數(shù)學(xué)的歸納法解析總結(jié)08-02

高三數(shù)學(xué)歸納法教案07-11

數(shù)學(xué)《抽屜原理》教學(xué)反思原理08-27

《抽屜原理》數(shù)學(xué)教學(xué)反思06-11

試分析行政復(fù)議證明標(biāo)準(zhǔn)原理08-21

《5.數(shù)學(xué)廣角-抽屜原理》教案06-18

數(shù)學(xué)證明的教案_參考10-22

政和县| 太和县| 佛冈县| 青冈县| 丰镇市| 齐河县| 云龙县| 旺苍县| 鄂托克前旗| 新津县| 双牌县| 江安县| 大足县| 吴忠市| 保康县| 阳信县| 枣阳市| 石城县| 远安县| 即墨市| 玛沁县| 巴彦淖尔市| 麻阳| 西宁市| 泸溪县| 鄂托克前旗| 株洲县| 清远市| 疏附县| 聊城市| 中江县| 藁城市| 淳化县| 海宁市| 石渠县| 鄂伦春自治旗| 江孜县| 抚松县| 南皮县| 瑞昌市| 遵化市|