Có :
( 1 - a ) ( 1 - b ) ( 1 - c ) ≥ 0 ( do a,b,c thuộc [0;1] )
\(\Leftrightarrow\)1 - a - b - c +ab + bc + ca- abc ≥ 0
\(\Leftrightarrow\) a + b + c - ab - bc -ca \(\le\) 1 - abc
Do a,b,c thuộc [0;1] nên b2\(\le\)b; c3 \(\le\)c và abc \(\le\) 1
Suy ra 1\(\ge\)1 - abc \(\ge\) a + b + c -ab - bc - ca \(\ge\)a + b2 + c3 -ab - bc - ca
Dấu bằng xảy ra khi 2 số bằng 0, 1 số bằng 1. ( tự thay )