设z=xy xf(y x),验证