ドローネー曲線
平成17年5月28日 Licht さんという方から当HPの掲示板「出会いの泉」に質問が寄
せられた。
「放物線が定直線上をすべることなく転がるとき、その焦点が描く軌跡はカテナリー(懸垂線)で
ある」ということを知り、なんとか証明することができた。その後、「楕円が定直線上をすべることな
く転がるとき、その焦点が描く軌跡」、「双曲線が定直線上をすべることなく転がるとき、その焦点
が描く軌跡」にもそれぞれ「アンデュラリー」、「ノーダリー」という名前がついていることを知り、そ
の方程式を求めようとしたのだが、楕円の弧長を求めるには大学以上の知識が必要であるらしく、
高校3年の私にとっては、その後進展しなかった。しかし、せめてその方程式や概形が知りたいと
いう思いはある。どなたか、よろしくお願い致します。
これに対して、よこやまさんという方から情報が寄せられた。
Licht さんの軌跡の問題ですが、Google 検索してみたら、「転がる石に苔むさず」というHPが
ありました。曲面論とか微分幾何学の本を探せば、どれかに書いてある内容だと思います。(例え
ば、「曲面と曲線ー微分幾何的アプローチ」(梅原・山田(著);掌華房)など)或いは、まだ調べてい
ませんが、岩波数学辞典とかにあるかも知れません。
そこで、よこやまさんから提示された岩波数学辞典を調べてみた。
第2版の441ページに、楕円または双曲線が定直線上を転がるときの焦点の軌跡は、
Delaunayの曲線として紹介されていて、しかも、それらしい図も載っていた!
外国の文献まで検索すると、次のHPがそれなりに詳しいように思う。
Delaunay's roulette
そこで、このページでは、Licht さんに刺激されて、輪転曲線(Delaunay’s roulette)
について、いろいろ整理しようと思う。
定曲線上を他の曲線が滑らずに転がるとき、転がる曲線に固定された点が描く軌跡を
求める(=roulette という)問題は数学的にも興味があり、また応用上も重要な意味を持
つ。
このような曲線として、当HPでは、いくつかの例を紹介してきた。
たとえば、 擺線 、餘擺線 、外サイクロイド 、内サイクロイド など...。
特に、定直線上を2次曲線が転がるときの軌跡を、
Delaunay’s roulette (輪転曲線)
というようだ。
この曲線については、Delaunay(1816~1872)が 1841年に初めて取り上げたらしい。
この曲線の解析のためには、直交座標系よりも極座標系で議論する方が美しく簡潔に
表現される。 まずは、予備知識の確認から始めよう!
極座標は、平面上の定点 O と O から出る半直線 OX から
なる。 平面上の点 P に対して、
OP=r 、∠XOP=θ (OXから反時計回りに測った角)
のとき、(r ,θ) を、点Pの極座標といい、P(r ,θ) と書く。
このとき、 O を極座標の極、半直線 OX を始線、OP を動径、θ を偏角という。
極座標においては、r<0 ということもあり得る。
(r ,θ)に対して、極Oと点対称な点 (r ,θ+π) を、(-r ,θ)
と表現する。
例 極座標(-1,π/4)が表す点は、極座標(1,π/4)が表す点を極の周りに180°回
転させた点である。したがって、(1,5π/4)と同じ意味である。
2次曲線の統一的定義
2次曲線は、定点Fと、点Fを通らない定直線Lからの距離の比が一定な点Pの軌跡と
定義される。
今、点Fから直線Lに下ろした垂線の足をHとし、その垂線の長さ(FH)を、k
とおく。右
下図のように、Fを極とし、HFの方向に始線を定める。
点Pより直線Lに下ろした垂線の足をQとするとき、 定義より、 ![]() である。 右図より、 PQ=k+rcosθ なので、この式に、 ![]() ![]() を代入して整理すれば、次のような極方程式が得ら れる。 |
![]() |
ここで、0<e<1 のとき、楕円、e=1 のとき、放物線、e>1 のとき、双曲線を表す。
また、定点Fを焦点、定直線Lを準線という。
準線は、放物線に限らず、楕円や双曲線にも存在する。
また、下図のように、曲線 r=F(θ) 上の1点 P(r,θ) における接線と始線のなす角を
α 、
動径とのなす角を β とすると、次の式が成り立つ。
実際に、前半は、
から明らか。
後半は、β=α-θ と、加法定理から容易に
導かれる。
以上の準備をもとにして、いよいよ本論に入ろう。
今、定直線 L 上を2次曲線 C が滑らずに転がるものとする。直線 L 上の一点
A から接
点 P までの長さと曲線 C 上の一点 A’ から接点 P までの曲線に沿う長さは等しく、その
値を s とおく。
点 O を極座標系の極(原点)とし、動径 OP の長さを r 、始線 OX から反時計回りに測っ
た角を θ とする。
また、点 P において、直線 OP から直線 L まで反時計回りに測った角を β とする。
そして、曲線 C に固定された点 B と点 P の距離を R とし、直線 BP から直線
L まで反時
計回りに測った角を γ とする。(下図参照)
このとき、
により、
なので、
(これより、 β 、 r は、s の関数なので、θ も s の関数である。←当たり前かな!?)
上図から、ベクトル OP は、複素数 r・exp(iθ) で表される。 また、直線 BP が始線
OX となす角は、θ+β-γ なので、ベクトル PB は、
複素数 -R・exp(i(θ+β-γ))
で表される。したがって、ベクトル OB は、
複素数 r・exp(iθ)-R・exp(i(θ+β-γ))
で表される。 したがって、点 B の直交座標を、( x , y ) とおくと、
x = r・cosθ-R・cos(θ+β-γ)
y = r・sinθ-R・sin(θ+β-γ)
これが、Delaunay’s roulette(輪転曲線) を表す方程式の一般形である。
後は、具体的な曲線 C の性質により、 r 、R、θ、β、γ を決定し、軌跡の方程式を求め
ればよい。
特に、定直線 L が始線 OX と重なり、点 A が点 O と一致するときが通常の初期設定
になるだろう。
このとき、 θ=0 、r = s 、β=0 なので、上記の媒介変数表示は、
x = s-R・cosγ 、 y = R・sinγ
となる。(この方程式は、下記の例の図とにらめっこをすると、当たり前の式だろう!)
例 曲線 C を、半径 r の円とし、その周上の固定された点を B とする。いま、Bは原点に
一致しているものとする。x 軸上を円が滑らずに転がるとき、その点 B の軌跡の方程式
を求めてみよう。
図より、R=2r・sin(θ/2) 、s = r・θ 、γ= θ/2 なので、上記の公式に代入すると、
x = r・θ-2r・sin(θ/2)cos(θ/2) = r・θ- r・sinθ=
r・(θ- sinθ)
y = 2r・sin(θ/2)・sin(θ/2) = 2r・sin2(θ/2) = r・(1- cosθ)
となる。これは、よく見慣れたサイクロイドの曲線の方程式である。
(コメント) 上記の曲線の方程式の求め方は通常のものと若干異なる。このような求め方
もあるのだなと今更ながら感心してしまう。(参考 → 擺線 )
例 曲線 C を、放物線 x2=2y とし、曲線 C に固定された点 B として、焦点 F を考える。
放物線が x 軸上を滑らずに転がるとき、焦点 F の軌跡の方程式を求めてみよう。
いま、焦点 F を極とし、直線A’Fを始線とする。このとき、放物線の極方程式は、
である。また、放物線と接線の性質(→ 参考 放物線)から、 γ=θ/2 が成り立つ。
焦点 F の座標を、( x , y ) とおくと、公式より、
x = s - r・cos(θ/2) 、 y = r・sin(θ/2)
と書ける。ここで、s は、線分APの長さに等しい。
t = r・sinθ として、s の値を求めてみよう。 x2=2y より、 y’= x なので、
ここで、 と変数変換して、
、
、
である。 これらを上記に代入して、
を得る。 ここで、
なので、
と書ける。
したがって、焦点 F の座標 ( x , y ) について、
が成り立つ。
この2式より、θ を消去すれば、x 、y の関係式が得られる。
、
なので、
となる。 この式を、y について解けば、
ここで、
なので、
とも書ける。 これは、懸垂線の方程式である。
(コメント) 上記において、煩雑な計算を避けるために、放物線の方程式として、x2=2y
としたが、一般の放物線 x2=4py についても同様の計算を行えば、同様の結
果が得られる。高校3年のLicht さんは、どんな風に計算されたのだろうか?
(追記) Licht さんから上記の問題の計算についてメールを頂いた。(平成17年6月6日付け)
また、快く当HPへの掲載をご承諾いただいたので、下記に若干の計算を補足して
Licht さんの解答を示したいと思う。
座標軸の原点を A 、放物線を x2 = 4py ( p>0 )、焦点を、F( 0 , p ) とする。
まず、放物線上の点P( t , t2/4p ) について、t の増加する方向を正とした放物線上の
弧 AP の符号付き長さ s を求める。
ここで、
と変数変換して、
ただし、
である。
このとき、
、
を上式に代入して整理すると、
となる。
次に、点Pにおける放物線の接線方向ベクトル ( 2p , t ) と
ベクトルFP = ( t , -p+t2/4p ) のなす角を γ ( 0<γ<π )とし、cosγ と sinγ を求める。
二つのベクトルの内積と絶対値から、
、
が成り立つ。
放物線が点Pまで転がるとき、点Pの座標は、P( s , 0 )であり、そのときの焦点 F の座
標を、F( x , y ) とおけば、
x = s-|PF|cosγ 、 y = |PF|sinγ
となる。 これらに上記で得られた式を代入して、
、
を得る。
これらから、t を消去して
という結果を得る。
(コメント) Licht さんの解答は、私の解答と大体同じですね!一般の場合の証明に挑戦
されたことに脱帽です。Licht さんの解答では、置換積分における置換の方法が
斬新ですね。私自身気がつきませんでした。Licht さんによれば、初めの方の計
算が煩雑で、B4の紙が埋まるほど大変だったそうです。また、cosθ
と sinθを求
めるとき、図形的な問題を機械的な計算に帰着できるベクトルの威力というもの
を再認識されたそうです。
どんな図形も弧長と微分係数さえ分かれば、直線上を転がるときの軌跡が求
められそうかなと思ったが、楕円の弧長が具体的に求められないことを知って、
何とも残念なことですと、Licht さんは感想を述べられていました。
例 曲線 C を、楕円とし、曲線 C に固定された点 B として、焦点 F を考える。
楕円が x 軸上を滑らずに転がるとき、焦点 F の軌跡を考えてみよう。
焦点 F の座標 ( x , y ) について、
x = s-R・cosγ 、 y = R・sinγ
が成り立つ。
楕円の弧長は、簡単な形に表すことができないので、これ以上話は進展しない。
楕円を少し転がし続けると、下図のような赤い点線の軌跡を描く。
したがって、焦点 F の軌跡は下図のようになる。
この曲線のことを、「アンデュラリー」というそうである。このようなグラフが岩波数学辞典
に掲載されている。