下記テーマに関する記事の一部
解析学
基本定理 関数の極限 連続性 平均値の定理
微分法 定義 導関数 (一般化（英語版）) 微分 無限小 関数の 全 概念 微分の記法 二階導関数 三階導関数（英語版） 変数変換（英語版） 陰関数の微分 Related rates（英語版） テイラーの定理 法則と恒等式（英語版） 和（英語版） 積 合成 冪（英語版） 商 一般ライプニッツ ファー・ディ・ブルーノの公式（英語版）
積分法 積分一覧 定義 不定積分 積分 (広義) リーマン積分 ルベーグ積分 線積分 複素線積分 道具 部分 Discs（英語版） 円殻（バウムクーヘン） 置換 三角置換（英語版） 部分分数（英語版） 順序（英語版） 漸化式
級数 幾何 (算術幾何) 調和 交代 冪 二項 テイラー 収束判定法（英語版） 項の極限（項判定法）（英語版） 比 冪根 積分 比較 極限比較（英語版） 交代級数（英語版） 凝集 ディリクレ アーベル（英語版）
ベクトル 勾配 発散 回転 ラプラシアン 方向微分 公式（英語版） 定理 発散 勾配（英語版） グリーン ケルビン・ストークス
多変数 形式と枠組み 行列（英語版） テンソル 外 幾何学的（英語版） 定義 偏微分 多重積分 線積分 面積分 体積分 ヤコビアン ヘッセ行列
特殊化 分数階微積分 解析接続 マリアヴァン（英語版） 確率（英語版） 変分
その他 解析学記号
表 話 編 歴

数学の特に解析学における陰函数（いんかんすう、英: implicit function; 陰伏函数）は、陰伏方程式すなわち適当な多変数函数（しばしば多変数多項式）R によって R(x₁, …, x_n) = 0 の形に表される関係によって（その函数の引数のうちの一つの変数の値（英語版）を残りの変数に関係付けることによって）陰伏的 (implicitly) に定義される函数を言う^{[1]:204–206}。

例えば、単位円を定める陰伏方程式は x² + y² − 1 = 0 であり、このときの y に対する陰函数 y = f(x) は、x² + (f(x))² − 1 = 0 によって陰伏的に定められる。この陰伏方程式が、x の連続函数として f を定めるのは −1 ≤ x ≤ 1 に対してのみ、かつ函数の値として非負の値のみ（あるいは非正の値のみ）を取るものとしたときである（非負または非正の二つの連続な枝がある）。陰函数定理はこのような関係がいつ陰伏函数を定義するのかという十分条件を与えるものである。

R が多変数多項式であるときの R(x₁, …, x_n) = 0 なる形の関係に対して、この関係を満足する変数の値の組全体の成す集合を、n = 2 のときは陰伏曲線、n = 3 のときは陰伏曲面（英語版）と呼ぶ。このような陰伏方程式は代数幾何学の基盤であり、古典的な代数幾何学では多項式の零点を記述する陰伏方程式からなる連立方程式の解を研究する。そのような零点集合はアフィン代数的集合と呼ばれる。

微分方程式の解は一般には陰函数の形で得られる^[2]。

よくある種類の陰函数は逆函数である。函数 f の逆函数は、f の独立変数と従属変数の役割を入れ替えると得られる。つまり、f が x の函数であるとき、f の逆函数 f⁻¹ は、x を y の式として方程式 y = f(x) を解くことで与えられ、その解が x = f⁻¹(y) である。別な言い方をすると、陰伏方程式 R(x, y) = y − f(x) = 0 を x について解いたものが逆函数である。例えばランベルトのオメガ函数は、陰伏方程式 y − xe^x = 0 を x について解いた陰伏函数（つまり y の逆函数）として与えられる。

代数函数は係数がそれ自身多項式であるような多項式方程式を満足する函数である。例えば一変数 x に関する代数函数は、陰伏方程式

${\displaystyle a_{n}(x)y^{n}+a_{n-1}(x)y^{n-1}+\dotsb +a_{0}(x)=0}$

を y について解くことで与えられる。ここで、各係数 a_i(x) は x の多項式である。代数函数は解析学および代数幾何学において重要な役割を果たす。代数函数の簡単な例は、単位円の方程式 x² + y² −1 = 0 を y について解いた y = ±√1 − x² である。

ただし、この陽に表された解を特定することをせずとも、この単位円の陰伏的な解に言及することは可能である。例えば y に関する二次、三次および四次方程式に対しては同様に陽に表された解を求めることができるが、例えば

${\displaystyle y^{5}+2y^{4}-7y^{3}+3y^{2}-6y-x=0}$

のような五次あるいはより高次の方程式においては、一般には解を陽にすることはできない。それにもかかわらず、陰伏多価函数 g を含む陰伏解 y = g(x) に関して考えることができる。

単位円の方程式の場合を一つの特徴的な例として、必ずしも任意の方程式 R(x, y) = 0 が一価函数のグラフを導くわけではないことに注意すべきである。あるいは C が三次多項式でそのグラフに「起伏」がある（つまり極大値と極小値を持つ）ようなものとしたとき、方程式 x − C(y) = 0 の陰伏的に定義する函数もそのような例を与える。したがって、陰函数が「真の」（つまり一価の）函数となるためには、陰伏方程式のグラフの一部分に話を限る必要があることがわかる。陰函数は、x-軸のある部分に「ズームイン」して、函数の不都合な枝を「取り払って」しまった後でのみ、真の函数を得ることに成功するということがしばしばある。そうすれば、y を表す方程式を他の変数の陰函数として書くことができる。

定義方程式 R(x, y) = 0 が他の病的な性質を持つこともある。例えば、垂直線の方程式 x = 0 は y について解くことで与えられる函数 f(x) というものを導くことは全くない。このような問題を避ける目的で、許される方程式の種類や定義域に様々な制約条件を課すことが頻繁に行われる。陰函数定理はこのような病的な性質の種類を扱う一様な方法を提供する。

微分積分学において陰函数微分法 (implicit differentiation) と呼ばれる手法は、連鎖律を用いて陰伏的に定義された函数を微分する。^[3]

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

上記の公式は、R(x, y) = 0 の両辺の（x に関する）全微分を得るために多変数の連鎖律を適用すれば、

${\displaystyle {\frac {\partial R}{\partial x)){\frac {dx}{dx))+{\frac {\partial R}{\partial y)){\frac {dy}{dx))=0}$

となることから導かれる。

R(x, y) が R² 内の滑らかな部分多様体 M によって与えられ、この部分多様体の点 (a, b) がその点における接空間が垂直でない（つまり ∂R/∂y ≠ 0）ならば、M は点 (a, b) の十分小さな近傍において、f が滑らかな函数となるような媒介表示（英語版） (x, f(x)) によって与えられることが示せる。

より俗な言い方をすれば、考えているグラフの接線が垂直でない限り、陰函数は存在して微分することができるということである。方程式

${\displaystyle R(x,y)=0}$

が与えられている標準的な場合において、R に関する条件は偏微分の意味で確認することができる^{[4]:§ 11.5}。

• 函数方程式
• 等位集合
  • 等高線
  • 等位面（英語版）
• 対数微分法
• Polygonizer

• Rudin, Walter (1976). Principles of Mathematical Analysis. McGraw-Hill. ISBN 0-07-054235-X 
• Spivak, Michael (1965). Calculus on Manifolds. HarperCollins. ISBN 0-8053-9021-9 
• Warner, Frank (1983). Foundations of Differentiable Manifolds and Lie Groups. Springer. ISBN 0-387-90894-3 
• Krantz, Steven G.; Parks, Harold R. (2002). The implicit function theorem: history, theory, and applications. Birkhäuser. ISBN 0-8176-4285-4. MR1894435. Zbl 1012.58003. https://books.google.co.jp/books?id=7QqickY0yh8C 

• 『陰関数と陽関数の意味と違いについて』 - 高校数学の美しい物語
• Weisstein, Eric W. "Implicit Function". mathworld.wolfram.com (英語).
• Definition:Implicit Function at ProofWiki
• Kudryavtsev, L.D. (2001), “Implicit function”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Implicit_function