已知:有理数x,y,z,满足x=6-y,z的2次方=xy-9,求证x=y.