縮閉線

数学、特に曲線の微分幾何学における**縮閉線**（しゅくへいせん、）とは、曲線の各点における曲率の中心の軌跡として得られる別の曲線をいう。曲線の法線の包絡線を縮閉線と呼ぶといっても同じことである。

曲線、曲面、あるいはもっと一般に（ の）部分多様体の縮閉とは、その法写像の焦線（包絡線）をいう。具体的に、 を滑らかで非特異な  の部分多様体とし、 の各点  と  を基点として  に直交する各ベクトル  に対して、点  を対応させると、これは法写像と呼ばれるラグランジュ写像を定める。法写像の焦線は  の縮閉である。

## 歴史
アポロニウス（紀元前200年頃）は著書『円錐曲線論』("") の第五巻において縮閉線について記している。しかし、縮閉線について研究した最初の人はホイヘンスで1673年のことであるとする記述がしばしば見られる。

## 定義
### 弧長変数の場合
平面曲線  はその弧長変数  によって媒介変数表示されているとする。この曲線の単位接ベクトル  は、弧長を媒介変数とすることの利点として
:\boldsymbol{T}(s) = \gamma'(s)
と簡単な形に表すことができる。単位法ベクトル  は  に垂直な単位ベクトルで、対  が正の向きとなるようにとる。

曲線  の**[[曲率]]**  は、等式
:\boldsymbol{T}'(s) = k(s)\boldsymbol{N}(s)
を &gamma; の定義域の各点  において満たすものとして定義される。**[[曲率半径]]**はその逆数
:R(s) = \frac{1}{k(s)}
である。 の曲率半径の大きさは、その点において曲線を最もよく二次近似する円、つまりその点で曲線と二次の接触をもつような円（すなわち接触円）の半径に一致する。曲率半径の符号は、その接点における曲線と同じ向きに進むように媒介変数をとれば、接触円がどちらの向きに動くかを指し示すものとなる（接触円は、正ならば反時計回り、負ならば時計回りに動く）。

**[[曲率の中心]]**は接触円の中心をいう。曲率の中心はもちろん  の法線上の、 からの距離が  のところに位置する（どちら側にあるかは曲率  の符号で決まる）。記号で表せば、曲率中心の位置する点は
:E(s) = \gamma(s) + R(s)\boldsymbol{N}(s) = \gamma(s) + \frac{1}{k(s)}\boldsymbol{N}(s)
である。 が変化すれば、曲率の中心はこの等式で表される平面曲線を描く。それが曲線  の**縮閉線**である。

### 一般の媒介変数の場合
媒介変数  が弧長変数  でない場合は少々込み入った形になるが、 を曲線  の媒介変数表示とすれば、その縮閉線の媒介変数表示は、曲率半径  と接線角（; 接線が始線、つまり -軸と成す角度） を用いた式に表すことができる。 と  を用いた縮閉線の媒介変数表示は
:(X,Y) = (x,y) + R \boldsymbol{N} = (x-R\sin\varphi,y+R\cos\varphi)
で与えられる。ここで単位法ベクトル  は単位接ベクトル  を90度回転させて得られる。

もちろん、縮閉線の式を  およびその導函数のみを用いて表すこともできる。実際、
:(\cos \varphi, \sin \varphi) = \frac{(x', y')}{(x'^2+y'^2)^{1/2}},\quad R = 1/k = \frac{(x'^2+y'^2)^{3/2}}{x'y*-x*y'}
から  と  を消去すれば、媒介変数表示として

:\begin{cases}
  X[x,y]= x-y'\dfrac{x'^2+y'^2}{x'y*-x*y'}\\[10pt]
  Y[x,y]= y+x'\dfrac{x'^2+y'^2}{x'y*-x*y'}
\end{cases}

が得られる。

## 性質
; 弧長
: 曲線  は弧長  を媒介変数に持つとすると、弧長変数  を  から  まで動かしたときの縮閉線  に沿った弧長は
  \int_{s_1}^{s_2}\left|\frac{\mathrm dR}{\mathrm ds}\right| \mathrm ds
で与えられる。故に  の曲率が狭義単調ならば
  \int_{s_1}^{s_2}\left|\frac{\mathrm dR}{\mathrm ds}\right| \mathrm ds = |R(s_2)-R(s_1)|
となる。あるいは同じことだが、縮閉線  の弧長変数を  と書けば、
  \frac{\mathrm d\sigma}{\mathrm ds} = \left|\frac{\mathrm dR}{\mathrm ds}\right|
が成立する。
: 実際、縮閉線の式  を微分して、フレネの公式  を代入すれば(1)
  \frac{\mathrm dE}{\mathrm ds} = \frac{\mathrm d\gamma}{\mathrm ds} +\frac{\mathrm dR}{\mathrm ds}\boldsymbol{N}(s) - \boldsymbol{T}(s) = \frac{\mathrm dR}{\mathrm ds}\boldsymbol{N}(s)
となるが、これは示すべき式  に他ならない。
; 単位接ベクトル
: 先の (1) 式の別の帰結として、縮閉線  の  における接ベクトルは、元々の曲線  の  における法ベクトルになる。
; 曲率
: 縮閉線  の曲率は、それを弧長変数  で二回微分することにより求まる。まず  であるから、(1) 式から
  \frac{\mathrm dE}{\mathrm d\sigma} = \frac{\mathrm dE}{\mathrm ds}\bigg/\frac{\mathrm d\sigma}{\mathrm ds} = \pm\boldsymbol{N}
がわかる。ただし符号は  と同じになるようにとる。もう一度微分して、フレネの公式  を用いれば
  \frac{\mathrm d^2E}{\mathrm d\sigma^2}
  = \pm\frac{\mathrm d\boldsymbol{N}}{\mathrm ds}\bigg/\frac{\mathrm d\sigma}{\mathrm ds}
  = -\frac{1}{RR'}\frac{\mathrm dE}{\mathrm d\sigma}
を得る。
: 結果として、縮閉線  の曲率は   k_E = -\frac{1}{RR'} となることが分かる。ただし、 は曲率の（符号付き）半径で、 は原曲線の弧長変数  に関する微分を表す。
; 伸開線との関係: 伸開線の縮閉線は原曲線になるが、縮閉線の伸開線は原曲線とそれ以外にも無数にある。
; 内在的な関係式
: 接線角  が曲率半径  の函数  として表されるならば、縮閉線に対するフューエル方程式は  となる。ただし、 は縮閉線の接線角で、 は縮閉線に沿った弧長に従って動く。ここから、縮閉線の曲率  に関するチェザロ方程式  が導かれる。
; 曲線とその縮閉線の関係
: 上に述べたように、縮閉線  の微分は  のところで消えるから、曲線が頂点を持つ（つまり、局所的に極大点または極小点を持つ）とき、その縮閉線は尖点を持ちうる。原曲線の変曲点では曲率半径は無限大となり、故に縮閉線  も無限遠へいくことになるが、この結果としてしばしば縮閉線は漸近線を持つ. 同様に、原曲線が尖点を持てばその点の曲率半径は  になるから、縮閉線は原曲線に接する。

## 放射曲線
曲線の縮閉線と似た定義を持つものに、曲線の**放射線**（ラジアル曲線; ）がある。これは、曲線上の各点においてその点から曲率中心へ結んだベクトルをとり、それを始点が原点となるように平行移動させるとき、そのようなベクトルの終点の軌跡として得られる曲線をいう。つまり、放射曲線の式は縮閉線の式から  の項を単純に除去することによって得られる。要するに、 または
:(X, Y)= \left(-y'\frac{x'^2+y'^2}{x'y*-x*y'},\ x'\frac{x'^2+y'^2}{x'y*-x*y'}\right)
が放射曲線の式である。

## 例
* 抛物線の縮閉線は半立方抛物線（ のグラフと相似な図形）である。半立方抛物線の尖点は、抛物線の頂点における曲率の中心と一致する。
* 対数螺旋の縮閉線は、自身に合同な螺旋になる。
* 擺線の縮閉線は同じサイズの擺線に、外擺線の縮閉線はより小さい外擺線になる。

file:Evolute of tractrix.gif | 牽引曲線の縮閉線は懸垂曲線である。
file:Evolute of parabola.gif | 抛物線の縮閉線は半立方抛物線である。
file:Evolute of cycloid.gif | 擺線の縮閉線は同じく擺線となる。
file:Evolute of ellipse.gif | 楕円の縮閉線は引き伸ばされた星芒形またはラメ曲線である。
file:Evolute of epicycloid.gif | 外擺線の縮閉線はより小さい外擺線になる。
file:Evolute of astroid.gif | 星芒形の縮閉線は（二倍に）大きい星型曲線になる。


## 参考文献

* Yates, R. C.: *A Handbook on Curves and Their Properties*, J. W. Edwards (1952), "Evolutes." pp. 86ff
* 
* 

## 外部リンク
* 
* 
* Evolute on 2d curves.