证明 假设,,成等差数列,
则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.
引申探究