垂足座標

垂足座標（すいそくざひょう、テンプレート:Lang-en-short）は、ユークリッド平面上の点と曲線に対して定義される座標である。具体的には、点（pedal point）テンプレート:Mvarと曲線テンプレート:Mvarに対して、テンプレート:Mvar上の点テンプレート:Mvarを、テンプレート:Mvarとテンプレート:Mvarの距離テンプレート:Mvarと、テンプレート:Mvarにおける接線とテンプレート:Mvarの距離テンプレート:Mvar（テンプレート:仮リンク）の組テンプレート:Mathによって表す座標である。テンプレート:Mvarとの距離テンプレート:Mvarと、テンプレート:Mvarにおける法線とテンプレート:Mvarの距離テンプレート:Mvarの組で表す座標（テンプレート:Lang）もよく使われる。ただし、$p_c:=\sqrt{r^2-p^2}$である。曲線が垂足座標によって表現された式をPedal equationという。

いくつかの曲線はPedal equationによって単純に表すことができる。また、Pedal equationによる形式は曲線の曲率などの計算を簡単にする。垂足座標は古典力学や天体力学において、力の問題を解決するのに使うことができる。

方程式

直交座標

テンプレート:Mvarを直交座標でテンプレート:Mathと与え、テンプレート:Mvarを原点とする。点テンプレート:Mathの垂足座標は次のように計算できる。

$r=\sqrt{x^2+y^2}$

$p=\frac{x\frac{\partial f}{\partial x}+y\frac{\partial f}{\partial y}}{\sqrt{{\left(\frac{\partial f}{\partial x}\right)}^2+{\left(\frac{\partial f}{\partial y}\right)}^2}}.$

テンプレート:MvarのPedal equationはこれらの式からテンプレート:Mvarを消去することによって得られる。

新たな変数テンプレート:Mvarを用いて、曲線を斎次多項式テンプレート:Mathで表したとき、テンプレート:Mvarは次のようにより単純な形で書ける。

$p=\frac{\frac{\partial g}{\partial z}}{\sqrt{{\left(\frac{\partial g}{\partial x}\right)}^2+{\left(\frac{\partial g}{\partial y}\right)}^2}}$

テンプレート:Mathとすればもとの表示を得る。

極座標

テンプレート:Mvarを極方程式テンプレート:Mathで与えたとき、テンプレート:仮リンクを$\varphi$として

$p=r\sin \varphi$

$r=\frac{dr}{d\theta }\tan \varphi .$

と計算できる。テンプレート:MvarのPedal equationはこれらの式からテンプレート:Mvarを消去することによって得られる。

contrapedal coordinatesへの変換は$p_c:=\sqrt{r^2-p^2}$として、

$\left|\frac{dr}{d\theta }\right|=\frac{r{p}_c}{p},$

が成り立つことより行える。これは、自励微分方程式によって極方程式が、

$f(r,\left|\frac{dr}{d\theta }\right|)=0,$

と表せるならば、pedal equationは次の形となることを意味する。

$f(r,\frac{r{p}_c}{p})=0.$

例

例として対数螺旋を挙げる。

$r=a{e}^{\frac{\cos \alpha }{\sin \alpha }\theta }.$

$\theta$ における微分によって次の式を得る。

$\frac{dr}{d\theta }=\frac{\cos \alpha }{\sin \alpha }a{e}^{\frac{\cos \alpha }{\sin \alpha }\theta }=\frac{\cos \alpha }{\sin \alpha }r,$

したがって、

$\left|\frac{dr}{d\theta }\right|=\left|\frac{\cos \alpha }{\sin \alpha }\right|r,$

が成立する。また、垂足座標において

$\frac{r}{p}{p}_c=\left|\frac{\cos \alpha }{\sin \alpha }\right|r,\Rightarrow |\sin \alpha |p_c=|\cos \alpha |p,$

を得る。または、$p_c^2=r^2-p^2$を用いて、

$p=|\sin \alpha |r.$

この方法は、極方程式におけるn階（$n\ge 1$）の自励な微分方程式の解となる曲線に一般化できる。

$f(r,|r{\text{'}}_{\theta }|,r^{\prime }{\text{'}}_{\theta },|r^{″}{\text{'}}_{\theta }|\dots ,r_{\theta }^{(2j)},|r_{\theta }^{(2j+1)}|,\dots ,r_{\theta }^{(n)})=0,$

は与えられた曲線の垂足曲線で、垂足座標では次の式で表現される。

$f(p,p_c,p_c{p_c}^{\prime },p_c(p_c{p_c}^{\prime }{)}^{\prime },\dots ,(p_c{\partial }_p{)}^{n}p)=0,$

ただし、微分の変数は$p$。

力の問題

古典力学における力の問題は、垂足座標を用いれば簡単に解決することができる。

力学系を次のように考える。

$\ddot{x}=F^{\prime }(|x{|}^2)x+2G^{\prime }(|x{|}^2){\dot{x}}^{\perp },$

ただし、中心が$F$であるローレンツ力$G$が発生している平面において、位置と速度がそれぞれ$x,\dot{x}$の試験粒子の発展を述べている。

次の量はこの系において保存されている。

$L=x\cdot {\dot{x}}^{\perp }+G(|x{|}^2),c=|\dot{x}{|}^2-F(|x{|}^2),$

このとき$x$の軌跡は、原点をpedal pointとする垂足座標において、次のように与えられる。

$\frac{{(L-G(r^2))}^2}{p^2}=F(r^2)+c,$

この形式は2017年、ペトル・ブラシュケ（Petr Blaschke）によって発見された。

例

ケプラー問題を考える。

$\ddot{x}=-\frac{M}{|x{|}^3}x,$

垂足座標によって、即座に解にたどり着くことができる。

$\frac{L^2}{2p^2}=\frac{M}{r}+c,$

ここで$L$は粒子の角運動量、$c$はそのエネルギー。また、等式は垂足座標において円錐曲線を表すことが分かった。

逆に試験粒子が曲線テンプレート:Mvar上を動くために与える必要のある力を演繹することもできる。

特別な曲線

正弦波螺旋

正弦波螺旋は次の式で書かれる曲線である。

$r^n=a^n\sin (n\theta )$

偏接角は

$\psi =n\theta$

である。したがってpedal equationは、

$p{a}^n=r^{n+1}.$

となる。正弦波曲線の仲間のpedal equationを下の表に示した。

n	曲線	垂足点	Pedal eq.
任意	半径テンプレート:Mvarの円	中心	$p{a}^n=r^{n+1}$
1	直径テンプレート:Mvarの円	円周上の点	pa = r2
−1	直線	直線からテンプレート:Mvar離れた点	p = a
テンプレート:分数	カージオイド	尖点	p2a = r3
−テンプレート:分数	放物線	焦点	p2 = ar
2	ベルヌーイのレムニスケート	中心	pa2 = r3
−2	直角双曲線	中心	rp = a2

渦巻

$r=c{\theta }^{\alpha },$

の形で与えられる渦巻は次の式を満足する。

$\frac{dr}{d\theta }=\alpha r^{\frac{\alpha -1}{\alpha }},$

したがって、その垂足座標における表示は次のようになる。

$\frac{1}{p^2}=\frac{{\alpha }^2{c}^{\frac{2}{\alpha }}}{r^{2+\frac{2}{\alpha }}}+\frac{1}{r^2}.$

下の表は特別の場合。

$\alpha$	曲線	Pedal point	Pedal eq.
1	アルキメデスの螺旋	原点	$\frac{1}{p^2}=\frac{1}{r^2}+\frac{c^2}{r^4}$
−1	双曲螺旋	原点	$\frac{1}{p^2}=\frac{1}{r^2}+\frac{1}{c^2}$
テンプレート:分数	放物螺旋	原点	$\frac{1}{p^2}=\frac{1}{r^2}+\frac{c^4}{4r^6}$
−テンプレート:分数	リチュース	原点	$\frac{1}{p^2}=\frac{1}{r^2}+\frac{r^2}{4c^4}$

サイクロイド

エピサイクロイドまたはハイポサイクロイドは次のパラメトリック方程式で表せる。

$x(\theta )=(a+b)\cos \theta -b\cos \left(\frac{a+b}{b}\theta \right)$

$y(\theta )=(a+b)\sin \theta -b\sin \left(\frac{a+b}{b}\theta \right),$

原点におけるpedal equationは、

$r^2=a^2+\frac{4(a+b)b}{(a+2b{)}^2}{p}^2$

または、

$p^2=A(r^2-a^2)$

である。ただし、

$A=\frac{(a+2b{)}^2}{4(a+b)b}.$

特別の場合を以下の表に示した。b=テンプレート:分数とする。

n	曲線	Pedal eq.
1, −テンプレート:分数	カージオイド	$p^2=\frac{9}{8}(r^2-a^2)$
2, −テンプレート:分数	テンプレート:仮リンク	$p^2=\frac{4}{3}(r^2-a^2)$
−3, −テンプレート:分数	デルトイド	$p^2=-\frac{1}{8}(r^2-a^2)$
−4, −テンプレート:分数	アステロイド	$p^2=-\frac{1}{3}(r^2-a^2)$

他の曲線

他の有名な曲線においては下の表にまとめる。

曲線	方程式	Pedal point	Pedal eq.
直線	$ax+by+c=0$	原点	$p=\frac{|c|}{\sqrt{a^2+b^2}}$
点	$(x_0,y_0)$	原点	$r=\sqrt{x_0^2+y_0^2}$
円	$|x-a|=R$	原点	$2pR=r^2+R^2-|a{|}^2$
伸開線	$r=\frac{a}{\cos \alpha },\theta =\tan \alpha -\alpha$	原点	$p_c=|a|$
楕円	$\frac{x^2}{a^2}+\frac{y^2}{b^2}=1$	中心	$\frac{a^2{b}^2}{p^2}+r^2=a^2+b^2$
双曲線	$\frac{x^2}{a^2}-\frac{y^2}{b^2}=1$	中心	$-\frac{a^2{b}^2}{p^2}+r^2=a^2-b^2$
楕円	$\frac{x^2}{a^2}+\frac{y^2}{b^2}=1$	焦点	$\frac{b^2}{p^2}=\frac{2a}{r}-1$
双曲線	$\frac{x^2}{a^2}-\frac{y^2}{b^2}=1$	焦点	$\frac{b^2}{p^2}=\frac{2a}{r}+1$
対数螺旋	$r=a{e}^{\theta \cot \alpha }$	極	$p=r\sin \alpha$
テンプレート:仮リンク	$|x|+\alpha |x-a|=C,$	焦点	$b:=C^2-{\alpha }^2|a{|}^2$として、 $\frac{(b-(1-{\alpha }^2)r^2{)}^2}{4p^2}=\frac{Cb}{r}+(1-{\alpha }^2)Cr-((1-{\alpha }^2)C^2+b)$
カッシーニの卵形線	$|x||x-a|=C,$	焦点	$\frac{(3C^2+r^4-|a{|}^2{r}^2{)}^2}{p^2}=4C^2(\frac{2C^2}{r^2}+2r^2-|a{|}^2).$
カッシーニの卵形線	$|x-a||x+a|=C,$	中心	$2Rpr=r^4+R^2-|a{|}^2.$

関連項目

• 垂足曲線

出典

• テンプレート:Cite book
• テンプレート:Cite book

• テンプレート:Cite journal
• テンプレート:Cite arXiv

外部リンク

• テンプレート:MathWorld