有些“至少”“至多”“全部”等命题的证明多用反证法
证明:假设结论不成立,则结论的反面成立,即
(1-a)b,(1-b)c,(1-c)a都大于1/4,则
(1-a)b*(1-b)c*(1-c)a>1/64(*)
又(1-a)b*(1-b)c*(1-c)a=(1-a)a*(1-b)b*(1-c)c
因为a,b,c属于(0,1)所以(1-a)、a、1-b、b、1-c、c全大于0
所以0
有些“至少”“至多”“全部”等命题的证明多用反证法
证明:假设结论不成立,则结论的反面成立,即
(1-a)b,(1-b)c,(1-c)a都大于1/4,则
(1-a)b*(1-b)c*(1-c)a>1/64(*)
又(1-a)b*(1-b)c*(1-c)a=(1-a)a*(1-b)b*(1-c)c
因为a,b,c属于(0,1)所以(1-a)、a、1-b、b、1-c、c全大于0
所以0