反函数为什么关于y等于x对称?能从定义上证明一下吗