弧長のソースを表示

{{参照方法|date=2022年2月}}
[[数学]]において、複雑な形状の[[曲線]]（弧状線分）の'''弧長'''（こちょう、{{lang-en-short|''arc length''}}）を決定する問題は、'''曲線の求長''' {{lang|en|(rectification)}} とも呼ばれ、特定の曲線に対する求長法は歴史的に様々なものが考えられてきたが、[[無限小解析]]の到来とともに曲線に依らない一般論が導かれ、いくつかの場合にはそこから{{Ill|閉じた形の式|en|Closed-form expression}}が得られる。

[[File:Arclength.svg|400px|right|thumb|複数の線分による近似]]

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

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

== 定義 ==
{{Math|''X''}} は[[ユークリッド空間]] {{Math|'''R'''{{sup|''n''}}}} や、より一般の[[距離空間]]であるとし、{{Math|''C''}} を空間 {{Math|''X''}} 内の[[曲線]]とする。すなわち、{{Math|''C''}} は[[実数直線]]内の[[閉区間]] {{Math|[''a'', ''b'']}} から {{Math|''X''}} への[[連続写像]] {{Math|''f''&thinsp;: [''a'', ''b''] &rarr; ''X''}} の[[像 (数学)|像]]である。

区間 {{Math|[''a'', ''b'']}} に対して [[区間の分割]]
: <math>a=t_{0}<t_{1}<\cdots<t_{n-1}<t_{n}=b</math>
を考えれば、曲線 {{Math|''C''}} 上に有限個の点 {{Math|''f''&thinsp;(''t''{{sub|0}}), ''f''&thinsp;(''t''{{sub|1}}), ... , ''f''&thinsp;(''t''{{sub|''n''-1}}), ''f''&thinsp;(''t''{{sub|''n''}})}} をとることができる。{{Math|''f''&thinsp;(''t''{{sub|''i''}})}} から {{Math|''f''&thinsp;(''t''{{sub|''i''+1}})}} への[[距離]]をそれぞれ {{Math|''d''(''f''&thinsp;(''t''{{sub|''i''}}))}}, {{Math|''d''(''f''&thinsp;(''t''{{sub|''i''+1}}))}} で表せば、これはこの2点を結ぶ[[線分]]の長さである。

曲線 {{Math|''C''}} の'''弧長''' {{Math|''L'' {{=}} ''L''(''C'')}} は
:<math>L(C) = \sup_{a=t_0 < t_1 < \cdots < t_n = b} \sum_{i = 0}^{n - 1} d(f(t_i), f(t_{i+1}))</math>
で与えられる。ただし、上限 {{Math|sup}} は区間 {{Math|[''a'', ''b'']}} の分割個数 {{Math|''n''}} をいくらでも大きくとってできる分割すべてに亘ってとる。

弧長 {{Math|''L''}} は[[有限]]にも[[無限]]にもなりうるが、{{Math|''L'' ≠ &infin;}} ならば {{Math|''C''}} は'''有限長'''（{{lang|en|''rectifiable''}}; 求長可能）であるといい{{Refnest|group="注"|このような曲線を'''長さをもつ曲線''' ({{Lang|en|rectifiable curve}}) ということがある<ref>一松 信『解析学序説 上巻』裳華房、1981年2月1日、244頁。</ref>。}}、さもなくば'''無限長'''（{{lang|en|''non-rectifiable''}}; 求長不能）であるという。この弧長の定義において、{{Math|''C''}} は[[可微分函数]] {{Math|''f''}} で定義されている必要はない。実際のところ、一般の距離空間上で考えている場合には、微分可能性を定義することが一般には期待できない。

曲線は様々な方法で媒介変数表示されうる。そこで曲線 {{Math|''C''}} が定義写像 {{Math|''f''}} 以外に[[媒介変数表示]] {{Math|''g'': [''c'', ''d''] &rarr; ''X''}} をも持つ場合を考える。{{Math|''f''}} および {{Math|''g''}} が[[単射]]であるときには、連続[[単調写像]] {{Math|''S'': [''a'', ''b''] &rarr; [''c'', ''d'']}} が存在して、{{Math|''g''(''S''(''t'')) {{=}} ''f''&thinsp;(''t'')}} が成り立ち、逆写像 {{Math|''S''{{sup|-1}}: [''c'', ''d''] &rarr; [''a'', ''b'']}} が存在する。明らかに、任意の 
: <math>\sum_{i = 0}^{n - 1} d(f(t_i), f(t_{i+1}))</math>
の形の和は、{{Math|''u''{{sub|''i''}} {{=}} ''S''(''t''{{sub|''i''}})}} とおけば、
: <math>\sum_{i = 0}^{n - 1} d(g(u_i), g(u_{i+1}))</math>
の形の和に等しく、逆もまた同様である。従って弧長は、それが媒介変数の取り方に依らないという意味で、曲線に内在する性質であることがわかる。

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

== 積分による弧長の計算 ==
[[実函数]] {{Math|''f''&thinsp;(''x'')}} で、{{Math|''f''}} および導函数 {{Math|''f''&thinsp;&rsquo;}} が閉区間 {{Math|[''a'', ''b'']}} 上の[[連続函数]]であるようなものを考えると、{{Math|''f''}} のグラフの {{Math|''x'' {{=}} ''a''}} から {{Math|''x'' {{=}} ''b''}} までの間の弧長 {{Math|''s''}} は
:<math>s = \int_{a}^{b} \sqrt { 1 + [f'(x)]^2 }\, dx</math>
で与えられる。

曲線が {{Math|''x'' {{=}} ''X''(''t'')}}, {{Math|''y'' {{=}} ''Y''(''t'')}} と媒介変数表示されている場合、{{Math|''f''&thinsp;&rsquo;(''x'') {{=}} {{Sfrac|''dy''|''dx''}} {{=}} {{Sfrac|&nbsp;{{Sfrac|''dy''|''dt''}}&nbsp;|&nbsp;{{Sfrac|''dx''|''dt''}}&nbsp;}}}} であるから
:<math>\begin{align}
s &= \int_{a}^{b} \sqrt { 1 + [f'(x)]^2 }\, dx \\
&= \int_{a}^{b} \sqrt { 1 + \left[\frac{Y'(t)}{X'(t)}\right]^2 }\, dx \\
&= \int_{a}^{b} \frac{1}{X'(t)}\sqrt { [X'(t)]^2 + [Y'(t)]^2 }\, dx \\
&= \int_{a}^{b} \sqrt { [X'(t)]^2 + [Y'(t)]^2 }\, dx \cdot \frac{dt}{dx}\\
&= \int_{X^{-1}(a)}^{X^{-1}(b)} \sqrt { [X'(t)]^2 + [Y'(t)]^2 }\, dt
\end{align}</math>
が成り立つ。これらは、十分小さな増分 {{Math|''Δx'', ''Δy''}} に対する距離の公式から求めた式で、{{Math|''Δx'', ''Δy''}} の代わりにその極限を取ったものと考えればわかりよい。

また、[[極座標系]]において {{Math|''r'' {{=}} ''f''&thinsp;(''θ'')}} で定義された函数の {{Math|''θ'' {{=}} ''α''}} から {{Math|''θ'' {{=}} ''β''}} までの間の弧長 {{Math|''s''}} は
:<math>s = \int_{\alpha}^{\beta} \sqrt{r^2+\left(\frac{dr}{d\theta}\right)^{\!\!2}} \, d\theta</math>
で与えられる。

単純曲線まで含めても多くの場合、弧長は{{Ill|閉じた形の式|en|Closed-form expression}}では得られず、積分は[[数値積分|数値的]]に行われることになる。弧長の閉じた形の公式を持つ曲線には、[[カテナリ|懸垂線]]、[[円 (数学)|円]]、[[サイクロイド|擺線]]、[[対数螺旋]]、[[抛物線]]、{{Ill|半立方抛物線|en|Semicubical parabola}}、[[直線]]などが挙げられる。また、[[楕円]]の弧長の閉じた形の式を導こうとする試みから、[[楕円積分]]の理論が発展した。

=== 線素からの導出 ===
[[File:Arc length approximation.svg|lang=ja|thumb|right|曲線の小片 {{Math|''Δs''}} は[[ピタゴラスの定理]]を使って近似できる。]]
曲線の弧長を近似するために曲線をたくさんの[[線分]]に分解するが、弧長の長さを[[近似値]]でなく真の値として得るには無限に多くの線分が必要になる。これはつまり、各線分を無限に小さくすることを意味しているが、このことは後に[[積分]]を用いる際に効いてくる。

線分の代表元を見れば、その長さ（線素）が[[微分形式|微分]] {{Math|''ds''}} であることが確認できる。この変位の水平成分を {{Math|''dx''}}、垂直成分を {{Math|''dy''}} で表すと、[[ピタゴラスの定理]]から
:<math>ds = \sqrt{d^{2}x + d^{2}y}</math>
が従う。曲線が媒介変数 {{Math|''t''}} によって表されているなら弧長は線素 {{Math|''ds''}} を無限小区間 {{Math|''dt''}} に亘って次々に足し合わせればよいから、積分
:<math>\int_a^b \sqrt{\Bigl(\frac{dx}{dt}\Bigr)^{\!\!2}+\Bigl(\frac{dy}{dt}\Bigr)^{\!\!2}}\,dt</math>
によって弧長 {{Math|''s''}} が求められる。{{Math|''y''}} が {{Math|''x''}} の函数ならば、{{Math|''t'' {{=}} ''x''}} として
:<math>s=\int_a^b \sqrt{1+\Bigl(\frac{dy}{dx}\Bigr)^{\!\!2}}\,dx</math>
を得る。これは {{Math|''y'' {{=}} ''f''&thinsp;(''x'')}} のグラフの {{Math|''x'' {{=}} ''a''}} から {{Math|''x'' {{=}} ''b''}} までの弧長を与えている。
[[ファイル:ArclengthSegment.svg|サムネイル|曲線 {{Nowrap|1= {{Math|''y'' {{=}} ''t''{{sup|5}}, ''x'' {{=}}  ''t''{{sup|3}}}}}} の線素]]
例として、曲線が
:<math>\begin{cases} y = t^5, \\ x = t^3 \end{cases}</math>
で与えられているものとし、さらに ''t'' が &minus;1 から 1 までの値をとるものとすると、弧長を表す積分は
:<math>\int_{-1}^1 \sqrt{(3t^2)^2 + (5t^4)^2}\,dt = \int_{-1}^1 \sqrt{9t^4 + 25t^8}\,dt\approx2.9053418626\cdots</math>
となる。数値計算をすれば、この弧長が 2.905 にかなり近いことがわかる。[[超幾何関数|超幾何函数]]を用いて表せば、
: <math>2\,{}_2F_1\!\left(-\frac{1}{2},\frac{3}{4};\frac{7}{4};-\frac{25}{9}\right)</math>
になる。

=== 折線近似からの導出 ===
[[ファイル:Arclength-2.svg|サムネイル|400x400ピクセル|複数の直角三角形の斜辺が曲線を近似している。]]
函数 {{Math|''y'' {{=}} ''f''&thinsp;(''x'')}} で与えられる曲線が求長可能であるものと仮定する。曲線上の点 {{Math|''a''}} から {{Math|''b''}} までの {{Math|''f''}} に沿った弧長 {{Math|''S''}} を近似するために、斜辺を連結して曲線の弧を「被覆」できるような直角三角形の列を構成する。簡単のため、全ての三角形の底辺は等しく {{Math|''Δx''}} であるものとすると、その各々の三角形に対して高さ {{Math|''Δy''}} が対応づけられて、斜辺の長さが[[ピタゴラスの定理]]により
: <math>\sqrt {\Delta x^2 + \Delta y^2}=\sqrt { 1 + \Bigl(\frac{\Delta y} {\Delta x} \Bigr)^{\!\!2}}\,\Delta x </math>
と与えられる。{{Math|''S''}} を近似する {{Math|''n''}} 個の斜辺の長さの和は
: <math>S \approx \sum_{i=1}^n \sqrt { 1 + \Bigl(\frac{\Delta y_i} {\Delta x_i} \Bigr)^{\!\!2}}\,\Delta x_i </math>
と書けるが、{{Math|''Δx''}} を小さく取るにつれて近似の精度は上がり、{{Math|''Δx''}} を {{Math|0}} に近づける極限で {{Math|''S''}} と等しくなる。すなわち、
: <math>S = \lim_{\Delta x_i \to 0} \sum_{i=1}^\infty \sqrt { 1 + \Bigl(\frac{\Delta y_i}{\Delta x_i} \Bigr)^{\!\!2} }\,\Delta x_i = \int_{a}^{b} \sqrt { 1 + \Bigl(\frac{dy}{dx}\Bigr)^{\!\!2} } \,dx = \int_{a}^{b} \sqrt{1 + [f'(x)]^2} \, dx</math>
が得られる。

=== 円弧長 ===
円弧の長さは中心角を周角で割ったものを周長にかけたものに一致する。半径を {{Math|''r''}}, 直径を {{Math|''d''}} とすると、円の周長は {{Math|''C'' {{=}} 2{{Pi}}''r''}} または {{Math|''C'' {{=}} {{Pi}}''d''}} である。角度を[[ラジアン]]で測れば、半径 {{Math|''r''}}, 弧が見込まれる角が {{Math|''θ''}} であるような弧長は {{Math|''s'' {{=}} ''rθ''}} で与えられる（弧長を {{Math|''s''}} で表すのは、角が弧を「見込む」({{Lang|en|''subtend''}}) ことに由来する）。特に[[半円]]の弧長は {{Math|''s'' {{=}} {{Pi}}''r''}} である。{{Math|''s''}} の単位は半径の単位と同じになる。

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

=== 17世紀 ===
17世紀には、窄出法を基にして様々な[[超越曲線]]に関する幾何学的方法による求長法が導かれた。例えば、[[対数螺旋]]は1645年に[[エヴァンジェリスタ・トリチェリ|トリチェリ]]によって（文献によっては1650年代に[[ジョン・ウォリス|ウォリス]]によって）、[[サイクロイド|擺線]]は1658年に[[クリストファー・レン|レン]]によって、[[カテナリ|懸垂線]]は1691年に[[ゴットフリート・ライプニッツ|ライプニッツ]]によって、それぞれ求長されている。

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

=== 積分公式 ===
微分積分学が完全に厳密に展開される以前に、弧長に対する現代的な積分公式の基礎は、{{仮リンク|ファン・ヘラート|nl|Hendrik van Heuraet}}と[[ピエール・ド・フェルマー|フェルマー]]によって独立に発見される。1659年にファン・ヘラートは、曲線が囲む面積（これは実質的に積分）として弧長が解釈できることを示す構成法を公表し、それを[[放物線]]に適用した。一方、1660年にフェルマーは、ヘラートと同じ結果を含むより一般の理論を、著書『{{lang|la|''De linearum curvarum cum lineis rectis comparatione dissertatio geometrica''}}』（曲線の直線との比較についての幾何学的論述）として出版した。
[[ファイル:Arc length, Fermat.svg|サムネイル|301x301ピクセル|フェルマーの求長法]]
フェルマーはそれまでの自身による接線を用いる方法に基づいて、曲線
:<math> y = x^{\frac{2}{3}}</math>
を用いた。これは {{Math|''x'' {{=}} ''a''}} における[[接線]]が[[傾き (数学)|傾き]]
:<math> \tfrac{3}{2}\, a^{\frac{1}{2}} </math>
を持つから、接線の方程式は
:<math> y = \tfrac{3}{2}\, {a^{\frac{1}{2}}}(x - a) + f(a)</math>
で与えられる。ここで {{Math|''a''}} を {{Math|''a'' + ''ε''}} に変更して、線分 {{Math|AC}} が {{Math|A}} から {{Math|D}} までの曲線の弧長の比較的よい近似になるようにする。線分 {{Math|AC}} の長さを求めるために[[ピタゴラスの定理]]を用い、
: <math>\begin{align}
 \mathrm{AC}^2 &= \mathrm{AB}^2 + \mathrm{BC}^2 \\
      &=\varepsilon^2 +\frac{9}{4}\, a \varepsilon^2 \\
      &=\varepsilon^2 \left(1 +\frac{9}{4}\, a\right)
\end{align}</math>
から、両辺の平方根をとって
:<math>\mathrm{AC} = \varepsilon \sqrt { 1 + \frac{9}{4}\, a\ }</math>
を得る。弧長を近似するために、フェルマーはこのような小線分の列を足し上げたのである。

== 無限長曲線 ==
[[File:Koch curve.svg|thumb|[[コッホ曲線]]]] [[File:Xsin1_x.PNG|thumb|{{Math|''x''&thinsp;sin({{Sfrac|1|''x''}})}} のグラフ]]
既に述べたように、曲線の中には求長不能な、すなわち折線近似の長さに[[順序集合#定義|上界]]がない（長さをいくらでも大きくできる）ものが存在する。少し砕けた表現では、そのような曲線は長さが無限大であるなどという。曲線上の（少なくとも二点以上を含む）任意の弧が無限長を持つような連続曲線が存在する。そのような曲線の例として[[コッホ雪片|コッホ曲線]]や、{{Math|0}} をいずれかの端点とする任意の開区間上で {{Math|''f''&thinsp;(''x'') {{=}} ''x''sin({{Sfrac|1|''x''}})}} および {{Math|''f''&thinsp;(0) {{=}} 0}} で定義される函数のグラフなどがある。無限長曲線の大きさを「測る」のには、[[ハウスドルフ次元]]や{{Ill|ハウスドルフ測度|en|Hausdorff measure}}が用いられることもある。

== リーマン幾何の場合 ==
{{Math|''M''}} を[[擬リーマン多様体|（擬）リーマン多様体]]とし、{{Math|''γ'': [0, 1] &rarr; ''M''}} を {{Math|''M''}} 内の曲線、{{Math|''g''}} を（擬）リーマン計量テンソルとすると、曲線 {{Math|''γ''}} の長さは
:<math>\ell(\gamma)=\int_{0}^{1} \sqrt{ \pm g(\gamma'(t),\gamma '(t)) } \, dt</math>
と定義される。ただし、{{Math|''γ''&rsquo;(''t'') ∈ ''T''{{sub|''γ''(''t'')}}''M''}} は {{Math|''γ''}} の {{Math|''t''}} における接ベクトルであり、根号内の符号は与えられた曲線ごとに正方根が実数になることが保証されるほうを選ぶものとする。つまり、空間様曲線に対しては正の符号を、擬リーマン多様体の時間様曲線に対しては負の符号を選ぶことになる。

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

== 脚注 ==
{{Reflist|group=注}}

== 参考文献 ==
{{Reflist}}
* 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.



== 関連項目 ==
* [[弧 (幾何学)]]
* [[積分近似]]
* [[測地線]]
* [[子午線弧#子午線弧長の計算]]

== 外部リンク ==
* [https://web.archive.org/web/20051219223123/http://math.kennesaw.edu/~jdoto/13.pdf Math Before Calculus]
* [http://www3.villanova.edu/maple/misc/history_of_curvature/k.htm The History of Curvature]
* {{MathWorld|title=Arc Length|urlname=ArcLength}}
* [http://demonstrations.wolfram.com/ArcLength/ Arc Length] by [[Ed Pegg, Jr.]], [[The Wolfram Demonstrations Project]], 2007.
* [http://www.pinkmonkey.com/studyguides/subjects/calc/chap8/c0808501.asp Calculus Study Guide – Arc Length (Rectification)]
* [http://www-groups.dcs.st-and.ac.uk/~history/Curves/Curves.html Famous Curves Index] ''The MacTutor History of Mathematics archive''
* [http://demonstrations.wolfram.com/ArcLengthApproximation/ Arc Length Approximation] by Chad Pierson, Josh Fritz, and Angela Sharp, [[The Wolfram Demonstrations Project]].
* [http://numericalmethods.eng.usf.edu/experiments/Length_of_curve_experiment.pdf Length of a Curve Experiment] Illustrates numerical solution of finding length of a curve.

{{Normdaten}}
{{DEFAULTSORT:こちよう}}
[[Category:積分計算]]
[[Category:曲線論]]
[[Category:長さ]]
[[Category:数学に関する記事]]



<references />