假设有点A(m,n)在f(x)=y的图象上,即n=f(m),那么根据定义可以得到m=f'(n)也就是B(n,m)在图象上,而AB两点关于y=x对称
所以得证