陰伏曲線

数学における平面陰伏曲線（いんふくきょくせん、英: implicit curve; 陰曲線、陰伏的に定義された曲線）は、ひとつの二変数函数 F の零点集合として定義される曲線を言う。すなわち、方程式 F(x, y) = 0 を満足する点 (x, y) の全体である。陰伏的とはこの方程式が x または y について解かれていないことを示唆するものである（各点の近傍では陰函数によって陽な関係を知ることができる）。 函数 F(x, y) が二変数多項式ならば、対応する曲線は代数曲線と呼ばれ、その研究には特定の方法論が用いられる。 函数のグラフはふつう、方程式 y = f(x) によって記述される曲線で、このような方程式は曲線の陽 (explicit) に表現すると言う。本質的にもう一つの表示法として、x-座標と y-座標を共通の媒介変数を持つ別々の函数によって与える媒介変数表示 (x(t), y(t)) があり、これら三つの表示法の間の変換は陽表示 y = f(x) が既知ならば容易: 陰伏表示 y − f(x) = 0; 媒介表示 (t, f(t))。 陰伏曲線の例として以下のようなものを挙げることができる: 1. * 直線: 2. * 円周: 3. * : 4. * カッシーニの卵形線: 5. * 最初の四つは代数曲線で、最後のはそうでない。最初の三つは簡単な媒介表示ができるが、残り二つはそれが期待できない。特に最後のは陰伏曲線としての幾何学的構造は複雑になり得ることを示すものになっている。 陰函数定理は、陰伏方程式 F(x, y) = 0 が局所的に x または y に関して（理論的に）解くことができる条件を述べるが、一般には解の様子まで導き出すものでない。この定理を鍵として曲線の本質的な幾何学的性質—接線、法線、曲率など—が計算される。実用面において、陰伏曲線は本質的な欠陥として、その可視化が困難という問題を抱えているが、計算機を利用して陰伏曲線の表示を可能とすることもできる。陰伏曲線 F(x, y) = 0 は、曲面 z ≔ F(x, y) の 0-水準の等位線と見ることもできる。