đặt x=11+8a−−−−−√tương tự y,z
ta có 0<x,y,z<1 và a=1−x28x
do abc=1 nên ta có 8x3y3z3=(1−x2)(1−y2)(1−z2)
Theo đề bài cần cm x+y+z≥1
Giả sử ngược lại x+y+z<1
ta có 1−x2>(x+y+z)2−x2=(z+y)[(x+y)+(x+z)]≥2(y+z)(x+y)(x+z)−−−−−−−−−−−√>0
tương tự rồi nhân vế theo về ta có:
8x3y3z=(1−x2)(1−y2)(1−z2)>8(x+y)2(y+z)2(z+x)2
⇒8xyz>(x+y)(y+z)(z+x)
Điều này mâu thuẫ với AM-GM
do đó ta có điều phải chứng minh