平面曲線

初等幾何学における**平面曲線**（へいめんきょくせん、）は、その像がひとつの平面（特にユークリッド平面、、射影平面など）に全く含まれるような曲線を言う。例えばユークリッド平面曲線は連続写像 \alpha\colon I \to \mathbb{R}^2 によって同定することができる。ここに  は実数直線  内の区間である。

特に、 より大きい次元のユークリッド空間に含まれる曲線が**平面的** (planar) であるとは、曲線の定義空間に全く含まれる適当な平面が存在して、その曲線の像がその平面に全く含まれるときに言う。平面的でない空間曲線はという。

平面曲線が**単純**とは、それが自己交叉を持たないこと、すなわち \forall(t_1,t_2) \in I^2, t_1 \ne t_2 \iff \alpha(t_1) \ne \alpha(t_2) となるときに言う。

もっともよく調べられる平面曲線は、微分幾何学において調べられる可微分な場合（滑らかな曲線、区分的に滑らかな曲線）や代数幾何学において調べられる曲線の陰伏方程式が多項式で与えられる場合（代数曲線）である。代数曲線は18世紀以降広汎に研究されてきた。

## 表現
; 陽表式: 平面曲線を表す方法の一つは、各  に対応する  の値を与える方程式 y = f(x) を用いるもので、そのように与えられる -平面上の点  がその平面曲線上の点を表すように方程式を与えることである。この種の曲線は、実函数のグラフとして曲線のグラフを与えることでも記述できる。実際、この表現法はひとつの独立変数に関する写像 \alpha (t) = (t,f(t)) としても書くことができる。しかしこの方法は幾何学的には様々な制約があり、この形で表すには複雑すぎる曲線というものが極めて頻繁にあらわれるから、そのような場合にこの形で幾何学的性質を調べることは向かない。
; 陰伏式: 平面曲線はまた二変数の函数を用いて F(x,y)=0 の形に表すこともできる。このような表現は、ある種の観点からは陽な表現よりも適していることもあるが、二つの変数の間の関係性が分かりにくくなる（関係を陽に表すことができても複雑すぎたり、そもそも不可能である場合もある）という問題に遭遇することにもなる。
; 媒介変数表示: もっとも紛れがないという意味では、媒介変数  を用いる \alpha\colon \begin{cases} x = \phi(t) \\ y = \psi(t) \end{cases}, \qquad (\alpha(t) := (\phi(t), \psi(t))) のような表示をかんがえるのがよい。

## 可微分平面曲線
滑らかな平面曲線、すなわち望ましい正則性条件を満足する一次元のひものような対象としての曲線（「局所的に直線に見える」平面曲線）を表し研究するためには、連続性条件は十分ではない。追加の条件として平面曲線は  上とする。媒介表示された平面曲線 \alpha(t) = (\phi(t), \psi(t)) が微分可能であるとは、二つの函数  がともに任意の  において微分可能であることを言う。滑らかな平面曲線は平面に含まれる一次元の滑らかな多様体であり、この意味で各点の近傍において滑らかな函数によって直線に写される。

### 正則性と特異点
媒介表示された平面曲線が点  において**正則**もしくは正常 (regular) である、または点  がこの曲線上の***'であるとは、 なることを言い、区間  上で正常とは  上の任意の  において  となることを言う。

 を満たす点  はこの曲線の'''[[曲線の特異点|]]'''と呼ぶ。


曲線の正則性は、その曲線の'''[[接線]]'''の定義を可能にする。可微分曲線  の正則点  における接線は、点  を通り、ベクトル  <math display="block">\alpha'(t_0) = (\phi'(t_0),\psi'(t_0))</math> に平行な直線を言う。すなわち、点  の周りで接線上の点  は方程式 <math display="block">
  \psi'(t_0) \cdot (X - \phi(t_0)) - \phi'(t_0) \cdot (Y - \psi(t_0)) = 0
</math> を満足し、また媒介変数  を用いれば  は <math display="block">\begin{cases} 
  X_t = \phi'(t_0) (t-t_0) + \phi(t_0) \\[3pt]
  Y_t = \psi'(t_0) (t-t_0) + \psi(t_0)
\end{cases}</math> としても表される。曲線が方程式  によって陽に与えられているならば、その点  における接線は <math display="block">f'(x_0) \cdot (x-x_0) - (y-y_0) = 0</math> なる関係によって与えられる。また、曲線が陰伏方程式  によって与えられているならば接線は <math display="block">F_{x_0}\cdot(x-x_0) + F_{y_0}\cdot(y-y_0) = 0</math> なる関係を満たす。ただし、 はそれぞれ  の  による偏微分をそれぞれ  において評価した値である。

曲線の正則性は、その曲線の点  における'''[[法線]]'''も定義可能にし、法線の方程式が <math display="block">\phi'(t_0) \cdot (\phi(t_0) - \phi(t)) + \psi'(t_0) \cdot (\psi(t_0) - \psi(t)) = 0</math> で与えられる。接線の場合と同様に
* 陽表示: <math display="inline">f'(x_0) \cdot (y-y_0) + (x-x_0) = 0</math>;
* 陰表示: <math display="inline">F_{y_0}\cdot(x-x_0) + F_{x_0}\cdot(y-y_0) = 0</math>
の陽にも書ける。

[[微分]]の定義により、<math display="block">\frac {\psi'(t)}{\phi'(t)} = \tan \theta</math> は幾何学的には曲線の接線の[[傾き (数学)|傾き]]を表しており、右辺において正弦が引数にとる角  は接線が -軸の正の半直線となす角である。この関係式を <math display=block>\begin{cases}
  \cos \theta = \pm \frac {\phi'(t)}{\sqrt{\phi'(t)^2 + \psi'(t)^2}}\\[3pt]
  \sin \theta = \pm \frac {\psi'(t)}{\sqrt{\phi'(t)^2 + \psi'(t)^2}}
\end{cases}</math> と展開すれば、これにより曲線の接線の***'と呼ばれる量  が得られる。

### 曲線の長さ

 上の可微分曲線  と区間  に対し、曲線の  から  までの****とは L(\alpha) := \int_{a}^{b} \| \alpha'(t) \|\mathit{dt} = \int_{a}^{b} \sqrt{\phi'(t)^2 + \psi'(t)^2}\;\mathit{dt} で与えられる

弧長は媒介変数の取り換えに関して不変である。すなわち、 を媒介変数の取り換えとすれば、L(\alpha) = \int_{a}^{b} \| \alpha'(t) \|\mathit{dt} = \int_{a}^{b} \| \beta'(s) \|\mathit{ds} = L(\beta) が成り立つ。

曲線が  と陽に与えられれば、 かつ  となるから、弧長を 
 L = \int_{a}^{b} \sqrt{1+\Bigl(\frac{dy}{dx}\Big)^2}\;\mathit{dx}
 と書くことができる。

媒介変数の取り方として数学および幾何学的研究および応用において重要と考えられるものの一つに、平面極座標が挙げられる。曲線の極座標表示が  で与えられれば、直交座標系における  に関する媒介変数表示は \begin{cases}
 \phi(\theta) := r(\theta) \cos \theta \\
 \psi(\theta) := r(\theta) \sin \theta
\end{cases} で与えられ、これらの微分は \begin{cases}
 \phi'(\theta) = r'(\theta) \cos \theta - r(\theta) \sin \theta \\
 \psi'(\theta) = r'(\theta) \sin \theta + r(\theta) \cos \theta
\end{cases} となるから、さらに弧長は 
 L = \int_c^d \sqrt{\phi'(\theta)^2 + \psi'(\theta)^2}\;\mathit{d\theta}
   = \int_c^d \sqrt{r(\theta)^2 + r'(\theta)^2}\;\mathit{d\theta}
   = \int_c^d \sqrt{r(\theta)^2 + \Bigl(\frac{dy}{dx}\Big)^2}\;\mathit{d\theta}
 と書ける。

### 曲線座標
**曲線上の座標系**または**弧長変数**（弧長パラメータ） とは、特別な種類の媒介変数表示で、積分の下の限界  を固定し上の限界  を変数と見るとき、積分 s(t) = \int_{a}^{t} \| \alpha'(u) \| \mathit{du} が上の限界  のみに依存して決まるものを言う。この積分函数  は幾何学的には、固定された点  から測った（必要ならば符号付きで考えた）弧長である。これにより常に曲線上にはこの曲線座標系に基づく座標を入れることが可能となる（弧長変数による媒介表示）。実際、s'(t) = \|\alpha'(t)\| >0 ゆえ  は逆を持ち、それを  と書けば、弧長変数への媒介変数の取り換え \beta(s) = \alpha(t(s)) を得る。この場合、曲線上の一点における接線を決定することは、単位接ベクトルに平行となる直線をとることに等しい。すなわち \| \beta'(s) \| = | \frac {dt}{ds} | \cdot \| \alpha'(t) \| = \frac {1} \| \alpha'(t) \| = \frac {\| \alpha'(t) \|}{\| \alpha'(t) \|} = 1 ゆえ、接ベクトルは単位ベクトルである。

### 曲線上の微分幾何

弧長変数で媒介表示された曲線  に対し、 はその単位接ベクトルである。さらに函数  はこの曲線の曲率と呼ばれる。曲線が陽表示  を持てば曲率も 
 k = \frac{f*(x)}{(1 + f'^{2})^{3/2}}
</math> と陽に計算できる。陰伏表示  の場合は <math display="block">
  k = \frac{F_{y}^{2} \cdot F_{xx} - 2 F_{x} \cdot F_{y} \cdot F_{xy} + F_{x}^{2} \cdot F_{yy}}{\left(F_{x}^{2} + F_{y}^{2} \right)^{3/2}}
</math> となる。

空間内の（十分正則な）曲線はその任意の点において、*'フレネ標構**と呼ばれる「接ベクトル」「法ベクトル」「陪法ベクトル」の三つ組からなる参照系を持つが、このような曲線が**平面的**となるための必要十分条件はその陪法ベクトルが常に零となることである。

弧長表示  に対して単位接ベクトル <math display="inline">T(s) = \beta'(s) = (\phi'(s), \psi'(s))</math> および単位法ベクトル <math display="inline">N(s) = i \cdot T(s) = (- \psi'(s), \phi'(s))</math> は直ちに求められる（ただし  は[[虚数単位]]）。曲率を用いれば単位法ベクトルを <math display="block">N(s) = \frac{T'(s)}{\| T'(s) \|} = \frac{T'(s)}{k(s)}</math> と与えることもできる。 は  に直交し、 に平行である。

これらをまとめると「平面曲線に関する**フレネの公式*'」および曲率は、任意の媒介表示曲線  に対して
<math display="block">\begin{align}
 T(t) &= \frac {\alpha'(t)}{\| \alpha'(t) \|},\quad N(t) = \frac {i \cdot \alpha'(t)}{\| \alpha'(t) \|};\\[5pt]
 k(t) &= \frac {\alpha*(t) \cdot (i \alpha'(t))}{\| \alpha'(t) \|^3}
\end{align} と与えられる。

## 平面代数曲線
平面代数曲線は、アフィン平面内の曲線で多項式方程式  によって定義されるもの、または射影平面内の曲線で斉次多項式方程式  で定義されるものを言う。

任意の平面代数曲線は、その定義多項式の次数をその曲線の次数として持つ。代数閉体上で考える場合には、曲線の次数はそれがにある直線と交わるときの交点数に等しい。例えば、方程式  で与えられる円の次数は  である。

次数  の非特異平面代数曲線は円錐曲線であり、それらのは全て円  の射影完備化（つまり ) の定める射影曲線）に同型である。次数  の平面代数曲線はといい、それが非特異ならば楕円曲線となる。次数  の平面代数曲線はと呼ぶ。

## 注釈

## 参考文献

*.
*.

## 関連項目

* 
* 平面曲線あてはめ
* 

## 外部リンク
*  Mathcurve : une encyclopédie des courbes
* 
*  / 
* 
* 
*