Từ giả thiết , ta có :
( x + y + z)( xy + yz + xz ) = xyz
x( xy + yz + xz) + y( xy + yz + xz ) + z( xy + yz + xz ) - xyz = 0
x2y + xyz + x2z + xy2 + y2z + xyz + xyz + yz2 + xz2 - xyz = 0
x2y + x2z + xy2 + y2z + yz2 + xz2 + 2xyz = 0
xy( x + y) + xz( x + z) + yz( y + z) + 2xyz = 0
xy( x + y + z) + xz( x + y + z) + yz( y + z) = 0
( x + y + z)x( y + z) + yz( y + z) = 0
( y + z)( x2 + xy + xz + yz ) = 0
( y + z)[ x( x + y ) + z( x + y) ] = 0
( y + z)( y + x )( x + z) = 0
Suy ra :
* x + y = 0 --> x = - y . Thay vào đẳng thức cần chứng minh , ta có
( - y)2013 + y2013 + z2013 = ( - y + y + z)2013
Khi đó , ta có : z2013 = z2013 , luôn đúng
* Tương tự , thử với các trường hợp khác : y = - z ; x = - z
Vậy , đảng thức được chứng mình