$
\newcommand{\I}{\mathrm{i}}
\newcommand{\E}{\mathrm{e}}
\newcommand{\bvec}[1]{\boldsymbol{\mathbf{#1}}}
\newcommand{\mat}[1]{\boldsymbol{\mathbf{#1}}}
\newcommand{\ten}[1]{\boldsymbol{\mathbf{#1}}}
\newcommand{\Nabla}{\boldsymbol{\nabla}}
\renewcommand{\Tr}{^{\mathrm{T}}}
\newcommand{\uvec}[1]{\hat{\boldsymbol{\mathbf{#1}}}}
\renewcommand{\pmat}[1]{\begin{pmatrix}#1\end{pmatrix}}
\newcommand{\ali}[1]{\begin{aligned}#1\end{aligned}}
\newcommand{\leftgroup}[1]{\left\{\begin{aligned}#1\end{aligned}\right.}
\newcommand{\vmat}[1]{\begin{vmatrix}#1\end{vmatrix}}
\newcommand{\Cj}{^*}
\newcommand{\Her}{^\dagger}
\newcommand{\Q}[1]{\hat #1}
\newcommand{\Qv}[1]{\uvec #1}
\newcommand{\sinc}{\operatorname{sinc}}
\newcommand{\Arctan}{\operatorname{Arctan}}
\newcommand{\erfi}{\operatorname{erfi}}
\newcommand{\Arctan}{\operatorname{Arctan}}
\newcommand{\Si}[1]{\,\mathrm{#1}}
\newcommand{\les}{\leqslant}
\newcommand{\ges}{\geqslant}
\newcommand{\qty}[1]{\left\{{#1}\right\}}
\newcommand{\qtyRound}[1]{\left({#1}\right)}
\newcommand{\qtySquare}[1]{\left[{#1}\right]}
\newcommand{\abs}[1]{\left\lvert{#1}\right\rvert}
\newcommand{\eval}[1]{\left.{#1}\right\rvert}
\newcommand{\comm}[2]{\left[{#1},{#2}\right]}
\newcommand{\commStar}[2]{[{#1},{#2}]}
\newcommand{\pb}[2]{\left\{{#1},{#2}\right\}}
\newcommand{\pbStar}[2]{\{{#1},{#2}\}}
\newcommand{\vdot}{\boldsymbol\cdot}
\newcommand{\cross}{\boldsymbol\times}
\newcommand{\grad}{\boldsymbol\nabla}
\newcommand{\div}{\boldsymbol{\nabla}\boldsymbol{\cdot}}
\newcommand{\curl}{\boldsymbol{\nabla}\boldsymbol{\times}}
\newcommand{\laplacian}{\boldsymbol{\nabla}^2}
\newcommand{\sinRound}[2][{}]{\sin^{#1}\left(#2\right)}
\newcommand{\cosRound}[2][{}]{\cos^{#1}\left(#2\right)}
\newcommand{\tanRound}[2][{}]{\tan^{#1}\left(#2\right)}
\newcommand{\cscRound}[2][{}]{\csc^{#1}\left(#2\right)}
\newcommand{\secRound}[2][{}]{\sec^{#1}\left(#2\right)}
\newcommand{\cotRound}[2][{}]{\cot^{#1}\left(#2\right)}
\newcommand{\sinhRound}[2][{}]{\sinh^{#1}\left(#2\right)}
\newcommand{\coshRound}[2][{}]{\cosh^{#1}\left(#2\right)}
\newcommand{\tanhRound}[2][{}]{\tanh^{#1}\left(#2\right)}
\newcommand{\arcsinRound}[2][{}]{\arcsin^{#1}\left(#2\right)}
\newcommand{\arccosRound}[2][{}]{\arccos^{#1}\left(#2\right)}
\newcommand{\arctanRound}[2][{}]{\arctan^{#1}\left(#2\right)}
\newcommand{\expRound}[1]{\exp\left(#1\right)}
\newcommand{\logRound}[2][{}]{\log^{#1}\left(#2\right)}
\newcommand{\lnRound}[2][{}]{\ln^{#1}\left(#2\right)}
\renewcommand{\Re}{\mathrm{Re}}
\renewcommand{\Im}{\mathrm{Im}}
\newcommand{\dd}[1][]{\,\mathrm{d}^{#1}}
\newcommand{\dv}[2][{}]{\frac{\mathrm{d}^{#1}}{\mathrm{d}{#2}^{#1}}}
\newcommand{\dvStar}[2][{}]{\mathrm{d}^{#1}/\mathrm{d}{#2}^{#1}}
\newcommand{\dvTwo}[3][{}]{\frac{\mathrm{d}^{#1}{#2}}{\mathrm{d}{#3}^{#1}}}
\newcommand{\dvStarTwo}[3][{}]{\mathrm{d}^{#1}{#2}/\mathrm{d}{#3}^{#1}}
\newcommand{\pdv}[2][{}]{\frac{\partial^{#1}}{\partial{#2}^{#1}}}
\newcommand{\pdvStar}[2][{}]{\partial^{#1}/\partial{#2}^{#1}}
\newcommand{\pdvTwo}[3][{}]{\frac{\partial^{#1}{#2}}{\partial{#3}^{#1}}}
\newcommand{\pdvStarTwo}[3][{}]{\partial^{#1}{#2}/\partial{#3}^{#1}}
\newcommand{\pdvThree}[3]{\frac{\partial^2{#1}}{\partial{#2}\partial{#3}}}
\newcommand{\pdvStarThree}[3]{\partial^2{#1}/\partial{#2}\partial{#3}}
\newcommand{\bra}[1]{\left\langle{#1}\right\rvert}
\newcommand{\braStar}[1]{\langle{#1}\rvert}
\newcommand{\ket}[1]{\left\lvert{#1}\right\rangle}
\newcommand{\ketStar}[1]{\lvert{#1}\rangle}
\newcommand{\braket}[1]{\left\langle{#1}\middle|{#1}\right\rangle}
\newcommand{\braketStar}[1]{\langle{#1}|{#1}\rangle}
\newcommand{\braketTwo}[2]{\left\langle{#1}\middle|{#2}\right\rangle}
\newcommand{\braketStarTwo}[2]{\langle{#1}|{#2}\rangle}
\newcommand{\ev}[1]{\left\langle{#1}\right\rangle}
\newcommand{\evStar}[1]{\langle{#1}\rangle}
\newcommand{\evTwo}[2]{\left\langle{#2}\middle|{#1}\middle|{#2}\right\rangle}
\newcommand{\evStarTwo}[2]{\langle{#2}|{#1}|{#2}\rangle}
\newcommand{\mel}[3]{\left\langle{#1}\middle|{#2}\middle|{#3}\right\rangle}
\newcommand{\melStar}[3]{\langle{#1}|{#2}|{#3}\rangle}
\newcommand{\order}[1]{\mathcal{O}\left(#1\right)}
\newcommand{\bmat}[1]{\begin{bmatrix}#1\end{bmatrix}}
\newcommand{\Bmat}[1]{\left\{\begin{matrix}#1\end{matrix}\right\}}
\newcommand{\sumint}[1]{\int\kern-1.4em\sum}
\newcommand{\Q}[1]{\hat{#1}}
\newcommand{\opn}{\operatorname}
\newcommand{\norm}[1]{\left\lVert{#1}\right\rVert}
$
椭圆的三种定义
第二种定义
我们已经知道用焦点和准线如何定义椭圆, 但从椭圆的极坐标公式难以看出椭圆的对称性,这里用相同的定义推导直角坐标的表达式. 我们不妨先以一个焦点为原点定义直角坐标系, 且令 $x$ 轴指向另一个焦点, 则有
\begin{equation}
r = \sqrt{x^2 + y^2} \qquad \cos\theta = \frac{x}{\sqrt{x^2 + y^2}}
\end{equation}
代入椭圆的极坐标方程
式 1 得
\begin{equation}
\sqrt{x^2 + y^2} = p + ex
\end{equation}
两边平方并整理得
\begin{equation}
(1 - e^2) \qtyRound{ x - \frac{ep}{1 - e^2} }^2 + y^2 = \frac{p^2}{1 - e^2}
\end{equation}
由此可见,如果我们把椭圆左移 $ep/(1 - e^2)$,椭圆将具有
\begin{equation}
\frac{x^2}{a^2} + \frac{y^2}{b^2} = 1
\end{equation}
的形式. 其中 $a$ 为
半长轴, $b$ 为
半短轴.这就是椭圆的第二种定义, 即把单位圆沿两个垂直方向分别均匀拉长 $a$ 和 $b$.下面来看系数的关系.首先定义椭圆的焦距为焦点到椭圆中心的距离(即以上左移的距离)为
\begin{equation}
c = \frac{ep}{1 - e^2}
\end{equation}
式 3 和
式 4 对比系数得
\begin{equation}
a = \frac{p}{1 - e^2} \qquad b = \frac{p}{\sqrt {1 - e^2} }
\end{equation}
以上两式可以将椭圆的极坐标方程转为直角坐标方程. 另外易证
\begin{equation}
a^2 = b^2 + c^2
\end{equation}
若要从直角坐标方程变回极坐标方程, 将
式 5 式 6 逆转得
\begin{equation}
e = \frac{c}{a}\qquad
p = \frac{b^2}{a}
\end{equation}
第三种定义
椭圆的第三种定义是, 椭圆上任意一点到两焦点的距离之和等于 $2a$. 现在我们来证明前两种定义下的椭圆满足这个条件. 由直角坐标方程可知对称性,可在椭圆的两边做两条准线,令椭圆上任意一点到两焦点的距离分别为 $r_1$ 和 $r_2$,到两准线的距离分别为 $d_1$ 和 $d_2$,则有
\begin{equation}
e = \frac{r_1}{d_1} = \frac{r_2}{d_2} = \frac{r_1 + r_2}{d_1 + d_2}
\end{equation}
所以
\begin{equation}
r_1 + r_2 = e(d_1+d_2) = 2e(c + h) = 2\frac{c}{a} \qtyRound{ c + \frac{b^2}{c} } = 2a
\end{equation}
证毕.
致读者: 小时物理百科一直以来坚持所有内容免费且不做广告,这导致我们处于日渐严重的亏损状态。长此以往很可能会最终导致我们不得不选择商业化,例如大量广告,内容付费,会员制,甚至被收购。因此,我们鼓起勇气在此请求广大读者
热心捐款,使网站得以健康发展。如果看到这条信息的每位读者能慷慨捐助 10 元,我们几天内就能脱离亏损状态,并保证网站能在接下来的一整年里向所有读者继续免费提供优质内容。感谢您的支持。
—— 小时(项目创始人)