(1)
に注目します。判りやすいように,
としておきます。
とすると,
では(1)の方程式を満たす,については
という関係が成り立っています。このという関数は,(1)式の中には出てきません。(1)からこのように間接的に導き出される関数を陰関数と呼びます
一般的に書けばという式から陰関数が定義されるということです。
#上の例では
しかし,何時でも上の例のように,から陰関数が定義されるわけではありません。良く知られる定理では
ある領域D
で関数が連続でかつ,,について偏微分可能で,
その偏導関数