直接证明与间接证明及数学归纳法.pdfVIP

第4讲直接证明与间接证明、数学归纳法

[学生P237])

1.直接证明

直接证明中最基本的两种证明方法是综合法和分析法．

(1)综合法：一般地，利用已知条件和某些数学定义、定理、公理等，经过一系列的推

理论证，最后推导出所要证明的结论成立，这种证明方法叫做综合法．

综合法又称为：由因导果法(顺推证法)．

(2)分析法：一般地，从要证明的结论出发，逐步寻求使它成立的充分条件，直至最后，

把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止，这

种证明方法叫做分析法．

分析法又称为：执果索因法(逆推证法)．

2.间接证明

反证法：假设原命题不成立，经过正确的推理，最后得出，因此说明假设错误，从

而证明了原命题成立，这样的证明方法叫做反证法．

3.数学归纳法

一般地，证明一个与正整数n有关题，可按下列步骤进行：

*

(1)(归纳奠基)证明当n取第一个值n0(n0∈N)时命题成立；

*

(2)(归纳递推)假设n＝k(k≥n0，k∈N)时命题成立，证明当n＝k＋1时命题也成立．

1.辨明三个易误点

(1)用分析法证明数学问题时，要注意书写格式的规范性，常常用“要证(欲证)…”“即

要证…”“就要证…”等分析到一个明显成立的结论．

(2)利用反证法证明数学问题时，要假设结论错误，并用假设命题进行推理，没有用假

设命题推理而推出结果，其推理过程是错误的．

(3)数学归纳法证题的关键是第二步，证题时应注意：

①必须利用归纳假设作基础；②证明中可利用综合法、分析法、反证法等方法；③解题

时要搞清从n＝k到n＝k＋1增加了哪些项或减少了哪些项．

2.证题的三种思路

(1)综合法证题的一般思路

用综合法证明命题时，必须首先找到正确的出发点，也就是能想到从哪里起步，我们一

般的处理方法是广泛地联想已知条件所具备的各种性质，逐层推进，从而由已知逐步推出结

论．

Lecture4DirectProofandIndirectProof,Mathematical

Induction

[StudentsBookP237])

1.Directproof

Thetwomostbasicmethodsofproofindirectproofarethesynthetic

methodandtheanalyticalmethod.

(1)Comprehensivemethod:Generally,usingknownconditionsandcertainmathematical

definitions,theorems,axioms,etc.,throughaseriesofinferencesanddemonstrations,theconclusion

tobeprovedisfinallydeduced.Thismethodofproofiscalledcomprehensivemethod.

Thecomprehensivemethodisalsocalled:themethodof

leadingfromcausetoeffect(methodoflogicaldeduction).