\end{eqnarray}となります。2つ目の等号では、合成関数の微分を用いています。これから、先ほどの逆関数の微分を導きました。この方法は、高校の教科書にも載っていますが、これも厳密にいうと正しくありません。微分可能でないといけませんが、そもそも微分可能かどうかは調べていませんでした。本来なら、微分の定義に戻って考えていかなくてはいけませんが、逆関数の微分を定義から考えていくと、少し難しい部分が出てきてしまいます。ある区間で定義された連続関数であること」を仮定して、計算していくことにしましょう。