+)Ta có : x4 + y4 < x4 + x3y + x2y2 + xy3 + y4
Mà x > y > 1 ⟹ x - y > 0
⟹ ( x - y ) ( x4 + y4 ) < ( x - y ) ( x4 + x3y + x2y2 + xy3 + y4 ) ( * )
+)Ta có : ( x - y ) ( x4 + x3y + x2y2 + xy3 + y4 )
= x ( x4 + x3y + x2y2 + xy3 + y4 ) - y ( x4 + x3y + x2y2 + xy3 + y4 )
= x5 + x4y + x3y2 + x2y3 + xy4 - x4y - x3y2 - x2y3 - xy4 - y5
= x5 - y5
⟹ ( x - y ) ( x4 + x3y + x2y2 + xy3 + y4 ) = x5 - y5 ( ** )
Từ ( * ) ; ( ** )
⟹ ( x - y ) ( x4 + y4 ) < x5 - y5
Mà x5 - y5 < x5 + y5
⟹ ( x - y ) ( x4 + y4 ) < x5 - y5
⟹ ( x - y ) ( x4 + y4 ) < x - y
⟹ x4 + y4 < 1 ( đpcm )