由已知x^3,y^3,z^3模p同余,
所以p整除(x^3-y^3)
即p整除(x-y)*(x^2+xy+y^2)
又0<x<y<p,p是质数,故p不能整除(x-y),因此,p整除(x^2+xy+y^2)
同理可证
p整除(y^2+yz+z^2)
p整除(x^2+xz+z^2)
p整除(x^2+xy+y^2-y^2-yz-z^2)
即p整除(x-z)*(x+y+z),
从而,p整除(x+y+z)
已知0<x<y<z<p,
所以x+y+z=p或2p
由于p>3,则(2,p)=1
又因为(x+y+z)与(x^2+xy+y^2)模2同余
故只须证明p整除(x^2+z^2+y^2).
p整除【x(x+y+z)+y^2-xz)】,于是,
p整除(y^2-xz)
同理p整除(x^2-yz),
p整除(z^2-xy).
p整除3(x^2+z^2+y^2).
故p整除(x^2+z^2+y^2).
又因为(x+y+z)与(x^2+xy+y^2)模2同余故只须证明p整除(x^2+z^2+y^2)。这块解释一下