함수 y=f(x)와 그 역함수 의 그래프는 직선 y=x에 대하여
대칭이다.
[증명]

역함수란 x 대신 y 를 , y대신 x를 대입하여 역함수 관계인 점의 좌표를 찾는다.
따라서 사각형 OECF도 정사각형이고 ACBD도 정사각형이 된다. 즉 CD를 연결한 직선은 원점을 지나고 그 직선의 방정식은
y=x이다.
그러므로 AB를 연결한 선은 사각형 ACBD의 대각선이고 정사각형의 대각선은 서로 다른 대각선을 수직이등분한다. 따라서 역함수
관계의 두 점은 y=x에 대하여 대칭이다. |