陰伏曲線

数学における平面陰伏曲線（いんふくきょくせん、; 陰曲線、陰伏的に定義された曲線）は、ひとつの二変数函数 の零点集合として定義される曲線を言う。すなわち、方程式 を満足する点 の全体である。陰伏的とはこの方程式が または について解かれていないことを示唆するものである（各点の近傍では陰函数によって陽な関係を知ることができる）。
函数 が二変数多項式ならば、対応する曲線は代数曲線と呼ばれ、その研究には特定の方法論が用いられる。
函数のグラフはふつう、方程式 によって記述される曲線で、このような方程式は曲線の陽 (explicit) に表現すると言う。本質的にもう一つの表示法として、-座標と -座標を共通の媒介変数を持つ別々の函数によって与える媒介変数表示 があり、これら三つの表示法の間の変換は陽表示 が既知ならば容易: 陰伏表示 ; 媒介表示 。
陰伏曲線の例として以下のようなものを挙げることができる:
最初の四つは代数曲線で、最後のはそうでない。最初の三つは簡単な媒介表示ができるが、残り二つはそれが期待できない。特に最後のは陰伏曲線としての幾何学的構造は複雑になり得ることを示すものになっている。
陰函数定理は、陰伏方程式 が局所的に または に関して（理論的に）解くことができる条件を述べるが、一般には解の様子まで導き出すものでない。この定理を鍵として曲線の本質的な幾何学的性質—接線、法線、曲率など—が計算される。実用面において、陰伏曲線は本質的な欠陥として、その可視化が困難という問題を抱えているが、計算機を利用して陰伏曲線の表示を可能とすることもできる。陰伏曲線 は、曲面 の -水準の等位線と見ることもできる。
公式.
函数 に適当な数学的仮定を与えた陰伏曲線 に対して、以下のような公式を与えることができる。以下、 は の偏微分である。
曲線上の点 formula_6 が正則とは、その点において formula_7 となるときに言い、さもなくば特異という。曲線の正則点において
を得る。上記の公式において、各偏微分は厳密には点 において評価した値を意味するが、引数は省略したので注意。
空間陰伏曲線.
二つの曲面の交線として空間曲線が生じるから、二つの陰伏曲面の交線として陰伏方程式の系 formula_11 は空間陰伏曲線を定めると言う。
曲線上の点 formula_12 が正則とは、その点における の勾配ベクトルの交叉積、すなわちその点における接ベクトル formula_13 が零ベクトルでないときに言い、そうでないとき特異という。