陰伏曲線のソースを表示

[[File:impl-c-cass-123.svg|thumb|[[カッシーニの卵形線]]: {{ordered list
|1= a=1.1, c=1 (above),
|2= a=c=1 (middle),
|3= a=1, c=1.05 (below)}}]]
[[File:ic-raster13-s.svg|thumb| {{math|1=sin(''x''+''y'') - cos(''xy'') + 1 = 0}}]]
[[File:fl-sin-cos-nivk-s.svg|thumb|<math>\sin(x+y)-\cos(xy)+1=0</math> は曲面 <math>z=\sin(x+y)-\cos(xy)+1</math> の等位線のひとつ]]

[[数学]]における平面'''陰伏曲線'''（いんふくきょくせん、{{lang-en-short|''implicit curve''}}; 陰曲線、陰伏的に定義された曲線）は、ひとつの二変数函数 {{mvar|F}} の[[函数の零点|零点]]集合として定義される[[曲線]]を言う。すなわち、方程式 {{math|1=''F''(''x'', ''y'') = 0}} を満足する点 {{math|(''x'', ''y'')}} の全体である。陰伏的とはこの方程式が {{mvar|x}} または {{mvar|y}} について解かれていないことを示唆するものである（各点の近傍では[[陰函数]]によって陽な関係を知ることができる）。

函数 {{math|''F''(''x'', ''y'')}} が二変数多項式ならば、対応する曲線は[[代数曲線]]と呼ばれ、その研究には特定の方法論が用いられる。

[[函数のグラフ]]はふつう、方程式 {{math|1=''y'' = ''f''(''x'')}} によって記述される曲線で、このような方程式は曲線の陽 (explicit) に表現すると言う。本質的にもう一つの表示法として、{{mvar|x}}-座標と {{mvar|y}}-座標を共通の媒介変数を持つ別々の函数によって与える媒介変数表示  {{math|(''x''(''t''), ''y''(''t''))}} があり、これら三つの表示法の間の変換は陽表示 {{math|1=''y'' = ''f''(''x'')}} が既知ならば容易: 陰伏表示 {{math|1=''y'' &minus; ''f''(''x'') = 0}}; 媒介表示 {{math|(''t'', ''f''(''t''))}}。

陰伏曲線の例として以下のようなものを挙げることができる:
# [[直線]]: <math>x+2y-3=0,</math> 
# [[円周]]: <math>x^2+y^2-4=0,</math> 
# {{ill2|半立方抛物線|en| semicubical parabola}}: <math>x^3-y^2=0,</math> 
# [[カッシーニの卵形線]]: <math>(x^2+y^2)^2-2c^2(x^2-y^2)-(a^4-c^4)=0,</math> 
# <math>\sin(x+y)-\cos(xy)+1=0.</math>
最初の四つは代数曲線で、最後のはそうでない。最初の三つは簡単な媒介表示ができるが、残り二つはそれが期待できない。特に最後のは陰伏曲線としての幾何学的構造は複雑になり得ることを示すものになっている。

[[陰函数定理]]は、陰伏方程式 {{math|1=''F''(''x'', ''y'') = 0}} が局所的に {{mvar|x}} または {{mvar|y}} に関して（理論的に）解くことができる条件を述べるが、一般には解の様子まで導き出すものでない。この定理を鍵として曲線の本質的な幾何学的性質&mdash;[[接線]]、[[法線]]、[[曲率]]など&mdash;が計算される。実用面において、陰伏曲線は本質的な欠陥として、その可視化が困難という問題を抱えているが、計算機を利用して陰伏曲線の表示を可能とすることもできる。陰伏曲線 {{math|1=''F''(''x'', ''y'') = 0}} は、曲面 {{math|''z'' {{coloneqq}} ''F''(''x'', ''y'')}} の {{math|0}}-水準の[[等位集合|等位線]]と見ることもできる。

== 公式 ==
函数 {{mvar|F}} に適当な数学的仮定を与えた陰伏曲線 {{math|1=''F''(''x'', ''y'') = 0}} に対して、以下のような公式を与えることができる。以下、{{mvar|F{{sub|x}}, F{{sub|y}}, F{{sub|xx}}, F{{sub|xy}}, F{{sub|yy}}}} は {{mvar|F}} の[[偏微分]]である。

曲線上の点 <math display="inline">(x_0, y_0)</math> が'''正則'''とは、その点において <math display="inline">(F_x,F_y)\ne (0,0)</math> となるときに言い、さもなくば'''特異'''という。曲線の正則点において
* [[接線]]: <math display="inline">F_x(x-x_0)+F_y(y-y_0)=0</math>;
* [[法ベクトル]]: <math>\mathbf n(x_0,y_0) :=(F_x,F_y)^T</math>;
* [[曲率]]: <math>\kappa := \frac{-F_y^2F_{xx}+2F_xF_yF_{xy}-F_x^2F_{yy}}{(F_x^2+F_y^2)^{3/2}}</math>
を得る。上記の公式において、各偏微分は厳密には点 {{math|(''x''{{sub|0}}, ''y''{{sub|0}})}} において評価した値を意味するが、引数は省略したので注意。

== 空間陰伏曲線 ==
二つの曲面の交線として空間曲線が生じるから、二つの陰伏曲面の交線として陰伏方程式の系 <math display="block">\begin{cases} F(x,y,z)=0, \\ G(x,y,z)=0 \end{cases}</math> は'''空間陰伏曲線'''を定めると言う。

曲線上の点 <math display="inline">(x_0,y_0,z_0)</math> が'''正則'''とは、その点における {{mvar|F, G}} の勾配ベクトルの[[交叉積]]、すなわちその点における'''接ベクトル''' <math display="block">\mathbf{t}(x_0,y_0,z_0) := \operatorname{grad}F(x_0,y_0,z_0)\times \operatorname{grad}G(x_0,y_0,z_0)</math> が零ベクトルでないときに言い、そうでないとき'''特異'''という。
[[File:Is-spherecyl5-s.svg|thumb|球面と円柱面との交線]]

; 例
:# {{math|1=''x'' + ''y'' + ''z'' &minus; 1 = 0, ''x'' &minus; ''y'' + ''z'' &minus; 2 = 0}} は直線である。
:# {{math|1=''x''{{exp|2}} + ''y''{{exp|2}} + ''z''{{exp|2}} &minus; 4 = 0, ''x'' + ''y'' + ''z'' &minus; 1 = 0}} は円周（球面と平面との交線として）である。
:# {{math|1=''x''{{exp|2}} + ''y''{{exp|2}} &minus; 1 = 0, ''x'' + ''y'' + ''z'' &minus; 1 = 0}} は（円柱の平面における断面として）楕円になる。
:# {{math|1=''x''{{exp|2}} + ''y''{{exp|2}} + ''z''{{exp|2}} &minus; 16 = 0, (''y'' &minus; ''y''{{sub|0}}){{exp|2}} + ''z''{{exp|2}} &minus; 9 = 0}} は球面と円柱の交線である。

== 関連項目 ==
* {{ill2|陰伏曲面|en|Implicit surface}}

== 参考文献 ==
{{reflist}}
* Gomes, A., Voiculescu, I., Jorge, J., Wyvill, B., Galbraith, C.: ''Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms'', 2009, Springer-Verlag London, {{ISBN2|978-1-84882-405-8}}
*[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.413.3008&rep=rep1&type=pdf R. Goldman: ''Curvature formulas for implicit curves and surfaces'']
*C:L: Bajaj, C.M. Hoffmann, R.E. Lynch: ''Tracing surface intersections'', Comp. Aided Geom. Design 5 (1988), 285-307.
*[http://www.mathematik.tu-darmstadt.de/~ehartmann/cdgen0104.pdf ''Geometry and Algorithms for COMPUTER AIDED DESIGN'']

== 外部リンク ==
{{commons category|Implicit curves}}
*[https://www.desmos.com/calculator ''Desmos Calculator''] displays implicit curves.
*[http://www-groups.dcs.st-and.ac.uk/~history/Curves/Curves.html Famous Curves]

{{DEFAULTSORT:いんふくきよくせん}}
[[Category:曲線]]
[[Category:数学に関する記事]]