楕円の面積

二次曲線の焦点の座標を係数から計算する 焦点座標という記事でapu_yokaiさんが一般の場合の楕円・双曲線の焦点の座標を計算されていました。

この記事に触発されまして、わたしは一般の場合における楕円の面積を載せようと思います。

平行移動と回転移動により標準形に持っていくこともできますが、ここでは積分で求めます。

楕円の式

直交座標系が設定されている平面上の二次曲線は一般に次のように表されます。

1. $A{x}^2+Bxy+C{y}^2+Dx+Ey+F=0(A,B,C,D,E,F\in \mathbb{R})$
2. $a{x}^2+2bxy+c{y}^2+2dx+2ey+f=0(a,b,c,d,e,f\in \mathbb{R})$

この記事では ii. の一般式の場合で計算を進めます。

この式は$$\left(\begin{array}{ccc}x& y& 1\end{array}\right)\left(\begin{array}{ccc}a& b& d\\ b& c& e\\ d& e& f\end{array}\right)\left(\begin{array}{c}x\\ y\\ 1\end{array}\right)=0$$のように対称行列を用いて書くことができます。

対称行列$M$と実数$\mu ,\nu$を次のように定義しておきます。

二次曲線$a{x}^2+2bxy+c{y}^2+2dx+2ey+f=0$が楕円であるための条件は次の通りです。

証明は「二次曲線の分類」で検索すれば出てくると思いますのでここでは省略します。
[追記：$\nu >0$の条件を載せているwebサイトはいろいろ見つかりますが、$a\mu <0$の方の条件を載せているwebサイトはあまりあまり多くないですね。$a\mu <0$でないとどうなるかを簡単に書いておくと、$\nu >0$かつ$a\mu >0$だと$a{x}^2+2bxy+c{y}^2+2dx+2ey+f=0$の左辺が常に正あるいは常に負となってしまって式を満たす$(x,y)$が存在せず、$\nu >0$かつ$a\mu =0$だと$a{x}^2+2bxy+c{y}^2+2dx+2ey+f=0$を満たす$(x,y)$はただ一つだけになります。※下に 追記の追記 を書きました。]

以降、この記事ではこの条件を満たしているとして計算を進めます。

楕円の面積 導出

$$a{x}^2+2bxy+c{y}^2+2dx+2ey+f=0$$
を$y$について整理して解きます。
$$c{y}^2+2(bx+e)y+a{x}^2+2dx+f=0$$
および$c\ne 0$より、
$$y=\frac{-(bx+e)\pm \sqrt{{\mathrm{\Delta }}^{\prime }}}{c}$$
となります。ここで、
$$\begin{array}{rl}{\mathrm{\Delta }}^{\prime }& =(bx+e{)}^2-c(a{x}^2+2dx+f)\\ & =-(ac-b^2)x^2+2(be-cd)x-(cf-e^2)\\ & =-(ac-b^2){(x-\frac{be-cd}{ac-b^2})}^2+\frac{(be-cd{)}^2}{ac-b^2}-(cf-e^2)\\ & =-(ac-b^2){(x-\frac{be-cd}{ac-b^2})}^2+\frac{-c(acf+2bde-a{e}^2-c{d}^2-b^{2}f)}{ac-b^2}\\ & =-\nu {(x-\frac{be-cd}{\nu })}^2+\frac{-c\mu }{\nu }\\ & =-\frac{1}{\nu }{(\nu x-(be-cd))}^2+\frac{-c\mu }{\nu }\\ & =\frac{-c\mu }{\nu }(1-\frac{{(\nu x-(be-cd))}^2}{-c\mu })\end{array}$$
です。
${\mathrm{\Delta }}^{\prime }$を$x$の関数とみなす場合、$\nu >0$,$-c\mu >0$に注意して式変形の5行目を見ると、${\mathrm{\Delta }}^{\prime }$は上に凸で$x$軸と2点で交わる放物線であることがわかります。
ここで、${\mathrm{\Delta }}^{\prime }$が$x$軸と交わる2点を$x_1,x_2(x_1<x_2)$とおくと、
$$x_1=\frac{be-cd-\sqrt{-c\mu }}{\nu },x_2=\frac{be-cd+\sqrt{-c\mu }}{\nu }$$
となります。これを用いると${\mathrm{\Delta }}^{\prime }$の符号は次のようになります。
$$\{\begin{array}{ll}{\mathrm{\Delta }}^{\prime }>0& (x_1<x<x_2\text{のとき})\\ {\mathrm{\Delta }}^{\prime }=0& (x=x_1,x_2\text{のとき})\\ {\mathrm{\Delta }}^{\prime }<0& (x<x_1,x_2<x\text{のとき})\end{array}$$
${\mathrm{\Delta }}^{\prime }\ge 0$ならば$y=\frac{-(bx+e)\pm \sqrt{{\mathrm{\Delta }}^{\prime }}}{c}$は実数になるので、このとき楕円と$x$軸に直交する直線は共有点を持ちます。
$x_1<x<x_2$において$x$軸と直交する直線は楕円と2点$(x,\frac{-(bx+e)+\sqrt{{\mathrm{\Delta }}^{\prime }}}{c})$,$(x,\frac{-(bx+e)-\sqrt{{\mathrm{\Delta }}^{\prime }}}{c})$で交わり、$x=x_1,x_2$で$x$軸と直交する直線は楕円と1点$(x,\frac{-(bx+e)}{c})$で接します。

楕円の面積は$x_1\le x\le x_2$の範囲で$(x,\frac{-(bx+e)+\sqrt{{\mathrm{\Delta }}^{\prime }}}{c})$と$(x,\frac{-(bx+e)-\sqrt{{\mathrm{\Delta }}^{\prime }}}{c})$を結ぶ線分の長さを積分すると求まります。
楕円の面積を$S$とすると、
$$\begin{array}{rl}S& ={\int }_{x_1}^{x_2}|\frac{-(bx+e)+\sqrt{{\mathrm{\Delta }}^{\prime }}}{c}-\frac{-(bx+e)-\sqrt{{\mathrm{\Delta }}^{\prime }}}{c}|dx\\ & =\frac{2}{|c|}{\int }_{x_1}^{x_2}\sqrt{{\mathrm{\Delta }}^{\prime }}dx\\ & =\frac{2}{|c|}\sqrt{\frac{-c\mu }{\nu }}{\int }_{x_1}^{x_2}\sqrt{1-\frac{1}{-c\mu }{(\nu x-(be-cd))}^2}dx\end{array}$$
となります。ここで
$$t=\frac{1}{\sqrt{-c\mu }}(\nu x-(be-cd))$$
とおくと
$$t{|}_{x=x_1}=-1,t{|}_{x=x_2}=1,\frac{dx}{dt}=\frac{\sqrt{-c\mu }}{\nu }$$
なので、

$$\begin{array}{rl}S& =\frac{2}{|c|}\sqrt{\frac{-c\mu }{\nu }}{\int }_{x_1}^{x_2}\sqrt{1-\frac{1}{-c\mu }{(\nu x-(be-cd))}^2}dx\\ & =\frac{2}{|c|}\sqrt{\frac{-c\mu }{\nu }}{\int }_{-1}^1\sqrt{1-t^2}\frac{\sqrt{-c\mu }}{\nu }dt\\ & =\frac{2|\mu |}{{\nu }^{\frac{3}{2}}}{\int }_{-1}^1\sqrt{1-t^2}dt\end{array}$$
です。
この積分$I={\int }_{-1}^1\sqrt{1-t^2}dt$は単位円の上半分なので$\frac{\pi }{2}$になることは明らかです。
ですが一応$I$の計算も書いておくことにすると、$t=\sin \theta$とおくことで
$$\begin{array}{rl}I& ={\int }_{-1}^1\sqrt{1-t^2}dt\\ & ={\int }_{-\frac{\pi }{2}}^{\frac{\pi }{2}}\sqrt{1-{\sin }^2\theta }\cos \theta d\theta \\ & ={\int }_{-\frac{\pi }{2}}^{\frac{\pi }{2}}{\cos }^2\theta d\theta \\ & ={\int }_{-\frac{\pi }{2}}^{\frac{\pi }{2}}\frac{1+\cos 2\theta }{2}d\theta \\ & ={[\frac{\theta }{2}+\frac{\sin 2\theta }{4}]}_{-\frac{\pi }{2}}^{\frac{\pi }{2}}\\ & =(\frac{\frac{\pi }{2}}{2}+\frac{\sin \pi }{4})-(\frac{-\frac{\pi }{2}}{2}+\frac{\sin (-\pi )}{4})\\ & =\frac{\pi }{2}\end{array}$$
となります。
よって、楕円の面積$S$は
$$\begin{array}{rl}S& =\frac{2|\mu |}{{\nu }^{\frac{3}{2}}}{\int }_{-1}^1\sqrt{1-t^2}dt\\ & =\frac{2|\mu |}{{\nu }^{\frac{3}{2}}}\frac{\pi }{2}\\ & =\pi \frac{|\mu |}{{\nu }^{\frac{3}{2}}}\end{array}$$
となって、 ii. の一般式での楕円の面積が求まりました。

また、i. の一般式の場合は$$a=A,b=\frac{B}{2},c=C,d=\frac{D}{2},e=\frac{E}{2},f=F$$を代入して整理すると次のようになります。

追記の追記（二次曲線の分類）

「$\nu >0$かつ$a\mu >0$だと$a{x}^2+2bxy+c{y}^2+2dx+2ey+f=0$の左辺が常に正あるいは常に負となってしまって式を満たす$(x,y)$が存在せず、$\nu >0$かつ$a\mu =0$だと$a{x}^2+2bxy+c{y}^2+2dx+2ey+f=0$を満たす$(x,y)$はただ一つだけになります。」

本文中に追記でこのように書きましたが、もう少し詳しく書いておきます。

簡単な説明 ($\mathit{\nu }\mathbf{>}\mathbf{0}$のとき)

$ac-b^2>0$が成り立つとき$a\ne 0$なので、$a{x}^2+2bxy+c{y}^2+2dx+2ey+f=0$の両辺に$a$をかけて
$$a(a{x}^2+2bxy+c{y}^2+2dx+2ey+f)=0$$
としても問題ありません。$ac-b^2>0$を利用してこの式を変形すると、
$$(ax+by+d{)}^2+\frac{1}{ac-b^2}{((ac-b^2)y-(bd-ae))}^2=\frac{-a(acf+2bde-a{e}^2-c{d}^2-b^{2}f)}{ac-b^2}$$
とすることができます。

ここで、$ac-b^2>0$なので左辺は$0$以上になります。

• 右辺が負のとき、この式を満たす$(x,y)$が存在しないことは明らかです。
• 右辺が$0$のとき、直線$ax+by+d=0$と直線$(ac-b^2)y-(bd-ae)=0$の交点$(\frac{be-cd}{ac-b^2},\frac{bd-ae}{ac-b^2})$のみが式を満たします。
• 右辺が正のとき、点$(\frac{be-cd}{ac-b^2},\frac{bd-ae}{ac-b^2})$を中心とし、直線$ax+by+d=0$と直線$(ac-b^2)y-(bd-ae)=0$が互いに共役直径となる楕円になります。

補足 ($\mathit{\nu }\mathbf{<}\mathbf{0}$のとき)

①
$a\ne 0$かつ$ac-b^2<0$となる場合を見てみましょう。
$$a(a{x}^2+2bxy+c{y}^2+2dx+2ey+f)=0$$
を変形すると
$$(ax+by+d{)}^2-\frac{1}{b^2-ac}{((b^2-ac)y+(bd-ae))}^2=\frac{a(acf+2bde-a{e}^2-c{d}^2-b^{2}f)}{b^2-ac}$$
となりますが、$b^2-ac>0$なので左辺は因数分解できて
$$((ax+by+d)+\frac{1}{\sqrt{b^2-ac}}((b^2-ac)y+(bd-ae)))((ax+by+d)-\frac{1}{\sqrt{b^2-ac}}((b^2-ac)y+(bd-ae)))=\frac{a(acf+2bde-a{e}^2-c{d}^2-b^{2}f)}{b^2-ac}$$
となり、整理すると
$$(ax+(b+\sqrt{b^2-ac})y+d+\frac{bd-ae}{\sqrt{b^2-ac}})(ax+(b-\sqrt{b^2-ac})y+d-\frac{bd-ae}{\sqrt{b^2-ac}})=\frac{a(acf+2bde-a{e}^2-c{d}^2-b^{2}f)}{b^2-ac}$$
となります。

• 右辺が$0$のとき、直線$ax+(b+\sqrt{b^2-ac})y+d+\frac{bd-ae}{\sqrt{b^2-ac}}=0$と直線$ax+(b-\sqrt{b^2-ac})y+d-\frac{bd-ae}{\sqrt{b^2-ac}}=0$を合わせた2直線になります。
• 右辺が$0$でないとき、点$(-\frac{be-cd}{b^2-ac},-\frac{bd-ae}{b^2-ac})$を中心とし、直線$ax+(b+\sqrt{b^2-ac})y+d+\frac{bd-ae}{\sqrt{b^2-ac}}=0$と直線$ax+(b-\sqrt{b^2-ac})y+d-\frac{bd-ae}{\sqrt{b^2-ac}}=0$を漸近線とする双曲線になります。

②
$a=0$の場合でも$c\ne 0$ならば同様の計算が可能です。

③
$a=c=0$かつ$ac-b^2<0$となる場合は、
$$2bxy+2dx+2ey+f=0$$
を$b\ne 0$に注意して変形すると
$$2b(x+\frac{e}{b})(y+\frac{d}{b})=\frac{2de-bf}{b}$$
となります。

• 右辺が$0$のとき、直線$x+\frac{e}{b}=0$と直線$y+\frac{d}{b}=0$を合わせた2直線になります。
• 右辺が$0$でないとき、点$(-\frac{e}{b},-\frac{d}{b})$を中心とし、直線$x+\frac{e}{b}=0$と直線$y+\frac{d}{b}=0$を漸近線とする双曲線になります。

さらに補足 ($\mathit{\nu }\mathbf{=}\mathbf{0}$のとき)

①
$a\ne 0$かつ$ac-b^2=0$となる場合、
$$a(a{x}^2+2bxy+c{y}^2+2dx+2ey+f)=0$$
を変形すると
$$(ax+by+d{)}^2=2(bd-ae)y-(af-d^2)$$
となります。

• $bd-ae\ne 0$のとき、放物線になります。
• $bd-ae=0$,$af-d^2>0$のとき、式を満たす$(x,y)$は存在しません。
• $bd-ae=0$,$af-d^2=0$のとき、1直線$ax+by+d=0$になります。
• $bd-ae=0$,$af-d^2<0$のとき、直線$ax+by+d=\sqrt{-(af-d^2)}$と直線$ax+by+d=-\sqrt{-(af-d^2)}$を合わせた平行な2直線になります。

②
$a=0$の場合でも$c\ne 0$ならば同様の計算が可能です。

③
$a=c=0$かつ$ac-b^2=0$となる場合、$b=0$になるので2次の項がなくなってしまいます。
$d\ne 0$または$e\ne 0$の場合は直線$2dx+2ey+f=0$であり、$d=e=0$の場合は図形を表しません。