陰関数
微分積分学において陰函数微分法 (implicit differentiation) と呼ばれる手法は、連鎖律を用いて陰伏的に定義された函数を微分する。
陰伏函数 y(x) を微分するに際して、定義方程式 R(x, y) = 0 を y について陽に解いてからそれを微分するということは、一般には可能でない。その代わり、R(x, y) を x および y に関して微分して、それから dy⁄dx に関する一次方程式を解いて x および y の式として陽に書かれた導函数を得るということができる。方程式が陽に解けるという場合であってさえも、陰函数微分で得られる式は、一般により単純で扱いが容易である。
陰函数微分の一般公式 ― R(x, y) = 0 のとき、陰伏函数 y(x) の導函数は