高中数学优质课公开课2.2《直接证明与间接证明》课件1.pdf

2.2直接证明与间接证明

我们知道,合情推理所得结论的正确性

是需要证明的,这正是数学区别于其他

科学的显著特点.数学结论的正确性必

须通过逻辑推理的方式加以证明.本节

我们将学习两类基本的证明方法:直接

证明与间接证明.

2.2.1综合法和分析法

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

法,也是解决数学问题时常用的思维方式.

1综合法

在数证明中,我们经常从已知条件和某些数学定

义、公理、定理等出发,通过推理推导出所要的

结论,例如:

2222

已知a,b0,求证abcbca4abc.

22

证明因为bc2bc,a0,

22

所以abc2abc.

2222

又ca2ac,b0,所以bca2abc.

2222

因此abcbca4abc.

一般地,利用已知条件和某些数学定义、公理、

定理等,经过一系列的推理论证,最后推导出所

要证明的结论成立,这种证明方法叫做综合法



syntheticalmethod.

综合法,又叫顺推证法或由因导果法.

用P表示已知条件、已有的定义、公理、定理

等,Q表示所要证明的结论,则综合法可用框图

表示为:

PQQQQQQQ

11223n

例1在ΔABC中,三个内角A,B,C对应的边分别为

a,b,c,且A,B,C成等差数列,a,b,c成等比数列,求证

ΔABC为等边三角形.

分析将A,B,C成等差数列,转化为符号语言就是

2BAC;A,B,C为ΔABC的内角,这是个隐含条

件,明确表示出来是ABCπ;

2

a,b,c成等比数列,转化为符号语言就是bac.

此时,如果能把角和边统一起来,那么就可以进一

步寻找角和边之间的关系,进而判断三角形的形

状,余弦定理正好满足要求.于是,可以用余弦定理

为工具进行证明.

证明由A,B,C成等差数列,有2BAC.①

因为A,B,C为ΔABC的内角,所以ABCπ.②

π

由①②,得B.③

3

2④

由a,b,c成等比数列,有bac.

③222

由余弦定理及,可得bac2accosB

22

acac.

222

再由,得acacac,即ac0,

④

因此ac.从而有AC.⑤