AD BĐT cô - si cho ba số không âm x2 ; y2 ; z2 , ta có :
x2 + y2 ≥ 2√x2y2 = 2xy ( dấu bằng xảy ra khi x = y )
Tương tự : y2 + z2 ≥ 2yz ( dấu ... khi y = x )
z2 + x2 ≥ 2zx ( ... z = x )
⇒ 2 ( x2 + y2 + z2 ) ≥ 2 ( xy + yz + zx )
⇔ x2 + y2 + z2 ≥ xy + yz + zx
Dấu = xảy ra khi x = y = z
⇒ x2015 + y2015 + z2015 = 3x2015 = 32016
⇔ 32015. x = 32015. 3 ⇒ x = 3
⇒ x = y = z = 3