杭马成绩查询:已知x+y=xy=1,求证:x^3=-1是错误的.