円錐切断面の4つのタイプ(放物線(左)、楕円(中央)、円(中央)、双曲線(右))
楕円(だえん、正字: 橢圓、英: ellipse)とは、平面上のある2定点からの距離の和が一定となるような点の集合から作られる曲線である。
基準となる2定点を焦点という。円錐曲線の一種である。
2つの焦点が近いほど楕円は円に近づき、2つの焦点が一致したとき楕円はその点を中心とした円になる。そのため円は楕円の特殊な場合であると考えることもできる。
楕円の2焦点を通る直線と楕円の2交点を端点とした線分を長軸という。長軸の長さを長径という。長軸と楕円との交点では2焦点からの距離の差が最大となる。また、長軸の垂直二等分線と楕円の2交点を端点とした線分を短軸という。短軸の長さを短径という。
- 長軸と短軸の交点は楕円の中心と呼ばれる。
- 長軸を中心で分けた2つの線分は半長軸と呼ばれ、その長さを長半径という。
- 短軸を中心で分けた2つの線分は半短軸と呼ばれ、その長さを短半径という。
- 短径と長径の比は楕円率と呼ばれる。
楕円の長軸(緑線)と短軸(ピンク線)
2次元直交座標系において、楕円の2焦点の座標をそれぞれ
,
、焦点からの距離の和を
とする。このとき楕円の方程式は、次のように表される。これを一般形という。
この方程式は、うまく式変形することにより、必ず
(ただし
は実数)
という形に表すことができる。証明は以下の通り。
原点 O が長軸と短軸の交点となる楕円は、代数的に次のように書ける。これを標準形という。
![{\displaystyle {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}=1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/863293f65080f512375d767be3a54281b1b5c2b2)
a > b > 0 のとき、2a は長軸の長さ(長径)、2b は短軸の長さ(短径)となる。xy 平面上にグラフを書くと横長の楕円となる。また、焦点はx 軸上にあり、その座標は
となる。
b > a > 0 のときは逆に、2b が長軸の長さ(長径)、2a が短軸の長さ(短径)となる。したがって、xy 平面上にグラフを書くと縦長の楕円となる。また、焦点は y 軸上にあり、その座標は
となる。(a = bの時は円となる)
頂点の座標は a ≠ b のとき
となる。
同じ楕円は、t を媒介変数とする媒介変数表示では、次のように表現できる。
![{\displaystyle x=a\,\cos t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0f77fe1f78514578e8028f462731b206a78fc7a)
![{\displaystyle y=b\,\sin t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2017f33630985af1f23aac6bfb4d70d1ec0a70bb)
![{\displaystyle 0\leq t<2\pi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3218bbe2a53d9a7bfdf46d2223d04e1e03b37eaa)
ただし、t は (x,y) ベクトルのx軸に対する角度ではない(天体力学では離心近点角と呼ばれる)。
媒介変数表示により表された楕円上の点Pと媒介変数tの関係。tは点Pとx軸の角度とは異なる。
また、
と置くと、
![{\displaystyle {\begin{aligned}\cos(t)&={\frac {1-u^{2}}{1+u^{2}}}\\\sin(t)&={\frac {2u}{1+u^{2}}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8d763f7076f617cc9bea53a8369b2679dfbc640)
となるので、下記の表現でも楕円を表すことができる。この場合uの範囲は[0,1]である。
![{\displaystyle {\begin{aligned}x&={\frac {a(1-u^{2})}{1+u^{2}}}\\y&={\frac {2bu}{1+u^{2}}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e865c75d493ee88a116d4638643ee05f2c39c919)
複素平面Cにおいては,Cの二点
からの点
への
距離
の和が
であるものの軌跡である。
![{\displaystyle {\begin{aligned}&r_{1,2}=|z-a_{1,2}|\\&r_{1}+r_{2}=l\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16d4b0153b59642c553a6f2b7d4e0e4250987c2c)
楕円の形状は離心率 e で表現される。
![{\displaystyle e={\sqrt {1-{\frac {b^{2}}{a^{2}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/84f9893df3274d3b63537988b4158ae5f4e671e7)
別途、扁平率 f でも表現できる。
![{\displaystyle f=1-{\frac {b}{a}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d53be3b4c01baf12767bfaf7e7cb07881c17e11)
楕円の面積 S は次のように表現できる。
![{\displaystyle S=\pi ab\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a10dd076d85cbbaefb33f29e15dac3d414ad5c4)
楕円の周長 C は a > b のとき、第二種完全楕円積分を用いて次のように表現できる。
![{\displaystyle {\begin{aligned}C&=4\int _{0}^{\frac {\pi }{2}}{\sqrt {a^{2}\cos ^{2}t+b^{2}\sin ^{2}t}}\,dt\\&=4a\int _{0}^{\frac {\pi }{2}}{\sqrt {1-e^{2}\sin ^{2}t}}\,dt\\&=2\pi a\sum _{n=0}^{\infty }{e^{2n} \over 1-2n}\prod _{m=1}^{n}\left(1-{1 \over 2m}\right)^{2}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b582a8af51167b66a70bcaffbbd5500ebad2d66a)
また
とおき、二項係数を使って、次のようにも表現できる(Gauss-Kummer級数)[1]。
![{\displaystyle {\begin{aligned}C={\frac {2\pi a}{1+n}}\sum _{i=0}^{\infty }{\binom {1/2}{i}}^{2}n^{2i}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e95199f1c0fd51c38125ce031e7758126bb5ce93)
計算機で計算する場合に有用な式としては、分母が
の率で消える式が次のように導出されている[2]。
![{\displaystyle C={\frac {8\pi }{Q^{5/4}}}\sum _{n=0}^{\infty }{\frac {\left({\tfrac {1}{12}}\right)_{n}\left({\tfrac {5}{12}}\right)_{n}\left(v_{1}+nv_{2}\right)r^{n}}{\left(n!\right)^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/573e7c8d6ea837397067532e0efd3668debce5e0)
![{\displaystyle r={\tfrac {432\left(a^{2}-b^{2}\right)^{2}(a-b)^{6}ba}{Q^{3}}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9321122c78811c4f9df8c12e46ca409464768cc0)
![{\displaystyle Q=b^{4}+60ab^{3}+134a^{2}b^{2}+60a^{3}b+a^{4}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca1752f61a93998c4dc5e3c176d1f26359df3e01)
![{\displaystyle v_{1}=ba\left(15b^{4}+68ab^{3}+90a^{2}b^{2}+68a^{3}b+15a^{4}\right)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/97532842ba948b27957999c46b50eb8b3ff05e9b)
![{\displaystyle v_{2}=-a^{6}-b^{6}+126ab^{5}+1041a^{2}b^{4}+1764a^{3}b^{3}+1041a^{4}b^{2}+126a^{5}b\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3f87b2fa5d532df435c3d5f85bf065dc240c7b4)
近似式としては、シュリニヴァーサ・ラマヌジャンによる次の二式がある。簡便なものとしては、
![{\displaystyle C\approx \pi \left[3(a+b)-{\sqrt {(3a+b)(a+3b)}}~\right]=\pi \left[3(a+b)-{\sqrt {10ab+3\left(a^{2}+b^{2}\right)}}~\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/edd5aab14781b8a17ee124d24ad2c84c83da62d3)
があり、さらに良い近似として、次式がある。
![{\displaystyle C\approx \pi (a+b)\left[1+{\frac {3\left({\dfrac {a-b}{a+b}}\right)^{2}}{10+{\sqrt {4-3\left({\dfrac {a-b}{a+b}}\right)^{2}}}}}\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b74a5f2e1b75577d7b479e91e3666d61ee3ccf5c)
より一般的には、対応する角度の関数としての、周長の一部である楕円弧長は、第二種不完全楕円積分で表される。
楕円弧長と第二種不完全楕円積分の関係の詳細
[編集]
楕円を媒介変数表示
![{\displaystyle x=a\,\cos t,\,y=b\,\sin t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/162f0a222a58f732e96b4991fdbfc0b6e7922224)
で表した時、
から
までの弧長
は
![{\displaystyle {\begin{aligned}L&=\int _{t_{1}}^{t_{2}}{\sqrt {\left({dx \over dt}\right)^{2}+\left({dy \over dt}\right)^{2}}}\,dt\\&=\int _{t_{1}}^{t_{2}}{\sqrt {a^{2}\sin ^{2}t+b^{2}\cos ^{2}t}}\,dt\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/285c494e9a1cb02ca8f484030e7d88f5d8e66a97)
で求められる。これは、
の大小関係に関係なく成立する。
この式は第二種不完全楕円積分で表す事ができるが、
の大小関係や
の範囲により場合分けが必要になる為、以下に詳述する。
その前に、媒介変数表示について、補足しておく。
楕円の媒介変数表示には、通常
![{\displaystyle x=a\,\cos t,\,y=b\,\sin t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/162f0a222a58f732e96b4991fdbfc0b6e7922224)
が用いられる。この場合、t = 0 では、点
をとり、
t =
では点
をとるので、tはx軸の正の部分を基準線とする反時計方向の角度になっている。
一方、媒介変数表示は
![{\displaystyle x=a\,\sin t,\,y=b\,\cos t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/287266d4994f3cc2a78e5cc3aff4dcee763bf0cb)
とする事もでき、この場合、t = 0 では、点
をとり、
t =
では点
をとるので、tはy軸の正の部分を基準線とする時計方向の角度になっている。
第二種不完全楕円積分を
![{\displaystyle {\begin{aligned}E(\varphi ,k)&=\int _{0}^{\varphi }{\sqrt {1-k^{2}\sin ^{2}\phi }}~d\phi \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/050ffd422edca1f06f4dc15e1214afcd0042faeb)
![{\displaystyle 0\leq \varphi \leq \pi /2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/90681b956ecd64aae0089e1a0deb136bc1b6b53e)
と表記する。
さらに、楕円上の点を指定する指標として、
ベクトルのx軸に対する角度
も導入する。
- (
)
A)
の時
![{\displaystyle e={\sqrt {1-(b/a)^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3d4ef29008fbaa9842a886ef7441c592cc9d508)
楕円(の右半分)を
![{\displaystyle x=a\,\sin u,\,y=b\,\cos u,\,0\leq u\leq \pi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/516452e35d9654e2ddea567c4f63fecc795ed894)
で表す。
は点
から
が与える点までの弧長となっている。
この時
![{\displaystyle y/x=\tan \theta =(b/a)/\tan u}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0c7ddd20088d1a65d4a57906253d3d330c1c5cf)
![{\displaystyle \tan u=(b/a)/\tan \theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0cb5c10696eb8393bb0fa85a53cdd836aea01a8a)
![{\displaystyle {\begin{aligned}L&=\int _{u_{1}}^{u_{2}}{\sqrt {\left({dx \over du}\right)^{2}+\left({dy \over du}\right)^{2}}}\,du\\&=\int _{u_{1}}^{u_{2}}{\sqrt {a^{2}\cos ^{2}u+b^{2}\sin ^{2}u}}\,du\\&=a\,\int _{u_{1}}^{u_{2}}{\sqrt {1-e^{2}\sin ^{2}u}}\,du\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f259aa8a21db995d5f9b1f0d7f9a6438a03447f)
となる。
が点
を最大の終点とする積分になる事を考慮し、
場合分けをし積分範囲を決めると、次のようになる。
- i)
![{\displaystyle L=a\,(E(u_{2},e)-E(u_{1},e))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ebcea1fbc16c39c238638b5316196c971b3f422b)
![{\displaystyle u_{1}=th2u(\theta _{2}),\,u_{2}=th2u(\theta _{1})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb2d43fe1fb8b15e010d5282a7dfe9266c4025d9)
- ii)
![{\displaystyle L=a\,(2E(\pi /2,e)-E(u_{2},e)-E(u_{1},e))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c198c2c15c8b657a70cec77792d1de4528127498)
![{\displaystyle u_{1}=th2u(\theta _{2}),\,u_{2}=th2u(-\theta _{1})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca4cb54a28cf9a453ca8e78cd4d22452eef30b3b)
- iii)
![{\displaystyle L=a\,(E(u_{2},e)-E(u_{1},e))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ebcea1fbc16c39c238638b5316196c971b3f422b)
![{\displaystyle u_{1}=th2u(-\theta _{1}),\,u_{2}=th2u(-\theta _{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/777d27182b05af9d86a1556eac68e776337f6060)
ここで
![{\displaystyle th2u(\theta )=\tan ^{-1}((b/a)/\tan \theta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd92842da6dedadfe59aba411f435c2eab1bb4e3)
- (ただし、
とする)
である。
B)
の時
![{\displaystyle e={\sqrt {1-(a/b)^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef515759061a029f2e40dea556dc9f99a74585ae)
楕円(の右半分)を
![{\displaystyle x=a\,\cos v,\,y=b\,\sin v,\,-\pi /2\leq v\leq \pi /2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e93b9021dfe7654a968d431dae22d94953a6690e)
で表す。
は点
から
が与える点までの弧長となっている。
この時
![{\displaystyle y/x=\tan \theta =(b/a)\tan v}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec3aa04bf2e30f45fb4fedc93f30c7f931ce3765)
![{\displaystyle \tan v=(a/b)\tan \theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/596236d6ab01323f0df8a5f3839a31b603150b8e)
![{\displaystyle {\begin{aligned}L&=\int _{v_{1}}^{v_{2}}{\sqrt {\left({dx \over dv}\right)^{2}+\left({dy \over dv}\right)^{2}}}\,dv\\&=\int _{v_{1}}^{v_{2}}{\sqrt {a^{2}\sin ^{2}v+b^{2}\cos ^{2}v}}\,dv\\&=b\,\int _{v_{1}}^{v_{2}}{\sqrt {1-e^{2}\sin ^{2}v}}\,dv\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63d61551c0e0b9c51f41e949630d8e5168aea268)
となる。
が点
を始点とする積分になる事を考慮し、
場合分けをし積分範囲を決めると、次のようになる。
- i)
![{\displaystyle L=b\,(E(v_{2},e)-E(v_{1},e))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f109e690c896dc58998255c8a59b6de44f76affe)
![{\displaystyle v_{1}=th2v(\theta _{1}),\,v_{2}=th2v(\theta _{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7cd7fe7a15608aead7aca56a6f1c0dc98a729c0)
- ii)
![{\displaystyle L=b\,(E(v_{2},e)+E(v_{1},e))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1cb5916be84a80faae8a1841f333adae397e2a80)
![{\displaystyle v_{1}=th2v(-\theta _{1}),\,v_{2}=th2v(\theta _{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f76291dc0e1c03511674f567688fa2dd91016c78)
- iii)
![{\displaystyle L=b\,(E(v_{2},e)-E(v_{1},e))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f109e690c896dc58998255c8a59b6de44f76affe)
![{\displaystyle v_{1}=th2v(-\theta _{2}),\,v_{2}=th2v(-\theta _{1})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/799ee3de44449d4e0e64870ff960dbac8590bd64)
ここで
![{\displaystyle th2v(\theta )=\tan ^{-1}((a/b)\tan \theta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/479d6586e5c41faaab787598fb25541538ea6d0c)
- (ただし、
とする)
である。
糸を使った作図例
アルキメデスの楕円コンパスen:Trammel of Archimedesを使った作図例
楕円は内トロコイドの特殊な場合として表される。図は rc = 10, rm = 5, rd = 1 の場合。
2つの焦点に、焦点間距離よりも長い1本の糸の両端をそれぞれ固定し、糸が張る状態で節に取り付けた筆記具を動かす。この他、楕円コンパス、楕円テンプレートなどを使って作図はできる。
また、内トロコイドの特殊な場合に楕円が描画される。
中国語で楕円の楕は「木の切り株」の意味で「木の切り口」の
形から名付けられたと考えられている。
日本では田畑の実際の形から「飯櫃」「平卵形」などと呼ばれていたが、関孝和は「側円」と呼んだ。江戸時代には側円と呼ばれ明治になって楕円と呼ばれるようになった。
- ^ Weisstein, Eric W. "Gauss-Kummer Series". mathworld.wolfram.com (英語).
- ^ Cetin Hakimoglu-Brown iamned.com math page
- 『曲線の事典 性質・歴史・作図法』礒田正美、Maria G. Bartolini Bussi編、田端毅、讃岐勝、礒田正美著:共立出版、2009年 ISBN 9784320019072