![數(shù)學(xué)歸納法的知識體系_第1頁](http://file4.renrendoc.com/view/1ca5bfd535352bfe9bddd4d1f99ce5eb/1ca5bfd535352bfe9bddd4d1f99ce5eb1.gif)
![數(shù)學(xué)歸納法的知識體系_第2頁](http://file4.renrendoc.com/view/1ca5bfd535352bfe9bddd4d1f99ce5eb/1ca5bfd535352bfe9bddd4d1f99ce5eb2.gif)
![數(shù)學(xué)歸納法的知識體系_第3頁](http://file4.renrendoc.com/view/1ca5bfd535352bfe9bddd4d1f99ce5eb/1ca5bfd535352bfe9bddd4d1f99ce5eb3.gif)
![數(shù)學(xué)歸納法的知識體系_第4頁](http://file4.renrendoc.com/view/1ca5bfd535352bfe9bddd4d1f99ce5eb/1ca5bfd535352bfe9bddd4d1f99ce5eb4.gif)
![數(shù)學(xué)歸納法的知識體系_第5頁](http://file4.renrendoc.com/view/1ca5bfd535352bfe9bddd4d1f99ce5eb/1ca5bfd535352bfe9bddd4d1f99ce5eb5.gif)
版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
數(shù)一數(shù)歸法明全性證數(shù)學(xué)歸納法是一種重要的證題方法多涉及正整數(shù)的問題往往使用它人們驗(yàn)算起始命題成立后,只要證明了遞推依據(jù)(由
(k)
成立,可推出
(k
成立)就完成了數(shù)學(xué)歸納法的證明(1么,數(shù)學(xué)歸納法的邏輯基是什么?下面從兩個方面給予說明.?dāng)?shù)學(xué)歸納法合理性是建立在以下自然數(shù)公理系公系統(tǒng)礎(chǔ)上的Peano把自然數(shù)集N定義滿足如下五條公理的集合.(1
N
(2任給N則存在a(a后面加個元“1的后繼數(shù))(3若
,則
(即
N
中任何元素不能作為
N
中多于一個元素的后繼數(shù))(4任給
N
,則
(即是
N
中任一元素的后繼數(shù))(5)若N的一子集M具性質(zhì)(集合M就有集合N的所有元素)下用Peano理明學(xué)歸法合性記
(n)
表示含自然數(shù)n的一命題,若()P(1為真命題)任給
n0
,若)0
真,則
(0
真.則對一切
N
,P
真.證:記
MkP(k)}
,由①知
M(1)真)
。又由②,對一切MM(n真P(n真)0
,由Peano公可知
MN
,即M應(yīng)該包含一切自然數(shù).()
對一切自然數(shù)都正確..學(xué)歸納法的合理性也可用自然數(shù)最小數(shù)原理來明,它的邏輯基礎(chǔ)是自然數(shù)的最小數(shù)原理.用反證法證明如下:設(shè)滿足(1命P)
不是對所有自然數(shù)都成立.記
M|m
(m)不}M根據(jù)自然數(shù)最小數(shù)原理的些自然數(shù)組成的集合中一定存在最小自然數(shù)M中一定存在一個最小自然數(shù)妨為
l
然
l
則
l
lM
不真,這與條件)矛盾.由l
知
l2
,于是
l
,又
l
是使
()
不真的自然數(shù)中的最小者,所以
l
就使題為真,即
(l
真,由(2)
[(l(l)
為真,/
所以
lM
,這與
l
矛盾.故
(n)
對所有自然數(shù)都成立.二數(shù)歸法其形.一定從媽.初值可據(jù)實(shí)際情況適當(dāng)提前或推后,例如,求證:
3n
2n對一切
N
,能被整.第一步驗(yàn)證
時,因
2
數(shù)字太大,不易驗(yàn)算,可將初值提前至
,這樣,通過證明命題對一切
的整數(shù)成立,從而證明命題對一切n立..一定由k推.于某些命題:(1驗(yàn)證,命題成立;(2n時立明命題成立.
k2
時題立一N,例證:適合
xy(y
的整數(shù)解組數(shù)
r(
11([124
].證ⅰ)
n
時,
xy
僅不一組解,即
x1r(1)而(11]24
,命題成立.n
時,
xy
有兩組解,即
x2,y或1r而2
]
,命題成立.(ⅱ)設(shè)
nk
時,
r(k)
11(n224
時,
xy
的解分兩類.y時x
,解組數(shù)為;y時xy2(y.
解的組數(shù)為
r(k),r((k
111([1k][(k2)[12424
k
].n
時,命題成立.根據(jù)(ⅰ對切成立.一地若)證
,l
時命題成立.(2若
成立,則
成立.根據(jù)(1知,
N
時,命題成立..向納對于命題
()
,若)
()
對無窮個值真.(2若
(k)
真,則
(k
真.根據(jù)(1N,
(n)
真.例如,用數(shù)學(xué)歸納法證明:
,a,1
,an
為非負(fù)實(shí)數(shù),/
k.kkk.kk有
a2
a
a2n
(nN在證明中,由
(k)
真,不易證出
(k
真;然而卻很容易證出
(k
真,又容易證明不等式對無窮多個
(只要
型的自然數(shù))為真;從而證N
,不等式成立.(證明過程略).重納設(shè)
(mn)
是一個含有兩上獨(dú)立自然數(shù)mn的題.(1
與
(m
對任意自然數(shù)
m、n
成立;(2若由
()
和
(n
成立,能推出
(mn
成立;根據(jù)1可斷定,
(mn)
對一切自然數(shù)mn均立.例設(shè)
m、N
證程
x12
的非負(fù)整數(shù)解的組數(shù)為
(!(m1)!
.
(證明過程略).二學(xué)納對命題
(n)(1
n
時,
(n)
成立;(2)設(shè)k
時,
()
成立,則
(k
成立;根據(jù)
N
,Pn)
成立.例題設(shè)
ax
1,求證:x可示的n次多式.xx證1n時命題成立.(2設(shè)時命題成立.那么當(dāng)
時,x
k
x
1k
k
1x
k
x
1k
由歸納假設(shè)知,
x
k
1xk
為
a
的
k
1次多項(xiàng)式,
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 2025年度化糞池清理與應(yīng)急搶修承包合同
- 2025年度地下綜合管廊照明系統(tǒng)工程建設(shè)服務(wù)合同范本
- 2025年度森林旅游區(qū)樹木種植與生態(tài)旅游服務(wù)承包合同
- 2025年度核電站工程勘察設(shè)計(jì)及安全評估合同
- 2025年度綠色建筑裝飾勞務(wù)分包合同模板
- 2025年度智能工程壓路機(jī)全新技術(shù)裝備買賣合同
- 2025年中學(xué)圖書室工作總結(jié)標(biāo)準(zhǔn)范文(二篇)
- 2025年中專生寒假實(shí)習(xí)總結(jié)(二篇)
- 2025年個人的月工作總結(jié)模版(2篇)
- 2025年度公共安全項(xiàng)目合同履行與應(yīng)急處置
- 軍事英語詞匯整理
- 家庭教育指導(dǎo)委員會章程
- 高三一本“臨界生”動員會課件
- 浙江省2023年中考科學(xué)真題全套匯編【含答案】
- DB31-T 1440-2023 臨床研究中心建設(shè)與管理規(guī)范
- 小說標(biāo)題作用探究省名師優(yōu)質(zhì)課賽課獲獎?wù)n件市賽課一等獎?wù)n件
- 老客戶維護(hù)方案
- 高處作業(yè)安全教育培訓(xùn)講義課件
- dk膠原蛋白培訓(xùn)課件
- 短視頻拍攝時間計(jì)劃表
- 萬科物業(yè)管理公司全套制度(2016版)
評論
0/150
提交評論