历史上最早的皇帝:已知x,y,z互不相等,且xyz不等于0,x2+yz=z2,y2+zx=x2,求证:z2+xy=y2