縮閉線

楕円（赤）とその縮閉線（青）： 楕円の頂点（黒点）はすべて縮閉線の尖点にもなっている。楕円の縮閉線は星芒形である。

法線の包絡線としての縮閉線。（要クリック）

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

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

歴史

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

定義

弧長変数の場合

平面曲線 テンプレート:Math はその弧長変数 テンプレート:Mvar によって媒介変数表示されているとする。この曲線の単位接ベクトル テンプレート:Math は、弧長を媒介変数とすることの利点として

$𝑻(s)={\gamma }^{\prime }(s)$

と簡単な形に表すことができる。単位法ベクトル テンプレート:Math は テンプレート:Math に垂直な単位ベクトルで、対 テンプレート:Math が正の向きとなるようにとる。

曲線 テンプレート:Mvar の曲率 テンプレート:Mvar は、等式

${𝑻}^{\prime }(s)=k(s)𝑵(s)$

を γ の定義域の各点 テンプレート:Mvar において満たすものとして定義される。曲率半径はその逆数

$R(s)=\frac{1}{k(s)}$

である。テンプレート:Math の曲率半径の大きさは、その点において曲線を最もよく二次近似する円、つまりその点で曲線と二次の接触をもつような円（すなわち接触円）の半径に一致する。曲率半径の符号は、その接点における曲線と同じ向きに進むように媒介変数をとれば、接触円がどちらの向きに動くかを指し示すものとなる（接触円は、正ならば反時計回り、負ならば時計回りに動く）。

曲率の中心は接触円の中心をいう。曲率の中心はもちろん テンプレート:Math の法線上の、テンプレート:Math からの距離が テンプレート:Math のところに位置する（どちら側にあるかは曲率 テンプレート:Mvar の符号で決まる）。記号で表せば、曲率中心の位置する点は

$E(s)=\gamma (s)+R(s)𝑵(s)=\gamma (s)+\frac{1}{k(s)}𝑵(s)$

である。テンプレート:Mvar が変化すれば、曲率の中心はこの等式で表される平面曲線を描く。それが曲線 テンプレート:Mvar の縮閉線である。

一般の媒介変数の場合

媒介変数 テンプレート:Mvar が弧長変数 テンプレート:Mvar でない場合は少々込み入った形になるが、テンプレート:Math を曲線 テンプレート:Mvar の媒介変数表示とすれば、その縮閉線の媒介変数表示は、曲率半径 テンプレート:Math と接線角（テンプレート:Lang; 接線が始線、つまり テンプレート:Mvar-軸と成す角度）テンプレート:Mvar を用いた式に表すことができる。テンプレート:Mvar と テンプレート:Mvar を用いた縮閉線の媒介変数表示は

$(X,Y)=(x,y)+R𝑵=(x-R\sin \phi ,y+R\cos \phi )$

で与えられる。ここで単位法ベクトル テンプレート:Math は単位接ベクトル テンプレート:Math を90度回転させて得られる。

もちろん、縮閉線の式を テンプレート:Math およびその導函数のみを用いて表すこともできる。実際、

$(\cos \phi ,\sin \phi )=\frac{(x^{\prime },y^{\prime })}{(x{\text{'}}^2+y{\text{'}}^2{)}^{1/2}},R=1/k=\frac{(x{\text{'}}^2+y{\text{'}}^2{)}^{3/2}}{x^{\prime }{y}^{″}-x^{″}{y}^{\prime }}$

から テンプレート:Mvar と テンプレート:Mvar を消去すれば、媒介変数表示として

$\{\begin{array}{c}X[x,y]=x-y^{\prime }\frac{x{\text{'}}^2+y{\text{'}}^2}{x^{\prime }{y}^{″}-x^{″}{y}^{\prime }}\\ Y[x,y]=y+x^{\prime }\frac{x{\text{'}}^2+y{\text{'}}^2}{x^{\prime }{y}^{″}-x^{″}{y}^{\prime }}\end{array}$

が得られる。

性質

弧長

曲線 テンプレート:Mvar は弧長 テンプレート:Mvar を媒介変数に持つとすると、弧長変数 テンプレート:Mvar を テンプレート:Math から テンプレート:Math まで動かしたときの縮閉線 テンプレート:Mvar に沿った弧長は

$\underset{s_1}{\overset{s_2}{\int }}\left|\frac{\mathrm{d}R}{\mathrm{d}s}\right|\mathrm{d}s$

で与えられる。故に テンプレート:Mvar の曲率が狭義単調ならば

$\underset{s_1}{\overset{s_2}{\int }}\left|\frac{\mathrm{d}R}{\mathrm{d}s}\right|\mathrm{d}s=|R(s_2)-R(s_1)|$

となる。あるいは同じことだが、縮閉線 テンプレート:Mvar の弧長変数を テンプレート:Mvar と書けば、

$\frac{\mathrm{d}\sigma }{\mathrm{d}s}=\left|\frac{\mathrm{d}R}{\mathrm{d}s}\right|$

が成立する。

実際、縮閉線の式 テンプレート:Math を微分して、フレネの公式 テンプレート:Math を代入すれば

(1)

$\frac{\mathrm{d}E}{\mathrm{d}s}=\frac{\mathrm{d}\gamma }{\mathrm{d}s}+\frac{\mathrm{d}R}{\mathrm{d}s}𝑵(s)-𝑻(s)=\frac{\mathrm{d}R}{\mathrm{d}s}𝑵(s)$

となるが、これは示すべき式 テンプレート:Math に他ならない。

単位接ベクトル

先の (1) 式の別の帰結として、縮閉線 テンプレート:Mvar の テンプレート:Math における接ベクトルは、元々の曲線 テンプレート:Mvar の テンプレート:Math における法ベクトルになる。

曲率

縮閉線 テンプレート:Mvar の曲率は、それを弧長変数 テンプレート:Mvar で二回微分することにより求まる。まず テンプレート:Math であるから、(1) 式から

$\frac{\mathrm{d}E}{\mathrm{d}\sigma }=\frac{\mathrm{d}E}{\mathrm{d}s}/\frac{\mathrm{d}\sigma }{\mathrm{d}s}=\pm 𝑵$

がわかる。ただし符号は テンプレート:Math と同じになるようにとる。もう一度微分して、フレネの公式 テンプレート:Math を用いれば

$\frac{{\mathrm{d}}^{2}E}{\mathrm{d}{\sigma }^2}=\pm \frac{\mathrm{d}𝑵}{\mathrm{d}s}/\frac{\mathrm{d}\sigma }{\mathrm{d}s}=-\frac{1}{R{R}^{\prime }}\frac{\mathrm{d}E}{\mathrm{d}\sigma }$

を得る。

結果として、縮閉線 テンプレート:Mvar の曲率は

$k_E=-\frac{1}{R{R}^{\prime }}$

となることが分かる。ただし、テンプレート:Mvar は曲率の（符号付き）半径で、テンプレート:Math は原曲線の弧長変数 テンプレート:Mvar に関する微分を表す。

伸開線との関係

伸開線の縮閉線は原曲線になるが、縮閉線の伸開線は原曲線とそれ以外にも無数にある。

内在的な関係式

接線角 テンプレート:Mvar が曲率半径 テンプレート:Mvar の函数 テンプレート:Math として表されるならば、縮閉線に対するフューエル方程式は テンプレート:Math となる。ただし、テンプレート:Math は縮閉線の接線角で、テンプレート:Mvar は縮閉線に沿った弧長に従って動く。ここから、縮閉線の曲率 テンプレート:Math に関するチェザロ方程式 テンプレート:Math が導かれる。

曲線とその縮閉線の関係

上に述べたように、縮閉線 テンプレート:Math の微分は テンプレート:Math のところで消えるから、曲線が頂点を持つ（つまり、局所的に極大点または極小点を持つ）とき、その縮閉線は尖点を持ちうる。原曲線の変曲点では曲率半径は無限大となり、故に縮閉線 テンプレート:Math も無限遠へいくことになるが、この結果としてしばしば縮閉線は漸近線を持つ. 同様に、原曲線が尖点を持てばその点の曲率半径は テンプレート:Math になるから、縮閉線は原曲線に接する。

上記の説明を右図に対して確かめることができる。青い曲線は他の曲線全ての縮閉線で、青い曲線の尖点は他の曲線の頂点に対応している。緑の曲線の尖点は縮閉線上にある。縮閉線を共有する曲線はどれも互いに平行である。

楕円（赤）とその縮閉線（青）およびいくつかの平行曲線。縮閉線に触れるところで平行曲線が尖点を持つ様子に注目。

放射曲線

曲線の縮閉線と似た定義を持つものに、曲線の放射線（ラジアル曲線; テンプレート:Lang）がある。これは、曲線上の各点においてその点から曲率中心へ結んだベクトルをとり、それを始点が原点となるように平行移動させるとき、そのようなベクトルの終点の軌跡として得られる曲線をいう。つまり、放射曲線の式は縮閉線の式から テンプレート:Math の項を単純に除去することによって得られる。要するに、テンプレート:Math または

$(X,Y)=(-y^{\prime }\frac{x{\text{'}}^2+y{\text{'}}^2}{x^{\prime }{y}^{″}-x^{″}{y}^{\prime }},x^{\prime }\frac{x{\text{'}}^2+y{\text{'}}^2}{x^{\prime }{y}^{″}-x^{″}{y}^{\prime }})$

が放射曲線の式である。

例

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

• 要クリック
• 
  牽引曲線の縮閉線は懸垂曲線である。
• 
  抛物線の縮閉線は半立方抛物線である。
• 
  擺線の縮閉線は同じく擺線となる。
• 
  楕円の縮閉線は引き伸ばされた星芒形またはラメ曲線である。
• 
  外擺線の縮閉線はより小さい外擺線になる。
• 
  星芒形の縮閉線は（二倍に）大きい星型曲線になる。

参考文献

• Yates, R. C.: A Handbook on Curves and Their Properties, J. W. Edwards (1952), "Evolutes." pp. 86ff
• テンプレート:Cite book
• テンプレート:Cite book

外部リンク

• テンプレート:MathWorld
• テンプレート:SpringerEOM
• Evolute on 2d curves.