2018-2019学年苏教版选修2-2 2.2.2间接证明 学案
2018-2019学年苏教版选修2-2 2.2.2间接证明 学案第3页

证明 假设,,成等差数列,

则2=+,

∴4b=a+c+2. ①

∵a,b,c成等比数列,

∴b2=ac, ②

由②得b=,代入①式,

得a+c-2=(-)2=0,

∴a=c,从而a=b=c.

这与已知a,b,c不成等差数列相矛盾,

∴假设不成立.

故,,不成等差数列.

类型二 用反证法证明"至多、至少"类问题

例2 a,b,c∈(0,2),求证:(2-a)b,(2-b)c,(2-c)a不能都大于1.

证明 假设(2-a)b,(2-b)c,(2-c)a都大于1.

因为a,b,c∈(0,2),

所以2-a>0,2-b>0,2-c>0.

所以≥>1.

同理,≥>1,

≥>1.

三式相加,得

++>3,

即3>3,矛盾.

所以(2-a)b,(2-b)c,(2-c)a不能都大于1.

引申探究