円錐と傾斜面の交差によって得られる楕円 (赤)。
楕円:離心率が増加する例

数学において楕円とは、2つの焦点を囲む平面曲線であり、曲線上のすべての点において、焦点までの距離の和が一定となる曲線です。楕円は、2つの焦点が一致する特殊な楕円である円を一般化したものです。楕円の伸長は、離心率によって測定されます。離心率は、 (円の極限の場合)から(無限伸長の極限の場合、もはや楕円ではなく放物線の範囲の数値です

楕円の面積は簡単な代数解で求められますが、周囲長(円周とも呼ばれます)については、正確な解を得るには積分が必要です。

楕円の最大直径と最小直径(幅と高さとも呼ばれます)は、通常2a2bで表されます。楕円には 4 つの端点があります。長軸の両端に2 つの頂点、短軸の両端に2 つの共頂点です。

楕円内の注目すべき点と線分。

解析的に、原点を中心とする標準楕円の方程式は:と仮定すると、焦点は であり、ここで線型離心率)は中心から焦点までの距離である。標準的な媒介変数方程式は:

楕円は円錐曲線閉じたタイプです。円錐平面の交点をなぞる平面曲線です(図を参照)。楕円は、放物線と双曲線という他の2つの円錐曲線と多くの類似点を持っています。放物線と双曲線はどちらも開いており、境界がありません。直円柱の角度付き断面も楕円です。

楕円は、1 つの焦点と、準線と呼ばれる楕円の外側の線で定義することもできます。楕円上のすべての点について、焦点までの距離と準線までの距離の比率は一定であり、離心率と呼ばれます。

楕円は物理学天文学工学でよく用いられます。たとえば、太陽系の各惑星の軌道は、太陽を 1 つの焦点とするほぼ楕円形です (より正確には、焦点は太陽と惑星のペアの重心です)。同じことが、惑星を周回する衛星や、その他すべての 2 つの天体からなる系にも当てはまります。惑星や恒星の形状は、多くの場合、楕円体でうまく説明できます。側面から見た円は楕円のように見えます。つまり、楕円は、円を平行投影または透視投影した像です。楕円は、水平方向と垂直方向の運動が同じ周波数の正弦波である場合に形成される最も単純なリサジュー図形でもあります。同様の効果により、光学では光の楕円偏光が起こります。

ἔλλειψις ( élleipsis 、「省略」)という名前は、ペルガのアポロニウスが著書『円錐図法』の中で付けたものです

点の軌跡としての定義

[編集]
楕円:焦点までの距離の合計による定義
楕円:焦点と円準線による定義

楕円は、ユークリッド平面上の点の集合または軌跡として幾何学的に定義できます。

焦点と呼ばれる 2 つの固定点と、焦点間の距離よりも大きい距離が与えられた場合、楕円は距離の合計が次の値に等しくなるような点の集合です

焦点を結ぶ線分中点は楕円の中心と呼ばれます。焦点を通る直線は長軸、それに垂直で中心を通る直線は短軸と呼ばれます。長軸は楕円の2つの頂点 で交差し、これらの頂点からの中心までの距離は焦点距離または線離心率と呼ばれます。この商が離心率として定義されます

このケースは円となり、楕円の特殊なタイプとして含まれます。

この方程式は別の方法でも見ることができます (図を参照)。

が中心、半径 の円である場合、点から円までの距離は焦点までの距離に等しくなります

は楕円の円準線(焦点に関連と呼ばれます。 [ 1 ] [ 2 ]この性質は、以下の準線を使用した楕円の定義と混同しないでください。

ダンデリン球を使用すると、平面に頂点が含まれず、その傾斜が円錐上の線の傾斜よりも小さいと仮定すると、平面を含む円錐の任意の断面が楕円であることを証明できます。

直交座標系

[編集]
形状パラメータ:
  • a : 長半径、
  • b : 短半径、
  • c : 直線偏心、
  • p : 半広腸直腸 (通常は)。

標準方程式

[編集]

デカルト座標における楕円の標準的な形式では、原点が楕円の中心、x軸が長軸、次の式が成り立ちます。

  • 焦点は点であり
  • 頂点は です

任意の点について、焦点までの距離は であり、もう一方の焦点までの距離は である。したがって、以下の場合、その点は楕円上にある。

適切な平方根をとって(図を参照)を使うと、楕円標準方程式が得られる:[ 3 ]または、yについて解くと:

幅と高さのパラメータは、長半径と短半径と呼ばれます。上端と下端は共頂点です。楕円上の点から左右の焦点までの距離は、それぞれ とです

この方程式から、楕円は座標軸に対して対称であり、したがって原点に対して対称であることがわかります。

パラメータ

[編集]

主軸

[編集]

この記事全体を通して、長半径と短半径はそれぞれ とで表されます

原理的には、標準的な楕円方程式は(したがって楕円は幅よりも高さが大きくなる)となる。この形式は、変数名パラメータ名とを転置することで標準形式に変換できる。

直線偏心

[編集]

これは中心から焦点までの距離です

偏心

[編集]
長軸aと短軸bに関する離心率e : e ² + ( b/a )² = 1

離心率は次のように表すことができます。

等しい軸を持つ楕円 ( ) は離心率がゼロで円であると仮定します。

半側直腸

[編集]

長軸に垂直な、焦点を通る弦の長さは、大腿直筋と呼ばれる。その半分は半大腿直筋 である。計算により、以下の式が得られる。[ 4 ]

半直筋は頂点における曲率半径に等しい(曲の項を参照)。

正接

[編集]

任意の直線は楕円と0点、1点、または2点で交わります。これらの点はそれぞれ外線接線、割線と呼ばれます。楕円の任意の点を通る接線は1つだけです。楕円の任意の点における接線の座標方程式は次のようになります。

接線のベクトル媒介変数方程式は次のようになります。

証明:を楕円上の点とし、含む任意の直線の方程式とする。直線の方程式を楕円方程式に代入し、 を尊重すると、以下のようになる。以下の場合が存在する。

  1. すると、直線と楕円は共通点を1点だけ持ち、接線となる。接線方向は垂直ベクトルを持つので、接線は何らかの に対して方程式を持つは接線と楕円上にあるので、 が得られる
  2. すると、直線は楕円と共通する 2 番目の点を持ち、正接になります。

(1)を用いると、 が点 における接ベクトルであることがわかり、ベクトル方程式が証明される。

と が楕円の2点であって となる場合、これらの点は2つの共役直径上にあります(下の を参照)。( の場合、楕円は円であり、「共役」とは「直交」を意味します。)

シフトした楕円

[編集]

標準楕円を中心 に移動すると、その方程式は

軸は依然としてx軸とy軸に平行です。

一般楕円

[編集]
平面上の一般的な楕円は、直交座標の2変数二次方程式として、または中心、長軸と短軸、角度を使用して一意に記述できます。

解析幾何学では、楕円は二次曲面として定義される。二次曲面とは、非退化の場合に暗黙の方程式[ 5 ] [ 6 ]を満たす直交平面上の点の集合である。

退化している場合と退化していない場合を区別するために∆を行列式とする。

楕円が非退化実楕円となるのは、C∆ <0のときのみである。C∆>0のときは楕円、 =0のときは点楕円となる。[ 7 ] :63 

一般的な方程式の係数は、既知の長半径、短半径、中心座標、および回転角度(正の水平軸から楕円の長軸までの角度)から次の公式を使用して取得できます。

これらの式は、座標のユークリッド変換によって標準方程式から導くことができます

逆に、標準形パラメータは一般形係数から次の式で得られる:[ 3 ]

ここで、atan2は 2 つの引数を持つ逆正接関数です。

パラメトリック表現

[編集]
媒介変数方程式に基づく点の構築と、デ・ラ・イールによるパラメータtの解釈
等間隔のパラメータを持つ有理表現によって計算された楕円点()。

標準的なパラメトリック表現

[編集]

三角関数を使用した標準楕円のパラメトリック表現は次のようになります。

パラメータt(天文学では偏心異常と呼ばれる)はx軸に対する角度ではなく、フィリップ・ド・ラ・イールによって幾何学的な意味を持つようになった(以下の「楕円の描き方」を参照)。[ 8 ]

有理表現

[編集]

置換法と三角関数の公式を用いると、次の式が得られる。

楕円の有理媒介変数方程式

これは楕円の左頂点以外の任意の点をカバーします

この式は、楕円の右上の4分の1が反時計回りに増加しながら移動することを表しています。左の頂点が限界です。

あるいは、パラメータが実射影直線上の点であるとみなされる場合、対応する有理パラメータ化は

それから

円錐曲線の有理表現は、コンピュータ支援設計でよく使用されます(ベジェ曲線を参照)。

接線勾配をパラメータとして

[編集]

楕円の点における接線の傾きを使用するパラメトリック表現は、標準表現の導関数から得ることができます

三角関数の公式を用いると次の式が得られます。

標準表現のと を置き換えると次のようになります。

ここで、 は対応する楕円点における接線の傾きであり、は楕円の上半分と下半分である。垂直接線を持つ頂点 は、この表現には含まれない。

点 における接線の方程式はの形をとります。まだ未知数である は、対応する楕円点 の座標を代入することで決定できます

楕円の接線に関するこの記述は、楕円の正射影を決定するための必須のツールです。正射影に関する論文には、微分積分や三角関数の公式を用いない別の証明が含まれています。

一般楕円

[編集]
単位円のアフィン像としての楕円

楕円の別の定義ではアフィン変換を使用します。

任意の楕円は、方程式 を持つ単位円のアフィン像です
パラメトリック表現

ユークリッド平面のアフィン変換は の形をとります。ここで は(行列式 が非零である正則行列でありは任意のベクトルです。が行列 の列ベクトルである場合、単位円は楕円 に写像されます。

ここでは中心であり、は 2 つの共役直径の方向であり、一般には垂直ではありません。

頂点

楕円の 4 つの頂点は であり、パラメータは次のように定義されます。

( ならば)これは次のように導出されます。点における接線ベクトルは:

頂点パラメータでは、接線は長軸/短軸に垂直なので、次のようになります。

展開して恒等式を適用すると次の式が得られる。

エリア

アポロニオスの定理(下記参照)から次の式が得られる:
楕円の面積

半軸

略語を用いると、 アポロニオスの定理は次のように書ける。この非線形系を解くと、半軸が得られる。

暗黙的表現

の媒介変数表現をクラメールの定理で解き、 を使うと、次の暗黙表現が得られる。

に言えば、

原点を中心とする楕円の点が与えられている場合、2 つのベクトルは 2 つの共役点を指し、上で開発したツールが適用できます。

:方程式を持つ楕円の場合、ベクトルは

渦巻き:入れ子になり、拡大縮小され、回転した楕円。螺旋は描かれておらず、楕円が互いに特に接近している点の軌跡として捉えられています。
回転した標準楕円

角度 だけ回転した標準楕円のパラメトリック表現が得られます

宇宙の楕円

このセクションの楕円の定義は、空間内のベクトルを許容する場合、空間内であっても任意の楕円のパラメトリック表現を与えます。

極形式

[編集]

中心に対する極形式

[編集]
中心を中心とした極座標。

極座標では、原点を楕円の中心に置き、角度座標を長軸から測ると、楕円の方程式は[ 7 ]:75 となり、 ここでは離心率(オイラー数ではない)である。

焦点に対する極形式

[編集]
焦点を中心とした極座標。

代わりに、原点を1つの焦点とする極座標を使用し、角度座標を長軸から測定すると、楕円の方程式は次のようになります。

ここで、分母の符号は、基準方向が中心に向いている場合(右図参照)は負になり、基準方向が中心から離れる方向を向いている場合は正になります。

この角度は、その点の真異常角と呼ばれます。分子は半直筋です

離心率と準線の性質

[編集]
楕円:準線の性質

短軸に平行で、短軸から の距離にある 2 本の線は、それぞれ楕円の準線と呼ばれます(図を参照)。

楕円の任意の点について、1つの焦点までの距離と対応する準線までの距離の商(図を参照)は離心率に等しくなります。

ペアの証明は、およびが次式を満たすという事実から導かれる。

2 番目のケースも同様に証明されます。

逆もまた真であり、楕円を定義するのに使用できます(放物線の定義と同様の方法で)。

任意の点(焦点)、 を通らない任意の直線(準線) 、および楕円を持つ任意の実数について、 は、点までの距離と直線までの距離の商が次の式で表される点の軌跡です

円の離心率であるへの延長は、この文脈ではユークリッド平面では認められない。しかし、円の準線は射影平面における無限遠直線であると考えることはできる。

( を選択すると放物線になり、 の場合は双曲線になります。)

共通の頂点と共通の半横隔膜を持つ円錐曲線の鉛筆
証拠

とし、 を曲線上の点と仮定する。準線は方程式 を持つ。 とすると、関係式は次の式を生成する。

そして

置換により

これは楕円)、放物線)、双曲線( )の方程式です。これらの非退化円錐曲線はすべて、原点を頂点とする点が共通しています(図を参照)。

ならば、新たなパラメータを導入してとする、上の式は

これは、中心 、長軸としてx軸、長/短半軸 を持つ楕円の方程式です

準線の構築
準線の構築

準線図参照)と焦点は円に関して逆向きであるため、(図の緑色)での反転は逆向きです。したがって、図に示すように を構築できます。準線は、点 における主軸への垂線です

一般楕円

焦点がで準線がの場合、次の式が得られます。

(式の右側では、直線のヘッセ正規形を使用して距離を計算します。)

焦点間反射特性

[編集]
楕円: 接線w は、点 P から焦点までの線の間の角度 F1-P-F2 の補角LP-F1を二等分します。
一方の焦点からの光線は楕円で反射してもう一方の焦点を通過します。

楕円には次の特性があります。

ある点における法線は、線の間の角度を二等分します
証拠

接線は法線に垂直なので、等価な表現は、接線は焦点への直線の外角二等分線であるということです(図を参照)。 を焦点からの距離を持つ直線上の点とし、 は楕円の長半径とします。 を直線の外角二等分線とします。上の他の任意の点を とします。三角不等式角二等分線定理により楕円の外側になければなりません。 のあらゆる選択においてこれが成り立つため、は楕円と でのみ交差するため、接線も でなければなりません。

応用

一方の焦点から出た光線は、楕円によって反射されてもう一方の焦点に向かいます。この性質は、放物線の反射特性(ウィスパリング・ギャラリーを参照)と同様に、光学的および音響的に応用されます。また、楕円に接する円上の反射に関するアルハゼンの問題を定式化するのに用いられます

さらに、楕円は焦点から焦点まで反射するという性質があるため、光線が伝播し続けると、反射された光線は最終的に長軸とほぼ一致することになります。

共役直径

[編集]

共役直径の定義

[編集]
接線の正方形、平行弦の中点、および共役直径、接線の平行四辺形、弦の中点を持つ楕円であるアフィン像を持つ円の直交直径。

円には次の特性があります。

平行弦の中点は直径上にあります。

アフィン変換は線分の平行性と中点を保持するため、この特性はどの楕円にも当てはまります。(平行弦と直径は直交しなくなることに注意してください。)

意味

楕円の2つの直径は、楕円に平行な弦の中点が楕円の上にあるとき共役である。

図から次のことがわかります。

楕円の2 つの直径は、および の接線が に平行である場合に共役です

楕円の共役直径は、円の直交直径を一般化します。

上記の一般的な楕円の媒介変数方程式では、

任意の点のペアは直径に属し、そのペアはその共役直径に属します。

楕円の一般的な媒介変数表現は次式で表されます。点

(記号:(+,+) または (−,−) )
(記号:(−、+)または(+、−))
共役であり、

円の場合、最後の式は次のように変形される。

共役直径に関するアポロニオスの定理

[編集]
アポロニオスの定理
代替面積公式

半軸を持つ楕円の場合、次の式が成り立ちます。[ 9 ] [ 10 ]

とを2つの共役直径の半分とする(図を参照)、
  1. 辺を持つ三角形(図参照) 面積は一定で、これも と表すことができますは点の高度と、半直径間の角度です。したがって、楕円の面積(「計量特性」のセクション参照)は と表すことができます
  2. 与えられた共役直径に隣接する接線の平行四辺形は、
証拠

楕円を媒介変数方程式の標準形とする

2点は共役直径上にある(前節参照)。三角関数の公式から次式が得られる

によって生成される三角形の面積

そして、図から、平行四辺形の面積は の8倍であることがわかります。したがって、

直交接線

[編集]
楕円とその視力矯正

楕円の場合、直交接線の交点は円上にあります

この円は楕円の視準円または導円と呼ばれます (上で定義した円準線と混同しないでください)。

楕円を描く

[編集]
円の中心投影(門)

楕円は、記述幾何学において円の像(平行投影または中心投影)として現れる。楕円を描くための様々なツールが存在する。コンピュータは、楕円を描くための最も高速かつ正確な方法を提供する。しかし、コンピュータを使わずに楕円を描くための技術的なツール(エリプソグラフ)も存在する。この原理は5世紀の数学者プロクロスに知られており、現在楕円形トラメルとして知られているツールは、レオナルド・ダ・ヴィンチによって発明された[ 11 ]

楕円曲線が利用できない場合は、頂点における 4 つの接触円による近似を使用して楕円を描くことができます

以下に述べるいずれの方法においても、軸と半軸(あるいは同義語:焦点と長軸半軸)の知識が必要です。この前提が満たされない場合は、少なくとも2つの共役直径を知る必要があります。リッツの構成法を用いることで、軸と半軸を復元することができます。

デ・ラ・ハイレのポイント構築

[編集]

楕円の各点の次の構成は、ド・ラ・イルによるものである。[ 12 ] これは楕円の標準的な媒介変数表現に基づいている。

  1. 楕円の中心を中心として、半径と楕円の軸を持つ2 つの円を描きます。
  2. 中心 を通る線を引きます。この線は、2 つの円とそれぞれ点およびで交差します
  3. 短軸に平行な直線と軸に平行な直線を描きます。これらの直線は楕円の点で交わります参照)。
  4. 中心を通る異なる線で手順(2)と(3)を繰り返します。
楕円:庭師の方法

ピンと紐を使った方法

[編集]

楕円を、焦点までの距離の合計が一定となるような点の軌跡として特徴付けると、2 本の画鋲、長い紐、鉛筆を使用して楕円を描く方法が考えられます。この方法では、紙の 2 点に画鋲を刺し、その 2 点が楕円の焦点になります。2 本の画鋲に紐の両端を結びます。結んだ後の紐の長さは です。紐をぴんと張ったまま鉛筆の先を動かすと、楕円を描きます。庭師は、2 本の画鋲とロープを使用してこの手順で楕円形の花壇の輪郭を描きます。そのため、これは庭師の楕円と呼ばれています。ビザンチン建築家のトラレスのアンテミウス 600年頃)は、この方法を使って楕円形の反射鏡を製作する方法を説明しており、[ 13 ] 、これは現在では失われている9世紀のアル・ハサン・イブン・ムーサの論文にも詳しく記されている[ 14 ]

閉じた弦で共焦点楕円を描く同様の方法は、アイルランドの司教チャールズ・グレイブスによるものです。

紙片法

[編集]

次の 2 つの方法は、パラメトリック表現に依存します (上記の§ 標準パラメトリック表現 を参照)。

この表現は、2つの簡単な方法で技術的にモデル化できます。どちらの場合も、中心、軸、半軸が分かっている必要があります。

方法1

最初の方法は

長さ の 紙片

半軸が交わる点は で示されます。紙片の両端が目的の楕円の軸上を滑る場合、点は楕円を描きます。証明として、点 が媒介変数表現 を持つことを示します。ここで、パラメータは紙片の傾斜角です。

紙片の動きを技術的に実現するには、トゥシカップル(アニメーション参照)が効果的です。この装置は、一定の和(大きな円の半径)を持つ任意の楕円を描くことができます。この制約は実生活では不利になる可能性があります。より柔軟なのは、2つ目の紙片法です。

紙片法1のバリエーションでは、紙片の中点が(楕円の中心)と半径を持つ円上を動いているという観察を利用します。したがって、紙片を点で半分に切断し、再びジョイントで接続し、スライド端を中央に固定することができます(図を参照)。この操作後、紙片の動かない方の半分の動きは変化しません。[ 15 ]このバリエーションでは、スライドシューが1つだけ必要です。

楕円の作図:紙片法2
方法2

2番目の方法は

長さ の 紙片

点をマークし、その点が紙片を長さ と の2つの部分紙片に分割します紙片は図に示されているように軸上に配置されます。次に、紙片の自由端が楕円を描きながら、紙片自体を動かします。証明として、トレース点は によってパラメトリックに記述できることが分かります。ここで、パラメータは紙片の傾斜角です。

この方法は、いくつかの楕円グラフの基礎となります(以下のセクションを参照)。

紙ストリップ法 1 のバリエーションと同様に、軸間の部分を半分に切断することによって、紙ストリップ法 2 のバリエーションを確立できます (図を参照)。

ほとんどの楕円曲線製図器具は、第 2 のペーパーストリップ方式に基づいています。

接触円による楕円の近似

接触円による近似

[編集]

以下のメトリック プロパティから次の結果が得られます。

  • 頂点における曲率半径は次のとおりです。
  • 共頂点における曲率半径は次のようになります。

この図は、頂点と共頂点における曲率中心をそれぞれ見つける簡単な方法を示しています。

  1. 補助点をマークし、線分を描く
  2. 直線に垂直な直線を引く
  3. この線と軸の交点は接触円の中心です。

(証明:簡単な計算です。)

残りの頂点の中心は対称性によって見つけられます。

フレンチカーブの助けを借りて、接触円に滑らかに接触する曲線を描きます

シュタイナー世代

[編集]
楕円:シュタイナー世代
楕円:シュタイナー世代

楕円の単一の点を構築する次の方法は、円錐曲線のシュタイナー生成に依存しています。

2 点における2 つの線分 (すべての線分はそれぞれ とを含む) とから へ射影写像 (透視写像ではない)が与えられている場合、対応する線分の交点は非退化射影円錐曲線を形成します。

楕円の点の生成には、頂点 における線分 を用いる。 を楕円の上側の共頂点とし、 とする

は長方形の中心です。長方形の辺 はn個の等間隔の線分に分割され、この分割は対角線を方向として線分に 平行に投影され、図に示すように分割が割り当てられます。平行投影と方向の反転は、必要な線分と線分の間の射影写像の一部です。任意の2つの関連する線分線の交点 は、一意に定義された楕円の点です。これらの点を利用して、楕円の2番目の4分の1の点を決定できます。同様に、楕円の下半分の点も取得できます。

シュタイナー生成法は、双曲線や放物線にも定義できます。頂点ではなく他の点を使用できることから、平行四辺形法と呼ばれることもあります。これは長方形ではなく平行四辺形から開始します。

下背筋として

[編集]
R  = 2 rの 特別場合の楕円(赤)

楕円は、下トロコイドの特殊なケースです(右図参照)。半径の円が半径 の円の内側を移動する特殊なケースは、トゥシカップルと呼ばれます

円周角と三点形式

[編集]

サークル

[編集]
円:円周角定理

方程式を持つ円は、直線上にない3点によって一意に決定されます。パラメータを決定する簡単な方法は、円の円周角定理を用いることです

4 つのポイント(図を参照) について、次のステートメントが当てはまります。
4 つの点が円上にあるのは、と の角度が等しい場合のみです。

通常、円周角は度またはラジアンθで測定しますが、ここでは次の測定の方が便利です。

2 本の線の間の角度を方程式で測定するには、 商を使用します。

円の円周角定理

[編集]

直線上に 3 点ずつない4 点の場合 、次のようになります (図を参照)。

4点が円周上にある場合、かつその場合のみ、と の角が等しい。上記の角度の測定において、これは次のことを意味します。

最初は、この測定は y 軸に平行でないコードに対してのみ使用できますが、最終的な数式はどのコードに対しても機能します。

円方程式の3点形式

[編集]
その結果、3つの非共線的な点によって決定される円の方程式が得られます

たとえば、3 点方程式の場合は次のようになります。

を並べ替えると、

ベクトル、ドット積行列式を使用すると、この式はより明確に整理できます

円の中心は次の条件を満たします。

半径は、3 つの点と中心の間の距離です。

楕円

[編集]

この節では、離心率を固定した方程式で定義される楕円族について考察する。パラメータとして以下のものを用いると便利である。

楕円方程式は次のように書きます。

ここで、qは固定で、実数にわたって変化します。(このような楕円の軸は座標軸と平行です。つまり、 の場合、長軸はx軸と平行であり、 の場合、長軸はy軸と平行です。)

楕円の円周角定理

円と同様に、このような楕円は直線上ではなく 3 つの点によって決まります。

この楕円族に対して、通常の角度測度θの関数ではない次のqアナログ角度測度を導入する[ 16 ] [ 17 ]

2 本の線の間の角度を方程式で測定するには、商を使用します。

楕円の円周角定理

[編集]
4 つの点が与えられますが、そのうち 3 つが直線上にはありません (図を参照)。
4つの点が方程式を持つ楕円上にあるのは、上の測定の意味で、とにおける角度が等しい場合、つまり、

最初は、この尺度はy軸に平行でない弦に対してのみ適用できます。しかし、最終的な公式はどの弦にも適用できます。証明は簡単な計算で得られます。証明の方向については、点が楕円上にあることを前提としているため、楕円の中心を原点と仮定できます。

楕円方程式の3点形式

[編集]
その結果、3つの非共線的な点によって決定される楕円の方程式が得られます

例えば、とについては、3点形式が得られる。

そして改宗後

円の場合と同様に、ベクトルを使用すると方程式をより明確に記述できます。

修正ドット積はどこにありますか

極-極関係

[編集]
楕円:極-極関係

任意の楕円は、適切な座標系において方程式で表すことができます。楕円の点における接線の方程式は、点を原点とは異なる任意の点とすると、

点は楕円の中心を通るのではなく、線上にマッピングされます。

点と線の間のこの関係は一対一の関係です。

関数マップ

  • 点にを引いて
  • 点に線を引く

円錐曲線によって生成される点と直線の間のこのような関係は、極-極関係または極性と呼ばれます。極は点であり、極は直線です。

計算により、楕円の極-極関係の次の特性を確認できます。

  • 楕円上の点(極)の場合、極線はその点における接線です(図を参照)。
  • 楕円の外側にある極の場合、その極と楕円の交点は、2 つの接線が通る接点です(図を参照)。
  • 楕円内の点の場合、極座標には楕円と共通する点がありません (図を参照)。
  1. 2 つの極の交点は、それらの極を通る線の極です。
  2. 焦点、および準線と はそれぞれ極と極の対に属します。これらは円 に関して偶数極であるため、準線はコンパスと定規で作図できます(逆幾何学を参照)。

極-極関係は双曲線と放物線にも存在します。

メトリックのプロパティ

[編集]

以下に示すすべてのメトリック特性は、次式で表される楕円を参照します。

ただし、傾斜した楕円で囲まれた領域上の断面では、式( 1 )の一般化された形が与えられる。

エリア

[編集]

楕円で囲まれた領域は次のとおりです。

ここで、 とはそれぞれ長軸と短軸の長さです。面積の公式は直感的です。半径 の円(面積は)から始めて、係数で引き伸ばして楕円を作ります。これにより、面積は同じ係数で拡大されます。[ 18 ]しかし、同じ方法を円周に適用するのは誤りです。積分と を比較してください。次のように積分を使用して、面積の公式を厳密に証明することも簡単です。式(1 ) はと書き直すことができます。この曲線は楕円の上半分です。したがって、の区間での積分の2倍が楕円の面積になります。

2番目の積分は半径の円の面積であり

によって暗黙的に定義される楕円の面積は

面積は、離心率と長半径の長さを使って次のように表すこともできます(扁平率を解き、次に短半径を計算することで得られます)。

傾いた楕円で囲まれた面積は です

これまで、長軸と短軸が軸と軸に平行な正立楕円を扱ってきました。しかし、用途によっては傾斜楕円が必要となる場合もあります。例えば、荷電粒子ビーム光学系では、正立楕円または傾斜楕円の囲まれた面積はビームの重要な特性であり、その放射率は となります。この場合も、単純な式が適用されます。

ここで、 、は切片、は最大値です。これはアポロニオスの定理から直接導かれます。

[編集]
同じ円周の楕円

楕円の円周は次のようになります。

ここで、は長半径の長さ、は離心率、関数 は第2種完全楕円積分であり一般には基本関数ではありません。

楕円の円周はガウスの算術幾何平均を用いて評価することができる[ 19 ]これは二次収束反復法である(詳細はこちらを参照)。

正確な無限級数は、次のようになります。ここで、 は二重階乗です(通常の方法で負の奇数に拡張され、 およびとなります)。

この級数は収束するが、ジェームズ・アイボリー[ 20 ]ベッセル[ 21 ]クンマー[ 22 ]は、 を用いて展開することで、はるかに急速に収束する級数を導出した。これは、 の二項係数を用いて最も簡潔に表される。係数はわずかに( の係数だけ)小さいが、を除いて、 よりも数値的にはるかに小さい。離心率が0.5 未満の場合、誤差はの項の後で倍精度浮動小数点の限界となる[ 23 ]

シュリニヴァーサ・ラマヌジャンは「モジュラー方程式と の近似」の§16で、円周の2つの近似値を与えている。 [ 24 ]それらはと で ある。ここで は上記と同じ意味を持つ。これらの近似値の誤差は経験的に得られ、それぞれ と のオーダーである[ 25 ] [ 26 ]これ は、2番目の式の無限級数展開が項までアイヴォリーの式と一致するためである[ 25 ] : 3 

弧の長さ

[編集]

より一般的には、円周の一部の弧長は、その角度(または楕円の上半分の任意の2点のx座標)の関数として、不完全楕円積分によって与えられる。楕円の上半分は、次のようにパラメータ化される。

からまでの弧の長さは次のようになります。

これは次の式と同等である。

ここで、パラメータが である第二種不完全楕円積分は

標準楕円の円周の下限と上限は[ 27 ]ある。

ここで、上限は楕円の長軸の端点を通る外接同心円の円周であり、下限は長軸と短軸の端点を頂点とする内接菱形の周囲長です。

軸が描かれた楕円が与えられれば、定規とコンパスだけを使って、長さが楕円の円周の 8 分の 1 である特定の楕円弧の端点を有限数のステップで作図することができます。軸の長さの比がであるような楕円の特定の形状では、長さが円周の 12 分の 1 である特定の弧の端点を追加で作図することができます。[ 28 ] (頂点と共頂点は、すでに長さが楕円の円周の 2 分の 1 または 4 分の 1 である弧の端点です。) しかし、円レムニスケートの場合とは異なり、定規とコンパスによる楕円分割の一般理論は知られていないようです。特殊なケースでの分割は、ルジャンドルが古典的な論文で研究しています。[ 29 ]

曲率

[編集]

率は次のように与えられます。

点 における曲率半径ρ = 1/κ は次のようになります楕円の曲率半径は、中心からの 角度θの関数として、次の式で表されます。ここで、e は離心率です。

2つの頂点 と曲率中心における曲率半径:

二つの共頂点 と曲率中心における曲率半径:すべての曲率中心の軌跡は縮閉線と呼ばれます。楕円の場合、縮閉線は小惑星です。

三角形の幾何学では

[編集]

楕円は三角形の幾何学では次のように表される。

  1. シュタイナー楕円:重心を中心とする三角形の頂点を通る楕円。
  2. 内楕円:三角形の辺に接する楕円。特殊な例としては、シュタイナー内楕円マンダート内楕円がある。

二次曲面の平面切断として

[編集]

楕円は次の二次曲線の平面切断面として現れます。

アプリケーション

[編集]

物理

[編集]

楕円反射鏡と音響

[編集]
楕円の焦点にある水銀に滴下した小さな液滴の波形

楕円形の水槽の一方の焦点で水面が乱されると、その乱れの円形波は壁で反射した後、同時に一点、すなわち第二の焦点に収束します。これは、二つの焦点間の壁反射経路における総移動距離が同じであることから生じます。

同様に、光源を楕円の一方の焦点に置くと、楕円面上のすべての光線はもう一方の焦点に反射されます。このような特性を持つ滑らかな曲線は他に存在しないため、楕円の別の定義として使用できます。(中心に光源がある円の特殊なケースでは、すべての光が中心に戻って反射されます。)楕円を長軸に沿って回転させて楕円面鏡(具体的には長球面)を作成すると、この特性は光源から出るすべての光線に当てはまります。あるいは、楕円形の断面を持つ円筒形の鏡を使用して、線状蛍光灯からの光を紙の線に沿って焦点を合わせることもできます。このような鏡は一部の文書スキャナで使用されています

音波も同様に反射するため、大きな楕円形の部屋では、一方の焦点に立っている人はもう一方の焦点に立っている人の声が非常によく聞こえます。この効果は、長楕円体の一部分のような形をしたアーチ型の屋根の下ではさらに顕著になります。このような部屋はウィスパー チェンバーと呼ばれます。このような長楕円体の端のキャップのような形をした 2 つの反射器を適切な距離で向かい合わせて配置することで、同じ効果を実証できます。例としては、米国議会議事堂国立彫像ホール(ジョン クィンシー アダムズがこの特性を利用して政治の盗聴をしたと言われている)、ユタソルトレーク シティテンプル スクエアにあるモルモン教の礼拝堂、シカゴ科学産業博物館の音響展、イリノイ大学アーバナ シャンペーン校のフォーリンガーオーディトリアムの前、アルハンブラ宮殿のカール 5 世宮殿の脇の部屋などがあります

惑星の軌道

[編集]

17世紀、ヨハネス・ケプラーは、惑星運動の第一法則において、惑星が太陽の周りを回る軌道は、太陽をほぼ一つの焦点とする楕円軌道であることを発見しました。後にアイザック・ニュートンは、これを万有引力の法則の帰結として説明しました

より一般的には、重力二体問題において、二つの物体が互いに束縛されている場合(つまり、全エネルギーが負の場合)、それらの軌道は相似楕円となり、共通の重心はそれぞれの楕円の焦点の一方となる。どちらの楕円のもう一方の焦点には、物理​​的な意味は知られていない。一方の物体の基準座標系における一方の物体の軌道も楕円となり、もう一方の物体は同じ焦点に位置する。

ケプラーの楕円軌道は、その強さが距離の2乗に反比例する、放射状に向いた引力によって形成される。したがって、原理的には、空間における2つの反対電荷を持つ粒子の運動も楕円軌道を描くことになる。(ただし、この結論は、粒子が高速で運動しているときに顕著になる電磁放射量子効果による損失を無視している。)

楕円軌道の場合、離心率に関する有用な関係は次のとおりです。

どこ

  • 遠点半径、すなわち、楕円の焦点である系の重心までの軌道の最遠距離である。
  • 近点半径、つまり最も近い距離
  • 長半径の長さ

また、とに関しては、長半径算術平均、短半径幾何平均直腸半半径は調和平均です。言い換えれば、

調和振動子

[編集]

2次元以上の調和振動子の一般解も楕円形となる。例えば、2次元で自由に運動する長い振り子、完全に弾性的なバネによって固定点に固定された質量、あるいは固定されたアトラクターからの距離に正比例する引力の影響を受けて運動する物体などがこれに該当する。しかしながら、ケプラーの軌道とは異なり、これらの「調和軌道」は楕円の幾何学的中心に引力の中心を持ち、運動方程式は比較的単純である。

位相可視化

[編集]

電子工学では、2つの正弦波信号をオシロスコープの垂直入力と水平入力に入力することで、それらの相対位相を比較することができますリサージュ波形が直線ではなく楕円形の場合、2つの信号の位相はずれています。

楕円歯車

[編集]

同じ楕円形の輪郭を持つ2つの非円形歯車は、それぞれが1つの焦点を中心に回転し、適切な角度に配置され、常に接触を保ちながら滑らかに回転します。あるいは、リンクチェーンタイミングベルトで接続することもできます。また、自転車の場合は、メインチェーンリングが楕円形、あるいは楕円に似た卵形になることもあります。このような楕円形歯車は、駆動軸の一定回転から可変角速度またはトルクを生成する機械装置に使用されます。また、自転車の場合は、クランクの回転速度を変化させることで、機械的利点を反比例して変化させるために使用されます

楕円形の自転車ギアは、ギアを変えるときにチェーンが歯車から滑り落ちるのを容易にします。[ 30 ]

歯車の応用例としては、紡績機の円錐状のボビンに糸を巻き取る装置が挙げられます。糸がボビンの頂点付近にあるときの方が、底部付近にあるときよりも速く糸を巻き取る必要があります。[ 31 ]

光学

[編集]
  • 光学的に異方性複屈折性)を持つ物質では屈折率は光の方向に依存します。この依存性は屈折率楕円体で表すことができます。(物質が光学的に等方性の場合、この楕円体は球体です。)
  • ランプ励起固体レーザーでは、楕円柱状の反射鏡を用いて励起ランプ(一方の楕円焦点軸と同軸)からの光を活性媒質ロッド(もう一方の焦点軸と同軸)に導く。[ 32 ]
  • マイクロチップリソグラフィーで使用されるレーザープラズマ生成EUV光源では、楕円面鏡の主焦点に配置されたプラズマによってEUV光が生成され、リソグラフィー装置の入力にある二次焦点に集められます。[ 33 ]

統計と金融

[編集]

統計学において、二変量ランダムベクトル は、その等密度等高線(密度関数の等しい値の軌跡)が楕円形である場合、共楕円分布する。この概念はランダムベクトルの任意の個数の要素に拡張され、その場合、一般に等密度等高線は楕円体となる。特殊なケースとして多変量正規分布がある。楕円分布は金融分野で重要である。なぜなら、資産収益率が共楕円分布する場合、すべてのポートフォリオをその平均と分散によって完全に特徴付けることができるためである。つまり、ポートフォリオ収益率の平均と分散が同一の2つのポートフォリオは、ポートフォリオ収益率の分布も同一である。[ 34 ] [ 35 ]

コンピュータグラフィックス

[編集]

楕円をグラフィックスプリミティブとして描画することは、Macintosh QuickDraw APIやWindowsのDirect2Dなどの標準的なディスプレイライブラリで一般的です。IBMのジャック・ブレゼンハムは、加算や桁上げビットによる分岐などの高速な整数演算のみを使用して、直線や円の描画を含む2D描画プリミティブを発明したことで最も有名です。MLV Pittewayは1967年にブレゼンハムの直線アルゴリズムを円錐曲線に拡張しました。[ 36 ]楕円を描画するための別の効率的な一般化は、1984年にジェリー・ヴァン・エイケンによって発明されました。[ 37 ]

1970年、ダニー・コーエンはイギリスで開催された「コンピュータグラフィックス1970」会議で、楕円と円を描画するための線形アルゴリズムを発表しました。1971年、LBスミスはすべての円錐曲線に対する同様のアルゴリズムを発表し、それらが優れた特性を持つことを証明しました。[ 38 ]これらのアルゴリズムは、各ベクトルを計算するのにわずかな乗算と加算のみを必要とします。

コンピュータグラフィックスでは、曲率が最も高い場所で点の密度が最大になるため、パラメトリックな定式化を用いるのが効果的です。そのため、連続する各点間の傾きの変化は小さくなり、近似値の見かけ上の「ギザギザ感」が軽減されます。

ベジェパスによる描画

複合ベジェ曲線は、楕円を十分な精度で描くためにも使用できます。これは、楕円は円のアフィン変換として解釈できるためです。円を描くために使用されるスプライン法は、楕円を描くために使用できます。これは、構成するベジェ曲線がそのような変換に対して適切に動作するためです。

最適化理論

[編集]

点集合上の最小の境界楕円を求めることが有用な場合があります。この問題を解くには、楕円体法が非常に役立ちます。

参照

[編集]

注記

[編集]
  1. ^ アポストル、トム M. Mnatsakanian、Mamikon A. (2012)、New Horizo​​ns in Geometry、The Dolciani Mathematical Expositions #47、The Mathematical Association of America、p. 251、ISBN 978-0-88385-354-2
  2. ^ このサークルのドイツ語の用語はLeitkreisであり、「ディレクターサークル」と翻訳できますが、この用語は英語の文献では異なる意味を持ちます (ディレクターサークルを参照)。
  3. ^ a b 「Ellipse - from Wolfram MathWorld」 . Mathworld.wolfram.com. 2020年9月10日. 2020年9月10日閲覧
  4. ^ プロッターとモーリー (1970、pp. 304、APP-28)
  5. ^ ラーソン、ロン、ホステラー、ロバート・P、ファルボ、デイビッド・C (2006). 「第10章」 .極限を扱ったプレカルキュラス. センゲージ・ラーニング. p. 767. ISBN 978-0-618-66089-6
  6. ^ ヤング、シンシア・Y. (2010). 「第9章」 .プレカルキュラス. ジョン・ワイリー・アンド・サンズ. p. 831. ISBN 978-0-471-75684-2
  7. ^ a b ローレンス、J.デニス、「特殊平面曲線のカタログ」、ドーバー出版、1972年。
  8. ^ Strubecker、K. (1967)。Vorlesungen über Darstellende ジオメトリ。ゲッティンゲン:ファンデンフック&ループレヒト。 p. 26. OCLC 4886184 
  9. ^ Bronstein&Semendjajew: Taschenbuch der Mathematik、Verlag Harri Deutsch、1979、 ISBN 3871444928、274ページ。
  10. ^ 数学百科事典、Springer、URL: http://encyclopediaofmath.org/index.php?title=Apollonius_theorem&oldid=17516
  11. ^ Blake, EM (1900). 「プロクルスの楕円グラフ」. American Journal of Mathematics . 22 (2): 146– 153. doi : 10.2307/2369752 . JSTOR 2369752 . 
  12. ^ K. Strubecker: Vorlesungen über Darstellende Geometrie。 Vandenhoeck & Ruprecht、ゲッティンゲン、1967 年、S. 26。
  13. ^ Περί παραδόξων μηχανημάτων [不思議な機械について]より:「そこで、光線が反射される最初の点の周囲に点A​​と点Bを囲む紐をしっかりと張ると、いわゆる楕円の一部となる線が描かれ、その線を基準に鏡の表面が位置することになります。」
    ハクスリー、GL(1959年)『トラレスのアンテミウス:後期ギリシャ幾何学の研究』ケンブリッジ、マサチューセッツ州、  pp.8-9 . LCCN  59-14700 .{{cite book}}: CS1 maint: location missing publisher (link)
  14. ^ アル・ハサンの著作は『Kitāb al-shakl al-mudawwar al-mustaṭīl』 [細長い円形図の書]と題された。
    ラシェド、ロシュディ(2014年)『アル=フワーリズミーからデカルトまでの古典数学』シャンク、マイケル・H訳。ニューヨーク:ラウトレッジ、559頁。ISBN 978-13176-2-239-0
  15. ^ J. van Mannen: 17世紀の円錐曲線描画器具. The Mathematical Gazette』第76巻、1992年、222~230頁。
  16. ^ E. ハートマン:講義ノート「平面円幾何学」、メビウス平面、ラゲール平面、ミンコフスキー平面入門、p. 55
  17. ^ W. Benz、 Vorlesungen über Geomerie der Algebren Springer (1973)
  18. ^ アルキメデス (1897). 『アルキメデスの著作』トーマス・リトル・ヒース卿 (1861-1940). ミネオラ, ニューヨーク州: ドーバー出版. p. 115. ISBN 0-486-42084-1. OCLC  48876646 . {{cite book}}: ISBN / Date incompatibility (help)
  19. ^ Carlson, BC (2010)、「楕円積分」Olver, Frank WJ、Lozier, Daniel M.、Boisvert, Ronald F.、Clark, Charles W.(編)、NIST Handbook of Mathematical Functions、Cambridge University Press、ISBN 978-0-521-19225-5MR  2723248
  20. ^ Ivory, J. (1798). 「省略記号の修正に関する新シリーズ」 .エディンバラ王立協会紀要. 4 (2): 177– 190. doi : 10.1017/s0080456800030817 . S2CID 251572677 . 
  21. ^ Bessel, FW (2010). 「測地線測定による経度と緯度の計算 (1825)」. Astron. Nachr. 331 (8): 852– 861. arXiv : 0908.1824 . Bibcode : 2010AN....331..852K . doi : 10.1002/asna.201011352 . S2CID 118760590 .  ベッセル、FW (1825)の英語訳。 "Über die Berechnung der geographischen Längen und Breiten aus geodätischen Vermesssungen"。アストロン。ナクル。(ドイツ語で)。4 (16 ) : 241–254。arXiv : 0908.1823 Bibcode : 1825AN....4..241B土井10.1002/asna.18260041601S2CID 118630614 
  22. ^ Linderholm, Carl E.; Segal, Arthur C. (1995年6月). 「楕円周長に関する見落とされた級数」.数学マガジン. 68 (3): 216– 220. doi : 10.1080/0025570X.1995.11996318 .これはKummer、Ernst Eduard (1836) を引用しています。「Uber die Hypergeometrische Reihe」 [超幾何シリーズについて]。Journal für die Reine und Angewandte Mathematik (ドイツ語)。15 (1, 2): 39–83 , 127–172 .土井: 10.1515/crll.1836.15.39
  23. ^ Cook, John D. (2023年5月28日). 「楕円周長の近似値の比較」 . John D. Cook コンサルティングブログ. 2024年9月16日閲覧。
  24. ^ ラマヌジャン、シュリニヴァサ(1914). 「モジュラー方程式とπの近似値」(PDF) . Quart. J. Pure App. Math . 45 : 350–372 . ISBN  978-0-8218-2076-6 {{cite journal}}: ISBN / Date incompatibility (help)
  25. ^ a b Villarino, Mark B. (2005年6月20日). 「ラマヌジャンの楕円周長」. arXiv : math.CA/0506384 .ラマヌジャンによる楕円周長の最も正確な近似値の詳細な分析を示します。 特に、2番目の式は円周を過小評価しており、これは増加関数である
  26. ^ Cook, John D. (2024年9月22日). 「楕円周長に関するラマヌジャン近似の誤差」 . John D. Cook コンサルティングブログ. 2024年12月1日閲覧. b = 1かつaが変化した場合の相対誤差は… 4/ π − 14/11 = 0.00051227…に制限されます
  27. ^ Jameson, GJO (2014). 「楕円の周長に関する不等式」. Mathematical Gazette . 98 (542): 227– 234. doi : 10.1017/S002555720000125X . S2CID 125063457 . 
  28. ^ Prasolov, V.; Solovyev, Y. (1997).楕円関数と楕円積分. アメリカ数学会. pp.  58– 60. ISBN 0-8218-0587-8
  29. ^ ルジャンドルの「楕円形の機能と統合された楕円形の特徴」
  30. ^ デイビッド・ドリュー「楕円歯車」 [1]
  31. ^ グラント、ジョージ・B. (1906).歯車に関する論文. フィラデルフィア・ギア・ワークス. p. 72.
  32. ^ レーザー物理技術百科事典 - ランプ励起レーザー、アークランプ、フラッシュランプ、高出力、Nd:YAGレーザー
  33. ^ 「Cymer - EUVプラズマチャンバー詳細カテゴリーホームページ」 。 2013年5月17日時点のオリジナルよりアーカイブ2013年6月20日閲覧。
  34. ^ チェンバレン、G.(1983年2月)「平均—分散効用関数を示唆する分布の特徴づけ」『経済理論ジャーナル29 (1): 185–201 . doi : 10.1016/0022-0531(83)90129-1 .
  35. ^ Owen, J.; Rabinovitch, R. (1983年6月). 「楕円分布のクラスとポートフォリオ選択理論への応用について」. Journal of Finance . 38 (3): 745– 752. doi : 10.1111/j.1540-6261.1983.tb02499.x . JSTOR 2328079 . 
  36. ^ Pitteway, MLV (1967). 「デジタルプロッタで楕円や双曲線を描くアルゴリズム」 .コンピュータジャーナル. 10 (3): 282–9 . doi : 10.1093/comjnl/10.3.282 .
  37. ^ Van Aken, JR (1984年9月). 「効率的な楕円描画アルゴリズム」. IEEE Computer Graphics and Applications . 4 (9): 24– 35. doi : 10.1109/MCG.1984.275994 . S2CID 18995215 . 
  38. ^ Smith, LB (1971). 「固定数の点による楕円、双曲線、放物線の描画」 .コンピュータジャーナル. 14 (1): 81– 86. doi : 10.1093/comjnl/14.1.81 .

参考文献

[編集]
[編集]