x=f(y)}のグラフは同一である。グラフを定義することと同じである。位置を入れ替えることによって得られる。関して線対称であるといっても同じことである。一対一(したがって可逆)となるために必要十分な条件は、それが狭義単調となる(極値を持たない)ことである。f(x)=x^{3}+x}は可逆である。{1}{f'(f^{-1}(y))}}}で与えられる。{1}{dy/dx}}}と表すことができる。これは連鎖律から導くことができる。逆函数定理は多変数函数に対しても一般化することができる。函数行列の逆行列である。始域を制限することによって定義することができる。なるから一対一ではない。制限したときは、逆函数は負の平方根を与えるものになる)。{y}}}として考えるならば始域を制限する必要も無い。三次関数の逆函数は三つの枝をもつ。