バタフライ曲線は、 x とy の媒介変数方程式によって定義できる。 数学 では、媒介変数方程式は、 点 の座標 などの複数の量を、パラメータ と呼ばれる1つ以上の変数の 関数 として表現します。[ 1 ]
パラメータが1つの場合、移動点の軌跡 を表すためにパラメトリック方程式がよく使用されます。この場合、パラメータは多くの場合時間ですが、必ずしもそうとは限りません。そして、点はパラメトリック曲線 と呼ばれる曲線 を描きます。パラメータが2つの場合、点は パラメトリック曲面 と呼ばれる 曲面 を描きます。いずれの場合も、方程式はまとめて、対象物のパラメトリック表現 [ 2 ] 、パラメトリックシステム [ 3 ] 、またはパラメータ化 (parametrization 、parametrisationとも綴られます) [ 1 ] [ 4 ] [ 5 ] と呼ばれます。
例えば、方程式 x = コス t y = 罪 t {\displaystyle {\begin{aligned}x&=\cos t\\y&=\sin t\end{aligned}}} 単位円 のパラメトリック表現を形成します。ここで、t はパラメータです。点( x , y ) が単位円上にあるのは、 t の値が存在し、その値によってその点が生成される場合に限ります。個々のスカラー出力変数のパラメトリック方程式は、 ベクトル の単一のパラメトリック方程式に結合されることがあります。
( x 、 y ) = ( コス t 、 罪 t ) 。 {\displaystyle (x,y)=(\cos t,\sin t).}
パラメトリック表現は一般に一意ではないため(§ パラメトリック平面曲線 を参照)、同じ量が複数の異なるパラメータ化によって表現される可能性がある。[ 1 ]
曲線や曲面に加えて、パラメトリック方程式は、より高次元 の多様体 や代数多様体 を記述することができ、パラメータの数は多様体または多様体の次元に等しく、方程式の数は多様体または多様体が考慮される空間の次元に等しくなります(曲線の場合は次元が1 でパラメータが1つ 、曲面の場合は次元が2 でパラメータが2 つなど)。
パラメトリック方程式は、物体の軌跡を時間パラメータに依存する方程式で表す 運動学でよく使用されます。この用途のため、単一のパラメータはしばしば t とラベル付けされますが、パラメータは他の物理量 (幾何学的変数など) を表すことも、便宜上任意に選択することもできます。パラメータ化は一意ではなく、複数のパラメトリック方程式のセットが同じ曲線を指定する可能性があります。[ 6 ]
暗示化 一連の媒介変数方程式を単一の陰関数方程式 に変換するには、連立方程式から変数tを消去する必要があります。 x = f ( t ) 、 y = g ( t ) 。 {\displaystyle x=f(t),\ y=g(t).} このプロセスは「陰関数化 」と呼ばれます。これらの方程式のいずれかをt について解くことができれば、得られた式をもう一方の方程式に代入して、x とy のみを含む方程式を得ることができます。y = g ( t ) {\displaystyle y=g(t)} 取得するt = g − 1 ( y ) {\displaystyle t=g^{-1}(y)} そしてこれを使ってx = f ( t ) {\displaystyle x=f(t)} 明示的な方程式を与えるx = f ( g − 1 ( y ) ) 、 {\displaystyle x=f(g^{-1}(y)),} より複雑なケースでは、次の形式の陰方程式が得られます。h ( x 、 y ) = 0. {\displaystyle h(x,y)=0.}
パラメータ化が有理関数で与えられる場合 x = p ( t ) r ( t ) 、 y = q ( t ) r ( t ) 、 {\displaystyle x={\frac {p(t)}{r(t)}},\qquad y={\frac {q(t)}{r(t)}},}
ここで、 p 、q 、r は 集合 ごとに互いに素な多項式であり、結果 計算により陰関数化が可能になります。より正確には、陰関数方程式は、xr ( t ) – p ( t ) およびyr ( t ) – q ( t ) のt に関する結果 です。
高次元(2つ以上の座標または1つ以上のパラメータ)では、有理パラメータ方程式の陰解法は、グレブナー基底 計算によって行うことができます。グレブナー基底§ 高次元における陰解法を 参照してください。
半径a の円を例にとると、媒介変数方程式は 次のようになります。x = 1 コス ( t ) y = 1 罪 ( t ) {\displaystyle {\begin{aligned}x&=a\cos(t)\\y&=a\sin(t)\end{aligned}}}
は、ピタゴラスの三角恒等 式によってx とy に関して暗黙的に表すことができる。
x 1 = コス ( t ) y 1 = 罪 ( t ) {\displaystyle {\begin{aligned}{\frac {x}{a}}&=\cos(t)\\{\frac {y}{a}}&=\sin(t)\\\end{aligned}}} そして コス ( t ) 2 + 罪 ( t ) 2 = 1 、 {\displaystyle \cos(t)^{2}+\sin(t)^{2}=1,} 私たちは ( x 1 ) 2 + ( y 1 ) 2 = 1 、 {\displaystyle \left({\frac {x}{a}}\right)^{2}+\left({\frac {y}{a}}\right)^{2}=1,} そしてこうして x 2 + y 2 = 1 2 、 {\displaystyle x^{2}+y^{2}=a^{2},}
これは、原点を中心とする円の標準的な方程式です。
パラメトリック平面曲線
放物線 放物線 の最も単純な方程式は、 y = x 2 \displaystyle y=x^{2}}
自由パラメータt を使用し、 を設定する ことで、(簡単に)パラメータ化できます。x = t 、 y = t 2 f o r − ∞ < t < ∞ 。 {\displaystyle x=t,y=t^{2}\quad \mathrm {for} -\infty <t<\infty .}
明示的な方程式 より一般的には、明示的な方程式で与えられる曲線 y = f ( x ) {\displaystyle y=f(x)}
自由パラメータt を使用し、 を設定する ことで、(簡単に)パラメータ化できます。x = t 、 y = f ( t ) f o r − ∞ < t < ∞ 。 {\displaystyle x=t,y=f(t)\quad \mathrm {for} -\infty <t<\infty .}
丸 より高度な例は次のとおりです。通常の(デカルト)方程式で記述される単位円を考えてみましょう。 x 2 + y 2 = 1. {\displaystyle x^{2}+y^{2}=1.}
この方程式は、以下のようにパラメータ化できます。 ( x 、 y ) = ( コス ( t ) 、 罪 ( t ) ) のために 0 ≤ t < 2 π 。 {\displaystyle (x,y)=(\cos(t),\;\sin(t))\quad {\text{ for }}0\leq t<2\pi .}
デカルト座標系を用いた方程式では、点が円上にあるかどうかを簡単に確認できます。一方、パラメトリック座標系を用いた方程式では、グラフ上に点を簡単に取得できます。
場合によっては、有理関数 (つまり、2つの多項式 の分数)のみを含む媒介変数方程式が存在する場合、それが好ましい。円の場合、そのような有理パラメータ化 は次のようになる 。x = 1 − t 2 1 + t 2 y = 2 t 1 + t 2 。 {\displaystyle {\begin{aligned}x&={\frac {1-t^{2}}{1+t^{2}}}\\[6pt]y&={\frac {2t}{1+t^{2}}}\,.\end{aligned}}}
この一対の媒介変数方程式では、点(−1, 0)は t の実 数値ではなく、tが 無限大 に近づくときのx とy の極限 によって表されます。
楕円 標準位置にある楕円(中心が原点、長軸がx 軸に沿う)で、半軸がa とb のものは、パラメトリックに次のように表すことができます 。 x = 1 コス t y = b 罪 t 。 {\displaystyle {\begin{aligned}x&=a\,\cos t\\y&=b\,\sin t\,.\end{aligned}}}
一般位置 にある楕円は次のように表すことができます。 x = X c + 1 コス t コス φ − b 罪 t 罪 φ y = Y c + 1 コス t 罪 φ + b 罪 t コス φ {\displaystyle {\begin{alignedat}{4}x={}&&X_{\mathrm {c} }&+a\,\cos t\,\cos \varphi {}&&-b\,\sin t\,\sin \varphi \\y={}&&Y_{\mathrm {c} }&+a\,\cos t\,\sin \varphi {}&&+b\,\sin t\,\cos \varphi \end{alignedat}}}
パラメータt が 0 から 2π まで変化するとき。ここで( X c , Y c ) は楕円の中心であり、φは x 軸と楕円の長軸の間の角度です。
両方のパラメータ化は、正接半角公式 を使用し、設定することで合理的に することができます。タン t 2 = u 。 \tan t/2=u.
リサジュー曲線 k x = 3 およびk y = 2 のリサジュー曲線。リサジュー曲線 は楕円に似ていますが、x 軸とy 軸の正弦波 は同位相ではありません。標準位置では、リサジュー曲線は次のように表されます。 x = 1 コス ( k x t ) y = b 罪 ( k y t ) {\displaystyle {\begin{aligned}x&=a\,\cos(k_{x}t)\\y&=b\,\sin(k_{y}t)\end{aligned}}} ここで、k x とk y は 、図形の葉の数を表す定数である。
双曲線 東西に開く双曲線は 、次のようにパラメトリックに表すことができる。
x = 1 秒 t + h y = b タン t + k 、 {\displaystyle {\begin{aligned}x&=a\sec t+h\\y&=b\tan t+k\,,\end{aligned}}}
あるいは、合理的に
x = 1 1 + t 2 1 − t 2 + h y = b 2 t 1 − t 2 + k 。 {\displaystyle {\begin{aligned}x&=a{\frac {1+t^{2}}{1-t^{2}}}+h\\y&=b{\frac {2t}{1-t^{2}}}+k\,.\end{aligned}}}
南北に開く双曲線は、次のようにパラメトリックに表すことができる。
x = b タン t + h y = 1 秒 t + k 、 {\displaystyle {\begin{aligned}x&=b\tan t+h\\y&=a\sec t+k\,,\end{aligned}}}
あるいは、合理的に
x = b 2 t 1 − t 2 + h y = 1 1 + t 2 1 − t 2 + k 。 {\displaystyle {\begin{aligned}x&=b{\frac {2t}{1-t^{2}}}+h\\y&=a{\frac {1+t^{2}}{1-t^{2}}}+k\,.\end{aligned}}}
これらの式すべてにおいて、( h , k ) は双曲線の中心座標、a は長半径、b は 短半径です。これらの式の有理式では、点( −a , 0) と(0, −a )はそれぞれ t の実数値ではなく、 t が 無限大に近づくときのx とy の極限値であることに注意してください。
ヒポトロコイド ハイポトロコイドとは、半径 r の円に取り付けられた点が、半径R の固定された円の内側を転がる際に描く曲線であり、その点は内側の円の中心から距離dの位置にある。
R = 5 、r = 3 、d = 5 のハイポトロコイド
ハイポトロコイドの媒介変数表示は以下のとおりです。
x ( θ ) = ( R − r ) コス θ + d コス ( R − r r θ ) y ( θ ) = ( R − r ) 罪 θ − d 罪 ( R − r r θ ) 。 {\displaystyle {\begin{aligned}x(\theta )&=(Rr)\cos \theta +d\cos \left({Rr \over r}\theta \right)\\y(\theta )&=(Rr)\sin \theta -d\sin \left({Rr \over r}\theta \right)\,.\end{aligned}}}
いくつかの例を挙げます。
パラメトリック空間曲線 アニメーション化されたパラメトリックらせん
ヘリックス パラメトリックヘリックス 媒介変数表示は、高次元空間における曲線 を記述するのに便利です。例えば、次のようになります。
x = 1 コス ( t ) y = 1 罪 ( t ) z = b t {\displaystyle {\begin{aligned}x&=a\cos(t)\\y&=a\sin(t)\\z&=bt\,\end{aligned}}}
これは、半径がaで、1 回転あたり 2πb 単位ずつ上昇する3 次元曲線、らせんを記述します。 平面上では 、 方程式は円の方程式と同一です。上記のような式は、一般的に次のように記述されます。
r ( t ) = ( x ( t ) 、 y ( t ) 、 z ( t ) ) = ( 1 コス ( t ) 、 1 罪 ( t ) 、 b t ) 、 {\displaystyle {\begin{aligned}\mathbf {r} (t)&=(x(t),y(t),z(t))\\&=(a\cos(t),a\sin(t),bt)\,,\end{aligned}}}
ここで、r は3次元ベクトルである。
パラメトリック曲面 主半径R および副半径r のトーラスは 、次のようにパラメトリックに定義できます。
x = コス ( t ) ( R + r コス ( u ) ) 、 y = 罪 ( t ) ( R + r コス ( u ) ) 、 z = r 罪 ( u ) 。 {\displaystyle {\begin{aligned}x&=\cos(t)\left(R+r\cos(u)\right),\\y&=\sin(t)\left(R+r\cos(u)\right),\\z&=r\sin(u)\,.\end{aligned}}}
ここで、2つのパラメータt とuは 両方とも0 から2πの 間で変化します。
uが 0から 2π まで変化すると、表面上の点はトーラスの穴を通る短い円周上を移動する。tが0から2πまで変化すると、 表面 上 の 点はトーラスの穴の周りの長い円周上を 移動する。
直線 点を通る直線の媒介変数表示( x 0 、 y 0 、 z 0 ) {\displaystyle \left(x_{0},y_{0},z_{0}\right)} そしてベクトルに平行1 私 ^ + b j ^ + c k ^ {\displaystyle a{\hat {\mathbf {i} }}+b{\hat {\mathbf {j} }}+c{\hat {\mathbf {k} }}} [ 7 ]
x = x 0 + 1 t y = y 0 + b t z = z 0 + c t {\displaystyle {\begin{aligned}x&=x_{0}+at\\y&=y_{0}+bt\\z&=z_{0}+ct\end{aligned}}}
アプリケーション
運動学 運動学 では、物体の空間における軌跡は一般的にパラメトリック曲線として記述され、各空間座標は独立したパラメータ(通常は時間)に明示的に依存します。このように使用されると、物体の座標に関する一連のパラメトリック方程式は、位置に関するベクトル値関数を構成します。このようなパラメトリック曲線は、項ごとに 積分 および微分すること ができます。したがって、粒子の位置がパラメトリックに記述される場合、 r ( t ) = ( x ( t ) 、 y ( t ) 、 z ( t ) ) 、 {\displaystyle \mathbf {r} (t)=(x(t),y(t),z(t))\,,}
すると、その速度は 次のように求められる。 v ( t ) = r ′ ( t ) = ( x ′ ( t ) 、 y ′ ( t ) 、 z ′ ( t ) ) 、 {\displaystyle {\begin{aligned}\mathbf {v} (t)&=\mathbf {r} '(t)\\&=(x'(t),y'(t),z'(t))\,,\end{aligned}}}
そしてその加速 は 1 ( t ) = v ′ ( t ) = r 」 ( t ) = ( x 」 ( t ) 、 y 」 ( t ) 、 z 」 ( t ) ) 。 {\displaystyle {\begin{aligned}\mathbf {a} (t)&=\mathbf {v} '(t)=\mathbf {r} ''(t)\\&=(x''(t),y''(t),z''(t))\,.\end{aligned}}}
コンピュータ支援設計 パラメトリック方程式のもう1つの重要な用途は、コンピュータ支援設計 (CAD)の分野です。 [ 8 ] 例えば、平面曲線 を記述するために一般的に使用される次の3つの表現を考えてみましょう。
それぞれの表現方法には、CADアプリケーションにおける利点と欠点がある。
明示的な表現は非常に複雑になる場合があり、場合によっては存在しないこともあります。さらに、幾何学的変換 、特に回転 に対してはうまく機能しません。一方、明示的な表現からはパラメトリック方程式と陰関数方程式を容易に導出できるため、単純な明示的な表現が存在する場合は、他の2つの表現の利点を兼ね備えています。
暗黙的な表現を用いると、曲線上の点を生成すること、さらには実点が存在するかどうかを判断することさえ困難になる場合がある。一方で、与えられた点が曲線上にあるかどうか、あるいは閉曲線の内側か外側かを判断するには非常に適している。
パラメトリック表現ではそのような決定は難しいかもしれないが、パラメトリック表現は曲線上の点を生成し、それをプロットするのに最適である。[ 9 ]
整数幾何学 整数幾何学 における多くの問題は、媒介変数表示を用いて解くことができる。古典的な例としては、直角三角形 の辺の長さa 、 b と斜辺c が互いに素な整数 となるようにするユークリッド の媒介変数表示がある。aとb は 両方とも偶数ではない(そうでなければ a 、 b 、 c は互いに素ではない)ので、a と b を入れ替えて a を偶数にすると、 媒介変数 表示は次のようになる。
1 = 2 m n b = m 2 − n 2 c = m 2 + n 2 、 {\displaystyle {\begin{aligned}a&=2mn\\b&=m^{2}-n^{2}\\c&=m^{2}+n^{2}\,,\end{aligned}}}
ここで、パラメータm とn は互いに素な正の整数であり、両方とも奇数ではない。
a 、b 、c に任意の正の整数を掛けることで 、3辺の長さが整数であるすべての直角三角形のパラメータ表示が得られる。
劣決定線形システム n 個 の未知数を持つm 個 の線形方程式 系は、解が複数ある場合、不確定で ある。これは、系の行列とその 拡大行列の ランク r が同じで、r < n の場合に発生する。この場合、n − r 個の 未知数をパラメータとして選択し、すべての解を、選択された未知数の線形結合 としてすべての未知数を表すパラメータ方程式として表現することができる。つまり、未知数がx 1 、 … 、 x n 、 {\displaystyle x_{1},\ldots ,x_{n},} 解を表現するためにそれらを並べ替えることができる[ 10 ]
x 1 = β 1 + ∑ j = r + 1 n α 1 、 j x j ⋮ x r = β r + ∑ j = r + 1 n α r 、 j x j x r + 1 = x r + 1 ⋮ x n = x n 。 {\displaystyle {\begin{aligned}x_{1}&=\beta _{1}+\sum _{j=r+1}^{n}\alpha _{1,j}x_{j}\\\vdots \\x_{r}&=\beta _{r}+\sum _{j=r+1}^{n}\alpha _{r,j}x_{j}\\x_{r+1}&=x_{r+1}\\\vdots \\x_{n}&=x_{n}.\end{aligned}}}
このようなパラメトリック方程式は、システムの解の「パラメトリック形式」と呼ばれます。 [ 10 ]
解のパラメトリック形式を計算する標準的な方法は、拡大行列の簡約行階段形 を計算するためにガウス消去法を使用することです。次に、パラメータとして使用できる未知数は、 先頭要素 (つまり、行または行列の最も左にある非ゼロ要素)を含まない列に対応するものであり、パラメトリック形式は容易に導出できます。[ 10 ]
注記 1 2 3 Weisstein, Eric W. "Parametric Equations" . MathWorld . ↑ クレイジグ、エルヴィン (1972). 高度工学数学 (第 3 版). ニューヨーク: ワイリー . pp. 291, 342. ISBN 0-471-50728-8 。↑バーデン 、 リチャード・L.、フェアーズ、J・ダグラス(1993)。 数値解析 (第5 版)。ボストン: ブルックス/コール 。p. 149。ISBN 0-534-93219-3 。↑ Thomas, George B.; Finney, Ross L. (1979). Calculus and Analytic Geometry (fifth ed.). Addison-Wesley . p. 91. ↑ Nykamp, Duane. "平面パラメータ化の例" . mathinsight.org . 2017-04-14 に取得. ↑ スピッツバート、アブラハム (1975). 解析幾何学を伴う微積分 . イリノイ州グレビュー: スコット・フォーズマン・アンド・カンパニー. ISBN 0-673-07907-4 2015年8月30日 に取得 。↑ 微積分:単変数および多変数 。ジョン・ワイリー。2012年10月29日。919 ページ 。ISBN 9780470888612 OCLC 828768012 ↑ スチュワート、ジェームズ (2003). 微積分 (第5 版). ベルモント、カリフォルニア州:トムソン・ラーニング社. pp. 687–689 . ISBN 0-534-39339-X 。↑ Shah, Jami J. ; Martti Mantyla (1995). Parametric and feature-based CAD/CAM: concepts, techniques, and applications . New York, NY: John Wiley & Sons, Inc. pp. 29–31 . ISBN 0-471-00214-3 。1 2 3 Anton, Howard; Rorres, Chris (2014) [1973]. "1.2 ガウス消去法" . 初等線形代数 (第 11 版). Wiley. pp. 11–24 .
外部リンク 平面上にパラメトリック曲線を描画するWebアプリケーション