Ta có: (x+2015)^2016>=0(với mọi x)
|y-2017|>=0(với mọi y)
Do đó, (x+2015)^2016+|y-2017|>=0(với mọi x,y)
mà (x+2015)^2016+|y-2017|=0
nên (x+2015)^2016=0 và |y-2017|=0
x+2015=0 y-2017=0
x=0-2015 y=0+2017
x=-2015 y=2017
Vậy x=-2015 và y=2017 thì x,y thỏa mãn đề