トップ 塾講師木下 積分
← 前の記事 一覧へ 次の記事 →
極座標の弧長と伸開線
目次
1. 扇形の弧を足すと、長さを少なく見積もる 2. 微小な三角形で誤差の大きさを測る 3. 座標に直して導く 4. 伸開線:巻きつけた糸をほどく 5. 伸開線の例 円の伸開線 サイクロイドの伸開線 カージオイドの伸開線(複素数で計算する) アステロイドの伸開線 一般のエピサイクロイド・ハイポサイクロイド 相似にならない例:カテナリーとトラクトリクス 6. 縮閉線
目次 1. 扇形の弧を足すと、長さを少なく見積もる 2. 微小な三角形で誤差の大きさを測る 3. 座標に直して導く 4. 伸開線:巻きつけた糸をほどく 5. 伸開線の例 円の伸開線 サイクロイドの伸開線 カージオイドの伸開線(複素数で計算する) アステロイドの伸開線 一般のエピサイクロイド・ハイポサイクロイド 相似にならない例:カテナリーとトラクトリクス 6. 縮閉線
前半(§1〜§3)では、極座標 r = f ( θ ) r=f(\theta) r = f ( θ ) で表された曲線の長さを扱います。面積を求めるときに使った「細い扇形に切って足す」方法が、長さには通用しません。その理由を図で突き止め、正しい公式を導きます。後半(§4〜§6)では、曲線に巻きつけた糸をほどいたとき、糸の先端が描く曲線(伸開線)を調べます。授業で、この曲線を求める問題を扱いました。
1. 扇形の弧を足すと、長さを少なく見積もる
極座標の曲線が囲む面積は、原点を頂点とする細い扇形に切って足し合わせることで求めました。半径 r r r 、中心角 Δ θ \varDelta\theta Δ θ の扇形の面積は 1 2 r 2 Δ θ \dfrac12r^2\varDelta\theta 2 1 r 2 Δ θ なので、面積は 1 2 ∫ r 2 d θ \displaystyle\frac12\int r^2\,d\theta 2 1 ∫ r 2 d θ です。
同じ発想を長さに持ち込むと、扇形の弧の長さ r Δ θ r\varDelta\theta r Δ θ を足して ∫ r d θ \displaystyle\int r\,d\theta ∫ r d θ が曲線の長さになりそうに見えます。ところが、この式は一般には正しい長さを与えません。答えを知っている曲線で試してみます。
r = 2 cos θ ( − π 2 ≦ θ ≦ π 2 ) r=2\cos\theta\ \left(-\dfrac\pi2\leqq\theta\leqq\dfrac\pi2\right) r = 2 cos θ ( − 2 π ≦ θ ≦ 2 π ) の両辺に r r r を掛けると x 2 + y 2 = 2 x x^2+y^2=2x x 2 + y 2 = 2 x 、すなわち ( x − 1 ) 2 + y 2 = 1 (x-1)^2+y^2=1 ( x − 1 ) 2 + y 2 = 1 なので、この曲線は中心 ( 1 , 0 ) (1,\,0) ( 1 , 0 ) 、半径 1 1 1 の円です。周の長さは 2 π 2\pi 2 π 、面積は π \pi π と分かっています。
図1 円 r = 2 cos θ r=2\cos\theta r = 2 cos θ を、原点を頂点とする中心角 30 ∘ 30^\circ 3 0 ∘ の扇形6つで覆った図。扇形の弧は円から外れている 扇形で面積を計算すると
1 2 ∫ − π / 2 π / 2 ( 2 cos θ ) 2 d θ = ∫ − π / 2 π / 2 ( 1 + cos 2 θ ) d θ = π \frac12\int_{-\pi/2}^{\pi/2}(2\cos\theta)^2\,d\theta=\int_{-\pi/2}^{\pi/2}(1+\cos2\theta)\,d\theta=\pi 2 1 ∫ − π /2 π /2 ( 2 cos θ ) 2 d θ = ∫ − π /2 π /2 ( 1 + cos 2 θ ) d θ = π
となり、正しい値が出ます。一方、扇形の弧を足すと
∫ − π / 2 π / 2 2 cos θ d θ = [ 2 sin θ ] − π / 2 π / 2 = 4 \int_{-\pi/2}^{\pi/2}2\cos\theta\,d\theta=\Bigl[2\sin\theta\Bigr]_{-\pi/2}^{\pi/2}=4 ∫ − π /2 π /2 2 cos θ d θ = [ 2 sin θ ] − π /2 π /2 = 4
となり、本当の長さ 2 π ≒ 6.28 2\pi\fallingdotseq6.28 2 π ≒ 6.28 よりかなり小さくなります。図1を見ると、原点の近くでは円がほぼ半径の方向に走っているのに、扇形の弧は半径に垂直な方向にしか進めません。分割を細かくしても、この向きの食い違いは残ります。
授業で扱った問題1 1 塾の授業で扱った問題は塾の教材なので、数値を変えた類題に差し替えています。 のカージオイド r = a ( 1 + cos θ ) ( a > 0 ) r=a(1+\cos\theta)\ (a>0) r = a ( 1 + cos θ ) ( a > 0 ) でも同じことが起きます。全長は媒介変数の積分で 8 a 8a 8 a と求めましたが、x x x 軸についての対称性を使って扇形の弧を足すと
2 ∫ 0 π a ( 1 + cos θ ) d θ = 2 a [ θ + sin θ ] 0 π = 2 π a ≒ 6.28 a 2\int_0^\pi a(1+\cos\theta)\,d\theta=2a\Bigl[\theta+\sin\theta\Bigr]_0^\pi=2\pi a\fallingdotseq6.28a 2 ∫ 0 π a ( 1 + cos θ ) d θ = 2 a [ θ + sin θ ] 0 π = 2 π a ≒ 6.28 a
となり、やはり足りません。
2. 微小な三角形で誤差の大きさを測る
曲線上に、偏角 θ \theta θ の点 P と偏角 θ + Δ θ \theta+\varDelta\theta θ + Δ θ の点 Q をとります。P から直線 OQ に下ろした垂線の足を H とします。
図2 曲線上の2点 P, Q と原点 O。P から OQ に下ろした垂線の足が H、弦 PQ と PH のなす角が α \alpha α 。破線は扇形の弧 直角三角形 PHQ の各辺を Δ θ \varDelta\theta Δ θ で表します。O P = r = f ( θ ) \mathrm{OP}=r=f(\theta) OP = r = f ( θ ) と書きます。
P H = r sin Δ θ ≒ r Δ θ \mathrm{PH}=r\sin\varDelta\theta\fallingdotseq r\varDelta\theta PH = r sin Δ θ ≒ r Δ θ 。これは扇形の弧の長さとほぼ同じです。
O H = r cos Δ θ ≒ r \mathrm{OH}=r\cos\varDelta\theta\fallingdotseq r OH = r cos Δ θ ≒ r と、一次近似 O Q = f ( θ + Δ θ ) ≒ f ( θ ) + f ′ ( θ ) Δ θ \mathrm{OQ}=f(\theta+\varDelta\theta)\fallingdotseq f(\theta)+f'(\theta)\varDelta\theta OQ = f ( θ + Δ θ ) ≒ f ( θ ) + f ′ ( θ ) Δ θ から、H Q = O Q − O H ≒ r ′ Δ θ \mathrm{HQ}=\mathrm{OQ}-\mathrm{OH}\fallingdotseq r'\varDelta\theta HQ = OQ − OH ≒ r ′ Δ θ (r ′ < 0 r'<0 r ′ < 0 なら長さは ∣ r ′ ∣ Δ θ |r'|\varDelta\theta ∣ r ′ ∣ Δ θ )。
三平方の定理から、P Q = P H 2 + H Q 2 ≒ r 2 + ( r ′ ) 2 Δ θ \mathrm{PQ}=\sqrt{\mathrm{PH}^2+\mathrm{HQ}^2}\fallingdotseq\sqrt{r^2+(r')^2}\,\varDelta\theta PQ = PH 2 + HQ 2 ≒ r 2 + ( r ′ ) 2 Δ θ 。
曲線の微小な長さ Δ l \varDelta l Δ l は弦 PQ でよく近似されるので、Δ l ≒ r 2 + ( r ′ ) 2 Δ θ \varDelta l\fallingdotseq\sqrt{r^2+(r')^2}\,\varDelta\theta Δ l ≒ r 2 + ( r ′ ) 2 Δ θ です。これを足し集めると、次の公式が得られます。
l = ∫ θ 1 θ 2 r 2 + ( r ′ ) 2 d θ l=\int_{\theta_1}^{\theta_2}\sqrt{r^2+(r')^2}\,d\theta l = ∫ θ 1 θ 2 r 2 + ( r ′ ) 2 d θ
扇形の弧 r Δ θ r\varDelta\theta r Δ θ と本当の長さの比は、弦 PQ と PH のなす角を α \alpha α として
P H P Q = cos α ⟶ r r 2 + ( r ′ ) 2 ( Δ θ → 0 ) \begin{aligned}\frac{\mathrm{PH}}{\mathrm{PQ}}&=\cos\alpha\ \longrightarrow\ \frac{r}{\sqrt{r^2+(r')^2}}\qquad (\varDelta\theta\to0)\end{aligned} PQ PH = cos α ⟶ r 2 + ( r ′ ) 2 r ( Δ θ → 0 )
です。Δ θ \varDelta\theta Δ θ を小さくしても角 α \alpha α は 0 0 0 に近づかず、曲線の向きと半径に垂直な向きとのずれに近づきます。したがって r ′ = 0 r'=0 r ′ = 0 となる点(そこで曲線は半径に垂直に進む)以外では比が 1 1 1 にならず、どの小片も一定の割合で短く見積もられます。§1 の円では r 2 + ( r ′ ) 2 = 4 cos 2 θ + 4 sin 2 θ = 4 r^2+(r')^2=4\cos^2\theta+4\sin^2\theta=4 r 2 + ( r ′ ) 2 = 4 cos 2 θ + 4 sin 2 θ = 4 なので比は cos θ \cos\theta cos θ で、扇形の弧の和 4 4 4 は、正しい被積分関数 2 2 2 に cos θ \cos\theta cos θ を掛けた ∫ − π / 2 π / 2 2 cos θ d θ \displaystyle\int_{-\pi/2}^{\pi/2}2\cos\theta\,d\theta ∫ − π /2 π /2 2 cos θ d θ そのものです。
面積では誤差が消える理由
扇形 OPH と、曲線と2本の半径で囲まれた本当の細片の差は、だいたい直角三角形 PHQ の分です。その面積は 1 2 P H ⋅ H Q ≒ 1 2 r ∣ r ′ ∣ ( Δ θ ) 2 \dfrac12\,\mathrm{PH}\cdot\mathrm{HQ}\fallingdotseq\dfrac12r|r'|(\varDelta\theta)^2 2 1 PH ⋅ HQ ≒ 2 1 r ∣ r ′ ∣ ( Δ θ ) 2 で、扇形の面積 1 2 r 2 Δ θ \dfrac12r^2\varDelta\theta 2 1 r 2 Δ θ に比べて Δ θ \varDelta\theta Δ θ をもう一つ余分に含みます。比は ∣ r ′ ∣ r Δ θ \dfrac{|r'|}{r}\varDelta\theta r ∣ r ′ ∣ Δ θ 程度で、Δ θ → 0 \varDelta\theta\to0 Δ θ → 0 で 0 0 0 に近づくので、足し合わせても誤差は消えます。長さでは、捨てた辺 HQ が PH と同じく Δ θ \varDelta\theta Δ θ に比例する大きさをもつので、誤差が割合として残ります。
公式を確かめます。§1 の円では ∫ − π / 2 π / 2 4 d θ = 2 π \displaystyle\int_{-\pi/2}^{\pi/2}\sqrt4\,d\theta=2\pi ∫ − π /2 π /2 4 d θ = 2 π で、周の長さに一致します。カージオイド r = a ( 1 + cos θ ) r=a(1+\cos\theta) r = a ( 1 + cos θ ) では r ′ = − a sin θ r'=-a\sin\theta r ′ = − a sin θ なので
r 2 + ( r ′ ) 2 = a 2 { ( 1 + cos θ ) 2 + sin 2 θ } = 2 a 2 ( 1 + cos θ ) = 4 a 2 cos 2 θ 2 \begin{aligned}r^2+(r')^2&=a^2\bigl\{(1+\cos\theta)^2+\sin^2\theta\bigr\}\\&=2a^2(1+\cos\theta)\\&=4a^2\cos^2\frac\theta2\end{aligned} r 2 + ( r ′ ) 2 = a 2 { ( 1 + cos θ ) 2 + sin 2 θ } = 2 a 2 ( 1 + cos θ ) = 4 a 2 cos 2 2 θ
です。0 ≦ θ ≦ π 0\leqq\theta\leqq\pi 0 ≦ θ ≦ π では cos θ 2 ≧ 0 \cos\dfrac\theta2\geqq0 cos 2 θ ≧ 0 なので根号はそのまま外れて、上下の対称性から
l = 2 ∫ 0 π 2 a cos θ 2 d θ = 8 a [ sin θ 2 ] 0 π = 8 a l=2\int_0^\pi2a\cos\frac\theta2\,d\theta=8a\Bigl[\sin\frac\theta2\Bigr]_0^\pi=8a l = 2 ∫ 0 π 2 a cos 2 θ d θ = 8 a [ sin 2 θ ] 0 π = 8 a
となり、媒介変数の積分で求めた長さと一致します。
3. 座標に直して導く
§2 は図による説明でした。同じ公式は、媒介変数表示の弧長の公式 l = ∫ ( x ′ ) 2 + ( y ′ ) 2 d θ \displaystyle l=\int\sqrt{(x')^2+(y')^2}\,d\theta l = ∫ ( x ′ ) 2 + ( y ′ ) 2 d θ からも出ます。こちらは近似を使わないので、証明としてはこちらが確実です。
θ \theta θ を媒介変数として x = r cos θ , y = r sin θ x=r\cos\theta,\ y=r\sin\theta x = r cos θ , y = r sin θ (r = f ( θ ) r=f(\theta) r = f ( θ ) )と見ると、積の微分から
x ′ = r ′ cos θ − r sin θ , y ′ = r ′ sin θ + r cos θ \begin{aligned}x'&=r'\cos\theta-r\sin\theta,\\y'&=r'\sin\theta+r\cos\theta\end{aligned} x ′ y ′ = r ′ cos θ − r sin θ , = r ′ sin θ + r cos θ
です。2乗して足すと、r r ′ rr' r r ′ を含む項は − 2 r r ′ sin θ cos θ -2rr'\sin\theta\cos\theta − 2 r r ′ sin θ cos θ と + 2 r r ′ sin θ cos θ +2rr'\sin\theta\cos\theta + 2 r r ′ sin θ cos θ で打ち消し合い、
( x ′ ) 2 + ( y ′ ) 2 = ( r ′ ) 2 ( cos 2 θ + sin 2 θ ) + r 2 ( sin 2 θ + cos 2 θ ) = r 2 + ( r ′ ) 2 \begin{aligned}(x')^2+(y')^2&=(r')^2(\cos^2\theta+\sin^2\theta)+r^2(\sin^2\theta+\cos^2\theta)\\&=r^2+(r')^2\end{aligned} ( x ′ ) 2 + ( y ′ ) 2 = ( r ′ ) 2 ( cos 2 θ + sin 2 θ ) + r 2 ( sin 2 θ + cos 2 θ ) = r 2 + ( r ′ ) 2
が残ります。これを弧長の公式に入れれば l = ∫ θ 1 θ 2 r 2 + ( r ′ ) 2 d θ \displaystyle l=\int_{\theta_1}^{\theta_2}\sqrt{r^2+(r')^2}\,d\theta l = ∫ θ 1 θ 2 r 2 + ( r ′ ) 2 d θ です。
4. 伸開線:巻きつけた糸をほどく
平面上の曲線 C C C に糸を沿わせて巻きつけておき、糸の端を持って、たるませずに引きはがしていきます。このとき糸の端が描く曲線を、C C C の伸開線 と呼びます。授業で扱った別の問題(接線の上で、弧の長さと同じ距離だけ接点から離した点の軌跡を求める問題)で求めた曲線は、まさにこの伸開線です。
図3 放物線 C C C に原点 A から巻いた糸を点 P までほどいた図。PQ は接線で、Q の描く曲線(破線)が伸開線 図3は、放物線 y = x 2 2 y=\dfrac{x^2}2 y = 2 x 2 の x ≧ 0 x\geqq0 x ≧ 0 の部分に、原点 A を端として巻いた糸を、点 P までほどいたところです。太い青が糸で、P から先はまだ曲線に沿っています。破線が、ここまでに端 Q が通った跡です。
座標で書きます。曲線 C C C を P ( t ) = ( x ( t ) , y ( t ) ) \mathrm{P}(t)=(x(t),\,y(t)) P ( t ) = ( x ( t ) , y ( t )) と表し、糸の端ははじめ A = P ( t 0 ) \mathrm{A}=\mathrm{P}(t_0) A = P ( t 0 ) にあり、糸は t ≧ t 0 t\geqq t_0 t ≧ t 0 の側に巻かれているとします。接点が P ( t ) \mathrm{P}(t) P ( t ) まで来たときの端を Q とします。Q の位置は次の2つの事実で決まります。
糸はぴんと張っているので、ほどけた部分 PQ は線分で、P での C C C の接線の上にあります。Q は P から見て A の側、つまり速度ベクトル v = ( x ′ ( t ) , y ′ ( t ) ) \boldsymbol v=(x'(t),\,y'(t)) v = ( x ′ ( t ) , y ′ ( t )) と逆の向きにあります。
糸は伸び縮みしないので、PQ の長さは、ほどけた弧 AP の長さ s ( t ) = ∫ t 0 t ∣ v ( u ) ∣ d u \displaystyle s(t)=\int_{t_0}^t|\boldsymbol v(u)|\,du s ( t ) = ∫ t 0 t ∣ v ( u ) ∣ d u に等しくなります。
速度方向の単位ベクトルを T = v ∣ v ∣ \boldsymbol T=\dfrac{\boldsymbol v}{|\boldsymbol v|} T = ∣ v ∣ v と書くと、O Q → = O P → − s ( t ) T \overrightarrow{\mathrm{OQ}}=\overrightarrow{\mathrm{OP}}-s(t)\,\boldsymbol T OQ = OP − s ( t ) T 、成分で書けば次の式です。
( X ( t ) Y ( t ) ) = ( x ( t ) y ( t ) ) − ∫ t 0 t x ′ ( u ) 2 + y ′ ( u ) 2 d u x ′ ( t ) 2 + y ′ ( t ) 2 ( x ′ ( t ) y ′ ( t ) ) ( ∗ ) \begin{pmatrix}X(t)\\Y(t)\end{pmatrix}=\begin{pmatrix}x(t)\\y(t)\end{pmatrix}-\frac{\displaystyle\int_{t_0}^t\sqrt{x'(u)^2+y'(u)^2}\,du}{\sqrt{x'(t)^2+y'(t)^2}}\begin{pmatrix}x'(t)\\y'(t)\end{pmatrix}\qquad(\ast) ( X ( t ) Y ( t ) ) = ( x ( t ) y ( t ) ) − x ′ ( t ) 2 + y ′ ( t ) 2 ∫ t 0 t x ′ ( u ) 2 + y ′ ( u ) 2 d u ( x ′ ( t ) y ′ ( t ) ) ( ∗ )
伸開線は糸と直角に交わる
式 ( ∗ ) (\ast) ( ∗ ) を t t t で微分します。s ′ ( t ) = ∣ v ∣ s'(t)=|\boldsymbol v| s ′ ( t ) = ∣ v ∣ なので ( s T ) ′ = ∣ v ∣ T + s T ′ = v + s T ′ (s\boldsymbol T)'=|\boldsymbol v|\boldsymbol T+s\boldsymbol T'=\boldsymbol v+s\boldsymbol T' ( s T ) ′ = ∣ v ∣ T + s T ′ = v + s T ′ となり、
d d t O Q → = v − ( v + s T ′ ) = − s T ′ \frac{d}{dt}\overrightarrow{\mathrm{OQ}}=\boldsymbol v-(\boldsymbol v+s\boldsymbol T')=-s\,\boldsymbol T' d t d OQ = v − ( v + s T ′ ) = − s T ′
です。∣ T ∣ 2 = 1 |\boldsymbol T|^2=1 ∣ T ∣ 2 = 1 を微分すると 2 T ⋅ T ′ = 0 2\boldsymbol T\cdot\boldsymbol T'=0 2 T ⋅ T ′ = 0 なので、T ′ \boldsymbol T' T ′ は T \boldsymbol T T に垂直です。よって Q の速度は糸 PQ の向き T \boldsymbol T T に垂直で、伸開線の Q での法線は、糸 PQ を含む直線 になります。§6 でこの事実を使います。
5. 伸開線の例
円の伸開線
単位円 ( x , y ) = ( cos t , sin t ) (x,\,y)=(\cos t,\,\sin t) ( x , y ) = ( cos t , sin t ) を点 A ( 1 , 0 ) \mathrm{A}(1,\,0) A ( 1 , 0 ) (t 0 = 0 t_0=0 t 0 = 0 )からほどきます。v = ( − sin t , cos t ) \boldsymbol v=(-\sin t,\,\cos t) v = ( − sin t , cos t ) で ∣ v ∣ = 1 |\boldsymbol v|=1 ∣ v ∣ = 1 、s = t s=t s = t なので、式 ( ∗ ) (\ast) ( ∗ ) から
( X , Y ) = ( cos t + t sin t , sin t − t cos t ) (X,\,Y)=(\cos t+t\sin t,\ \sin t-t\cos t) ( X , Y ) = ( cos t + t sin t , sin t − t cos t )
です。原点からの距離の2乗は X 2 + Y 2 = 1 + t 2 X^2+Y^2=1+t^2 X 2 + Y 2 = 1 + t 2 で、ほどくほど円から遠ざかる渦巻きになります。円の伸開線は円ではありません。
図4 単位円(黒)と、点 A からほどいた伸開線(青)。t = π 2 , π , 3 π 2 t=\frac\pi2,\ \pi,\ \frac{3\pi}2 t = 2 π , π , 2 3 π のときの糸を細線で示す サイクロイドの伸開線
半径 1 1 1 の円を x x x 軸に沿って滑らせずに転がすとき、円周に固定した1点の描く曲線が、サイクロイドです。円が角 t t t だけ回転した時点で、最初に原点に接していた点は
( x , y ) = ( t − sin t , 1 − cos t ) (x,\,y)=(t-\sin t,\ 1-\cos t) ( x , y ) = ( t − sin t , 1 − cos t )
にあります。山の頂点 A ( π , 2 ) \mathrm{A}(\pi,\,2) A ( π , 2 ) (t 0 = π t_0=\pi t 0 = π )から右半分 π ≦ t ≦ 2 π \pi\leqq t\leqq2\pi π ≦ t ≦ 2 π をほどきます。半角の公式で
v = ( 1 − cos t , sin t ) = 2 sin t 2 ( sin t 2 , cos t 2 ) \boldsymbol v=(1-\cos t,\ \sin t)=2\sin\frac t2\left(\sin\frac t2,\ \cos\frac t2\right) v = ( 1 − cos t , sin t ) = 2 sin 2 t ( sin 2 t , cos 2 t )
と書けて、この範囲では sin t 2 ≧ 0 \sin\dfrac t2\geqq0 sin 2 t ≧ 0 なので ∣ v ∣ = 2 sin t 2 |\boldsymbol v|=2\sin\dfrac t2 ∣ v ∣ = 2 sin 2 t 、T = ( sin t 2 , cos t 2 ) \boldsymbol T=\left(\sin\dfrac t2,\ \cos\dfrac t2\right) T = ( sin 2 t , cos 2 t ) です。ほどいた長さは
s = ∫ π t 2 sin u 2 d u = − 4 cos t 2 s=\int_\pi^t2\sin\frac u2\,du=-4\cos\frac t2 s = ∫ π t 2 sin 2 u d u = − 4 cos 2 t
なので、
s T = − 4 cos t 2 ( sin t 2 , cos t 2 ) = ( − 2 sin t , − 2 − 2 cos t ) \begin{aligned}s\boldsymbol T&=-4\cos\frac t2\left(\sin\frac t2,\ \cos\frac t2\right)\\&=(-2\sin t,\ -2-2\cos t)\end{aligned} s T = − 4 cos 2 t ( sin 2 t , cos 2 t ) = ( − 2 sin t , − 2 − 2 cos t )
となり、
( X , Y ) = ( t − sin t + 2 sin t , 1 − cos t + 2 + 2 cos t ) = ( t + sin t , 3 + cos t ) \begin{aligned}(X,\,Y)&=(t-\sin t+2\sin t,\ 1-\cos t+2+2\cos t)\\&=(t+\sin t,\ 3+\cos t)\end{aligned} ( X , Y ) = ( t − sin t + 2 sin t , 1 − cos t + 2 + 2 cos t ) = ( t + sin t , 3 + cos t )
を得ます。t = u + π t=u+\pi t = u + π (0 ≦ u ≦ π 0\leqq u\leqq\pi 0 ≦ u ≦ π )と置き直すと
( X , Y ) = ( u − sin u , 1 − cos u ) + ( π , 2 ) (X,\,Y)=(u-\sin u,\ 1-\cos u)+(\pi,\,2) ( X , Y ) = ( u − sin u , 1 − cos u ) + ( π , 2 )
で、これはサイクロイドの左半分を ( π , 2 ) (\pi,\,2) ( π , 2 ) だけ平行移動した曲線です。サイクロイドの伸開線は、合同なサイクロイドになります。
図5 サイクロイド(黒)と、頂点 A から右半分をほどいた伸開線(青)。伸開線は ( π , 2 ) (\pi,\,2) ( π , 2 ) から ( 2 π , 4 ) (2\pi,\,4) ( 2 π , 4 ) までの合同なサイクロイドの弧 カージオイドの伸開線(複素数で計算する)
カージオイドやアステロイドは、複素数平面で e i t = cos t + i sin t e^{it}=\cos t+i\sin t e i t = cos t + i sin t を使うと計算が短くなります。e i a e i b = e i ( a + b ) e^{ia}e^{ib}=e^{i(a+b)} e ia e ib = e i ( a + b ) と、t t t で微分すると ( e i k t ) ′ = i k e i k t (e^{ikt})'=ike^{ikt} ( e ik t ) ′ = ik e ik t になること(実部と虚部をそれぞれ微分すれば確かめられます)だけを使います。
カージオイドは、単位円に外から接する半径 1 1 1 の円を滑らせずに転がしたとき、その円周に固定した1点の描く曲線です。動く円の中心の偏角が t t t のとき、はじめ ( 1 , 0 ) (1,\,0) ( 1 , 0 ) にあった点は
z ( t ) = 2 e i t − e 2 i t ( ( x , y ) = ( 2 cos t − cos 2 t , 2 sin t − sin 2 t ) ) \begin{aligned}z(t)&=2e^{it}-e^{2it}\qquad \bigl((x,\,y)=(2\cos t-\cos2t,\ 2\sin t-\sin2t)\bigr)\end{aligned} z ( t ) = 2 e i t − e 2 i t ( ( x , y ) = ( 2 cos t − cos 2 t , 2 sin t − sin 2 t ) )
にあります。A = z ( π ) = − 3 \mathrm{A}=z(\pi)=-3 A = z ( π ) = − 3 から下半分 π ≦ t ≦ 2 π \pi\leqq t\leqq2\pi π ≦ t ≦ 2 π をほどきます。
z ′ ( t ) = 2 i e i t − 2 i e 2 i t = 2 i e i t ( 1 − e i t ) z'(t)=2ie^{it}-2ie^{2it}=2ie^{it}\bigl(1-e^{it}\bigr) z ′ ( t ) = 2 i e i t − 2 i e 2 i t = 2 i e i t ( 1 − e i t )
で、1 − e i t = e i t / 2 ( e − i t / 2 − e i t / 2 ) = − 2 i sin t 2 e i t / 2 1-e^{it}=e^{it/2}\bigl(e^{-it/2}-e^{it/2}\bigr)=-2i\sin\dfrac t2\,e^{it/2} 1 − e i t = e i t /2 ( e − i t /2 − e i t /2 ) = − 2 i sin 2 t e i t /2 なので
z ′ ( t ) = 4 sin t 2 e 3 i t / 2 z'(t)=4\sin\frac t2\,e^{3it/2} z ′ ( t ) = 4 sin 2 t e 3 i t /2
です。この範囲では sin t 2 ≧ 0 \sin\dfrac t2\geqq0 sin 2 t ≧ 0 なので、∣ z ′ ∣ = 4 sin t 2 |z'|=4\sin\dfrac t2 ∣ z ′ ∣ = 4 sin 2 t 、単位ベクトルは e 3 i t / 2 e^{3it/2} e 3 i t /2 です。ほどいた長さは s = ∫ π t 4 sin u 2 d u = − 8 cos t 2 \displaystyle s=\int_\pi^t4\sin\frac u2\,du=-8\cos\frac t2 s = ∫ π t 4 sin 2 u d u = − 8 cos 2 t で、式 ( ∗ ) (\ast) ( ∗ ) は複素数で Z = z − s e 3 i t / 2 Z=z-s\,e^{3it/2} Z = z − s e 3 i t /2 と書けるので
Z = 2 e i t − e 2 i t + 8 cos t 2 e 3 i t / 2 = 2 e i t − e 2 i t + 4 ( e i t / 2 + e − i t / 2 ) e 3 i t / 2 = 6 e i t + 3 e 2 i t \begin{aligned}Z&=2e^{it}-e^{2it}+8\cos\frac t2\,e^{3it/2}\\&=2e^{it}-e^{2it}+4\bigl(e^{it/2}+e^{-it/2}\bigr)e^{3it/2}\\&=6e^{it}+3e^{2it}\end{aligned} Z = 2 e i t − e 2 i t + 8 cos 2 t e 3 i t /2 = 2 e i t − e 2 i t + 4 ( e i t /2 + e − i t /2 ) e 3 i t /2 = 6 e i t + 3 e 2 i t
となります。成分では ( X , Y ) = ( 6 cos t + 3 cos 2 t , 6 sin t + 3 sin 2 t ) (X,\,Y)=(6\cos t+3\cos2t,\ 6\sin t+3\sin2t) ( X , Y ) = ( 6 cos t + 3 cos 2 t , 6 sin t + 3 sin 2 t ) です。t = u + π t=u+\pi t = u + π (0 ≦ u ≦ π 0\leqq u\leqq\pi 0 ≦ u ≦ π )と置くと e i t = − e i u e^{it}=-e^{iu} e i t = − e i u 、e 2 i t = e 2 i u e^{2it}=e^{2iu} e 2 i t = e 2 i u なので
Z = − 6 e i u + 3 e 2 i u = − 3 ( 2 e i u − e 2 i u ) = − 3 z ( u ) \begin{aligned}Z&=-6e^{iu}+3e^{2iu}\\&=-3\bigl(2e^{iu}-e^{2iu}\bigr)\\&=-3\,z(u)\end{aligned} Z = − 6 e i u + 3 e 2 i u = − 3 ( 2 e i u − e 2 i u ) = − 3 z ( u )
です。伸開線は、カージオイドの上半分を原点を中心に − 3 -3 − 3 倍(3 3 3 倍に拡大して原点について対称移動)した曲線で、やはりカージオイドの一部です。
図6 カージオイド(黒)と、A ( − 3 , 0 ) \mathrm{A}(-3,\,0) A ( − 3 , 0 ) から下半分をほどいた伸開線(青)。伸開線は3倍の大きさの逆向きのカージオイドの弧で、( 9 , 0 ) (9,\,0) ( 9 , 0 ) で終わる アステロイドの伸開線
アステロイドは、半径 1 1 1 の円に内側から接する半径 1 4 \dfrac14 4 1 の円を滑らせずに転がしたとき、その円周に固定した1点の描く曲線です。動く円の中心の偏角が t t t のとき、はじめ ( 1 , 0 ) (1,\,0) ( 1 , 0 ) にあった点は
z ( t ) = 1 4 ( 3 e i t + e − 3 i t ) ( ( x , y ) = ( cos 3 t , sin 3 t ) ) \begin{aligned}z(t)&=\frac14\bigl(3e^{it}+e^{-3it}\bigr)\qquad \bigl((x,\,y)=(\cos^3t,\ \sin^3t)\bigr)\end{aligned} z ( t ) = 4 1 ( 3 e i t + e − 3 i t ) ( ( x , y ) = ( cos 3 t , sin 3 t ) )
にあります(3倍角の公式 cos 3 t = 4 cos 3 t − 3 cos t \cos3t=4\cos^3t-3\cos t cos 3 t = 4 cos 3 t − 3 cos t 、sin 3 t = 3 sin t − 4 sin 3 t \sin3t=3\sin t-4\sin^3t sin 3 t = 3 sin t − 4 sin 3 t で実部と虚部を確かめられます)。第1象限の弧の真ん中 A = z ( π 4 ) \mathrm{A}=z\!\left(\dfrac\pi4\right) A = z ( 4 π ) から、π 4 ≦ t ≦ π 2 \dfrac\pi4\leqq t\leqq\dfrac\pi2 4 π ≦ t ≦ 2 π の部分をほどきます。
z ′ ( t ) = 3 i 4 ( e i t − e − 3 i t ) = 3 i 4 e − i t ( e 2 i t − e − 2 i t ) = − 3 2 sin 2 t e − i t \begin{aligned}z'(t)&=\frac{3i}4\bigl(e^{it}-e^{-3it}\bigr)\\&=\frac{3i}4e^{-it}\bigl(e^{2it}-e^{-2it}\bigr)\\&=-\frac32\sin2t\,e^{-it}\end{aligned} z ′ ( t ) = 4 3 i ( e i t − e − 3 i t ) = 4 3 i e − i t ( e 2 i t − e − 2 i t ) = − 2 3 sin 2 t e − i t
で、この範囲では sin 2 t ≧ 0 \sin2t\geqq0 sin 2 t ≧ 0 なので、∣ z ′ ∣ = 3 2 sin 2 t |z'|=\dfrac32\sin2t ∣ z ′ ∣ = 2 3 sin 2 t 、単位ベクトルは − e − i t -e^{-it} − e − i t です。ほどいた長さは s = ∫ π / 4 t 3 2 sin 2 u d u = − 3 4 cos 2 t \displaystyle s=\int_{\pi/4}^t\frac32\sin2u\,du=-\frac34\cos2t s = ∫ π /4 t 2 3 sin 2 u d u = − 4 3 cos 2 t なので
Z = z − s ( − e − i t ) = z − 3 4 cos 2 t e − i t = 3 4 e i t + 1 4 e − 3 i t − 3 8 ( e i t + e − 3 i t ) = 1 8 ( 3 e i t − e − 3 i t ) \begin{aligned}Z&=z-s\bigl(-e^{-it}\bigr)\\&=z-\frac34\cos2t\,e^{-it}\\&=\frac34e^{it}+\frac14e^{-3it}-\frac38\bigl(e^{it}+e^{-3it}\bigr)\\&=\frac18\bigl(3e^{it}-e^{-3it}\bigr)\end{aligned} Z = z − s ( − e − i t ) = z − 4 3 cos 2 t e − i t = 4 3 e i t + 4 1 e − 3 i t − 8 3 ( e i t + e − 3 i t ) = 8 1 ( 3 e i t − e − 3 i t )
です。成分では
( X , Y ) = ( 1 8 ( 3 cos t − cos 3 t ) , 1 8 ( 3 sin t + sin 3 t ) ) (X,\,Y)=\left(\frac18(3\cos t-\cos3t),\ \frac18(3\sin t+\sin3t)\right) ( X , Y ) = ( 8 1 ( 3 cos t − cos 3 t ) , 8 1 ( 3 sin t + sin 3 t ) )
となります。t = u + π 4 t=u+\dfrac\pi4 t = u + 4 π (0 ≦ u ≦ π 4 0\leqq u\leqq\dfrac\pi4 0 ≦ u ≦ 4 π )と置くと e − 3 i t = e − 3 i u e − 3 π i / 4 = − e π i / 4 e − 3 i u e^{-3it}=e^{-3iu}e^{-3\pi i/4}=-e^{\pi i/4}e^{-3iu} e − 3 i t = e − 3 i u e − 3 π i /4 = − e π i /4 e − 3 i u なので
Z = 1 8 e π i / 4 ( 3 e i u + e − 3 i u ) = 1 2 e π i / 4 z ( u ) Z=\frac18e^{\pi i/4}\bigl(3e^{iu}+e^{-3iu}\bigr)=\frac12e^{\pi i/4}\,z(u) Z = 8 1 e π i /4 ( 3 e i u + e − 3 i u ) = 2 1 e π i /4 z ( u )
です。伸開線は、アステロイドの 0 ≦ u ≦ π 4 0\leqq u\leqq\dfrac\pi4 0 ≦ u ≦ 4 π の部分を、原点のまわりに π 4 \dfrac\pi4 4 π 回し、さらに 1 2 \dfrac12 2 1 倍に縮めた曲線です。4本の弧をそれぞれ真ん中からほどくと、全体として、回転して半分に縮めたアステロイドが現れます。
図7 アステロイド(黒)と、4本の弧をそれぞれ真ん中からほどいた伸開線(青)。青は黒を π 4 \frac\pi4 4 π 回して 1 2 \frac12 2 1 倍にしたアステロイド。点 P から点 Q への糸を1本示す 一般のエピサイクロイド・ハイポサイクロイド
固定した円の外側を円が転がるときの軌跡をエピサイクロイド 、内側を転がるときの軌跡をハイポサイクロイド と呼びます。固定した円の半径が転がる円の n n n 倍のとき(n n n は正の整数。ハイポサイクロイドでは n ≧ 3 n\geqq3 n ≧ 3 )、どちらも尖った点(尖点)を n n n 個もちます。n = 1 n=1 n = 1 のエピサイクロイドがカージオイド、n = 4 n=4 n = 4 のハイポサイクロイドがアステロイドです。
上の2つと同じ計算をすると、尖点と尖点の間の弧をその真ん中からほどいた伸開線は、どちらも元と相似な曲線の一部になります。
回転角 倍率 例 エピサイクロイド π n \dfrac\pi n n π n + 2 n \dfrac{n+2}n n n + 2 カージオイド(n = 1 n=1 n = 1 ):π \pi π 回して 3 3 3 倍=− 3 -3 − 3 倍 ハイポサイクロイド π n \dfrac\pi n n π n − 2 n \dfrac{n-2}n n n − 2 アステロイド(n = 4 n=4 n = 4 ):π 4 \dfrac\pi4 4 π 回して 1 2 \dfrac12 2 1 倍
相似にならない例:カテナリーとトラクトリクス
ここまでの3つは元の曲線と相似な伸開線をもちましたが、これは特別な性質です。円の伸開線が渦巻きになったように、一般には形が変わります。もう一つの例として、ロープの両端を持って垂らしたときの形であるカテナリー(懸垂線)
y = cosh x = e x + e − x 2 y=\cosh x=\frac{e^x+e^{-x}}2 y = cosh x = 2 e x + e − x
を、頂点 A ( 0 , 1 ) \mathrm{A}(0,\,1) A ( 0 , 1 ) から左右へほどきます。sinh x = e x − e − x 2 \sinh x=\dfrac{e^x-e^{-x}}2 sinh x = 2 e x − e − x 、tanh x = sinh x cosh x \tanh x=\dfrac{\sinh x}{\cosh x} tanh x = cosh x sinh x と書くと、( cosh x ) ′ = sinh x (\cosh x)'=\sinh x ( cosh x ) ′ = sinh x 、1 + sinh 2 x = cosh 2 x 1+\sinh^2x=\cosh^2x 1 + sinh 2 x = cosh 2 x なので、x x x を媒介変数として ∣ v ∣ = 1 + sinh 2 x = cosh x |\boldsymbol v|=\sqrt{1+\sinh^2x}=\cosh x ∣ v ∣ = 1 + sinh 2 x = cosh x 、ほどいた長さは s = ∫ 0 x cosh u d u = sinh x \displaystyle s=\int_0^x\cosh u\,du=\sinh x s = ∫ 0 x cosh u d u = sinh x です。式 ( ∗ ) (\ast) ( ∗ ) に入れると
( X , Y ) = ( x , cosh x ) − sinh x cosh x ( 1 , sinh x ) = ( x − tanh x , 1 cosh x ) \begin{aligned}(X,\,Y)&=(x,\ \cosh x)-\frac{\sinh x}{\cosh x}(1,\ \sinh x)\\&=\left(x-\tanh x,\ \frac1{\cosh x}\right)\end{aligned} ( X , Y ) = ( x , cosh x ) − cosh x sinh x ( 1 , sinh x ) = ( x − tanh x , cosh x 1 )
となります(cosh x − sinh 2 x cosh x = 1 cosh x \cosh x-\dfrac{\sinh^2x}{\cosh x}=\dfrac1{\cosh x} cosh x − cosh x sinh 2 x = cosh x 1 )。この曲線はトラクトリクス (追跡線)と呼ばれ、「各点で接線を x x x 軸まで延ばすと、その線分の長さがいつも 1 1 1 」という性質をもちます。長さ 1 1 1 の綱で、x x x 軸の上を進む人に引きずられていく物の跡がこの形です。
図8 カテナリー y = cosh x y=\cosh x y = cosh x (黒)と、頂点 A から左右へほどいた伸開線であるトラクトリクス(青)。x = 1.2 x=1.2 x = 1.2 と x = − 1.6 x=-1.6 x = − 1.6 のときの糸を細線で示す 6. 縮閉線
曲線 D D D が曲線 C C C の伸開線であるとき、C C C を D D D の縮閉線 と呼びます。たとえば円は、その伸開線(§5 の渦巻き)の縮閉線です。縮閉線には次の2つの性質があります。
C C C は、D D D の法線をすべて集めたときに、それらに接する曲線(法線の包絡線 )である。
C C C は、D D D の各点での曲率円の中心が描く軌跡である。
1 は §4 の結果から直接分かります。D D D の点 Q での法線は糸 PQ を含む直線で、この直線は P で C C C に接しています。
2 は、曲率円の中心が「法線上で、曲率半径だけ離れた点」であることから分かります。曲率半径は、曲線の向きが単位長さあたりにどれだけ回るかの逆数です。Q が ∣ − s T ′ ∣ d t = s ∣ T ′ ∣ d t |{-s\boldsymbol T'}|\,dt=s|\boldsymbol T'|\,dt ∣ − s T ′ ∣ d t = s ∣ T ′ ∣ d t だけ進む間に、Q での進む向き(T \boldsymbol T T に垂直)は T \boldsymbol T T と同じ角 ∣ T ′ ∣ d t |\boldsymbol T'|\,dt ∣ T ′ ∣ d t だけ回ります。したがって D D D の Q での曲率半径は s ∣ T ′ ∣ ∣ T ′ ∣ = s = P Q \dfrac{s|\boldsymbol T'|}{|\boldsymbol T'|}=s=\mathrm{PQ} ∣ T ′ ∣ s ∣ T ′ ∣ = s = PQ で、曲率円の中心は法線 PQ 上で Q から s s s だけ離れた点、すなわち P です。曲率円と曲率半径の詳しい扱いは、曲率円の記事 を見てください。
1 塾の授業で扱った問題は塾の教材なので、数値を変えた類題に差し替えています。
塾の授業で配った補足資料をもとに、問題を類題に差し替えて書き直しました。
← 塾講師木下の記事一覧へ