曲線の長さを計算する積分公式(弧長積分)

曲線の長さを求める積分公式(弧長積分)について解説します。普通の関数,媒介変数表示,極座標の3つの公式を紹介します。

関数 y=f(x) の曲線の長さ

曲線の長さ(普通の関数版)

y=f(x)y=f(x) で表される曲線の axba\leq x\leq b の部分の長さは, ab1+f(x)2dx \int_{a}^{b}\sqrt{1+f'(x)^2}dx (ただし,f(x)f(x) は微分可能で f(x)f'(x) は連続とする)

例題1

f(x)=ex+ex2f(x)=\dfrac{e^x+e^{-x}}{2} で表される曲線の 0x10\leq x\leq 1 の部分の長さ LL を求めよ。

解答

f(x)=exex2f'(x)=\dfrac{e^x-e^{-x}}{2} より,曲線の長さを求める公式を使うと,

L=011+f(x)2dx=011+e2x2+e2x4dx=01e2x+2+e2x4dx=01(ex+ex2)2dx=01ex+ex2dx=12[exex]01=12(e1e)\begin{aligned} L&=\int_0^1\sqrt{1+f'(x)^2}dx\\ &=\int_0^1\sqrt{1+\dfrac{e^{2x}-2+e^{-2x}}{4}}dx\\ &=\int_0^1\sqrt{\dfrac{e^{2x}+2+e^{-2x}}{4}}dx\\ &=\int_0^1\sqrt{\left(\dfrac{e^x+e^{-x}}{2}\right)^2}dx\\ &=\int_0^1\dfrac{e^x+e^{-x}}{2}dx\\ &=\dfrac{1}{2}\left[e^x-e^{-x}\right]_0^1\\ &=\dfrac{1}{2}\left(e-\dfrac{1}{e}\right) \end{aligned}

例題1の曲線はカテナリー(双曲線関数)と呼ばれる有名な曲線です。 →双曲線関数(sinh,cosh,tanh)の意味・性質・楽しい話題まとめ

最短で得点力を上げる典型問題集【PDF】のT38では,この問題の別解と計算ミスを減らすために「答えを見積もる方法」も紹介しています。

媒介変数表示された曲線の長さ

媒介変数表示された曲線の長さは,以下の積分で計算できます。

曲線の長さ(媒介変数版)

x=f(t),y=g(t)x=f(t), y=g(t) と媒介変数表示された曲線の αtβ\alpha\leq t\leq \beta の部分の長さは, αβf(t)2+g(t)2dt \int_{\alpha}^{\beta}\sqrt{f'(t)^2+g'(t)^2}dt (ただし,f(t)f(t)g(t)g(t) は微分可能で,f(t),g(t)f'(t),g'(t) は連続とする)

例題2

x=cost,y=sintx=\cos t,\:y=\sin t で表される曲線の 0t2π0\leq t\leq 2\pi 部分の長さ LL を求めよ。

解答

半径1の円なので,周の長さ L=2πL=2\pi になるはず。これを公式 αβf(t)2+g(t)2dt \int_{\alpha}^{\beta}\sqrt{f'(t)^2+g'(t)^2}dt

を使って計算してみる。f(t)=sint,g(t)=costf'(t)=-\sin t,\:g'(t)=\cos t なので, 02πsin2t+cos2tdt=02π1dt=2π\begin{aligned} &\int_{0}^{2\pi}\sqrt{\sin^2t+\cos^2t}dt\\ &=\int_0^{2\pi}1dt\\ &=2\pi \end{aligned}

となる。

例題3

x=etcost,y=etsintx=e^{t}\cos t,\:y=e^{t}\sin t で表される曲線の 0t2π0\leq t\leq 2\pi の部分の長さ LL を求めよ。

解答

x=etcostetsintx'=e^t\cos t-e^t\sin ty=etcost+etsinty'=e^t\cos t+e^t\sin t なので,長さ LL は,

02π(etcostetsint)2+(etcost+etsint)2dt=02πet2cos2t+2sin2tdt=202πetdt=2(e2π1)\begin{aligned} &\int_0^{2\pi} \sqrt{(e^t\cos t-e^t\sin t)^2+(e^t\cos t+e^t\sin t)^2} dt\\ &= \int_0^{2\pi} e^t\sqrt{2\cos^2 t+2\sin^2 t}dt\\ &= \sqrt{2} \int_0^{2\pi}e^tdt\\ &= \sqrt{2} (e^{2\pi}-1) \end{aligned}

例題3の曲線は等角螺旋と呼ばれる有名な曲線です。 →媒介変数表示された有名な曲線7つ

極座標における曲線の長さ

曲線の長さ(極座標版)

極座標平面において r=r(θ)r=r(\theta) と表される曲線の θ0θθ1\theta_0\leq \theta\leq\theta_1 の部分の長さは, θ0θ1r2+(drdθ)2dθ\int_{\theta_0}^{\theta_1}\sqrt{r^2+\left(\dfrac{dr}{d\theta}\right)^2}d\theta (ただし,r(θ)r(\theta) は微分可能で,drdθ\dfrac{dr}{d\theta} は連続とする)

この公式を使うと,例えばカージオイド曲線 r=a(1+cosθ)(0θ2π)r=a(1+\cos\theta)\:(0\leq\theta\leq 2\pi) の長さが,8a8a になることがわかります。 →カージオイド曲線のグラフ,面積,長さ

弧長積分の公式について

  • 曲線の長さを求める積分公式を3つ紹介しました。これらの公式は「弧長積分」と呼ばれることがあります。「弧長積分」は曲線の長さ(弧長)を求める積分公式というくらいの意味で,きちんとした数学用語ではありません。
  • ルートの中に二乗の和が登場してしまうので,実際積分計算ができるような関数は少ないです。放物線 y=x2y=x^2 の長さを求めるのも簡単ではありません(1+4x2\sqrt{1+4x^2} の積分計算をする必要がある)。

弧長積分の公式の導出

まずは媒介変数版の弧長積分を導出します。媒介変数版が証明できたら残りの2つは一瞬です。

方針

曲線を折れ線で近似します。折れ線の数を増やして近似の精度を上げた極限を取ると公式が導出できます。

弧長積分(媒介変数表示)の証明

曲線の長さ

媒介変数が tt から t+Δtt+\Delta t に変化するとき,xx の増加量を Δx\Delta xyy の増加量を Δy\Delta y とおく。

その部分の曲線の長さは,線分の長さで近似できる:

(Δx)2+(Δy)2=(ΔxΔt)2+(ΔyΔt)2Δt \sqrt{(\Delta x)^2+(\Delta y)^2}=\sqrt{ \left( \dfrac{\Delta x}{\Delta t} \right)^2 + \left( \dfrac{\Delta y}{\Delta t} \right)^2}\Delta t

よって,曲線の長さ LL は折れ線で近似できる:

L(ΔxΔt)2+(ΔyΔt)2Δt L\fallingdotseq \displaystyle\sum \sqrt{\left( \dfrac{\Delta x}{\Delta t} \right)^2 + \left( \dfrac{\Delta y}{\Delta t}\right)^2}\Delta t

ここで,Δt0\Delta t\to 0 の極限を取ったものが曲線の長さである。右辺は微分の定義よりルートの中身 f(t)2+g(t)2\to f'(t)^2+g'(t)^2 となり,さらに積分の定義より L=αβf(t)2+g(t)2dtL=\displaystyle\int_{\alpha}^{\beta}\sqrt{f'(t)^2+g'(t)^2}dt となる。

弧長積分(普通の関数)の証明

x=t,y=f(t)x=t,\:y=f(t) と媒介変数表示された曲線に媒介変数表示版の公式を適用すると,普通の関数版の公式 ab1+f(x)2dx\displaystyle\int_{a}^{b}\sqrt{1+f'(x)^2}dx が得られる。

弧長積分(極座標)の証明

x=r(θ)cosθ,y=r(θ)sinθx=r(\theta)\cos\theta,y=r(\theta)\sin\theta と媒介変数表示された曲線に媒介変数表示版の公式を使う。

積の微分公式 → 連鎖律(多変数関数の合成関数の微分) より, dxdθ=drdθcosθr(θ)sinθdydθ=drdθsinθ+r(θ)cosθ \dfrac{dx}{d\theta}=\dfrac{dr}{d\theta}\cos\theta-r(\theta)\sin\theta\\ \dfrac{dy}{d\theta}=\dfrac{dr}{d\theta}\sin\theta+r(\theta)\cos\theta となるので,微分の二乗和は (dxdθ)2+(dydθ)2=r2+(drdθ)2 \left(\dfrac{dx}{d\theta}\right)^2+\left(\dfrac{dy}{d\theta}\right)^2=r^2+\left(\dfrac{dr}{d\theta}\right)^2 となる。つまり,曲線の長さは θ0θ1r2+(drdθ)2dθ \int_{\theta_0}^{\theta_1}\sqrt{r^2+\left(\dfrac{dr}{d\theta}\right)^2}d\theta となる。

さらに rr に置換すると

r1r2r2+(drdθ)2dθdrdr=r1r2r2(dθdr)2+1dr\begin{aligned} &\int_{r_1}^{r_2}\sqrt{r^2+\left(\dfrac{dr}{d\theta}\right)^2}\:\dfrac{d\theta}{dr}dr\\ &=\int_{r_1}^{r_2}\sqrt{r^2\left(\dfrac{d\theta}{dr}\right)^2+1}\:dr \end{aligned}

という式も得られる。

※上記では「折れ線の長さの和の極限」が曲線の長さに一致すると考えました。実は,この議論は定理の証明というよりも定義と言った方が良いです。つまり,そもそも曲線の長さが「折れ線の長さの和の極限」で定義されます。

定理の前提条件について(気になる人のみどうぞ)

媒介変数版の証明の最後で極限を取るときに,ルートの中身の極限を取ってから全体の極限を取りました。このように一部分だけ先に極限を取る操作は一般には許されません。例えば limnn2n=\displaystyle\lim_{n\to\infty}\dfrac{n^2}{n}=\infty ですが,左辺を計算するときに分子だけ先に極限を取ると,limn0=0\displaystyle\lim_{n\to\infty}0=0 となります。

しかし,先に極限を取った部分が有限確定値に収束するならこのような操作が可能です。今回の場合はffgg が微分可能という条件があるのでOKです。

また, ff'gg'が連続であるので,シグマの極限を取って積分にすることができました(不連続関数に対しては積分は定義できないことがある)。

高校時代,放物線の長さを計算しようとして「計算しんどい」と思った記憶があります。

Tag:数学3の教科書に載っている公式の解説一覧