x^2017+x^2015+1=(x^2017-x)+(x^2015-x^2)+(x^2+x+1) (1)
Ta có:x^2017-x=x(x^2016-1)
Dễ thấy x^2016-1 chia hết cho x^3-1 hay chia hết cho x^2+x+1 suy ra x^2017-x chia hết cho x^2+x+1 (2)
Tương tự x^2015-x^2 chia hết cho x^2+x+1 (3)
và x^2+x+1 chia hết cho x^2+x+1 (4)
Từ (1)(2)(3)(4) ta có (đpcm).