縮閉線のソースを表示

[[file:Ellipse evolute.svg|right|thumb|[[楕円]]（赤）とその縮閉線（青）： 楕円の[[頂点 (曲線)|頂点]]（黒点）はすべて縮閉線の尖点にもなっている。楕円の縮閉線は[[星芒形]]である。]]
[[file:Evolute1.gif|right|thumb|法線の包絡線としての縮閉線。（要クリック）]]
[[数学]]、特に[[曲線の微分幾何学]]における'''縮閉線'''（しゅくへいせん、{{lang-en-short|''evolute''}}）とは、[[曲線]]の各点における[[接触円|曲率の中心]]の軌跡として得られる別の曲線をいう。曲線の[[法線]]の[[包絡線]]を縮閉線と呼ぶといっても同じことである。

曲線、曲面、あるいはもっと一般に（{{Math|'''R'''<sup>''n''</sup> }} の）[[部分多様体]]の縮閉とは、その法写像の[[焦線]]（包絡線）をいう。具体的に、{{Mvar|M}} を滑らかで非特異な {{Math|'''R'''<sup>''n''</sup> }} の部分多様体とし、{{Mvar|M}} の各点 {{Mvar|p}} と {{Mvar|p}} を基点として {{Mvar|M}} に直交する各ベクトル {{Mvar|'''v'''}} に対して、点 {{Math|''p'' + '''''v'''''}} を対応させると、これは法写像と呼ばれる[[ラグランジュ写像]]を定める。法写像の焦線は {{Mvar|M}} の縮閉である<ref name="Arnold">{{Cite book|first=V. I.|last=Arnold|first2=A. N.|last2=Varchenko|first3=S. M.|last3=Gusein-Zade|title=The Classification of Critical Points, Caustics and Wave Fronts: Singularities of Differentiable Maps, Vol 1|publisher=Birkhäuser|year=1985|isbn=0817631879}}</ref>。

== 歴史 ==
[[ペルガのアポロニウス|アポロニウス]]（紀元前200年頃）は著書『円錐曲線論』("{{Lang|en|Conics}}") の第五巻において縮閉線について記している。しかし、縮閉線について研究した最初の人は[[クリスティアーン・ホイヘンス|ホイヘンス]]で1673年のことであるとする記述がしばしば見られる。

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

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

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

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

もちろん、縮閉線の式を {{Math|''x'', ''y''}} およびその導函数のみを用いて表すこともできる。実際、
:<math>(\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'}</math>
から {{Mvar|R}} と {{Mvar|φ}} を消去すれば、媒介変数表示として

:<math>\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}</math>

が得られる。

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

{| style="margin:1ex auto; width:80%;"
| 上記の説明を右図に対して確かめることができる。青い曲線は他の曲線全ての縮閉線で、青い曲線の尖点は他の曲線の頂点に対応している。緑の曲線の尖点は縮閉線上にある。縮閉線を共有する曲線はどれも互いに[[平行線|平行]]である。
| [[file:Evolute and parallel.gif|right|thumb|240px|楕円（赤）とその縮閉線（青）およびいくつかの平行曲線。縮閉線に触れるところで平行曲線が尖点を持つ様子に注目。]]
|}

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

== 例 ==
* [[抛物線]]の縮閉線は[[半立方抛物線]]（{{Math|1=''y'' = ''x''<sup>3/2</sup>}} のグラフと相似な図形）である。半立方抛物線の尖点は、抛物線の頂点における曲率の中心と一致する。
* [[対数螺旋]]の縮閉線は、自身に合同な螺旋になる。
* [[サイクロイド|擺線]]の縮閉線は同じサイズの擺線に、[[エピサイクロイド|外擺線]]の縮閉線はより小さい外擺線になる。
<gallery caption="要クリック" perrow="6">
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 | [[星芒形]]の縮閉線は（二倍に）大きい星型曲線になる。
</gallery>

== 参考文献 ==
{{reflist}}
* Yates, R. C.: ''A Handbook on Curves and Their Properties'', J. W. Edwards (1952), "Evolutes." pp. 86ff
* {{Cite book|和書|title=解析教程〈上〉|edition=新装版|origtitle=Analysis by Its History|author=E.ハイナー|authorlink=エルンスト・ハイナー | coauthors=[[ゲハルト・ヴァンナー|G.ヴァンナー]]|translator=蟹江幸博|publisher=シュプリンガー・ジャパン|year=2006|isbn=9784431712138|url=https://books.google.co.jp/books?id=BhuwGMlEtJQC&pg=PA122}}
* {{Cite book|和書|title=定本 解析概論|author=高木貞治|authorlink=高木貞治|publisher=岩波書店|edition=改訂第3版|year=2010|isbn=978-4000052092}}

== 外部リンク ==
* {{MathWorld|title=Evolute|urlname=Evolute}}
* {{SpringerEOM|title=Evolute|last=Sokolov|first=D.D.|urlname=Evolute}}
* [http://www.2dcurves.com/derived/curvature.html#evolute Evolute on 2d curves.]
<!-- [[s:解析概論/第2章/接線および曲率|]] -->

{{DEFAULTSORT:しゆくへいせん}}
[[Category:微分幾何学]]
[[Category:曲線]]
[[Category:数学に関する記事]]