弧長

ウィキペディア

弧長

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/06/18 22:51 UTC 版)

数学において、複雑な形状の曲線（弧状線分）の弧長（こちょう、英: arc length）を決定する問題は、曲線の求長 (rectification) とも呼ばれ、特定の曲線に対する求長法は歴史的に様々なものが考えられてきたが、無限小解析の到来とともに曲線に依らない一般論が導かれ、いくつかの場合にはそこから閉じた形の式が得られる。

複数の線分による近似

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

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

定義

X はユークリッド空間 Rⁿ や、より一般の距離空間であるとし、C を空間 X 内の曲線とする。すなわち、C は実数直線内の閉区間 [a, b] から X への連続写像 f : [a, b] → X の像である。

区間 [a, b] に対して 区間の分割

$a=t_{0}<t_{1}<\cdots <t_{n-1}<t_{n}=b$

曲線の小片 Δs はピタゴラスの定理を使って近似できる。

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

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

$ds={\sqrt {(dx)^{2}+(dy)^{2}}}$

曲線 y = t⁵, x = t³ の線素

例として、曲線が

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

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

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

${\sqrt {\Delta x^{2}+\Delta y^{2}}}={\sqrt {1+{\Bigl (}{\frac {\Delta y}{\Delta x}}{\Bigr )}^{\!\!2}}}\,\Delta x$

フェルマーの求長法

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

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

コッホ曲線

x sin( 1/x) のグラフ

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

リーマン幾何の場合

M を（擬）リーマン多様体とし、γ: [0, 1] → M を M 内の曲線、g を（擬）リーマン計量テンソルとすると、曲線 γ の長さは

$\ell (\gamma )=\int _{0}^{1}{\sqrt {\pm g(\gamma '(t),\gamma '(t))}}\,dt$

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

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

参考文献

• 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
• Weisstein, Eric W. "Arc Length". mathworld.wolfram.com (英語).
• Arc Length by Ed Pegg, Jr., en: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.

ウィキペディア小見出し辞書

弧長

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/15 04:08 UTC 版)

「ベクトル解析」の記事における「弧長」の解説

線積分の特殊なケースとして ∫ C d ⁡ s を考えると、曲線Cの長さ（弧長）に一致する事が知られている。 厳密な証明は弧長の項目にゆずるが、直観的には以下の理由による。Cを x ( u ) = ( x 1 ( u ) , x 2 ( u ) , x 3 ( u ) ) 、u∈[a,b] と向きをはじめとする保つようにパラメトライズし、[a,b]を長さΔuの微小区間に分けると、Cの長さはおよそ ∑ i ‖ x ( ( i + 1 ) Δ u ) − x ( i Δ u ) ‖ ∑ i ‖ Δ x / Δ u ‖ Δ u なので、Δuを0に近づけると、線積分 ∫ ‖ d ⁡ x d ⁡ u ‖ d ⁡ u に一致する。従って上述の線積分で弧長を求める事ができる。