Plane curve: conic section
双曲線は、2本の枝を持つ開曲線で、 平面と 二重円錐 の両半分との交点です 。平面は円錐の軸と平行である必要はなく、いずれの場合も双曲線は対称になります。 双曲線(赤):特徴 数学 において 、 双曲線は 平面上に存在する 滑らかな 曲線の一種であり、幾何学的特性、または それが解の集合となる 方程式 によって定義されます。双曲線には、 連結成分 または枝と呼ばれる 2 つの部分があり、これらは互いに鏡像関係にあり、2 つの無限の 弓形に似ています。双曲線は、 平面 と二重 円錐 の交差によって形成される3 種類の 円錐断面 の 1 つです (他の円錐断面には、 放物線 と 楕円が あります。 円は 楕円の特殊なケースです)。平面が二重円錐の両方の半分と交差し、円錐の頂点を通らない場合、その円錐は双曲線です。
双曲線は円錐曲線であるほか、 2 つの固定 焦点 までの距離の差が一定である点の 軌跡 、各点の 2 つの固定焦点への光線がその点での 接線 を横切る 反射となる曲線、または 逆数 関係 などの特定の 2 変数 二次方程式 の解として発生することもあります。実際の応用では、双曲線は、 日時計 の 日時計 の針の先端の影がたどる経路、最も近い重力体の 脱出速度 を超える天体などの 開いた軌道 の形状 、または 素粒子 の 散乱軌道 、などとして発生することがあります。 x y = 1. {\displaystyle xy=1.}
双曲線の各 枝 には2本の腕があり、双曲線の中心から離れるにつれて、より直線的(曲率が低い)になります。各枝から1本ずつ対角線上に伸びる腕は、極限において共通線に向かいます。この共通線は、2本の腕の 漸近線と呼ばれます。したがって、2本の漸近線が存在し、その交点は双曲線の 対称 中心にあります 。対称中心は、各枝が互いに反射して他の枝を形成する鏡像点と考えることができます。曲線の場合、 漸近線は2つの 座標軸 です。 y ( x ) = 1 / x {\displaystyle y(x)=1/x}
双曲線は、楕円の解析的性質の多く、例えば 離心率 、 焦点 、 準線 などを共有しています。通常、これらの対応は、ある項の符号を変えるだけで実現できます。 双曲放物面 ( 鞍 面)、 双曲面 (「ゴミ箱」)、双曲幾何学 ( ロバチェフ スキーの有名な 非ユークリッド 幾何学 )、 双曲関数 (sinh、cosh、tanhなど)、 ジャイロベクトル空間( 相対論 と 量子力学の 両方で用いるために提案されたユークリッド 幾何学 ではない )など、他の多くの数学的対象も双曲線に由来しています。
語源と歴史 「双曲線(hyperbola)」という単語は、 ギリシャ語の ὑπερβολή (「投げられた」または「過剰な」という意味)に由来し、英語の hyperboleもこの語源から来ています。 双曲線は、 メナエクモス が立方体を2倍にする問題の研究中に 発見しました が、当時は鈍角円錐の断面と呼ばれていました。 [2]双曲線という用語は、 ペルガのアポロニウス ( 紀元前 262 年頃 - 紀元前 190年頃)が 円錐断面 に関する決定的な著作『円錐曲線』の中で 造語 し たと考えられています 。 [3]他の2つの一般的な円錐断面、 楕円 と 放物線 の名称は 、それぞれ「不足した」と「応用された」を意味するギリシャ語に由来しています。これら3つの名称はすべて、一定面積の長方形の辺と与えられた線分との比較を指していた、初期のピタゴラス学派の用語から借用されています。長方形は線分に「適用」される(つまり、等しい長さになる)、線分より短くなる、または線分を超えることができる。 [4]
定義
点の軌跡として 双曲線:2つの固定点(焦点)までの点の距離による定義 双曲線:円準線による定義 双曲線は、 ユークリッド平面上の
点の 集合 ( 点の軌跡)として幾何学的に定義できます。
双曲線 と は、点の集合であり、その集合の任意の点について、 2つの固定点 ( 焦点 )までの距離の絶対差が 一定であり、通常は次のように表される 。 P {\displaystyle P} | P F 1 | , | P F 2 | {\displaystyle |PF_{1}|,\,|PF_{2}|} F 1 , F 2 {\displaystyle F_{1},F_{2}} 2 a , a > 0 {\displaystyle 2a,\,a>0} H = { P : | | P F 2 | − | P F 1 | | = 2 a } . {\displaystyle H=\left\{P:\left|\left|PF_{2}\right|-\left|PF_{1}\right|\right|=2a\right\}.} 焦点を結ぶ線分の 中点は 双曲線の 中心と呼ばれます。 焦点を通る線は 長軸 と呼ばれます。長軸には 頂点 が含まれ、頂点から中心までの距離は です。 焦点から中心までの 距離は 焦点距離 または 線離心率 と呼ばれます。その商が 離心率 です 。 M {\displaystyle M} V 1 , V 2 {\displaystyle V_{1},V_{2}} a {\displaystyle a} c {\displaystyle c} c a {\displaystyle {\tfrac {c}{a}}} e {\displaystyle e}
この式は 別の見方もできます(図を参照)。 が中点 、半径 の円である 場合、 円の右枝の 点から焦点 までの距離は 、 双曲線
の 円準線 (焦点 に関連) と呼ばれます 。 [7] [8] 双曲線の左枝を得るには、 に関連する円準線を使用する必要があります 。 この特性は、以下の準線(直線)を使用した双曲線の定義と混同しないでください。 | | P F 2 | − | P F 1 | | = 2 a {\displaystyle \left|\left|PF_{2}\right|-\left|PF_{1}\right|\right|=2a} c 2 {\displaystyle c_{2}} F 2 {\displaystyle F_{2}} 2 a {\displaystyle 2a} P {\displaystyle P} c 2 {\displaystyle c_{2}} F 1 {\displaystyle F_{1}} | P F 1 | = | P c 2 | . {\displaystyle |PF_{1}|=|Pc_{2}|.} c 2 {\displaystyle c_{2}} F 2 {\displaystyle F_{2}} F 1 {\displaystyle F_{1}}
方程式付き双曲線 y = A / x 直角双曲線を関数のグラフとして記述するために座標系を回転させる 座標軸を漸近線とする 3つの長方形双曲線 赤: A = 1、マゼンタ: A = 4、青: A = 9 y = A / x {\displaystyle y=A/x} xy 座標系を 原点を中心に角度だけ 回転させ 、新しい座標 を割り当てると、 となる 。 直角双曲線 (その 半軸 が等しい)は新しい方程式 を持つ 。 を解く と 、 + 45 ∘ {\displaystyle +45^{\circ }} ξ , η {\displaystyle \xi ,\eta } x = ξ + η 2 , y = − ξ + η 2 {\displaystyle x={\tfrac {\xi +\eta }{\sqrt {2}}},\;y={\tfrac {-\xi +\eta }{\sqrt {2}}}} x 2 − y 2 a 2 = 1 {\displaystyle {\tfrac {x^{2}-y^{2}}{a^{2}}}=1} 2 ξ η a 2 = 1 {\displaystyle {\tfrac {2\xi \eta }{a^{2}}}=1} η {\displaystyle \eta } η = a 2 / 2 ξ . {\displaystyle \eta ={\tfrac {a^{2}/2}{\xi }}\ .}
したがって、 xy 座標系では、方程式を持つ 関数のグラフは、 第1象限と第3 象限 で
完全に 直角双曲線 となり、 f : x ↦ A x , A > 0 , {\displaystyle f:x\mapsto {\tfrac {A}{x}},\;A>0\;,} y = A x , A > 0 , {\displaystyle y={\frac {A}{x}}\;,A>0\;,}
座標軸を 漸近線 として、 線を 主軸 として 、 y = x {\displaystyle y=x} 中心 と 半軸 ( 0 , 0 ) {\displaystyle (0,0)} a = b = 2 A , {\displaystyle a=b={\sqrt {2A}}\;,} 頂点 ( A , A ) , ( − A , − A ) , {\displaystyle \left({\sqrt {A}},{\sqrt {A}}\right),\left(-{\sqrt {A}},-{\sqrt {A}}\right)\;,} 半 直筋 と 頂点の 曲率半径 p = a = 2 A , {\displaystyle p=a={\sqrt {2A}}\;,} 直線 偏心 と偏心 c = 2 A {\displaystyle c=2{\sqrt {A}}} e = 2 , {\displaystyle e={\sqrt {2}}\;,} 点 における 接線 y = − A x 0 2 x + 2 A x 0 {\displaystyle y=-{\tfrac {A}{x_{0}^{2}}}x+2{\tfrac {A}{x_{0}}}} ( x 0 , A / x 0 ) . {\displaystyle (x_{0},A/x_{0})\;.} 元の双曲線を回転すると 、第2象限と第4象限に完全に直角双曲線が生じ、回転の場合と同じ漸近線、中心、半直角、頂点の曲率半径、線形偏心、および偏心を持ち 、方程式は − 45 ∘ {\displaystyle -45^{\circ }} + 45 ∘ {\displaystyle +45^{\circ }} y = − A x , A > 0 , {\displaystyle y=-{\frac {A}{x}}\;,~~A>0\;,}
半 軸 a = b = 2 A , {\displaystyle a=b={\sqrt {2A}}\;,} 線 を主軸として、 y = − x {\displaystyle y=-x} 頂点 ( − A , A ) , ( A , − A ) . {\displaystyle \left(-{\sqrt {A}},{\sqrt {A}}\right),\left({\sqrt {A}},-{\sqrt {A}}\right)\;.} 双曲線を 式 で移動し、 新しい中心を とすると 、 新しい式 が得られ 、新しい漸近線は と になります 。形状パラメータは 変化しません。 y = A x , A ≠ 0 , {\displaystyle y={\frac {A}{x}},\ A\neq 0\ ,} ( c 0 , d 0 ) {\displaystyle (c_{0},d_{0})} y = A x − c 0 + d 0 , {\displaystyle y={\frac {A}{x-c_{0}}}+d_{0}\;,} x = c 0 {\displaystyle x=c_{0}} y = d 0 {\displaystyle y=d_{0}} a , b , p , c , e {\displaystyle a,b,p,c,e}
準線の性質により 双曲線:準線の性質 双曲線:準線性を持つ定義 中心から 離れて短軸に平行な 2 本の線は 双曲線の 準線と呼ばれます (図を参照)。 d = a 2 c {\textstyle d={\frac {a^{2}}{c}}}
双曲線の任意の点について、 1 つの焦点までの距離と対応する準線までの距離の商 (図を参照) は離心率に等しくなります。 このペアの証明は 、 と が次の式 を満たす という事実から得られます。2 番目のケースも同様に証明されます。 P {\displaystyle P} | P F 1 | | P l 1 | = | P F 2 | | P l 2 | = e = c a . {\displaystyle {\frac {|PF_{1}|}{|Pl_{1}|}}={\frac {|PF_{2}|}{|Pl_{2}|}}=e={\frac {c}{a}}\,.} F 1 , l 1 {\displaystyle F_{1},l_{1}} | P F 1 | 2 = ( x − c ) 2 + y 2 , | P l 1 | 2 = ( x − a 2 c ) 2 {\displaystyle |PF_{1}|^{2}=(x-c)^{2}+y^{2},\ |Pl_{1}|^{2}=\left(x-{\tfrac {a^{2}}{c}}\right)^{2}} y 2 = b 2 a 2 x 2 − b 2 {\displaystyle y^{2}={\tfrac {b^{2}}{a^{2}}}x^{2}-b^{2}} | P F 1 | 2 − c 2 a 2 | P l 1 | 2 = 0 . {\displaystyle |PF_{1}|^{2}-{\frac {c^{2}}{a^{2}}}|Pl_{1}|^{2}=0\ .}
共通の頂点と共通の半横隔膜を持つ円錐曲線の鉛筆 逆 の記述 も真であり、双曲線を定義するために使用できます (放物線の定義と同様の方法で)。
任意の点 (焦点)、その点 を通らない任意の直線(準線) 、および点の集合(点の軌跡) を持つ 任意の実数 について、その点までの距離と直線までの距離の商が 双曲線になります。 F {\displaystyle F} l {\displaystyle l} F {\displaystyle F} e {\displaystyle e} e > 1 {\displaystyle e>1} e {\displaystyle e} H = { P | | P F | | P l | = e } {\displaystyle H=\left\{P\,{\Biggr |}\,{\frac {|PF|}{|Pl|}}=e\right\}}
( を選択すると 放物線 になり、 を選択すると 楕円 に なります 。) e = 1 {\displaystyle e=1} e < 1 {\displaystyle e<1}
証拠 とし、 が曲線上の点であると 仮定する。準線は 方程式 を持つ 。 とすると 、関係式は 次の方程式を生成する。 F = ( f , 0 ) , e > 0 {\displaystyle F=(f,0),\ e>0} ( 0 , 0 ) {\displaystyle (0,0)} l {\displaystyle l} x = − f e {\displaystyle x=-{\tfrac {f}{e}}} P = ( x , y ) {\displaystyle P=(x,y)} | P F | 2 = e 2 | P l | 2 {\displaystyle |PF|^{2}=e^{2}|Pl|^{2}}
( x − f ) 2 + y 2 = e 2 ( x + f e ) 2 = ( e x + f ) 2 {\displaystyle (x-f)^{2}+y^{2}=e^{2}\left(x+{\tfrac {f}{e}}\right)^{2}=(ex+f)^{2}} そして x 2 ( e 2 − 1 ) + 2 x f ( 1 + e ) − y 2 = 0. {\displaystyle x^{2}(e^{2}-1)+2xf(1+e)-y^{2}=0.} 置換 により、
これは 楕円 ( )、 放物線 ( )、 双曲線 ( ) の方程式です 。これらの非退化円錐曲線はすべて、原点を頂点とするという共通点を持っています(図を参照)。 p = f ( 1 + e ) {\displaystyle p=f(1+e)} x 2 ( e 2 − 1 ) + 2 p x − y 2 = 0. {\displaystyle x^{2}(e^{2}-1)+2px-y^{2}=0.} e < 1 {\displaystyle e<1} e = 1 {\displaystyle e=1} e > 1 {\displaystyle e>1}
の場合、 となるように 新しいパラメータを導入すると 、上の方程式は となり、
これは中心 、 x 軸を長軸 、長/短半軸 を 持つ双曲線の方程式になります 。 e > 1 {\displaystyle e>1} a , b {\displaystyle a,b} e 2 − 1 = b 2 a 2 , and p = b 2 a {\displaystyle e^{2}-1={\tfrac {b^{2}}{a^{2}}},{\text{ and }}\ p={\tfrac {b^{2}}{a}}} ( x + a ) 2 a 2 − y 2 b 2 = 1 , {\displaystyle {\frac {(x+a)^{2}}{a^{2}}}-{\frac {y^{2}}{b^{2}}}=1\,,} ( − a , 0 ) {\displaystyle (-a,0)} a , b {\displaystyle a,b}
双曲線:準線の構築
準線の構築 準線 ( 図参照)と焦点は円 に関して逆向きである ため、 円 (図の緑色)での 反転は逆向きです。したがって、点は タレスの定理 (図には示されていません)を用いて作図できます 。準線は、 点を通る 直線への垂線です 。 c ⋅ a 2 c = a 2 {\displaystyle c\cdot {\tfrac {a^{2}}{c}}=a^{2}} L 1 {\displaystyle L_{1}} l 1 {\displaystyle l_{1}} F 1 {\displaystyle F_{1}} x 2 + y 2 = a 2 {\displaystyle x^{2}+y^{2}=a^{2}} E 1 {\displaystyle E_{1}} l 1 {\displaystyle l_{1}} F 1 F 2 ¯ {\displaystyle {\overline {F_{1}F_{2}}}} E 1 {\displaystyle E_{1}}
の別の構築 E 1 {\displaystyle E_{1}} : 計算により、その点は 漸近線とその垂線との交点であることが示されます (図を参照)。 E 1 {\displaystyle E_{1}} F 1 {\displaystyle F_{1}}
円錐の平面断面として 双曲線(赤):円錐の2つのビューと2つのダンデリン球 d 1 、 d 2 直立した二重円錐と、頂点を通らず、かつ円錐上の直線の傾きよりも大きい傾きを持つ平面との交点は双曲線です(図の赤い曲線を参照)。双曲線の定義特性(上記参照)を証明するために、2つの ダンデリン球 (円 に沿って円錐に接する球)と 、 点 および で交差する(双曲線の)平面 を 使用します 。 その結果、は双曲線の 焦点であること がわかります 。 d 1 , d 2 {\displaystyle d_{1},d_{2}} c 1 {\displaystyle c_{1}} c 2 {\displaystyle c_{2}} F 1 {\displaystyle F_{1}} F 2 {\displaystyle F_{2}} F 1 , F 2 {\displaystyle F_{1},F_{2}}
交差曲線上の任意の点を とします 。 P {\displaystyle P} 円 を含む円錐の 母線 は 、円と点 および円 と点で 交差します 。 P {\displaystyle P} c 1 {\displaystyle c_{1}} A {\displaystyle A} c 2 {\displaystyle c_{2}} B {\displaystyle B} 線分 と線分 は球に接しており 、したがって長さが等しくなります。 P F 1 ¯ {\displaystyle {\overline {PF_{1}}}} P A ¯ {\displaystyle {\overline {PA}}} d 1 {\displaystyle d_{1}} 線分 と線分 は球に接しており 、したがって長さが等しくなります。 P F 2 ¯ {\displaystyle {\overline {PF_{2}}}} P B ¯ {\displaystyle {\overline {PB}}} d 2 {\displaystyle d_{2}} 結果は次のようになります。 は双曲線の点 とは独立です 。 なぜなら、 点がどこにあっても、円 、 、 上にあり、 線分は 頂点を横切る必要があるからです。したがって、点が 赤い曲線(双曲線)に沿って移動すると、線分は 長さを変えずに頂点を中心に回転するだけです。 | P F 1 | − | P F 2 | = | P A | − | P B | = | A B | {\displaystyle |PF_{1}|-|PF_{2}|=|PA|-|PB|=|AB|} P {\displaystyle P} P {\displaystyle P} A , B {\displaystyle A,B} c 1 {\displaystyle c_{1}} c 2 {\displaystyle c_{2}} A B {\displaystyle AB} P {\displaystyle P} A B ¯ {\displaystyle {\overline {AB}}}
ピンと紐の構造 双曲線:ピンと紐を使った作図 双曲線の焦点と円準線による定義(上記参照)は、ピン、糸、定規を使って双曲線の円弧を描く際に使用できます。 [9]
焦点 と 円の準線 の1つを選択します( 例 :半径 の円 ) F 1 , F 2 {\displaystyle F_{1},F_{2}} c 2 {\displaystyle c_{2}} 2 a {\displaystyle 2a} 定規 は 点 に固定されており、 その周りを自由に回転できます 。点 は 距離 にマークされています 。 F 2 {\displaystyle F_{2}} F 2 {\displaystyle F_{2}} B {\displaystyle B} 2 a {\displaystyle 2a} 糸 の 一端を 定規の点に固定し、長さを測ります 。 A {\displaystyle A} | A B | {\displaystyle |AB|} 弦の自由端は点 に固定されます 。 F 1 {\displaystyle F_{1}} ペン を手に取り 、定規の端に紐をしっかりと当てます。 定規を 回転させると、 ペンは双曲線の右枝の円弧を描きます。これは、 ( 円準線 による双曲線の定義を参照 ) によるものです。 F 2 {\displaystyle F_{2}} | P F 1 | = | P B | {\displaystyle |PF_{1}|=|PB|}
シュタイナー双曲線生成 双曲線:シュタイナー世代 双曲線 y = 1/ x : シュタイナー世代 双曲線の単一点を構築する次の方法は、 非退化円錐曲線のシュタイナー生成 に依存しています。
2 点における 2 つの線分 束 (すべての線分はそれぞれ と を含む) と から へ の 射影写像 (透視写像ではない)が与えられている 場合、対応する線分の交点は非退化射影円錐曲線を形成します。 B ( U ) , B ( V ) {\displaystyle B(U),B(V)} U , V {\displaystyle U,V} U {\displaystyle U} V {\displaystyle V} π {\displaystyle \pi } B ( U ) {\displaystyle B(U)} B ( V ) {\displaystyle B(V)} 双曲線の点を生成するには、 頂点 における線分束を用いる 。 を 双曲線の点とし、 とする 。線分は n 個の等間隔の線分に分割され、この分割線分は対角線を として線分に平行に投影される (図を参照)。平行投影は、必要な とにおける線分束 間の射影写像の一部である 。任意の2つの関連する線分と の交点は 、 一意に定義された双曲線の点である。 x 2 a 2 − y 2 b 2 = 1 {\displaystyle {\tfrac {x^{2}}{a^{2}}}-{\tfrac {y^{2}}{b^{2}}}=1} V 1 , V 2 {\displaystyle V_{1},V_{2}} P = ( x 0 , y 0 ) {\displaystyle P=(x_{0},y_{0})} A = ( a , y 0 ) , B = ( x 0 , 0 ) {\displaystyle A=(a,y_{0}),B=(x_{0},0)} B P ¯ {\displaystyle {\overline {BP}}} A B {\displaystyle AB} A P ¯ {\displaystyle {\overline {AP}}} V 1 {\displaystyle V_{1}} V 2 {\displaystyle V_{2}} S 1 A i {\displaystyle S_{1}A_{i}} S 2 B i {\displaystyle S_{2}B_{i}}
備考:
分割を点を超えて拡張し 、 より多くの点を得ることもできますが、交点の決定がより不正確になります。より良い方法は、対称性によって既に構築された点を拡張することです(アニメーションを参照)。 A {\displaystyle A} B {\displaystyle B} シュタイナー生成は楕円や放物線にも存在します。 シュタイナー生成法は、 頂点ではなく他の点を使用できるため、 長方形ではなく 平行四辺形から始まるため、 平行四辺形法と呼ばれることもあります。
双曲線:円周角定理 方程式を持つ双曲線は、 異なる x 座標と y 座標を持つ3点によって一意に決定されます 。形状パラメータを決定する簡単な方法は、双曲線の 円周角定理 を用いることです 。 y = a x − b + c , a ≠ 0 {\displaystyle y={\tfrac {a}{x-b}}+c,\ a\neq 0} ( x 1 , y 1 ) , ( x 2 , y 2 ) , ( x 3 , y 3 ) {\displaystyle (x_{1},y_{1}),\;(x_{2},y_{2}),\;(x_{3},y_{3})} a , b , c {\displaystyle a,b,c}
この文脈では、方程式を使って2本の直線の間の 角度を測定する ために、 商を使う。 y = m 1 x + d 1 , y = m 2 x + d 2 , m 1 , m 2 ≠ 0 {\displaystyle y=m_{1}x+d_{1},\ y=m_{2}x+d_{2}\ ,m_{1},m_{2}\neq 0} m 1 m 2 . {\displaystyle {\frac {m_{1}}{m_{2}}}\ .} 円の円周 角 定理と同様に、
双曲線の円周角定理 [10] [11] — 4点 (図参照)に対して次の命題が成り立つ。 P i = ( x i , y i ) , i = 1 , 2 , 3 , 4 , x i ≠ x k , y i ≠ y k , i ≠ k {\displaystyle P_{i}=(x_{i},y_{i}),\ i=1,2,3,4,\ x_{i}\neq x_{k},y_{i}\neq y_{k},i\neq k}
4点が方程式を満たす双曲線上にあることと、その場合の必要条件は 、 と における角度が 上記の測定の意味で等しいことである。つまり、 y = a x − b + c {\displaystyle y={\tfrac {a}{x-b}}+c} P 3 {\displaystyle P_{3}} P 4 {\displaystyle P_{4}} ( y 4 − y 1 ) ( x 4 − x 1 ) ( x 4 − x 2 ) ( y 4 − y 2 ) = ( y 3 − y 1 ) ( x 3 − x 1 ) ( x 3 − x 2 ) ( y 3 − y 2 ) {\displaystyle {\frac {(y_{4}-y_{1})}{(x_{4}-x_{1})}}{\frac {(x_{4}-x_{2})}{(y_{4}-y_{2})}}={\frac {(y_{3}-y_{1})}{(x_{3}-x_{1})}}{\frac {(x_{3}-x_{2})}{(y_{3}-y_{2})}}}
証明は簡単な計算で導き出せます。点が双曲線上にある場合、双曲線の方程式は と仮定できます 。 y = a / x {\displaystyle y=a/x}
双曲線の円周角定理の帰結は、
双曲線方程式の 3 点形式 — 3 点で決定される双曲線の方程式は 、 の 方程式の解です 。 P i = ( x i , y i ) , i = 1 , 2 , 3 , x i ≠ x k , y i ≠ y k , i ≠ k {\displaystyle P_{i}=(x_{i},y_{i}),\ i=1,2,3,\ x_{i}\neq x_{k},y_{i}\neq y_{k},i\neq k} ( y − y 1 ) ( x − x 1 ) ( x − x 2 ) ( y − y 2 ) = ( y 3 − y 1 ) ( x 3 − x 1 ) ( x 3 − x 2 ) ( y 3 − y 2 ) {\displaystyle {\frac {({\color {red}y}-y_{1})}{({\color {green}x}-x_{1})}}{\frac {({\color {green}x}-x_{2})}{({\color {red}y}-y_{2})}}={\frac {(y_{3}-y_{1})}{(x_{3}-x_{1})}}{\frac {(x_{3}-x_{2})}{(y_{3}-y_{2})}}} y {\displaystyle {\color {red}y}}
単位双曲線のアフィン像として x 2 − y 2 = 1 単位双曲線のアフィン像としての双曲線 双曲線の別の定義では アフィン変換 を使用します。
任意の 双曲線 は、方程式 を持つ単位双曲線のアフィン像です 。 x 2 − y 2 = 1 {\displaystyle x^{2}-y^{2}=1}
パラメトリック表現 ユークリッド平面のアフィン変換は の形を持ち 、 は正則 行列 ( 行列式 は0ではない)、 は 任意のベクトルである。 が行列 の列ベクトルである場合 、単位双曲線 は双曲線 に写像される
。 x → → f → 0 + A x → {\displaystyle {\vec {x}}\to {\vec {f}}_{0}+A{\vec {x}}} A {\displaystyle A} f → 0 {\displaystyle {\vec {f}}_{0}} f → 1 , f → 2 {\displaystyle {\vec {f}}_{1},{\vec {f}}_{2}} A {\displaystyle A} ( ± cosh ( t ) , sinh ( t ) ) , t ∈ R , {\displaystyle (\pm \cosh(t),\sinh(t)),t\in \mathbb {R} ,}
x → = p → ( t ) = f → 0 ± f → 1 cosh t + f → 2 sinh t . {\displaystyle {\vec {x}}={\vec {p}}(t)={\vec {f}}_{0}\pm {\vec {f}}_{1}\cosh t+{\vec {f}}_{2}\sinh t\ .}
f → 0 {\displaystyle {\vec {f}}_{0}} は中心であり、 双曲線の点であり、 この点における接線ベクトルです。 f → 0 + f → 1 {\displaystyle {\vec {f}}_{0}+{\vec {f}}_{1}} f → 2 {\displaystyle {\vec {f}}_{2}}
頂点 一般にベクトルは 垂直ではありません。つまり、一般には 双曲線の頂点ではありません。しかし、 漸近 線 の方向を向いています。点における接線ベクトルは… です。
頂点において接線は双曲線の長軸に垂直なので 、方程式から頂点の パラメータが得られます。 したがって、 そこから…が得られます。 f → 1 , f → 2 {\displaystyle {\vec {f}}_{1},{\vec {f}}_{2}} f → 0 ± f → 1 {\displaystyle {\vec {f}}_{0}\pm {\vec {f}}_{1}} f → 1 ± f → 2 {\displaystyle {\vec {f}}_{1}\pm {\vec {f}}_{2}} p → ( t ) {\displaystyle {\vec {p}}(t)} p → ′ ( t ) = f → 1 sinh t + f → 2 cosh t . {\displaystyle {\vec {p}}'(t)={\vec {f}}_{1}\sinh t+{\vec {f}}_{2}\cosh t\ .} t 0 {\displaystyle t_{0}} p → ′ ( t ) ⋅ ( p → ( t ) − f → 0 ) = ( f → 1 sinh t + f → 2 cosh t ) ⋅ ( f → 1 cosh t + f → 2 sinh t ) = 0 {\displaystyle {\vec {p}}'(t)\cdot \left({\vec {p}}(t)-{\vec {f}}_{0}\right)=\left({\vec {f}}_{1}\sinh t+{\vec {f}}_{2}\cosh t\right)\cdot \left({\vec {f}}_{1}\cosh t+{\vec {f}}_{2}\sinh t\right)=0} coth ( 2 t 0 ) = − f → 1 2 + f → 2 2 2 f → 1 ⋅ f → 2 , {\displaystyle \coth(2t_{0})=-{\tfrac {{\vec {f}}_{1}^{\,2}+{\vec {f}}_{2}^{\,2}}{2{\vec {f}}_{1}\cdot {\vec {f}}_{2}}}\ ,}
t 0 = 1 4 ln ( f → 1 − f → 2 ) 2 ( f → 1 + f → 2 ) 2 . {\displaystyle t_{0}={\tfrac {1}{4}}\ln {\tfrac {\left({\vec {f}}_{1}-{\vec {f}}_{2}\right)^{2}}{\left({\vec {f}}_{1}+{\vec {f}}_{2}\right)^{2}}}.}
式 、 、 が 使用されました。 cosh 2 x + sinh 2 x = cosh 2 x {\displaystyle \cosh ^{2}x+\sinh ^{2}x=\cosh 2x} 2 sinh x cosh x = sinh 2 x {\displaystyle 2\sinh x\cosh x=\sinh 2x} arcoth x = 1 2 ln x + 1 x − 1 {\displaystyle \operatorname {arcoth} x={\tfrac {1}{2}}\ln {\tfrac {x+1}{x-1}}}
双曲線の 2つの 頂点は f → 0 ± ( f → 1 cosh t 0 + f → 2 sinh t 0 ) . {\displaystyle {\vec {f}}_{0}\pm \left({\vec {f}}_{1}\cosh t_{0}+{\vec {f}}_{2}\sinh t_{0}\right).}
暗黙的表現 の媒介変数表現を クラメールの定理 で解き 、 を使うと 、次の暗黙表現が得られる。 cosh t , sinh t {\displaystyle \cosh t,\sinh t} cosh 2 t − sinh 2 t − 1 = 0 {\displaystyle \;\cosh ^{2}t-\sinh ^{2}t-1=0\;} det ( x → − f → 0 , f → 2 ) 2 − det ( f → 1 , x → − f → 0 ) 2 − det ( f → 1 , f → 2 ) 2 = 0. {\displaystyle \det \left({\vec {x}}\!-\!{\vec {f}}\!_{0},{\vec {f}}\!_{2}\right)^{2}-\det \left({\vec {f}}\!_{1},{\vec {x}}\!-\!{\vec {f}}\!_{0}\right)^{2}-\det \left({\vec {f}}\!_{1},{\vec {f}}\!_{2}\right)^{2}=0.}
宇宙における双曲線 このセクションの双曲線の定義は、空間 内でのベクトルを許容する場合、空間内であっても任意の双曲線のパラメトリック表現を与えます。 f → 0 , f → 1 , f → 2 {\displaystyle {\vec {f}}\!_{0},{\vec {f}}\!_{1},{\vec {f}}\!_{2}}
双曲線のアフィン像として y = 1/ x y = 1/ x のアフィン像としての双曲線 単位双曲線は 双曲線とアフィン同値であるため 、任意の双曲線は双曲線のアフィン像(前のセクションを参照)と見なすことができます 。 x 2 − y 2 = 1 {\displaystyle x^{2}-y^{2}=1} y = 1 / x {\displaystyle y=1/x} y = 1 / x {\displaystyle y=1/x\,}
x → = p → ( t ) = f → 0 + f → 1 t + f → 2 1 t , t ≠ 0 . {\displaystyle {\vec {x}}={\vec {p}}(t)={\vec {f}}_{0}+{\vec {f}}_{1}t+{\vec {f}}_{2}{\tfrac {1}{t}},\quad t\neq 0\,.}
M : f → 0 {\displaystyle M:{\vec {f}}_{0}} は双曲線の中心であり、ベクトルは 漸近線の方向を持ち、 は双曲線の点である。接線ベクトルは 頂点において接線が長軸に垂直である。したがって 、頂点のパラメータは f → 1 , f → 2 {\displaystyle {\vec {f}}_{1},{\vec {f}}_{2}} f → 1 + f → 2 {\displaystyle {\vec {f}}_{1}+{\vec {f}}_{2}} p → ′ ( t ) = f → 1 − f → 2 1 t 2 . {\displaystyle {\vec {p}}'(t)={\vec {f}}_{1}-{\vec {f}}_{2}{\tfrac {1}{t^{2}}}.} p → ′ ( t ) ⋅ ( p → ( t ) − f → 0 ) = ( f → 1 − f → 2 1 t 2 ) ⋅ ( f → 1 t + f → 2 1 t ) = f → 1 2 t − f → 2 2 1 t 3 = 0 {\displaystyle {\vec {p}}'(t)\cdot \left({\vec {p}}(t)-{\vec {f}}_{0}\right)=\left({\vec {f}}_{1}-{\vec {f}}_{2}{\tfrac {1}{t^{2}}}\right)\cdot \left({\vec {f}}_{1}t+{\vec {f}}_{2}{\tfrac {1}{t}}\right)={\vec {f}}_{1}^{2}t-{\vec {f}}_{2}^{2}{\tfrac {1}{t^{3}}}=0}
t 0 = ± f → 2 2 f → 1 2 4 . {\displaystyle t_{0}=\pm {\sqrt[{4}]{\frac {{\vec {f}}_{2}^{2}}{{\vec {f}}_{1}^{2}}}}.}
| f → 1 | = | f → 2 | {\displaystyle \left|{\vec {f}}\!_{1}\right|=\left|{\vec {f}}\!_{2}\right|} は と同等であり 、 は双曲線の頂点です。 t 0 = ± 1 {\displaystyle t_{0}=\pm 1} f → 0 ± ( f → 1 + f → 2 ) {\displaystyle {\vec {f}}_{0}\pm ({\vec {f}}_{1}+{\vec {f}}_{2})}
双曲線の次の特性は、このセクションで紹介した双曲線の表現を使用して簡単に証明できます。
接線の構築 接線の構築:漸近線と P が与えられた場合 → 接線 接線ベクトルは因数分解によって書き直すことができる。 これはつまり、 p → ′ ( t ) = 1 t ( f → 1 t − f → 2 1 t ) . {\displaystyle {\vec {p}}'(t)={\tfrac {1}{t}}\left({\vec {f}}_{1}t-{\vec {f}}_{2}{\tfrac {1}{t}}\right)\ .}
平行四辺形の 対角線 は双曲線の点における接線と平行です (図を参照)。 A B {\displaystyle AB} M : f → 0 , A = f → 0 + f → 1 t , B : f → 0 + f → 2 1 t , P : f → 0 + f → 1 t + f → 2 1 t {\displaystyle M:\ {\vec {f}}_{0},\ A={\vec {f}}_{0}+{\vec {f}}_{1}t,\ B:\ {\vec {f}}_{0}+{\vec {f}}_{2}{\tfrac {1}{t}},\ P:\ {\vec {f}}_{0}+{\vec {f}}_{1}t+{\vec {f}}_{2}{\tfrac {1}{t}}} P {\displaystyle P} この特性は、双曲線上の一点で接線を構築する方法を提供します。
双曲線のこの性質は パスカルの定理 の3点退化のアフィンバージョンである。 [12]
灰色の平行四辺形の面積 上図の 灰色の平行四辺形の面積は であり 、したがって点 に依存しない。最後の式は、 が頂点であり、標準形の双曲線が である 場合の計算から得られる。 M A P B {\displaystyle MAPB} Area = | det ( t f → 1 , 1 t f → 2 ) | = | det ( f → 1 , f → 2 ) | = ⋯ = a b 2 {\displaystyle {\text{Area}}=\left|\det \left(t{\vec {f}}_{1},{\tfrac {1}{t}}{\vec {f}}_{2}\right)\right|=\left|\det \left({\vec {f}}_{1},{\vec {f}}_{2}\right)\right|=\cdots ={\frac {ab}{2}}} P {\displaystyle P} P {\displaystyle P} x 2 a 2 − y 2 b 2 = 1 . {\displaystyle {\tfrac {x^{2}}{a^{2}}}-{\tfrac {y^{2}}{b^{2}}}=1\,.}
ポイント構築 点の構築:漸近線と P 1 が与えられている → P 2 パラメトリック表現の双曲線 (簡単にするために中心は原点)の場合、次のようになります。 x → = p → ( t ) = f → 1 t + f → 2 1 t {\displaystyle {\vec {x}}={\vec {p}}(t)={\vec {f}}_{1}t+{\vec {f}}_{2}{\tfrac {1}{t}}}
任意の2点について、 その点は P 1 : f → 1 t 1 + f → 2 1 t 1 , P 2 : f → 1 t 2 + f → 2 1 t 2 {\displaystyle P_{1}:\ {\vec {f}}_{1}t_{1}+{\vec {f}}_{2}{\tfrac {1}{t_{1}}},\ P_{2}:\ {\vec {f}}_{1}t_{2}+{\vec {f}}_{2}{\tfrac {1}{t_{2}}}} A : a → = f → 1 t 1 + f → 2 1 t 2 , B : b → = f → 1 t 2 + f → 2 1 t 1 {\displaystyle A:\ {\vec {a}}={\vec {f}}_{1}t_{1}+{\vec {f}}_{2}{\tfrac {1}{t_{2}}},\ B:\ {\vec {b}}={\vec {f}}_{1}t_{2}+{\vec {f}}_{2}{\tfrac {1}{t_{1}}}}
双曲線の中心と同一直線上にあります(図を参照)。 簡単な証明は方程式の結果です 。 1 t 1 a → = 1 t 2 b → {\displaystyle {\tfrac {1}{t_{1}}}{\vec {a}}={\tfrac {1}{t_{2}}}{\vec {b}}}
この特性により、漸近線と 1 つの点が与えられている場合に双曲線の点を構成する可能性が提供されます。
双曲線のこの性質は パスカルの定理 の4点退化のアフィンバージョンである。 [13]
接線漸近線三角形 双曲線:接線-漸近線-三角形 単純化のため、双曲線の中心を原点とし、ベクトルの 長さが等しいとします。最後の仮定が満たされない場合は、まずパラメータ変換(上記参照)を適用して仮定を成立させることができます。したがって、 頂点は、 短軸を張る点であり、および となります 。 f → 1 , f → 2 {\displaystyle {\vec {f}}_{1},{\vec {f}}_{2}} ± ( f → 1 + f → 2 ) {\displaystyle \pm ({\vec {f}}_{1}+{\vec {f}}_{2})} ± ( f → 1 − f → 2 ) {\displaystyle \pm ({\vec {f}}_{1}-{\vec {f}}_{2})} | f → 1 + f → 2 | = a {\displaystyle |{\vec {f}}_{1}+{\vec {f}}_{2}|=a} | f → 1 − f → 2 | = b {\displaystyle |{\vec {f}}_{1}-{\vec {f}}_{2}|=b}
点における接線と漸近線の交点については、 点が得られる。 三角形の 面積は 2 ×2行列式によって計算できる。 ( 行列式 の規則を参照)。 は、によって生成される菱形の面積である 。菱形の面積は、その対角線の積の半分に等しい。対角線は 双曲線の半軸である。したがって、 p → ( t 0 ) = f → 1 t 0 + f → 2 1 t 0 {\displaystyle {\vec {p}}(t_{0})={\vec {f}}_{1}t_{0}+{\vec {f}}_{2}{\tfrac {1}{t_{0}}}} C = 2 t 0 f → 1 , D = 2 t 0 f → 2 . {\displaystyle C=2t_{0}{\vec {f}}_{1},\ D={\tfrac {2}{t_{0}}}{\vec {f}}_{2}.} M , C , D {\displaystyle M,C,D} A = 1 2 | det ( 2 t 0 f → 1 , 2 t 0 f → 2 ) | = 2 | det ( f → 1 , f → 2 ) | {\displaystyle A={\tfrac {1}{2}}{\Big |}\det \left(2t_{0}{\vec {f}}_{1},{\tfrac {2}{t_{0}}}{\vec {f}}_{2}\right){\Big |}=2{\Big |}\det \left({\vec {f}}_{1},{\vec {f}}_{2}\right){\Big |}} | det ( f → 1 , f → 2 ) | {\displaystyle \left|\det({\vec {f}}_{1},{\vec {f}}_{2})\right|} f → 1 , f → 2 {\displaystyle {\vec {f}}_{1},{\vec {f}}_{2}} a , b {\displaystyle a,b}
三角形の 面積 は 双曲線の頂点に依存しません。 M C D {\displaystyle MCD} A = a b . {\displaystyle A=ab.}
円の往復 円 B を 円 C に往復 させる と、常に双曲線のような円錐曲線が得られます。「円 C における往復」とは、幾何学図形内のすべての直線と点を、それぞれ対応する 極と極 に置き換えることです。 直線の 極は 円 Cに最も近い点の 反転であり、点の極はその逆、つまり円 C に最も近い点が点の反転である 直線です。
往復運動によって得られる円錐曲線の離心率は、2つの円の中心間の距離と 往復円 Cの半径 r の比である。B と C を 対応する円の中心点とすると、
e = B C ¯ r . {\displaystyle e={\frac {\overline {BC}}{r}}.}
双曲線の離心率は常に 1 より大きいため、中心 B は 往復円 C の外側に位置している必要があります。
この定義は、双曲線が円 B の接線の極の 軌跡 であると同時に、円 B 上の点の極線の 包絡線 でもあることを意味します。逆に、円 B は双曲線上の点の極の包絡線であると同時に、双曲線の接線の極の軌跡でもあります。円 B の2つの接線は、往復円 C の 中心 C を通るため、(有限の)極を持ちません。円 B 上の対応する接点の極は、双曲線の漸近線です。双曲線の2つの枝は 、これらの接点によって隔てられた 円 Bの2つの部分に対応します。
二次方程式 双曲線は、平面上 の 直交座標における2次方程式として定義することもできる 。 ( x , y ) {\displaystyle (x,y)}
A x x x 2 + 2 A x y x y + A y y y 2 + 2 B x x + 2 B y y + C = 0 , {\displaystyle A_{xx}x^{2}+2A_{xy}xy+A_{yy}y^{2}+2B_{x}x+2B_{y}y+C=0,}
ただし、定数 とが 行列式条件を満たすものとする。 A x x , {\displaystyle A_{xx},} A x y , {\displaystyle A_{xy},} A y y , {\displaystyle A_{yy},} B x , {\displaystyle B_{x},} B y , {\displaystyle B_{y},} C {\displaystyle C}
D := | A x x A x y A x y A y y | < 0. {\displaystyle D:={\begin{vmatrix}A_{xx}&A_{xy}\\A_{xy}&A_{yy}\end{vmatrix}}<0.}
この行列式は慣例的に 円錐曲線の 判別式と呼ばれます。 [14]
双曲線の特殊なケース、 つまり交差する 2 本の直線から成る 退化した双曲線は、別の行列式が 0 のときに発生します。
Δ := | A x x A x y B x A x y A y y B y B x B y C | = 0. {\displaystyle \Delta :={\begin{vmatrix}A_{xx}&A_{xy}&B_{x}\\A_{xy}&A_{yy}&B_{y}\\B_{x}&B_{y}&C\end{vmatrix}}=0.}
この行列式 は円錐曲線の判別式と呼ばれることもあります。 [15] Δ {\displaystyle \Delta }
一般的な方程式の係数は、既知の長半径、 短半径の 中心座標 、および回転角度 (正の水平軸から双曲線の長軸までの角度)から次の公式を使用して取得できます。 a , {\displaystyle a,} b , {\displaystyle b,} ( x ∘ , y ∘ ) {\displaystyle (x_{\circ },y_{\circ })} θ {\displaystyle \theta }
A x x = − a 2 sin 2 θ + b 2 cos 2 θ , B x = − A x x x ∘ − A x y y ∘ , A y y = − a 2 cos 2 θ + b 2 sin 2 θ , B y = − A x y x ∘ − A y y y ∘ , A x y = ( a 2 + b 2 ) sin θ cos θ , C = A x x x ∘ 2 + 2 A x y x ∘ y ∘ + A y y y ∘ 2 − a 2 b 2 . {\displaystyle {\begin{aligned}A_{xx}&=-a^{2}\sin ^{2}\theta +b^{2}\cos ^{2}\theta ,&B_{x}&=-A_{xx}x_{\circ }-A_{xy}y_{\circ },\\[1ex]A_{yy}&=-a^{2}\cos ^{2}\theta +b^{2}\sin ^{2}\theta ,&B_{y}&=-A_{xy}x_{\circ }-A_{yy}y_{\circ },\\[1ex]A_{xy}&=\left(a^{2}+b^{2}\right)\sin \theta \cos \theta ,&C&=A_{xx}x_{\circ }^{2}+2A_{xy}x_{\circ }y_{\circ }+A_{yy}y_{\circ }^{2}-a^{2}b^{2}.\end{aligned}}}
これらの式は正準方程式から導出できる。
X 2 a 2 − Y 2 b 2 = 1 {\displaystyle {\frac {X^{2}}{a^{2}}}-{\frac {Y^{2}}{b^{2}}}=1}
座標の 移動と回転 によって : ( x , y ) {\displaystyle (x,y)}
X = + ( x − x ∘ ) cos θ + ( y − y ∘ ) sin θ , Y = − ( x − x ∘ ) sin θ + ( y − y ∘ ) cos θ . {\displaystyle {\begin{alignedat}{2}X&={\phantom {+}}\left(x-x_{\circ }\right)\cos \theta &&+\left(y-y_{\circ }\right)\sin \theta ,\\Y&=-\left(x-x_{\circ }\right)\sin \theta &&+\left(y-y_{\circ }\right)\cos \theta .\end{alignedat}}}
上記の直交座標における双曲線の一般的なパラメータ化を考慮すると、離心率は 円錐曲線#係数による離心率の 式を使用して求めることができます。
双曲線の 中心は、次の式から決定できる。 ( x c , y c ) {\displaystyle (x_{c},y_{c})}
x c = − 1 D | B x A x y B y A y y | , y c = − 1 D | A x x B x A x y B y | . {\displaystyle {\begin{aligned}x_{c}&=-{\frac {1}{D}}\,{\begin{vmatrix}B_{x}&A_{xy}\\B_{y}&A_{yy}\end{vmatrix}}\,,\\[1ex]y_{c}&=-{\frac {1}{D}}\,{\begin{vmatrix}A_{xx}&B_{x}\\A_{xy}&B_{y}\end{vmatrix}}\,.\end{aligned}}}
新しい座標と 双曲線の定義方程式を 用いて次のように書くことができる。 ξ = x − x c {\displaystyle \xi =x-x_{c}} η = y − y c , {\displaystyle \eta =y-y_{c},}
A x x ξ 2 + 2 A x y ξ η + A y y η 2 + Δ D = 0. {\displaystyle A_{xx}\xi ^{2}+2A_{xy}\xi \eta +A_{yy}\eta ^{2}+{\frac {\Delta }{D}}=0.}
双曲線の主軸は 正の 軸と角度を成し、その角度は次式で与えられる。 φ {\displaystyle \varphi } x {\displaystyle x}
tan ( 2 φ ) = 2 A x y A x x − A y y . {\displaystyle \tan(2\varphi )={\frac {2A_{xy}}{A_{xx}-A_{yy}}}.}
座標軸を回転させて、 -軸を横軸と揃えると、方程式は 標準形になる。 x {\displaystyle x}
x 2 a 2 − y 2 b 2 = 1. {\displaystyle {\frac {x^{2}}{a^{2}}}-{\frac {y^{2}}{b^{2}}}=1.}
長半軸と短半軸 は 次式で定義される
。 a {\displaystyle a} b {\displaystyle b}
a 2 = − Δ λ 1 D = − Δ λ 1 2 λ 2 , b 2 = − Δ λ 2 D = − Δ λ 1 λ 2 2 , {\displaystyle {\begin{aligned}a^{2}&=-{\frac {\Delta }{\lambda _{1}D}}=-{\frac {\Delta }{\lambda _{1}^{2}\lambda _{2}}},\\[1ex]b^{2}&=-{\frac {\Delta }{\lambda _{2}D}}=-{\frac {\Delta }{\lambda _{1}\lambda _{2}^{2}}},\end{aligned}}}
ここで 、およびは 二次方程式 の 根 である。 λ 1 {\displaystyle \lambda _{1}} λ 2 {\displaystyle \lambda _{2}}
λ 2 − ( A x x + A y y ) λ + D = 0. {\displaystyle \lambda ^{2}-\left(A_{xx}+A_{yy}\right)\lambda +D=0.}
比較のために、退化した双曲線(交差する2本の直線から成る)の対応する方程式は次のようになる。
x 2 a 2 − y 2 b 2 = 0. {\displaystyle {\frac {x^{2}}{a^{2}}}-{\frac {y^{2}}{b^{2}}}=0.}
双曲線上の 任意の点への接線は次式で定義される。 ( x 0 , y 0 ) {\displaystyle (x_{0},y_{0})}
E x + F y + G = 0 {\displaystyle Ex+Fy+G=0}
ここで 、および は次のように定義されます。 E , {\displaystyle E,} F , {\displaystyle F,} G {\displaystyle G}
E = A x x x 0 + A x y y 0 + B x , F = A x y x 0 + A y y y 0 + B y , G = B x x 0 + B y y 0 + C . {\displaystyle {\begin{aligned}E&=A_{xx}x_{0}+A_{xy}y_{0}+B_{x},\\[1ex]F&=A_{xy}x_{0}+A_{yy}y_{0}+B_{y},\\[1ex]G&=B_{x}x_{0}+B_{y}y_{0}+C.\end{aligned}}}
同じ点における双曲線の 法線 は次の式で与えられる。
F ( x − x 0 ) − E ( y − y 0 ) = 0. {\displaystyle F(x-x_{0})-E(y-y_{0})=0.}
法線は接線に垂直であり、両方とも同じ点を通る。 ( x 0 , y 0 ) . {\displaystyle (x_{0},y_{0}).}
方程式から
x 2 a 2 − y 2 b 2 = 1 , 0 < b ≤ a , {\displaystyle {\frac {x^{2}}{a^{2}}}-{\frac {y^{2}}{b^{2}}}=1,\qquad 0<b\leq a,}
左焦点は 、右焦点は、離心率 です 。点から 左焦点と右焦点までの距離を、それぞれ 、 右枝上の点について、 ( − a e , 0 ) {\displaystyle (-ae,0)} ( a e , 0 ) , {\displaystyle (ae,0),} e {\displaystyle e} ( x , y ) {\displaystyle (x,y)} r 1 {\displaystyle r_{1}} r 2 . {\displaystyle r_{2}.}
r 1 − r 2 = 2 a , {\displaystyle r_{1}-r_{2}=2a,}
左の枝上の点については、
r 2 − r 1 = 2 a . {\displaystyle r_{2}-r_{1}=2a.}
これは次のように証明できます。
が双曲線上の点である場合 、左焦点までの距離は ( x , y ) {\displaystyle (x,y)}
r 1 2 = ( x + a e ) 2 + y 2 = x 2 + 2 x a e + a 2 e 2 + ( x 2 − a 2 ) ( e 2 − 1 ) = ( e x + a ) 2 . {\displaystyle r_{1}^{2}=(x+ae)^{2}+y^{2}=x^{2}+2xae+a^{2}e^{2}+\left(x^{2}-a^{2}\right)\left(e^{2}-1\right)=(ex+a)^{2}.}
右焦点までの距離は
r 2 2 = ( x − a e ) 2 + y 2 = x 2 − 2 x a e + a 2 e 2 + ( x 2 − a 2 ) ( e 2 − 1 ) = ( e x − a ) 2 . {\displaystyle r_{2}^{2}=(x-ae)^{2}+y^{2}=x^{2}-2xae+a^{2}e^{2}+\left(x^{2}-a^{2}\right)\left(e^{2}-1\right)=(ex-a)^{2}.}
が双曲線の右枝上の点である 場合 、 ( x , y ) {\displaystyle (x,y)} e x > a {\displaystyle ex>a}
r 1 = e x + a , r 2 = e x − a . {\displaystyle {\begin{aligned}r_{1}&=ex+a,\\r_{2}&=ex-a.\end{aligned}}}
これらの式を引き算すると
r 1 − r 2 = 2 a . {\displaystyle r_{1}-r_{2}=2a.}
が双曲線の左枝上の点である 場合 、 ( x , y ) {\displaystyle (x,y)} e x < − a {\displaystyle ex<-a}
r 1 = − e x − a , r 2 = − e x + a . {\displaystyle {\begin{aligned}r_{1}&=-ex-a,\\r_{2}&=-ex+a.\end{aligned}}}
これらの式を引き算すると
r 2 − r 1 = 2 a . {\displaystyle r_{2}-r_{1}=2a.}
直交座標系
方程式 原点が双曲線の中心、 x 軸が長軸となるような直交座標を導入すると、双曲線は 東西に開く 双曲線と
呼ばれ、
焦点 は 点である 、 F 1 = ( c , 0 ) , F 2 = ( − c , 0 ) {\displaystyle F_{1}=(c,0),\ F_{2}=(-c,0)} 頂点 は である 。 V 1 = ( a , 0 ) , V 2 = ( − a , 0 ) {\displaystyle V_{1}=(a,0),\ V_{2}=(-a,0)} 任意の点について、 焦点までの距離 は であり 、第2焦点までの距離は である 。したがって、以下の条件が満たされる場合、その点 は双曲線上にある。 適切な平方根を2乗して除去し、関係式を用いて 双曲線の方程式を得る。 ( x , y ) {\displaystyle (x,y)} ( c , 0 ) {\displaystyle (c,0)} ( x − c ) 2 + y 2 {\textstyle {\sqrt {(x-c)^{2}+y^{2}}}} ( x + c ) 2 + y 2 {\textstyle {\sqrt {(x+c)^{2}+y^{2}}}} ( x , y ) {\displaystyle (x,y)} ( x − c ) 2 + y 2 − ( x + c ) 2 + y 2 = ± 2 a . {\displaystyle {\sqrt {(x-c)^{2}+y^{2}}}-{\sqrt {(x+c)^{2}+y^{2}}}=\pm 2a\ .} b 2 = c 2 − a 2 {\displaystyle b^{2}=c^{2}-a^{2}}
x 2 a 2 − y 2 b 2 = 1 . {\displaystyle {\frac {x^{2}}{a^{2}}}-{\frac {y^{2}}{b^{2}}}=1\ .}
この方程式は双曲線の標準形 と呼ばれます 。これは、どの双曲線も、直交座標軸に対する向きや中心の位置に関係なく、変数を変更することでこの形式に変換でき、元の双曲線と 一致する 双曲線が得られるためです(以下を参照)。
対称 軸 または 主軸 は、横 軸 (頂点を端点とする長さ2aの線分を含む)と 共役 軸 ( 横軸に垂直で、双曲線の中心を中点とする長さ 2b の線分を含む)である。 楕円とは異なり、双曲線には頂点が2つしかない。 共役軸上の 2点は 双曲線上に
は ない。 ( a , 0 ) , ( − a , 0 ) {\displaystyle (a,0),\;(-a,0)} ( 0 , b ) , ( 0 , − b ) {\displaystyle (0,b),\;(0,-b)}
この方程式から、双曲線は 両方の座標軸に対して 対称であり、したがって原点に対して対称であることがわかります。
偏心 上記の標準形の双曲線の場合、 離心率は 次のように表される。
e = 1 + b 2 a 2 . {\displaystyle e={\sqrt {1+{\frac {b^{2}}{a^{2}}}}}.}
2 つの双曲線は幾何学的 に互いに 相似です。つまり、同じ形状であるため、同じ 離心率を持つ場合に限り、左右の固定移動 、 回転 、 鏡像の取得 、スケーリング (拡大) によって一方を他方に変換できます。
漸近線 双曲線:半軸 a 、 b 、直線偏心 c 、半直腸 p 双曲線: 3つの特性 双曲線の方程式(上式)を解くと、次の式が 得られる 。この式から、双曲線は 大きな値に対して2つの直線に近づくことがわかる。これらの2つの直線は中心(原点)で交差し、 双曲線の 漸近線 と呼ばれる y {\displaystyle y} y = ± b a x 2 − a 2 . {\displaystyle y=\pm {\frac {b}{a}}{\sqrt {x^{2}-a^{2}}}.} y = ± b a x {\displaystyle y=\pm {\frac {b}{a}}x} | x | {\displaystyle |x|} x 2 a 2 − y 2 b 2 = 1 . {\displaystyle {\tfrac {x^{2}}{a^{2}}}-{\tfrac {y^{2}}{b^{2}}}=1\ .}
2番目の図を見ると、
( 1 ) {\displaystyle {\color {blue}{(1)}}} 焦点からいずれかの漸近線までの垂直距離 は (半短軸) です。 b {\displaystyle b} 漸近線のヘッセ正規形 と双曲線の方程式 から次式が得られる: [17] b x ± a y a 2 + b 2 = 0 {\displaystyle {\tfrac {bx\pm ay}{\sqrt {a^{2}+b^{2}}}}=0}
( 2 ) {\displaystyle {\color {magenta}{(2)}}} 双曲線上の点から両漸近線までの距離の積は 定数 であり 、離心率 e を用いて次のように表すこともできる。 a 2 b 2 a 2 + b 2 , {\displaystyle {\tfrac {a^{2}b^{2}}{a^{2}+b^{2}}}\ ,} ( b e ) 2 . {\displaystyle \left({\tfrac {b}{e}}\right)^{2}.} 双曲線の 方程式(上記)から次の式が導かれます。 y = ± b a x 2 − a 2 {\displaystyle y=\pm {\frac {b}{a}}{\sqrt {x^{2}-a^{2}}}}
( 3 ) {\displaystyle {\color {green}{(3)}}} 点Pから2つの頂点までの直線の傾きの積は 定数 である。 b 2 / a 2 . {\displaystyle b^{2}/a^{2}\ .} さらに、上記(2)から次のことがわかる。 [17]
( 4 ) {\displaystyle {\color {red}{(4)}}} 双曲線上の点から漸近線までの距離と、それに平行な線に沿った距離の積は 定数である。 a 2 + b 2 4 . {\displaystyle {\tfrac {a^{2}+b^{2}}{4}}.}
半側直腸 双曲線の長軸に垂直な焦点の一つを通る弦の長さは、 大腿直角 と呼ばれます。その半分は 半大腿直角 です。計算すると、 半大腿直角は 頂点における 曲率半径 とみなすこともできます。 p {\displaystyle p} p = b 2 a . {\displaystyle p={\frac {b^{2}}{a}}.} p {\displaystyle p}
正接 点における接線方程式を求める最も簡単な方法は、 双曲線の 方程式を 暗黙的に微分する ことです。dy /dxを y′ とすると 、次の式が得られます。 に関して 、点における接線方程式 は ( x 0 , y 0 ) {\displaystyle (x_{0},y_{0})} x 2 a 2 − y 2 b 2 = 1 {\displaystyle {\tfrac {x^{2}}{a^{2}}}-{\tfrac {y^{2}}{b^{2}}}=1} 2 x a 2 − 2 y y ′ b 2 = 0 ⇒ y ′ = x y b 2 a 2 ⇒ y = x 0 y 0 b 2 a 2 ( x − x 0 ) + y 0 . {\displaystyle {\frac {2x}{a^{2}}}-{\frac {2yy'}{b^{2}}}=0\ \Rightarrow \ y'={\frac {x}{y}}{\frac {b^{2}}{a^{2}}}\ \Rightarrow \ y={\frac {x_{0}}{y_{0}}}{\frac {b^{2}}{a^{2}}}(x-x_{0})+y_{0}.} x 0 2 a 2 − y 0 2 b 2 = 1 {\displaystyle {\tfrac {x_{0}^{2}}{a^{2}}}-{\tfrac {y_{0}^{2}}{b^{2}}}=1} ( x 0 , y 0 ) {\displaystyle (x_{0},y_{0})} x 0 a 2 x − y 0 b 2 y = 1. {\displaystyle {\frac {x_{0}}{a^{2}}}x-{\frac {y_{0}}{b^{2}}}y=1.}
双曲線は特定の接線によって他の円錐曲線と区別されます。 [18] 頂点 V (双曲線の頂点Vと、2つの焦点を通る軸の両方)から近い方の焦点までの距離を f と します。すると、その軸に垂直な線に沿って、その焦点から双曲線上の点Pまでの距離は2 f より大きくなります。Pにおける双曲線の接線は、点Qでその軸と45°を超える角度∠PQVで交差します。
直角双曲線 この場合、 双曲線は漸近線が直角に交わるため、 直角双曲線 (または 正角双曲線 )と呼ばれます。この場合、線離心率は 、離心率 と半直角はです 。方程式のグラフ は直角双曲線です。 a = b {\displaystyle a=b} c = 2 a {\displaystyle c={\sqrt {2}}a} e = 2 {\displaystyle e={\sqrt {2}}} p = a {\displaystyle p=a} y = 1 / x {\displaystyle y=1/x}
双曲線正弦/余弦によるパラメトリック表現 双曲線正弦関数と双曲線余弦関数 を使うと 、楕円の媒介変数 表現に似た双曲線の媒介変数表現が得られる。 これは、直交座標系方程式を満たす。 cosh , sinh {\displaystyle \cosh ,\sinh } x 2 a 2 − y 2 b 2 = 1 {\displaystyle {\tfrac {x^{2}}{a^{2}}}-{\tfrac {y^{2}}{b^{2}}}=1} ( ± a cosh t , b sinh t ) , t ∈ R , {\displaystyle (\pm a\cosh t,b\sinh t),\,t\in \mathbb {R} \ ,} cosh 2 t − sinh 2 t = 1. {\displaystyle \cosh ^{2}t-\sinh ^{2}t=1.}
さらに詳しいパラメトリック表現については、以下の「パラメトリック方程式」のセクションで説明します。
ここで、 a = b = 1 なので、 単位双曲線は 青色で、その共役双曲線は緑色で示され、同じ赤色の漸近線を共有します。
共役双曲線 双曲線の場合 、右側の符号を変更すると 共役双曲線 の方程式が得られます。 x 2 a 2 − y 2 b 2 = 1 {\displaystyle {\frac {x^{2}}{a^{2}}}-{\frac {y^{2}}{b^{2}}}=1}
x 2 a 2 − y 2 b 2 = − 1 {\displaystyle {\frac {x^{2}}{a^{2}}}-{\frac {y^{2}}{b^{2}}}=-1} または同等: y 2 b 2 − x 2 a 2 = 1 {\displaystyle {\frac {y^{2}}{b^{2}}}-{\frac {x^{2}}{a^{2}}}=1} 双曲線とその共役な 曲線は、共役な直径を 持つ場合があります。 特殊相対性理論 では、このような直径は時間と空間の軸を表す場合があり、一方の双曲線は 中心 から与えられた空間距離にある 事象 を表し、もう一方の双曲線は中心から対応する時間距離にある事象を表します。
x y = c 2 {\displaystyle xy=c^{2}} また 、共役双曲線も指定します。 x y = − c 2 {\displaystyle xy=-c^{2}}
極座標で 双曲線:極座標(極=焦点) 双曲線:極を中心とする極座標 双曲線のアニメーションプロット r = p 1 − e cos θ {\displaystyle r={\frac {p}{1-e\cos \theta }}}
焦点の起源 双曲線に最も一般的に使用される極座標は、最初の図に示すように、 焦点を原点と し 、X 軸が「標準座標系」の原点を指す 直交座標系を基準として定義されます。
この場合の角度は 真異常 と呼ばれます 。 φ {\displaystyle \varphi }
この座標系に相対すると、
r = p 1 ∓ e cos φ , p = b 2 a {\displaystyle r={\frac {p}{1\mp e\cos \varphi }},\quad p={\frac {b^{2}}{a}}}
そして
− arccos ( − 1 e ) < φ < arccos ( − 1 e ) . {\displaystyle -\arccos \left(-{\frac {1}{e}}\right)<\varphi <\arccos \left(-{\frac {1}{e}}\right).}
中心の起源 「標準座標系」を基準とした極座標(2番目の図を参照)では、
r = b e 2 cos 2 φ − 1 . {\displaystyle r={\frac {b}{\sqrt {e^{2}\cos ^{2}\varphi -1}}}.\,}
双曲線の右枝の範囲 は φ {\displaystyle \varphi } − arccos ( 1 e ) < φ < arccos ( 1 e ) . {\displaystyle -\arccos \left({\frac {1}{e}}\right)<\varphi <\arccos \left({\frac {1}{e}}\right).}
偏心 極座標を用いると、双曲線の離心率は次のように表すことができます。 ここで 、は角座標の極限です。 この極限に近づくと、 rは 無限大に近づき、上記のどちらの式でも分母はゼロに近づきます。したがって、次の式が成り立ちます。 [19] : 219 sec φ max {\displaystyle \sec \varphi _{\text{max}}} φ max {\displaystyle \varphi _{\text{max}}} φ {\displaystyle \varphi }
e 2 cos 2 φ max − 1 = 0 {\displaystyle e^{2}\cos ^{2}\varphi _{\text{max}}-1=0}
1 ± e cos φ max = 0 {\displaystyle 1\pm e\cos \varphi _{\text{max}}=0}
⟹ e = sec φ max {\displaystyle \implies e=\sec \varphi _{\text{max}}}
媒介変数方程式 方程式を持つ双曲線は、 いくつかの媒介変数方程式で記述できます。 x 2 a 2 − y 2 b 2 = 1 {\displaystyle {\tfrac {x^{2}}{a^{2}}}-{\tfrac {y^{2}}{b^{2}}}=1}
双曲三角関数を通じて { x = ± a cosh t , y = b sinh t , t ∈ R . {\displaystyle {\begin{cases}x=\pm a\cosh t,\\y=b\sinh t,\end{cases}}\qquad t\in \mathbb {R} .} 合理的な 表現 として { x = ± a t 2 + 1 2 t , y = b t 2 − 1 2 t , t > 0 {\displaystyle {\begin{cases}x=\pm a{\dfrac {t^{2}+1}{2t}},\\[1ex]y=b{\dfrac {t^{2}-1}{2t}},\end{cases}}\qquad t>0} 円三角関数を通じて { x = a cos t = a sec t , y = ± b tan t , 0 ≤ t < 2 π , t ≠ π 2 , t ≠ 3 2 π . {\displaystyle {\begin{cases}x={\frac {a}{\cos t}}=a\sec t,\\y=\pm b\tan t,\end{cases}}\qquad 0\leq t<2\pi ,\ t\neq {\frac {\pi }{2}},\ t\neq {\frac {3}{2}}\pi .} 接線勾配をパラメータとして:
双曲線上の点における接線の 傾きを用いた媒介変数表現は、楕円の場合と同様に得ることができます。楕円の場合に をに置き換え、 双曲線関数 の公式を用います 。すると が得られます。 ここで、 は双曲線の上半分、 は 下半分です。垂直接線を持つ点(頂点 )は、この表現では覆われません。 m {\displaystyle m} b 2 {\displaystyle b^{2}} − b 2 {\displaystyle -b^{2}} c → ± ( m ) = ( − m a 2 ± m 2 a 2 − b 2 , − b 2 ± m 2 a 2 − b 2 ) , | m | > b / a . {\displaystyle {\vec {c}}_{\pm }(m)=\left(-{\frac {ma^{2}}{\pm {\sqrt {m^{2}a^{2}-b^{2}}}}},{\frac {-b^{2}}{\pm {\sqrt {m^{2}a^{2}-b^{2}}}}}\right),\quad |m|>b/a.} c → − {\displaystyle {\vec {c}}_{-}} c → + {\displaystyle {\vec {c}}_{+}} ( ± a , 0 ) {\displaystyle (\pm a,0)}
点における接線の方程式 は、 双曲線の接線のこの記述が 双曲線の 正射影を決定するための必須のツールとなります。 c → ± ( m ) {\displaystyle {\vec {c}}_{\pm }(m)} y = m x ± m 2 a 2 − b 2 . {\displaystyle y=mx\pm {\sqrt {m^{2}a^{2}-b^{2}}}.}
双曲線関数 単位双曲線の 点 を通る半直線において 、 半直線、双曲線、 -軸の間の面積の2倍となる。-軸より下の双曲線上の点については 、面積は負とみなされる。 x 2 − y 2 = 1 {\displaystyle x^{2}\ -\ y^{2}\ =\ 1} ( cosh a , sinh a ) {\displaystyle (\cosh \,a,\,\sinh \,a)} a {\displaystyle a} x {\displaystyle x} x {\displaystyle x} 三角関数が 単位円 で定義されるの と同様に、 双曲線関数 も 単位双曲線 で定義されます(この図を参照)。単位円では、角度(ラジアン)は、その角度が囲む 円弧 の面積の2倍に等しくなります 。同様に、 双曲線角も 双曲線弧 の面積の2倍として定義されます 。
を軸と原点を通り単位双曲線と交わる直線と の間の面積の2倍とし 、 を交点の座標と定義する。すると、双曲扇形の面積は三角形の面積から頂点を越えた曲線部分を差し引いたものとなる 。
これは、双曲 余弦の面積 に簡約される。 を解くと、双曲余弦 の指数関数が得られる。 から 、その逆関数である双曲 正弦の面積が 得られる 。 他の双曲関数は、双曲余弦と双曲正弦に基づいて定義される。例えば、 a {\displaystyle a} x {\displaystyle x} ( x , y ) = ( cosh a , sinh a ) = ( x , x 2 − 1 ) {\textstyle (x,y)=(\cosh a,\sinh a)=(x,{\sqrt {x^{2}-1}})} ( 1 , 0 ) {\displaystyle (1,0)} a 2 = x y 2 − ∫ 1 x t 2 − 1 d t = 1 2 ( x x 2 − 1 ) − 1 2 ( x x 2 − 1 − ln ( x + x 2 − 1 ) ) , {\displaystyle {\begin{aligned}{\frac {a}{2}}&={\frac {xy}{2}}-\int _{1}^{x}{\sqrt {t^{2}-1}}\,dt\\[1ex]&={\frac {1}{2}}\left(x{\sqrt {x^{2}-1}}\right)-{\frac {1}{2}}\left(x{\sqrt {x^{2}-1}}-\ln \left(x+{\sqrt {x^{2}-1}}\right)\right),\end{aligned}}} a = arcosh x = ln ( x + x 2 − 1 ) . {\displaystyle a=\operatorname {arcosh} x=\ln \left(x+{\sqrt {x^{2}-1}}\right).} x {\displaystyle x} x = cosh a = e a + e − a 2 . {\displaystyle x=\cosh a={\frac {e^{a}+e^{-a}}{2}}.} x 2 − y 2 = 1 {\displaystyle x^{2}-y^{2}=1} y = sinh a = cosh 2 a − 1 = e a − e − a 2 , {\displaystyle y=\sinh a={\sqrt {\cosh ^{2}a-1}}={\frac {e^{a}-e^{-a}}{2}},} a = arsinh y = ln ( y + y 2 + 1 ) . {\displaystyle a=\operatorname {arsinh} y=\ln \left(y+{\sqrt {y^{2}+1}}\right).} tanh a = sinh a cosh a = e 2 a − 1 e 2 a + 1 . {\displaystyle \operatorname {tanh} a={\frac {\sinh a}{\cosh a}}={\frac {e^{2a}-1}{e^{2a}+1}}.}
プロパティ
反射特性 双曲線:接線は焦点を通る線を二等分する ある点における接線は、 直線間の角度を二等分します。これは 双曲線の 光学特性 または 反射特性 と呼ばれます。 [20] P {\displaystyle P} P F 1 ¯ , P F 2 ¯ . {\displaystyle {\overline {PF_{1}}},{\overline {PF_{2}}}.}
証拠 を 、焦点までの 距離が である 直線上の点とします (図を参照、 は双曲線の長半径)。直線は、 直線 間の角度の二等分線です。 が点 における接線である ことを証明するために、 と異なる 直線 上の 点は 双曲線上にはあり得ないことを確認します。したがって、 は双曲線と のみを 共有しており、したがって は点 における接線です 。 図と 三角不等式 から、が成り立つことがわかります。 これは、 を意味します 。ただし、 が双曲線の点である場合、その差は となるはずです 。 L {\displaystyle L} P F 2 ¯ {\displaystyle {\overline {PF_{2}}}} 2 a {\displaystyle 2a} F 2 {\displaystyle F_{2}} a {\displaystyle a} w {\displaystyle w} P F 1 ¯ , P F 2 ¯ {\displaystyle {\overline {PF_{1}}},{\overline {PF_{2}}}} w {\displaystyle w} P {\displaystyle P} Q {\displaystyle Q} w {\displaystyle w} P {\displaystyle P} w {\displaystyle w} P {\displaystyle P} P {\displaystyle P} | Q F 2 | < | L F 2 | + | Q L | = 2 a + | Q F 1 | {\displaystyle |QF_{2}|<|LF_{2}|+|QL|=2a+|QF_{1}|} | Q F 2 | − | Q F 1 | < 2 a {\displaystyle |QF_{2}|-|QF_{1}|<2a} Q {\displaystyle Q} 2 a {\displaystyle 2a}
平行弦の中点 双曲線: 平行弦の中点が一直線上にあります。 双曲線: 弦の中点は、漸近線の対応する弦の中点です。 双曲線の平行弦の中点は、中心を通る線上にあります (図を参照)。
あらゆる弦の点は、双曲線の異なる枝上に位置する場合があります。
中点に関する性質の証明は、双曲線について行うのが最も適切である 。任意の双曲線は双曲線のアフィン像であり (以下のセクションを参照)、アフィン変換は線分の平行性と中点を保存するため、この性質はすべての双曲線について成り立つ。 双曲線の 2点について、 y = 1 / x {\displaystyle y=1/x} y = 1 / x {\displaystyle y=1/x} P = ( x 1 , 1 x 1 ) , Q = ( x 2 , 1 x 2 ) {\displaystyle P=\left(x_{1},{\tfrac {1}{x_{1}}}\right),\ Q=\left(x_{2},{\tfrac {1}{x_{2}}}\right)} y = 1 / x {\displaystyle y=1/x}
弦の中点は M = ( x 1 + x 2 2 , ⋯ ) = ⋯ = x 1 + x 2 2 ( 1 , 1 x 1 x 2 ) ; {\displaystyle M=\left({\tfrac {x_{1}+x_{2}}{2}},\cdots \right)=\cdots ={\tfrac {x_{1}+x_{2}}{2}}\;\left(1,{\tfrac {1}{x_{1}x_{2}}}\right)\ ;} 弦の傾きは 1 x 2 − 1 x 1 x 2 − x 1 = ⋯ = − 1 x 1 x 2 . {\displaystyle {\frac {{\tfrac {1}{x_{2}}}-{\tfrac {1}{x_{1}}}}{x_{2}-x_{1}}}=\cdots =-{\tfrac {1}{x_{1}x_{2}}}\ .} 平行弦の場合、傾きは一定であり、平行弦の中点は直線上にある。 y = 1 x 1 x 2 x . {\displaystyle y={\tfrac {1}{x_{1}x_{2}}}\;x\ .}
結論:弦上の 任意の点対に対して 、双曲線の中心を通る軸(固定点の集合)を持つ 斜め反射 が存在し、この反射では点が交換され、双曲線全体は固定されます。斜め反射は、直線 を横切る通常の反射の一般化であり 、すべての点像対は に垂直な直線上にあります 。 P , Q {\displaystyle P,Q} P , Q {\displaystyle P,Q} m {\displaystyle m} m {\displaystyle m}
斜め鏡映では双曲線は固定されるため、一対の漸近線も固定されます。したがって、 弦の中点は 、漸近線間の線分 も半分に分割します。これは、 が成り立つことを意味します。この性質は 、点と漸近線が与えられている場合、双曲線の 更なる点の構築に利用できます 。 M {\displaystyle M} P Q {\displaystyle PQ} P ¯ Q ¯ {\displaystyle {\overline {P}}\,{\overline {Q}}} | P P ¯ | = | Q Q ¯ | {\displaystyle |P{\overline {P}}|=|Q{\overline {Q}}|} Q {\displaystyle Q} P {\displaystyle P}
弦が 接線 に退化する場合、接点は漸近線間の線分を 2 つに分割します。
直交接線 – 直交座標 双曲線とその直交座標(マゼンタ) 双曲線の場合、 直交 接線の交点は 円上に存在します 。 この円は、 与えられた双曲線の 直交円と呼ばれます。 x 2 a 2 − y 2 b 2 = 1 , a > b {\textstyle {\frac {x^{2}}{a^{2}}}-{\frac {y^{2}}{b^{2}}}=1,\,a>b} x 2 + y 2 = a 2 − b 2 {\displaystyle x^{2}+y^{2}=a^{2}-b^{2}}
接線は双曲線の異なる枝上の点に属する場合があります。
直交接線のペアが存在しない 場合。 a ≤ b {\displaystyle a\leq b}
双曲線の極-極関係 双曲線:極-極関係 任意の双曲線は、適切な座標系において方程式 で記述できる。 双曲線の 点における接線の方程式は、 である。 点 を 原点とは異なる任意の点とすると、 x 2 a 2 − y 2 b 2 = 1 {\displaystyle {\tfrac {x^{2}}{a^{2}}}-{\tfrac {y^{2}}{b^{2}}}=1} P 0 = ( x 0 , y 0 ) {\displaystyle P_{0}=(x_{0},y_{0})} x 0 x a 2 − y 0 y b 2 = 1. {\displaystyle {\tfrac {x_{0}x}{a^{2}}}-{\tfrac {y_{0}y}{b^{2}}}=1.} P 0 = ( x 0 , y 0 ) {\displaystyle P_{0}=(x_{0},y_{0})}
点は 双曲線の中心を通るのではなく、 直線上にマッピングされます。 P 0 = ( x 0 , y 0 ) ≠ ( 0 , 0 ) {\displaystyle P_{0}=(x_{0},y_{0})\neq (0,0)} x 0 x a 2 − y 0 y b 2 = 1 {\displaystyle {\frac {x_{0}x}{a^{2}}}-{\frac {y_{0}y}{b^{2}}}=1} 点と線の間のこの関係は 一対一の関係 です。
逆 関数 マップ
点に 線を引い て y = m x + d , d ≠ 0 {\displaystyle y=mx+d,\ d\neq 0} ( − m a 2 d , − b 2 d ) {\displaystyle \left(-{\frac {ma^{2}}{d}},-{\frac {b^{2}}{d}}\right)} 点に 線を引く x = c , c ≠ 0 {\displaystyle x=c,\ c\neq 0} ( a 2 c , 0 ) . {\displaystyle \left({\frac {a^{2}}{c}},0\right)\ .} 円錐曲線によって生成される点と直線の間のこのような関係は、 極-極関係 、あるいは単に 極性 と呼ばれます。極は点、極は直線です。 「極と極」 を参照してください。
計算により、双曲線の極-極関係の次の特性を確認します。
双曲線上の 点(極)の場合、 極座標はその点における接線です(図を参照 )。 P 1 , p 1 {\displaystyle P_{1},\ p_{1}} 双曲線の外側の 極の場合、 その極と双曲線の交点は、2 つの接線が通る接点です (図を参照 )。 P {\displaystyle P} P {\displaystyle P} P 2 , p 2 , P 3 , p 3 {\displaystyle P_{2},\ p_{2},\ P_{3},\ p_{3}} 双曲線 内の 点の場合、極座標は双曲線と共通する点を持ちません。(図を参照 )。 P 4 , p 4 {\displaystyle P_{4},\ p_{4}} 備考:
2 つの極 (例: ) の交点は、 それらの極を通る線 (ここでは ) の極です。 p 2 , p 3 {\displaystyle p_{2},p_{3}} P 2 , P 3 {\displaystyle P_{2},P_{3}} 焦点 と、 および準線 と、は それぞれ極と極のペアに属します。 ( c , 0 ) , {\displaystyle (c,0),} ( − c , 0 ) {\displaystyle (-c,0)} x = a 2 c {\displaystyle x={\tfrac {a^{2}}{c}}} x = − a 2 c {\displaystyle x=-{\tfrac {a^{2}}{c}}} 楕円や放物線にも極-極関係が存在します。
その他の特性 以下のものは 共線 である:(1)双曲線の焦点を通り、双曲線の中心を中心とする円、(2)頂点で双曲線に接する線のいずれか、および(3)双曲線の漸近線のいずれか。 [21] [22] 以下のものも共線である:(1)双曲線の中心を中心とし、双曲線の頂点を通る円、(2)いずれかの準線、(3)いずれかの漸近線。 [22] 横軸と共役軸は両方とも対称軸であるため、 双曲線の 対称群は クラインの四元群 です。 長方形双曲線 xy = 定数は、 双曲線を 不変集合として持つ スクイーズ写像 による 群作用を 許容します 。 直角双曲線の中心は、その上で 直交心系 を形成しない任意の 4 つの点の ポンスレ点 です。
弧の長さ 双曲線の弧の長さには 基本的な式は ありません。双曲線の上半分は次のようにパラメータ化できます。
y = b x 2 a 2 − 1 . {\displaystyle y=b{\sqrt {{\frac {x^{2}}{a^{2}}}-1}}.}
次に、から までの 弧の長さを与える積分は 次のように計算できます。 s {\displaystyle s} x 1 {\displaystyle x_{1}} x 2 {\displaystyle x_{2}}
s = b ∫ arcosh x 1 a arcosh x 2 a 1 + ( 1 + a 2 b 2 ) sinh 2 v d v . {\displaystyle s=b\int _{\operatorname {arcosh} {\frac {x_{1}}{a}}}^{\operatorname {arcosh} {\frac {x_{2}}{a}}}{\sqrt {1+\left(1+{\frac {a^{2}}{b^{2}}}\right)\sinh ^{2}v}}\,\mathrm {d} v.}
置換 を使用した後、これは パラメータ を持つ 第2種不完全楕円積分 を使用して表すこともできます 。 z = i v {\displaystyle z=iv} E {\displaystyle E} m = k 2 {\displaystyle m=k^{2}}
s = i b [ E ( i v | 1 + a 2 b 2 ) ] arcosh x 2 a arcosh x 1 a . {\displaystyle s=ib{\Biggr [}E\left(iv\,{\Biggr |}\,1+{\frac {a^{2}}{b^{2}}}\right){\Biggr ]}_{\operatorname {arcosh} {\frac {x_{2}}{a}}}^{\operatorname {arcosh} {\frac {x_{1}}{a}}}.}
実数のみを用いると、これは [23]となる。
s = b [ F ( gd v | − a 2 b 2 ) − E ( gd v | − a 2 b 2 ) + 1 + a 2 b 2 tanh 2 v sinh v ] arcosh x 1 a arcosh x 2 a {\displaystyle s=b\left[F\left(\operatorname {gd} v\,{\Biggr |}-{\frac {a^{2}}{b^{2}}}\right)-E\left(\operatorname {gd} v\,{\Biggr |}-{\frac {a^{2}}{b^{2}}}\right)+{\sqrt {1+{\frac {a^{2}}{b^{2}}}\tanh ^{2}v}}\,\sinh v\right]_{\operatorname {arcosh} {\tfrac {x_{1}}{a}}}^{\operatorname {arcosh} {\tfrac {x_{2}}{a}}}}
ここで は パラメータ を持つ 第 1 種不完全楕円積分で あり、は グーデルマン関数 です 。 F {\displaystyle F} m = k 2 {\displaystyle m=k^{2}} gd v = arctan sinh v {\displaystyle \operatorname {gd} v=\arctan \sinh v}
導出曲線 極座標における 正弦螺旋 ( r n = −1 n cos( nθ ), θ = π /2 ) とそれに相当する 直交座標 : n = −2 : 正双曲線
双曲線から反転 によっていくつかの曲線を導くことができ 、これらはいわゆる 双曲線の 逆曲線である。反転の中心を双曲線自身の中心とした場合、逆曲線は ベルヌーイのレムニスケート となる。レムニスケートは、直角双曲線を中心とし原点を通る円の包絡線でもある。反転の中心を双曲線の焦点または頂点とした場合、結果として得られる逆曲線はそれぞれ リマソン または ストロフォイド となる。
楕円座標 共焦点双曲線族は、 2次元の 楕円座標系の基礎となる。これらの双曲線は、以下の式で表される。
( x c cos θ ) 2 − ( y c sin θ ) 2 = 1 {\displaystyle \left({\frac {x}{c\cos \theta }}\right)^{2}-\left({\frac {y}{c\sin \theta }}\right)^{2}=1}
ここで、焦点は 原点から x軸上の距離 c に位置し、θは漸近線と x 軸のなす角である。この族に属するすべての双曲線は、同じ焦点を共有するすべての楕円と直交する。この直交性は、直交座標系 w = z + 1/ zの 等角写像 によって示される。 ここで、 z = x + iy は元の直交座標であり、 w = u + iv は変換後の座標である。
双曲線を含む他の直交二次元座標系は、他の等角写像によって得られる。例えば、 w = z 2 の写像は、直交座標系を2つの直交双曲線族に変換する。
円の双曲線的外観の円錐断面分析 球面への円の中心投影 :投影の中心 O は球面内にあり、像面は赤色です。 円の像は円(マゼンタ)、楕円、双曲線、直線となります。放物線のような特殊なケースはこの例では現れません。 (中心 Oが球面 上に ある場合 、円の像はすべて円または直線になります。 ステレオ投影を 参照してください。) 円錐曲線は、円、楕円、放物線、双曲線を統一的に記述するだけでなく、観察されるシーンが円、より一般的には楕円で構成されている場合の遠近法の幾何学の自然なモデルとしても理解できます。観察者は通常、カメラまたは人間の目であり、シーンの像は像面への 中心投影 です。つまり、すべての投影光線は 中心である固定点 Oを通過します。 レンズ面は、レンズ O において像面と平行な平面です 。
円cのイメージは
円 、円 c が 特別な位置、例えば像面と平行な位置にある場合など(立体投影を参照)、 cが レンズ面と共通する点を 持た ない 場合、 楕円 となる。 放物線 、 c が レンズ面と共通の 1 点を持ち、 c が レンズ面と共通の 2 つの 点を持つ 場合、 双曲線に なります。 (円平面が点 O を含む特殊な位置は省略します。)
これらの結果は、投影プロセスが 2 つのステップで見られることを認識すれば理解できます。1) 円 c と点 O が円錐を生成し、2) その円錐が画像平面によって切断されて画像が生成されます。
レンズ面によって円が切り取られた部分を目にすると、必ず双曲線が見えます。見える側の枝のほとんどが見えず、さらにもう一方の枝が全く見えないため、人間の視覚系では双曲線との関連性を認識することは事実上不可能です。
アプリケーション 日時計の赤緯線としての双曲線 水平な超音速航空機の衝撃波が 平らな地面(黄色)に接触する領域は、 地面が円錐の軸と平行に交差するため、双曲線の一部になります。
日時計 双曲線は多くの日時計 で見られます 。どの日でも、太陽は 天球上 を円を描いて回転し、日時計上の点に当たるその光線は光の円錐を描きます。この円錐と地面の水平面の交点が円錐曲線を形成します。人口の多いほとんどの緯度で、また一年のほとんどの時期に、この円錐曲線は双曲線です。実際には、棒の先端の影は 1 日を通して地面に双曲線を描きます (この軌跡は赤 緯線 と呼ばれます)。この双曲線の形は地理的な緯度と一年の時期によって変わります。これらの要因が地平線に対する太陽光線の円錐に影響を与えるからです。特定の場所におけるこのような双曲線の 1 年間の集合は、 両刃の斧に似ていることから、ギリシャ人によって ペレキノンと呼ばれていました。
マルチラテレーション 双曲線は、 マルチラテレーション 問題を解くための基礎です。マルチラテレーション問題とは、ある点から与えられた点までの距離の差、またはそれと同等に、ある点と与えられた点との間の同期信号の到着時間の差からその点の位置を特定する作業です。このような問題は、特に水上の航行において重要です。船舶は、 LORAN または GPS 送信機からの信号の到着時間の差から、その位置を特定できます。逆に、ホーミング ビーコンまたは任意の送信機は、2 つの別々の受信局での信号の到着時間を比較することによって、その位置を特定できます。このような技術は、物体や人を追跡するために使用できます。特に、与えられた 2 点からの距離差が 2 a である点の可能な位置の集合は、その焦点が与えられた 2 点である、頂点間の距離が 2 a の双曲線です。
粒子が辿る経路 古典的なケプラー問題 において、あらゆる粒子が辿る軌道は 円錐曲線 となる 。特に、粒子の全エネルギー E がゼロより大きい場合(つまり、粒子が束縛されていない場合)、そのような粒子の軌道は双曲線となる。この性質は、高エネルギー粒子の散乱による原子および亜原子レベルの力の研究に役立つ。例えば、 ラザフォードの実験では、 金 原子による アルファ粒子 の散乱を調べることで 原子核 の存在を実証した 。短距離の原子核相互作用を無視すれば、原子核とアルファ粒子は クーロン反発力 のみで相互作用し、これは ケプラー問題の 逆二乗則の要件を満たす。 [24]
コルテヴェク・ド・フリース方程式 双曲三角関数は、 管内のソリトン波の運動を記述する コルテウェグ・ド・フリース方程式 の 1 つの解として現れます。 sech x {\displaystyle \operatorname {sech} \,x}
角の三等分 離心率2の双曲線(黄色の曲線)を使用して角度(AOB)を三等分する ペルガのアポロニウス が初めて示したように、双曲線は 任意の角度を三等分する のに使用できます。これは 幾何学においてよく研究されている問題です。角度が与えられたら、まず頂点 O を中心とし、その角の辺と点 A および点 Bで交差する円を描きます。次に、端点 A および B を通る線分 とその垂直二等分線を描きます。 を準線 、 B を 焦点として、 離心率 e =2 の双曲線を作成します。 双曲線と円の交点(上側)を Pとします。角 POB は 角 AOB を三等分します。 ℓ {\displaystyle \ell } ℓ {\displaystyle \ell }
これを証明するには、線分 OP を 線分 BP について鏡映しし、 点 P' を P の像として求めます 。 鏡映により線分 AP'は線分 BP と同じ長さになりますが、 双曲線の離心率により線分 PP' は線分 BP と同じ長さになります。 [ 25 ] OA 、 OP ' 、 OP 、 OB は すべて同じ円の半径(つまり同じ長さ)なので、三角形 OAP' 、 OPP' 、 OPBはすべて合同です。したがって、3× POB = AOB なので、角は三等分されています 。 [26] ℓ {\displaystyle \ell }
効率的ポートフォリオフロンティア ポートフォリオ理論 では、 平均分散効率 の高いポートフォリオの軌跡 (効率フロンティアと呼ばれる)は、ポートフォリオの収益の標準偏差を水平にプロットし、その期待値を垂直にプロットして描かれた双曲線の東向きの枝の上半分です。この理論によれば、すべての合理的な投資家はこの軌跡上のある点によって特徴付けられるポートフォリオを選択します。
生化学 生化学 と 薬理学 において 、 ヒルの式 と ヒル・ラングミュアの式はそれぞれ、生物学的 反応と タンパク質-リガンド複合体 の形成をリガンド濃度の関数として 記述する 。これらはいずれも直角双曲線である。
二次曲線の平面切断としての双曲線 双曲線は次の二次 曲線 の平面切断として現れます。
参照
その他の円錐曲線
注記 ^ ヒース、サー・トーマス・リトル(1896年)「第1章 円錐曲線の発見。メナエクムス」『ペルガのアポロニウス:円錐曲線に関する論文と序論、この主題に関する初期の歴史に関するエッセイを含む』ケンブリッジ大学出版局、pp. xvii– xxx 。 ^ Boyer, Carl B.; Merzbach, Uta C. (2011), 『数学の歴史』Wiley, p. 73, ISBN 9780470630563 これらの曲線に関連して「楕円」と「双曲線」という名前を導入したのは、 おそらくアルキメデスの提案に従ったアポロニウスでした。 ^ イヴス、ハワード(1963年)、 幾何 学概論(第1巻) 、アリン&ベーコン、 pp.30-31 ^ アポストル、トム M. Mnatsakanian、Mamikon A. (2012)、 New Horizons in Geometry 、The Dolciani Mathematical Expositions #47、The Mathematical Association of America、p. 251、 ISBN 978-0-88385-354-2 ^ このサークルのドイツ語の用語は Leitkreis であり、「ディレクターサークル」と翻訳できますが、この用語は英語の文献では異なる意味を持ちます ( ディレクターサークルを 参照)。 ^ Frans van Schooten : Mathematische Oeffeningen 、ライデン、1659 年、p. 327 ^ E. ハートマン:講義ノート「平面円幾何学、メビウス平面、ラゲール平面、ミンコフスキー平面入門」93ページ ^ W. ベンツ: Vorlesungen über Geomerie der Algebren 、 Springer (1973) ^ 講義ノート 平面円幾何学、メビウス平面、ラゲール平面、ミンコフスキー平面入門、S. 33、(PDF; 757 kB) ^ 講義ノート 平面円幾何学、メビウス平面、ラゲール平面、ミンコフスキー平面入門、S. 32、(PDF; 757 kB) ^ Fanchi, John R. (2006). 『科学者とエンジニアのための数学復習』John Wiley and Sons. 第3.2節、44~45ページ. ISBN 0-471-75715-2 。 ^ Korn, Granino A; Korn, Theresa M. (2000). 『科学者とエンジニアのための数学ハンドブック:定義、定理、公式の参照と復習』 (第2版). Dover Publ. p. 40. ^ ab Mitchell, Douglas W.、「双曲線とその漸近線の性質」、 Mathematical Gazette 96、2012年7月、299–301。 ^ JW Downs, Practical Conic Sections , Dover Publ., 2003 (原著 1993): p. 26. ^ ケイシー、ジョン(1885)「点、直線、円、円錐断面の解析幾何学に関する論文。最新の拡張の説明と多数の例を含む」 ^ Coffman, RT; Ogilvy, CS (1963)、「円錐曲線の『反射特性』」、 Mathematics Magazine 、 36 (1): 11– 12、 doi :10.1080/0025570X.1963.11975375、 JSTOR 2688124
フランダース、ハーレー(1968)、「円錐曲線の光学特性」、 アメリカ数学月刊誌 、 75 (4):399、 doi :10.1080/00029890.1968.11970997、 JSTOR 2313439
Brozinsky, Michael K. (1984)、 「楕円と双曲線の反射特性」 、 College Mathematics Journal 、 15 (2): 140– 42、 doi :10.1080/00494925.1984.11972763(2025年7月1日現在休止)、 JSTOR 2686519 {{citation }}: CS1 maint: DOI inactive as of July 2025 (link )
^ “Hyperbola”. Mathafou.free.fr . 2016年3月4日時点のオリジナルよりアーカイブ 。 2018年 8月26日 閲覧。 ^ ab 「双曲線の性質」。2017年2月2日時点のオリジナルよりアーカイブ 。 2011年6月22日 閲覧。 ^ Carlson, BC (2010)、「楕円積分」、 Olver, Frank WJ ; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W. (eds.)、 NIST Handbook of Mathematical Functions 、Cambridge University Press、 ISBN 978-0-521-19225-5 、 MR 2723248 。 ^ ハイルブロン、ジョン・L. (1968). 「α粒子とβ粒子の散乱とラザフォードの原子」. 正確科学史アーカイブ . 4 (4): 247– 307. doi :10.1007/BF00411591. JSTOR 41133273. ^ P から PP' まで の距離の2倍は 準線焦点の性質により BP に等しいので ℓ {\displaystyle \ell } ^この構築は アレクサンドリアのパップス (西暦300年頃)によるもので 、証明はKazarinoff 1970の62ページにあります。
参考文献
外部リンク ウィキメディア コモンズには、双曲線 に関連するメディアがあります 。