Ta có: ( x - y) z3 + ( y - z ) x3 + ( z - x ) y3
= ( x - y ) z3 + ( y - z )x3 + ( z - y)y3 + ( y - x ) y3
= ( x - y ) ( z3 - y3 ) + ( y - z ) ( x3 - y3)
= ( x - y ) ( z - y ) ( z2 + zy + y2 ) + ( y - z ) ( x - y) ( x2 + xy + y2 )
= ( x - y ) ( y - z ) ( x2 + xy + y2 - z2 - zy - y2)
= ( x - y ) ( y - z ) [ ( x2 - z2) + ( xy - zy) ]
= ( x - y ) ( y - z ) [ ( x - z ) ( x + z ) + y ( x - z ) ]
= ( x - y ) ( y - z ) ( x - z ) ( x + y + z )