反证法:假设(1-a)b,(1-b)c,(1-c)a 同时大于1/4那么(1-a)b+(1-b)c+(1-c)a>3/4a+b+c-ab-bc-ac>3√abc-3abc>3/4 换元 t+t-t2>1/4 0
假设(1-a)b>1/2,(1-b)c>1/2,(1-c)a>1/2.
因a、b、c都是小于1的正数,故
根[(1-a)b]>1/2
根[(1-b)c]>1/2
根[(1-c)a]>1/2
从而有:
根[(1-a)b]+根[(1-b)c]+根[(1-c)a]>3/2.
但是,
根[(1-a)b)]+根[(1-b)c]+根[(1-c)a]
=<(1-a+b)/2+(1-b+c)/2+(1-c+a)/2
=[3-(a+b+c)+(a+b+c)]/2
=3/2
这与上式中大于3/2相矛盾
所以假设不成立,原命题正确
即(1-a)b、(1-b)c、(1-c)a中最少有一个不大于1/4.