数学の特に解析学における陰函数（いんかんすう、; 陰伏函数）は、陰伏方程式すなわち適当な多変数函数（しばしば多変数多項式） によって の形に表されるによって（その函数の引数のうちの一つの変数のを残りの変数に関係付けることによって）陰伏的 (implicitly) に定義される函数を言う。例えば、単位円を定める陰伏方程式は であり、このときの に対する陰函数 は、 によって陰伏的に定められる。この陰伏方程式が、 の連続函数として を定めるのは に対してのみ、かつ函数の値として非負の値のみ（あるいは非正の値のみ）を取るものとしたときである（非負または非正の二つの連続な枝がある）。陰函数定理はこのような関係がいつ陰伏函数を定義するのかという十分条件を与えるものである。微分方程式の解は一般には陰函数の形で得られる。よくある種類の陰函数は逆函数である。直観的には、函数 の逆函数は、独立変数と従属変数の役割を入れ替えることで から得られる。 が の函数であるとき、 の逆函数 は、 を の式として方程式 を解くことで与えられ、その解が である。別な言い方をすれば、陰伏方程式 を について解いたものが逆函数を与える。例えばランベルトのオメガ函数は、陰伏方程式 を について解いた陰伏函数（つまり の逆函数）として与えられる。代数函数は係数がそれ自身多項式であるような多項式方程式を満足する函数である。例えば一変数 に関する代数函数は、陰伏方程式を について解くことで与えられる。ここで、各係数 は の多項式である。代数函数は解析学および代数幾何学において重要な役割を果たす。代数函数の簡単な例は、単位円の方程式 を について解いた である。ただし、この陽に表された解を特定することをせずとも、この単位円の陰伏的な解に言及することは可能である。例えば に関する二次、三次および四次方程式に対しては同様に陽に表された解を求めることができるが、例えばのような五次あるいはより高次の方程式においては、一般には解を陽にすることはできない。それにもかかわらず、陰伏多価函数 を含む陰伏解 に関して考えることができる。単位円の方程式の場合を一つの特徴的な例として、必ずしも任意の方程式 が一価函数のグラフを導くわけではないことに注意すべきである。あるいは が三次多項式でそのグラフに「起伏」がある（つまり極大値と極小値を持つ）ようなものとしたとき、方程式 の陰伏的に定義する函数もそのような例を与える。したがって、陰函数が「真の」（つまり一価の）函数となるためには、陰伏方程式のグラフの一部分に話を限る必要があることがわかる。陰函数は、-軸のある部分に「ズームイン」して、函数の不都合な枝を「取り払って」しまった後でのみ、真の函数を得ることに成功するということがしばしばある。そうすれば、 を表す方程式を他の変数の陰函数として書くことができる。定義方程式 が他の病的な性質を持つこともある。例えば、垂直線の方程式 は について解くことで与えられる函数 というものを導くことは全くない。このような問題を避ける目的で、許される方程式の種類や定義域に様々な制約条件を課すことが頻繁に行われる。陰函数定理はこのような病的な性質の種類を扱う一様な方法を提供する。微分積分学において陰函数微分法 ("implicit differentiation") と呼ばれる手法は、連鎖律を用いて陰伏的に定義された函数を微分する。陰伏函数 を微分するに際して、定義方程式 を について陽に解いてからそれを微分するということは、一般には可能でない。その代わり、 を および に関して微分して、それから に関する一次方程式を解いて および の式として陽に書かれた導函数を得るということができる。方程式が陽に解けるという場合であってさえも、陰函数微分で得られる式は、一般により単純で扱いが容易である。上記の公式は、 の両辺の（ に関する）全微分を得るために多変数の連鎖律を適用すれば、となることから導かれる。 が 内の滑らかな部分多様体 によって与えられ、この部分多様体の点 がその点における接空間が垂直でない（つまり ）ならば、 は点 の十分小さな近傍近傍において、 が滑らかな函数となるような によって与えられることが示せる。より俗な言い方をすれば、考えているグラフの接線が垂直でない限り、陰函数は存在して微分することができるということである。方程式が与えられている標準的な場合において、 に関する条件は偏微分の意味で確認することができる。

出典:wikipedia