vì \(a,b,c\in\left[0,1\right]\)\(\Rightarrow\left(1-a\right)\left(1-b\right)\left(1-c\right)\ge0\)
\(\Leftrightarrow\left(1-a-b+ab\right)\left(1-c\right)\ge0\)
\(\Leftrightarrow1-c-a+ac-b+bc+ab-abc\ge0\)
\(\Leftrightarrow a+b+c-\left(ab+bc+ac\right)\le1-abc\)
mặt khác : \(a.bc\ge0\)
\(\Rightarrow a+b+c-\left(ab+ac+bc\right)\le1-0=1\)
mà \(b,c\in\left[0.1\right]\Rightarrow b^2\le b;c^3\le c\)
vì vậy ta được điều phải chứng minh :
\(a+b^2+c^3-\left(ab+bc+ac\right)\le1\)
Vì \(b,c\in[0;1]\)
\(\Rightarrow b^2\le b\)
\(c^3\le c\)
Do đó : \(a+b^2+c^3-ab-bc-ca\le a+b+c-ab-bc-ca\) (1)
Và có : \(a+b+c-ab-bc-ca=\left(a-1\right).\left(b-1\right).\left(c-1\right)-abc+1\) (2)
Theo đề bài ta có : \(a,b,c\in[0;1]\)
\(\Rightarrow\left(a-1\right)\left(b-1\right)\left(c-1\right)\le0\)
và \(-ab\le0\)
Từ (2)
\(\Rightarrow a+b+c-ab-bc-ca\le1\) (3)
Từ (1) và (3)
\(\Rightarrow a+b^2+c^3-ab-bc-ca\le1\)( đpcm)
