已知实数x,y,z满足x=6-y, z^2=xy-9,求证:x=y