弧長

テンプレート:参照方法 数学において、複雑な形状の曲線（弧状線分）の弧長（こちょう、テンプレート:Lang-en-short）を決定する問題は、曲線の求長 テンプレート:Lang とも呼ばれ、特定の曲線に対する求長法は歴史的に様々なものが考えられてきたが、無限小解析の到来とともに曲線に依らない一般論が導かれ、いくつかの場合にはそこからテンプレート:Illが得られる。

複数の線分による近似

平面内の曲線は、曲線上の有限個の点を線分で結んで得られる折線で近似することができる。各線分の長さは、ユークリッド空間におけるピタゴラスの定理などから直接に求まるので、近似折線の総延長はそれらの線分の長さの総和として決定することができる。

考えている曲線がはじめから折線なのでなければ、用いる線分の長さを短くして数を増やすことによって、よりその曲線に近い形の折線近似が得られる。そうやってよりよい近似折線を次々につくっていくと、その長さは減ることはなく、場合によっては無制限に増加し続ける可能性もある。しかし、殊滑らかな曲線に限っては、それは線分の長さを無限に小さくする極限で必ず一定の極限値へ収斂する。このように、ある種の曲線に対しては、任意の近似折線の長さの上界に最小値 テンプレート:Math が存在する。そのとき、その曲線は有限長であるといい、値 テンプレート:Math をその曲線の弧長と呼ぶのである。

定義

テンプレート:Math はユークリッド空間 テンプレート:Math や、より一般の距離空間であるとし、テンプレート:Math を空間 テンプレート:Math 内の曲線とする。すなわち、テンプレート:Math は実数直線内の閉区間 テンプレート:Math から テンプレート:Math への連続写像 テンプレート:Math の像である。

区間 テンプレート:Math に対して 区間の分割

$a=t_0<t_1<\cdots <t_{n-1}<t_n=b$

を考えれば、曲線 テンプレート:Math 上に有限個の点 テンプレート:Math をとることができる。テンプレート:Math から テンプレート:Math への距離をそれぞれ テンプレート:Math, テンプレート:Math で表せば、これはこの2点を結ぶ線分の長さである。

曲線 テンプレート:Math の弧長 テンプレート:Math は

$L(C)=\underset{a=t_0<t_1<\cdots <t_n=b}{\sup }\sum _{i=0}^{n-1}d(f(t_i),f(t_{i+1}))$

で与えられる。ただし、上限 テンプレート:Math は区間 テンプレート:Math の分割個数 テンプレート:Math をいくらでも大きくとってできる分割すべてに亘ってとる。

弧長 テンプレート:Math は有限にも無限にもなりうるが、テンプレート:Math ならば テンプレート:Math は有限長（テンプレート:Lang; 求長可能）であるといいテンプレート:Refnest、さもなくば無限長（テンプレート:Lang; 求長不能）であるという。この弧長の定義において、テンプレート:Math は可微分函数 テンプレート:Math で定義されている必要はない。実際のところ、一般の距離空間上で考えている場合には、微分可能性を定義することが一般には期待できない。

曲線は様々な方法で媒介変数表示されうる。そこで曲線 テンプレート:Math が定義写像 テンプレート:Math 以外に媒介変数表示 テンプレート:Math をも持つ場合を考える。テンプレート:Math および テンプレート:Math が単射であるときには、連続単調写像 テンプレート:Math が存在して、テンプレート:Math が成り立ち、逆写像 テンプレート:Math が存在する。明らかに、任意の

$\sum _{i=0}^{n-1}d(f(t_i),f(t_{i+1}))$

の形の和は、テンプレート:Math とおけば、

$\sum _{i=0}^{n-1}d(g(u_i),g(u_{i+1}))$

の形の和に等しく、逆もまた同様である。従って弧長は、それが媒介変数の取り方に依らないという意味で、曲線に内在する性質であることがわかる。

曲線に対するこの弧長の定義は、実数値函数に対する全変分（全変動）の定義の類似である。

積分による弧長の計算

実函数 テンプレート:Math で、テンプレート:Math および導函数 テンプレート:Math が閉区間 テンプレート:Math 上の連続函数であるようなものを考えると、テンプレート:Math のグラフの テンプレート:Math から テンプレート:Math までの間の弧長 テンプレート:Math は

$s=\underset{a}{\overset{b}{\int }}\sqrt{1+[f^{\prime }(x){]}^2}dx$

で与えられる。

曲線が テンプレート:Math, テンプレート:Math と媒介変数表示されている場合、テンプレート:Math であるから

$\begin{array}{cc}s& =\underset{a}{\overset{b}{\int }}\sqrt{1+[f^{\prime }(x){]}^2}dx\\ & =\underset{a}{\overset{b}{\int }}\sqrt{1+{\left[\frac{Y^{\prime }(t)}{X^{\prime }(t)}\right]}^2}dx\\ & =\underset{a}{\overset{b}{\int }}\frac{1}{X^{\prime }(t)}\sqrt{[X^{\prime }(t){]}^2+[Y^{\prime }(t){]}^2}dx\\ & =\underset{a}{\overset{b}{\int }}\sqrt{[X^{\prime }(t){]}^2+[Y^{\prime }(t){]}^2}dx\cdot \frac{dt}{dx}\\ & =\underset{X^{-1}(a)}{\overset{X^{-1}(b)}{\int }}\sqrt{[X^{\prime }(t){]}^2+[Y^{\prime }(t){]}^2}dt\end{array}$

が成り立つ。これらは、十分小さな増分 テンプレート:Math に対する距離の公式から求めた式で、テンプレート:Math の代わりにその極限を取ったものと考えればわかりよい。

また、極座標系において テンプレート:Math で定義された函数の テンプレート:Math から テンプレート:Math までの間の弧長 テンプレート:Math は

$s=\underset{\alpha }{\overset{\beta }{\int }}\sqrt{r^2+{\left(\frac{dr}{d\theta }\right)}^2}d\theta$

で与えられる。

単純曲線まで含めても多くの場合、弧長はテンプレート:Illでは得られず、積分は数値的に行われることになる。弧長の閉じた形の公式を持つ曲線には、懸垂線、円、擺線、対数螺旋、抛物線、テンプレート:Ill、直線などが挙げられる。また、楕円の弧長の閉じた形の式を導こうとする試みから、楕円積分の理論が発展した。

線素からの導出

曲線の小片 テンプレート:Math はピタゴラスの定理を使って近似できる。

曲線の弧長を近似するために曲線をたくさんの線分に分解するが、弧長の長さを近似値でなく真の値として得るには無限に多くの線分が必要になる。これはつまり、各線分を無限に小さくすることを意味しているが、このことは後に積分を用いる際に効いてくる。

線分の代表元を見れば、その長さ（線素）が微分 テンプレート:Math であることが確認できる。この変位の水平成分を テンプレート:Math、垂直成分を テンプレート:Math で表すと、ピタゴラスの定理から

$ds=\sqrt{d^{2}x+d^{2}y}$

が従う。曲線が媒介変数 テンプレート:Math によって表されているなら弧長は線素 テンプレート:Math を無限小区間 テンプレート:Math に亘って次々に足し合わせればよいから、積分

$\underset{a}{\overset{b}{\int }}\sqrt{(\frac{dx}{dt}{)}^2+(\frac{dy}{dt}{)}^2}dt$

によって弧長 テンプレート:Math が求められる。テンプレート:Math が テンプレート:Math の函数ならば、テンプレート:Math として

$s=\underset{a}{\overset{b}{\int }}\sqrt{1+(\frac{dy}{dx}{)}^2}dx$

を得る。これは テンプレート:Math のグラフの テンプレート:Math から テンプレート:Math までの弧長を与えている。

曲線 テンプレート:Nowrap の線素

例として、曲線が

$\{\begin{array}{c}y=t^5,\\ x=t^3\end{array}$

で与えられているものとし、さらに t が −1 から 1 までの値をとるものとすると、弧長を表す積分は

$\underset{-1}{\overset{1}{\int }}\sqrt{(3t^2{)}^2+(5t^4{)}^2}dt=\underset{-1}{\overset{1}{\int }}\sqrt{9t^4+25t^8}dt\approx 2.9053418626\cdots$

となる。数値計算をすれば、この弧長が 2.905 にかなり近いことがわかる。超幾何函数を用いて表せば、

$2{}_2{F}_1(-\frac{1}{2},\frac{3}{4};\frac{7}{4};-\frac{25}{9})$

になる。

折線近似からの導出

複数の直角三角形の斜辺が曲線を近似している。

函数 テンプレート:Math で与えられる曲線が求長可能であるものと仮定する。曲線上の点 テンプレート:Math から テンプレート:Math までの テンプレート:Math に沿った弧長 テンプレート:Math を近似するために、斜辺を連結して曲線の弧を「被覆」できるような直角三角形の列を構成する。簡単のため、全ての三角形の底辺は等しく テンプレート:Math であるものとすると、その各々の三角形に対して高さ テンプレート:Math が対応づけられて、斜辺の長さがピタゴラスの定理により

$\sqrt{\mathrm{\Delta }{x}^2+\mathrm{\Delta }{y}^2}=\sqrt{1+(\frac{\mathrm{\Delta }y}{\mathrm{\Delta }x}{)}^2}\mathrm{\Delta }x$

と与えられる。テンプレート:Math を近似する テンプレート:Math 個の斜辺の長さの和は

$S\approx \sum _{i=1}^n\sqrt{1+(\frac{\mathrm{\Delta }{y}_i}{\mathrm{\Delta }{x}_i}{)}^2}\mathrm{\Delta }{x}_i$

と書けるが、テンプレート:Math を小さく取るにつれて近似の精度は上がり、テンプレート:Math を テンプレート:Math に近づける極限で テンプレート:Math と等しくなる。すなわち、

$S=\underset{\mathrm{\Delta }{x}_i\to 0}{\lim }\sum _{i=1}^{\mathrm{\infty }}\sqrt{1+(\frac{\mathrm{\Delta }{y}_i}{\mathrm{\Delta }{x}_i}{)}^2}\mathrm{\Delta }{x}_i=\underset{a}{\overset{b}{\int }}\sqrt{1+(\frac{dy}{dx}{)}^2}dx=\underset{a}{\overset{b}{\int }}\sqrt{1+[f^{\prime }(x){]}^2}dx$

が得られる。

円弧長

円弧の長さは中心角を周角で割ったものを周長にかけたものに一致する。半径を テンプレート:Math, 直径を テンプレート:Math とすると、円の周長は テンプレート:Math または テンプレート:Math である。角度をラジアンで測れば、半径 テンプレート:Math, 弧が見込まれる角が テンプレート:Math であるような弧長は テンプレート:Math で与えられる（弧長を テンプレート:Math で表すのは、角が弧を「見込む」(テンプレート:Lang) ことに由来する）。特に半円の弧長は テンプレート:Math である。テンプレート:Math の単位は半径の単位と同じになる。

歴史的方法論

古代

数学史の大半の時期においては、偉大な思想家ですらも、特異な弧の長さを計算することは不可能と考えられた。窄出法（積尽法）と呼ばれる独自の方法を用いて、曲線に囲まれる領域の面積を求めた先駆者であったアルキメデスでさえも、直線が持つのと同様の確かな長さを曲線が持つことが可能であるとはほとんど信じていなかった。しばしば微分積分学の起源と考えられるこの分野が開拓される最初の足掛かりは、近似法を用いることであった。人々は、曲線に内接する多角形を考え、その辺の長さを曲線の幾分精密な長さを知るために計算するということを始めるのである。線分の数を増やして各線分の長さを記述することによって、どんどん精密な近似を得ることができた。特に、円に内接する多角形の辺の数を増やすことによって、円周率 テンプレート:Pi の近似値が求められた。

17世紀

17世紀には、窄出法を基にして様々な超越曲線に関する幾何学的方法による求長法が導かれた。例えば、対数螺旋は1645年にトリチェリによって（文献によっては1650年代にウォリスによって）、擺線は1658年にレンによって、懸垂線は1691年にライプニッツによって、それぞれ求長されている。

1659年には、ウォリスがウィリアム・ニールによる非自明な代数曲線の最初の求長法の発見と認める、半立方抛物線の求長が成された。

積分公式

微分積分学が完全に厳密に展開される以前に、弧長に対する現代的な積分公式の基礎は、テンプレート:仮リンクとフェルマーによって独立に発見される。1659年にファン・ヘラートは、曲線が囲む面積（これは実質的に積分）として弧長が解釈できることを示す構成法を公表し、それを放物線に適用した。一方、1660年にフェルマーは、ヘラートと同じ結果を含むより一般の理論を、著書『テンプレート:Lang』（曲線の直線との比較についての幾何学的論述）として出版した。

フェルマーの求長法

フェルマーはそれまでの自身による接線を用いる方法に基づいて、曲線

$y=x^{\frac{2}{3}}$

を用いた。これは テンプレート:Math における接線が傾き

$\frac{3}{2}{a}^{\frac{1}{2}}$

を持つから、接線の方程式は

$y=\frac{3}{2}{a}^{\frac{1}{2}}(x-a)+f(a)$

で与えられる。ここで テンプレート:Math を テンプレート:Math に変更して、線分 テンプレート:Math が テンプレート:Math から テンプレート:Math までの曲線の弧長の比較的よい近似になるようにする。線分 テンプレート:Math の長さを求めるためにピタゴラスの定理を用い、

$\begin{array}{cc}{\mathrm{A}\mathrm{C}}^2& ={\mathrm{A}\mathrm{B}}^2+{\mathrm{B}\mathrm{C}}^2\\ & ={\epsilon }^2+\frac{9}{4}a{\epsilon }^2\\ & ={\epsilon }^2(1+\frac{9}{4}a)\end{array}$

から、両辺の平方根をとって

$\mathrm{A}\mathrm{C}=\epsilon \sqrt{1+\frac{9}{4}a}$

を得る。弧長を近似するために、フェルマーはこのような小線分の列を足し上げたのである。

無限長曲線

コッホ曲線

テンプレート:Math のグラフ

既に述べたように、曲線の中には求長不能な、すなわち折線近似の長さに上界がない（長さをいくらでも大きくできる）ものが存在する。少し砕けた表現では、そのような曲線は長さが無限大であるなどという。曲線上の（少なくとも二点以上を含む）任意の弧が無限長を持つような連続曲線が存在する。そのような曲線の例としてコッホ曲線や、テンプレート:Math をいずれかの端点とする任意の開区間上で テンプレート:Math および テンプレート:Math で定義される函数のグラフなどがある。無限長曲線の大きさを「測る」のには、ハウスドルフ次元やテンプレート:Illが用いられることもある。

リーマン幾何の場合

テンプレート:Math を（擬）リーマン多様体とし、テンプレート:Math を テンプレート:Math 内の曲線、テンプレート:Math を（擬）リーマン計量テンソルとすると、曲線 テンプレート:Math の長さは

$\ell (\gamma )=\underset{0}{\overset{1}{\int }}\sqrt{\pm g({\gamma }^{\prime }(t),{\gamma }^{\prime }(t))}dt$

と定義される。ただし、テンプレート:Math は テンプレート:Math の テンプレート:Math における接ベクトルであり、根号内の符号は与えられた曲線ごとに正方根が実数になることが保証されるほうを選ぶものとする。つまり、空間様曲線に対しては正の符号を、擬リーマン多様体の時間様曲線に対しては負の符号を選ぶことになる。

相対性理論における時間様曲線（世界線）の弧長は、世界線に沿って経過する固有時である。

参考文献

• Farouki, Rida T. (1999). Curves from motion, motion from curves. In P-J. Laurent, P. Sablonniere, and L. L. Schumaker (Eds.), Curve and Surface Design: Saint-Malo 1999, pp.63–90, Vanderbilt Univ. Press. ISBN 0-8265-1356-5.

関連項目

• 弧 (幾何学)
• 積分近似
• 測地線
• 子午線弧#子午線弧長の計算

外部リンク

• Math Before Calculus
• The History of Curvature
• テンプレート:MathWorld
• Arc Length by Ed Pegg, Jr., The Wolfram Demonstrations Project, 2007.
• Calculus Study Guide – Arc Length (Rectification)
• Famous Curves Index The MacTutor History of Mathematics archive
• Arc Length Approximation by Chad Pierson, Josh Fritz, and Angela Sharp, The Wolfram Demonstrations Project.
• Length of a Curve Experiment Illustrates numerical solution of finding length of a curve.