高斯是如何计算谷神星轨道参数的？（下）

因为文章太长编辑器建议分开发送。这里接着上一篇 高斯是如何计算谷神星轨道参数的？（上）。

主要结果

这里我们已经面临最后的任务，去计算 ${\tau }^{\prime }$ 时刻太阳和谷神星的距离 ${\delta }^{\prime }$。这里还是会反复用到我们前面用到的工具，包括椭圆的极坐标公式，开普勒第二和第三定律，以及式（2.6）的近似版本等。

首先回忆真偏角 $\theta$ 以及椭圆的极坐标公式
$$r(\theta )=\frac{k}{1+e\cos \theta }$$
对于三个时刻$\tau ,{\tau }^{\prime },{\tau }^{\prime \prime }$来说我们有三个等式
$$r=\frac{k}{1+e\cos \theta },r^{\prime }=\frac{k}{1+e\cos {\theta }^{\prime }},r^{\prime \prime }=\frac{k}{1+e\cos {\theta }^{\prime \prime }}$$
两边取倒数我们有
$$\frac{1}{r}=\frac{1+e\cos \theta }{k},\frac{1}{r^{\prime }}=\frac{1+e\cos {\theta }^{\prime }}{k},\frac{1}{r^{\prime \prime }}=\frac{1+e\cos {\theta }^{\prime \prime }}{k}\text{\hspace{1em}(2.10)}$$
然后我们分别用 $\sin ({\theta }^{\prime \prime }-{\theta }^{\prime }),\sin (\theta -{\theta }^{\prime \prime }),\sin ({\theta }^{\prime }-\theta )$ 乘以上式两边并加起来得到式（2.14），其中左边是（2.11）
$$\frac{\sin ({\theta }^{\prime \prime }-\theta )}{r}+\frac{\sin (\theta -{\theta }^{\prime \prime })}{r^{\prime }}+\frac{\sin ({\theta }^{\prime }-\theta )}{r^{\prime \prime }}=\frac{2f+2f^{\prime }+2f^{\prime \prime }}{r{r}^{\prime }{r}^{\prime \prime }}\text{\hspace{1em}(2.11)}$$
因为有三角形的面积公式 $2f=r^{\prime }{r}^{\prime \prime }\sin ({\theta }^{\prime \prime }-{\theta }^{\prime }),2f^{\prime }=r{r}^{\prime \prime }\sin (\theta -{\theta }^{\prime \prime }),2f^{\prime \prime }=r{r}^{\prime }\sin ({\theta }^{\prime }-\theta )$，在引理4中我们证明了其中一种。
右边是
$$\begin{gathered} \frac{1+e\cos \theta }{k}\sin ({\theta }^{\prime \prime }-{\theta }^{\prime })+\frac{1+e\cos {\theta }^{\prime }}{k}\sin (\theta -{\theta }^{\prime \prime })+\frac{1+e\cos {\theta }^{\prime \prime }}{k}\sin ({\theta }^{\prime }-\theta ) \\ =\frac{1}{k}[\sin ({\theta }^{\prime \prime }-{\theta }^{\prime })+\sin (\theta -{\theta }^{\prime \prime })+\sin ({\theta }^{\prime }-\theta )+ \\ +e(\cos \theta \sin ({\theta }^{\prime \prime }-{\theta }^{\prime })+\cos {\theta }^{\prime }\sin (\theta -{\theta }^{\prime \prime })+\cos {\theta }^{\prime \prime }\sin ({\theta }^{\prime }-\theta ))] \end{gathered}$$
里面e乘的括号中的项可以被证明等于和为0：
$$\begin{array}{l}\cos \theta \sin ({\theta }^{\prime \prime }-{\theta }^{\prime })+\cos {\theta }^{\prime }\sin (\theta -{\theta }^{\prime \prime })+\cos {\theta }^{\prime \prime }\sin ({\theta }^{\prime }-\theta )\\ =\cos \theta (\sin {\theta }^{\prime \prime }\cos {\theta }^{\prime }-\sin {\theta }^{\prime }\cos {\theta }^{\prime \prime })+\cos {\theta }^{\prime }(\sin \theta \cos {\theta }^{\prime \prime }-\sin {\theta }^{\prime }\cos \theta )\\ +\cos {\theta }^{\prime \prime }(\sin {\theta }^{\prime }\cos \theta -\sin \theta \cos {\theta }^{\prime })=0\end{array}$$
因此右边等于
$$\frac{\sin ({\theta }^{\prime \prime }-{\theta }^{\prime })+\sin (\theta -{\theta }^{\prime \prime })+\sin ({\theta }^{\prime }-\theta )}{k}\text{\hspace{1em}(2.12)}$$
这一项可以进一步变形来使用，但要引入一个费解的三角恒等式。

引理 9 对所有 $U,V\in \mathbb{R}$，有下列关系
$$\sin U+\sin V-\sin (U+V)=4\sin \left(\frac{U}{2}\right)\sin \left(\frac{V}{2}\right)\sin \left(\frac{U+V}{2}\right)$$
证明对$U,V$用到 sin的加法公式以及二倍角公式 $\cos U=1-2{\sin }^2(U/2),\sin U=2\sin (U/2)\cos (U/2)$。

考虑令 $U={\theta }^{\prime \prime }-{\theta }^{\prime },V={\theta }^{\prime }-\theta$，然后 $U+V={\theta }^{\prime \prime }-\theta$，以及由于 $\sin (\theta -{\theta }^{\prime \prime })=-\sin ({\theta }^{\prime \prime }-\theta )$，我们可以把（2.12）变形为
$$\frac{4}{k}\sin \left(\frac{{\theta }^{\prime \prime }-{\theta }^{\prime }}{2}\right)\sin \left(\frac{{\theta }^{\prime }-\theta }{2}\right)\sin \left(\frac{{\theta }^{\prime \prime }-\theta }{2}\right)\text{\hspace{1em}(2.13)}$$
现在，我们从（2.10）得到的左右两边就构成（2.14）
$$\frac{2f+2f^{\prime }+2f^{\prime \prime }}{r{r}^{\prime }{r}^{\prime \prime }}=\frac{4}{k}\sin \left(\frac{{\theta }^{\prime \prime }-{\theta }^{\prime }}{2}\right)\sin \left(\frac{{\theta }^{\prime }-\theta }{2}\right)\sin \left(\frac{{\theta }^{\prime \prime }-\theta }{2}\right)\text{\hspace{1em}(2.14)}$$
回忆一下我们有面积公式 $-2f^{\prime }=r{r}^{\prime \prime }\sin ({\theta }^{\prime \prime }-\theta )$。我们再利用2倍角公式
$$\sin ({\theta }^{\prime \prime }-\theta )=2\sin (\frac{{\theta }^{\prime \prime }-\theta }{2})\cos (\frac{{\theta }^{\prime \prime }-\theta }{2})$$
就得到（2.14）其中一项sin的表达式
$$\sin (\frac{{\theta }^{\prime \prime }-\theta }{2})=\frac{\sin ({\theta }^{\prime \prime }-\theta )}{2\cos (\frac{{\theta }^{\prime \prime }-\theta }{2})}=\frac{-2f^{\prime }}{2r{r}^{\prime \prime }\cos (\frac{{\theta }^{\prime \prime }-\theta }{2})}=\frac{-f^{\prime }}{r{r}^{\prime \prime }\cos (\frac{{\theta }^{\prime \prime }-\theta }{2})}$$
替换（2.14）中的这一项，消去 2 和 $r{r}^{\prime \prime }$ 得到
$$\frac{f+f^{\prime }+f^{\prime \prime }}{r^{\prime }}=\frac{2}{k}\sin \left(\frac{{\theta }^{\prime \prime }-{\theta }^{\prime }}{2}\right)\sin \left(\frac{{\theta }^{\prime }-\theta }{2}\right)\frac{-f^{\prime }}{\cos \left(\frac{{\theta }^{\prime \prime }-\theta }{2}\right)}$$
乘以$r^{\prime }$再除以 $f^{\prime }$ 得到
$$\frac{f+f^{\prime }+f^{\prime \prime }}{f^{\prime }}=-\frac{2r^{\prime }}{k}\sin \left(\frac{{\theta }^{\prime \prime }-{\theta }^{\prime }}{2}\right)\sin \left(\frac{{\theta }^{\prime }-\theta }{2}\right)\frac{1}{\cos \left(\frac{{\theta }^{\prime \prime }-\theta }{2}\right)}\text{\hspace{1em}(2.15)}$$
现在我们把注意力放到椭圆参数 $k$ 上。我们在前面把椭圆面积表示为 $\pi a^{3/2}\sqrt{k}$，其中 $a$ 表示椭圆轨道的半长轴，也是六个参数之一。我们用开普勒第二定律来比较扫过的轨道面积和对应的时间区间
$$\frac{\pi a^{3/2}\sqrt{k}}{t_p}=\frac{g}{{\tau }^{\prime \prime }-{\tau }^{\prime }}=\frac{g^{\prime \prime }}{{\tau }^{\prime }-\tau }$$
其中 $t_p$ 表示谷神星的周期。因此，我们也可以得到
$$\frac{{\pi }^2{a}^{3}k}{t_p^2}=\frac{g{g}^{\prime \prime }}{({\tau }^{\prime \prime }-{\tau }^{\prime })({\tau }^{\prime }-\tau )}$$
再回忆开普勒第三定律说
$$\frac{A^3}{T_e^2}=\frac{a^3}{t_p^2}$$
其中 $A$ 是地球轨道半长轴，$T_e$ 是一年。所以我们就有
$$\frac{{\pi }^2{A}^{3}k}{T_e^2}=\frac{g{g}^{\prime \prime }}{({\tau }^{\prime \prime }-{\tau }^{\prime })({\tau }^{\prime }-\tau )}$$
因此
$$k=\frac{T_e^{2}g{g}^{\prime \prime }}{{\pi }^2{A}^3({\tau }^{\prime \prime }-{\tau }^{\prime })({\tau }^{\prime }-\tau )}\text{\hspace{1em}(2.16)}$$

为了继续前进，我们定义三个时刻的三个新的变量 $M,M^{\prime },M^{\prime \prime }$ 为
$$M=\frac{2\pi }{T_e}(\tau -{\tau }_e),M^{\prime }=\frac{2\pi }{T_e}({\tau }^{\prime }-{\tau }_e),M^{\prime \prime }=\frac{2\pi }{T_e}({\tau }^{\prime \prime }-{\tau }_e)$$
其中 ${\tau }_e$ 表示地球最近一次经过近日点 perihelion 的时刻。我们可以把 $M$ 解读为一个理论的角度，也就是假设地球在假想的具有相同周期的圆形轨道上以恒定角速度在 $\tau$ 时刻经过近日点后运行的角度。（实际上，$M$ 通常在天文学中使用，被叫作 mean anomaly）。

注意，这三个值根据定义都是已知的：地球的周期是1年，地球的近日点时间也是有良好记录的，以及时刻 $\tau ,{\tau }^{\prime },{\tau }^{\prime \prime }$ 都来自 Piazzi 的观测数据。更进一步，我们有
$$\frac{M^{\prime \prime }-M^{\prime }}{{\tau }^{\prime \prime }-{\tau }^{\prime }}=\frac{2\pi }{T_e({\tau }^{\prime \prime }-{\tau }^{\prime })}(({\tau }^{\prime \prime }-{\tau }_e)-({\tau }^{\prime }-{\tau }_e))=\frac{2\pi }{T_e}$$
这与我们前面的解读是一致的，这个常数角速度可以用完整的角度除以整个周期得到。
类似的，我们有
$$\frac{M^{\prime }-M}{{\tau }^{\prime }-\tau }=\frac{2\pi }{T_e}$$
把两个式子取倒数再相乘我们得到
$$\frac{T_e^2}{4{\pi }^2}=\frac{({\tau }^{\prime \prime }-{\tau }^{\prime })({\tau }^{\prime }-\tau )}{(M^{\prime \prime }-M^{\prime })(M^{\prime }-M)}$$
将此式代入（2.16），消去时间差，就得到
$$k=\frac{4g{g}^{\prime \prime }}{A^3(M^{\prime \prime }-M^{\prime })(M^{\prime }-M)}\text{\hspace{1em}(2.17)}$$
下一步我们需要引入一些小角度的近似。具体来说，
$$\cos (\frac{{\theta }^{\prime \prime }-\theta }{2})\approx 1,r{r}^{\prime \prime }\approx (r^{\prime }{)}^2$$
这些十分直观。另外，当观测的小段时间内 $\mathbf{r},{\mathbf{r}}^{\prime \prime }$ 之间不包括近日点和远日点时，总有 $r<r^{\prime }<r^{\prime \prime }$ 或 $r>r^{\prime }>r^{\prime \prime }$，因此这些误差在相乘时会彼此抵消部分。进一步，我们近似扫过的椭圆区域面积为
$$g\approx r^{\prime }{r}^{\prime \prime }\sin (\frac{{\theta }^{\prime \prime }-{\theta }^{\prime }}{2}),g^{\prime \prime }\approx r{r}^{\prime }\sin (\frac{{\theta }^{\prime }-\theta }{2})$$
这在几何上有一定意义（看图2.6）。考虑左边对 $g$ 的近似，式子的右边是右边以 $r^{\prime }$ 为底，以
$$r^{\prime \prime }\sin (\frac{{\theta }^{\prime \prime }-{\theta }^{\prime }}{2})$$
为高的三角形面积的2倍。

且该三角形的面积等于以 $r^{\prime \prime }$ 为底，高为
$$r^{\prime }\sin (\frac{{\theta }^{\prime \prime }-{\theta }^{\prime }}{2})$$
的三角形面积。这两个三角形的面积都接近各自的$g$的面积，因此他们的和接近 $g$。
我们写为以下形式
$$\sin (\frac{{\theta }^{\prime \prime }-{\theta }^{\prime }}{2})\approx \frac{g}{r^{\prime }{r}^{\prime \prime }},\sin (\frac{{\theta }^{\prime }-\theta }{2})\approx \frac{g^{\prime \prime }}{r{r}^{\prime }}$$
这样我们就有了式（2.15）中的两项 $\sin$，然后我们用1近似其中的 $\cos$，就得到
$$\frac{f+f^{\prime }+f^{\prime \prime }}{f^{\prime }}\approx -\frac{2r^{\prime }}{k}\frac{g}{r^{\prime }{r}^{\prime \prime }}\frac{g^{\prime \prime }}{r{r}^{\prime }}\approx -\frac{2g{g}^{\prime \prime }}{k(r^{\prime }{)}^3}$$
再用式（2.17）替换 $k$，就有
$$\frac{f+f^{\prime }+f^{\prime \prime }}{f^{\prime }}\approx -\frac{A^3(M^{\prime \prime }-M^{\prime })(M^{\prime }-M)}{4g{g}^{\prime \prime }}\cdot \frac{2g{g}^{\prime \prime }}{(r^{\prime }{)}^3}$$
消去面积后我们就得到最终的近似
$$\frac{f+f^{\prime }+f^{\prime \prime }}{f^{\prime }}\approx -\frac{A^3(M^{\prime \prime }-M^{\prime })(M^{\prime }-M)}{2(r^{\prime }{)}^3}\text{\hspace{1em}(2.18)}$$
这是以 $r^{\prime }$ 和已知量表示的近似。对地球而言用类似的记号我们同样可以得到
$$\frac{F+F^{\prime }+F^{\prime \prime }}{F^{\prime }}\approx -\frac{A^3(M^{\prime \prime }-M^{\prime })(M^{\prime }-M)}{2(R^{\prime }{)}^3}\text{\hspace{1em}(2.19)}$$
将这两式结合起来，我们有
$$\frac{f+f^{\prime }+f^{\prime \prime }}{f^{\prime }}-\frac{F+F^{\prime }+F^{\prime \prime }}{F^{\prime }}\approx \frac{A^3}{2}(M^{\prime \prime }-M^{\prime })(M^{\prime }-M)\left(\frac{1}{(R^{\prime }{)}^3}-\frac{1}{(r^{\prime }{)}^3}\right)$$
两边乘以 $f^{\prime }{F}^{\prime }$得到
$$(f+f^{\prime }+f^{\prime \prime })F^{\prime }-(F+F^{\prime }+F^{\prime \prime })f^{\prime }\approx f^{\prime }{F}^{\prime }\frac{A^3}{2}(M^{\prime \prime }-M^{\prime })(M^{\prime }-M)\left(\frac{1}{(R^{\prime }{)}^3}-\frac{1}{(r^{\prime }{)}^3}\right)$$
化简左边后得到
$$\begin{gathered} (f+f^{\prime \prime })F^{\prime }-(F+F^{\prime \prime })f^{\prime }\approx \\ {f}^{\prime }{F}^{\prime }\frac{A^3}{2}(M^{\prime \prime }-M^{\prime })(M^{\prime }-M)\left(\frac{1}{(R^{\prime }{)}^3}-\frac{1}{(r^{\prime }{)}^3}\right)\text{\hspace{1em}(2.20)} \end{gathered}$$

现在我们终于可以回到第一个主要的式（2.6）。我们先重新完整写下
$$\begin{array}{l}(F+F^{\prime \prime })f^{\prime }{\delta }^{\prime }\det (\mathbf{w}|{\mathbf{w}}^{\prime }|{\mathbf{w}}^{\prime \prime })\\ =(f^{\prime \prime }F-f{F}^{\prime \prime })(D\det (\mathbf{w}|\mathbf{W}|{\mathbf{w}}^{\prime \prime })-D^{\prime \prime }\det (\mathbf{w}|{\mathbf{W}}^{\prime \prime }|{\mathbf{w}}^{\prime \prime }))\\ +((f+f^{\prime \prime })F^{\prime }-(F+F^{\prime \prime })f^{\prime })D^{\prime }\det (\mathbf{w}|{\mathbf{W}}^{\prime }|{\mathbf{w}}^{\prime \prime })\end{array}$$
然后回忆之前结论里我们提到右边第一项接近0，因此我们有近似版本

$$(F+F^{\prime \prime })f^{\prime }{\delta }^{\prime }\det (\mathbf{w}|{\mathbf{w}}^{\prime }|{\mathbf{w}}^{\prime \prime })\approx ((f+f^{\prime \prime })F^{\prime }-(F+F^{\prime \prime })f^{\prime })D^{\prime }\det (\mathbf{w}|{\mathbf{W}}^{\prime }|{\mathbf{w}}^{\prime \prime })$$
然后我们最终把经过乏味的计算得到的式（2.20）代入上式，得到
$$\begin{gathered} (F+F^{\prime \prime })f^{\prime }{\delta }^{\prime }\det (\mathbf{w}|{\mathbf{w}}^{\prime }|{\mathbf{w}}^{\prime \prime }) \\ \approx f^{\prime }{F}^{\prime }\frac{A^3}{2}(M^{\prime \prime }-M^{\prime })(M^{\prime }-M)\left(\frac{1}{(R^{\prime }{)}^3}-\frac{1}{(r^{\prime }{)}^3}\right)D^{\prime }\det \left(\mathbf{w}|{\mathbf{W}}^{\prime }|{\mathbf{w}}^{\prime \prime }\right) \end{gathered}$$
注意我们可以消去 $f^{\prime }$。然后我们把注意力转到 $F,F^{\prime },F^{\prime \prime }$。我们可以直接计算这些值（跟地球轨道有关所以我们认为可以计算），不过为了简单，Gauss 用了另一个近似 $F+F^{\prime \prime }\approx -F^{\prime }$。这意味着我们选择忽略三个时刻地球所在的三点 $P,P^{\prime },P^{\prime \prime }$ 构成的小三角形的面积 $F+F^{\prime }+F^{\prime \prime }$，如图2.7中所示。因此我们用 $-(F+F^{\prime \prime })$ 替换右边的 $F^{\prime }$，就可以消去 $F^{\prime }$，得到
$$-{\delta }^{\prime }\det (\mathbf{w}|{\mathbf{w}}^{\prime }|{\mathbf{w}}^{\prime \prime })\approx \frac{A^3}{2}(M^{\prime \prime }-M^{\prime })(M^{\prime }-M)\left(\frac{1}{(R^{\prime }{)}^3}-\frac{1}{(r^{\prime }{)}^3}\right)D^{\prime }\det (\mathbf{w}|{\mathbf{W}}^{\prime }|{\mathbf{w}}^{\prime \prime })$$

现在我们回忆坐标系的定义，尤其是 $xy$ 平面，我们有 $R^{\prime }=D^{\prime }$。移动一些因子我们可以得到
$$-\frac{\det (\mathbf{w}|{\mathbf{w}}^{\prime }|{\mathbf{w}}^{\prime \prime })}{\det (\mathbf{w}|{\mathbf{W}}^{\prime }|{\mathbf{w}}^{\prime \prime })}\cdot \frac{2}{(M^{\prime \prime }-M^{\prime })(M^{\prime }-M)}\approx \left(1-\frac{(R^{\prime }{)}^3}{(r^{\prime }{)}^3}\right)\frac{R^{\prime }}{{\delta }^{\prime }}\text{\hspace{1em}(2.21)}$$
我们现在很接近结束了。（终于！）但是，在我们到达高潮前，我们需要一个最终的辅助引理。
引理 10 下面关于 $R^{\prime },r^{\prime },{\delta }^{\prime }$和观测值的关系成立
$$\frac{R^{\prime }}{r^{\prime }}=\frac{R^{\prime }}{{\delta }^{\prime }}{\left(1+{\tan }^2{\beta }^{\prime }+{\left(\frac{R^{\prime }}{{\delta }^{\prime }}\right)}^2+2\frac{R^{\prime }}{{\delta }^{\prime }}\cos ({\lambda }^{\prime }-L^{\prime })\right)}^{-1/2}$$
证明：这个等式是定义和一些三角函数的结果。在我们开始必要的记号前，我们注意这里用到的记号都是时刻 ${\tau }^{\prime }$ 的。为了避免误解，我们仍然用单引号标记新的变量，尽管我们已经不需要其他两个版本的变量。

首先，令 $C^{\prime },E^{\prime },S^{\prime }$表示 ${\tau }^{\prime }$ 时的Ceres，地球和太阳的位置。令 $P^{\prime }$ 表示 $C^{\prime }$ 在 $x^{\prime }{y}^{\prime }$ 平面上的投影，记 $u^{\prime }=|S^{\prime }{P}^{\prime }|$。我们有两个三角形 $E^{\prime }{P}^{\prime }{C}^{\prime }，S^{\prime }{P}^{\prime }{C}^{\prime }$，都有一个直角在 $P^{\prime }$ 点和高 $P^{\prime }{C}^{\prime }$。在第一个三角形中，显然有 $|P^{\prime }{C}^{\prime }|={\delta }^{\prime }\tan {\beta }^{\prime }$。第二个三角形中，根据勾股定理，
$$(u^{\prime }{)}^2=(r^{\prime }{)}^2-({\delta }^{\prime }{)}^2{\tan }^2{\beta }^{\prime }\text{\hspace{1em}(2.22)}$$

然后我们考虑 $x^{\prime }{y}^{\prime }$ 平面内的三角形 $S^{\prime }{E}^{\prime }{P}^{\prime }$。$E^{\prime }$ 处的角为 $\pi -\alpha$，其中 $\alpha =|{\lambda }^{\prime }-L^{\prime }|$ 当 $|{\lambda }^{\prime }-L^{\prime }|<\pi$，否则 $\alpha =2\pi -|{\lambda }^{\prime }-L^{\prime }|$ 。任一种情况下，我们都有 $\cos \alpha =\cos |{\lambda }^{\prime }-L^{\prime }|=\cos ({\lambda }^{\prime }-L^{\prime })$， 这样我们可以用余弦定理推导出
$$\begin{array}{ll}(u^{\prime }{)}^2& =(R^{\prime }{)}^2+({\delta }^{\prime }{)}^2-2R^{\prime }{\delta }^{\prime }\cos (\pi -\alpha )\\ & =(R^{\prime }{)}^2+({\delta }^{\prime }{)}^2-2R^{\prime }{\delta }^{\prime }\cos ({\lambda }^{\prime }-L^{\prime })\end{array}$$
用式（2.22）中的 $u^{\prime }$替换，两边再同时加上 $({\delta }^{\prime }{)}^2{\tan }^2{\beta }^{\prime }$ 可以得到
$$(r^{\prime }{)}^2=(R^{\prime }{)}^2+({\delta }^{\prime }{)}^2+({\delta }^{\prime }{)}^2{\tan }^2{\beta }^{\prime }+2R^{\prime }{\delta }^{\prime }\cos ({\lambda }^{\prime }-L^{\prime })$$
为了结束这部分，我们把上式两边同时乘以$(R^{\prime }{)}^2$再除以$(r^{\prime }{)}^2({\delta }^{\prime }{)}^2$得到
$${\left(\frac{R^{\prime }}{{\delta }^{\prime }}\right)}^2={\left(\frac{R^{\prime }}{r^{\prime }}\right)}^2\left({\left(\frac{R^{\prime }}{{\delta }^{\prime }}\right)}^2+1+{\tan }^2{\beta }^{\prime }+2\frac{R^{\prime }}{{\delta }^{\prime }}\cos ({\lambda }^{\prime }-L^{\prime })\right)$$
两边除以右边的大的括号中的项再开方就得到了我们的引理。

现在我们几乎有了所有需要的东西来结束这一切。接下来需要展开式（2.21）中的行列式。我们在引理6中已经计算了 $\det (\mathbf{w}|{\mathbf{w}}^{\prime }|{\mathbf{w}}^{\prime \prime })$
$$\det (\mathbf{w}|{\mathbf{w}}^{\prime }|{\mathbf{w}}^{\prime \prime })=\tan \beta \sin ({\lambda }^{\prime \prime }-{\lambda }^{\prime })-\tan {\beta }^{\prime }\sin ({\lambda }^{\prime \prime }-\lambda )+\tan {\beta }^{\prime \prime }\sin ({\lambda }^{\prime }-\lambda )$$
再回忆一次 $B^{\prime }=0$，所以 $\tan B^{\prime }=0$，第二个行列式等于
$$\begin{gathered} \det (\mathbf{w}|{\mathbf{W}}^{\prime }|{\mathbf{w}}^{\prime \prime })=\left|\begin{array}{c}\cos \lambda \cos L^{\prime }\cos {\lambda }^{\prime \prime }\\ \sin \lambda \sin L^{\prime }\sin {\lambda }^{\prime \prime }\\ \tan \beta \tan B^{\prime }\tan {\beta }^{\prime \prime }\end{array}\right| \\ =\tan \beta (\cos L^{\prime }\sin {\lambda }^{\prime \prime }-\cos {\lambda }^{\prime \prime }\sin L^{\prime })+ \\ \tan {\beta }^{\prime \prime }(\cos \lambda \sin L^{\prime }-\cos L^{\prime }\sin \lambda ) \\ =\tan \beta \sin ({\lambda }^{\prime \prime }-L)+\tan {\beta }^{\prime \prime }\sin (L^{\prime }-\lambda ) \end{gathered}$$
代入式（2.21），我们就得到最终的近似式
$$\begin{gathered} \left(1-{\left(\frac{R^{\prime }}{r^{\prime }}\right)}^3\right)\frac{R^{\prime }}{{\delta }^{\prime }}\approx \\ -2\frac{\tan \beta \sin ({\lambda }^{\prime \prime }-{\lambda }^{\prime })-\tan {\beta }^{\prime }\sin ({\lambda }^{\prime \prime }-\lambda )+\tan {\beta }^{\prime \prime }\sin ({\lambda }^{\prime }-\lambda )}{(M^{\prime \prime }-M^{\prime })(M^{\prime }-M)(\tan \beta \sin ({\lambda }^{\prime \prime }-L^{\prime })+\tan {\beta }^{\prime \prime }\sin (L^{\prime }-\lambda ))} \end{gathered}$$

注意上式中右边的变量全都来自Piazzi的观测数据或可以从地球完备记录的轨道信息得出。使用引理10中的替换，我们得到一个只有一个未知量$R^{\prime }/{\delta }^{\prime }$的方程。这个方程相当复杂，但是可以用数值方法求解。因为 $R^{\prime }$ 的值已知，我们就可以直接从数值解得到 ${\delta }^{\prime }$ 的值了。这样我们就有了前面计算 $\mathbf{r},{\mathbf{r}}^{\prime \prime }$ 所需要的。有必要的话，我们可以根据
$${\mathbf{r}}^{\prime }=(X^{\prime },Y^{\prime },Z^{\prime }{)}^T+{\delta }^{\prime }{\mathbf{w}}^{\prime }$$
来计算 $r^{\prime }$。这样，我们认为就计算完了。

这里我们主要是根据第三手资料，也就是 $\text{Daniel Bed’ at}\check{s}$ 参考 Gauss 1809和 Teets and Whitehead, 1999 完成的本科学位论文，回顾了高斯对谷神星轨道的计算过程。从这些过程我们可以发现，高斯没有用到或者用的不是我们今天所理解的形式上的最小二乘法，计算过程中也就没有直接考虑观测数据的误差的分布，只用三个观测数据，就完成了主要的计算。

Gauss 的改进

$\text{Daniel Bed’ at}\check{s}$ 在论文中说了，Teets 和 Whitehead 的文章到这里就结束了，不过Gauss在自己最初的1809年的文章中，还提供了如何改进这些估计的注释。他提供了两种方式：可以用更加精确的近似，但他发现十分困难因此他自己立刻就放弃了，或是用稍微修改的输入重复这一过程。如 Abdulle and Wanner [2003] 提到的，这一修改的过程实际上可能是4年后Legendre在1805年提出的最小二乘法的一个早期例子。
特别地，我们被建议用第一章中的方式根据 $\mathbf{r},{\mathbf{r}}^{\prime \prime }$ 计算 Ceres 的轨道参数。根据这些参数，我们可以得出一个理论上 Ceres 在 ${\tau }^{\prime }$ 时刻的位置。这一位置对应于 ${\lambda }^{\prime },{\beta }^{\prime }$ 的新值，不妨记为 $\tilde{\lambda },\tilde{\beta }$。进一步，我们记 $\mathcal{L}=|{\lambda }^{\prime }-\tilde{\lambda }|$，$\mathcal{B}=|{\beta }^{\prime }-\tilde{\beta }|$，用来表示 ${\tau }^{\prime }$ 时刻观测值与理论值之间的差别。然后，我们可以用 $\lambda ,{\lambda }^{\prime }-\mathcal{L},{\lambda }^{\prime \prime }$ 和 $\beta ,{\beta }^{\prime }-\mathcal{B},{\beta }^{\prime \prime }$来重复Gauss的计算。有必要的话，可以重复迭代直到误差小到可以忽略。这是我们在计算中引入了一些看似粗放的近似的原因。

可以看到，这里跟我们今天理解的最小二乘法实际上也不是很像，而更像是根据迭代法求方程的数值解。不过高斯真实的想法还是要看他的原文可能才能更真实地理解。

结语

Piazzi在1801年的第一天发现了Ceres并在一些观测后因为太阳的原因跟丢了。高斯根据Piazzi的观测数据选择了三个点 $\tau ,{\tau }^{\prime },{\tau }^{\prime \prime }$。他首先根据已知的地球的运动和这几个观测数据估计了 ${\delta }^{\prime }$，然后根据观测估计了 $\delta ,{\delta }^{\prime \prime }$，并得到了 $\mathbf{r},{\mathbf{r}}^{\prime \prime }$。然后Gauss 假设 $\mathbf{r},{\mathbf{r}}^{\prime \prime }$ 是正确的情况下计算 Ceres 的轨道参数。 他验证了这一轨道是否和 ${\tau }^{\prime }$ 处的观测数据相符，并重复迭代计算来调整估计。直到他得到一组与所有观测数据的误差都符合一定范围后，他计算了未来几个时刻 Ceres的位置，使得1802年的第一天，天文学家重新发现了 Ceres。
尽管这一思想可以被简单地描述，主要的步骤却十分复杂。我们发现想要理解 Gauss 是如何有如此特别的先见之明将通往胜利的必要的方程连接起来是十分困难的。作者也希望自己成功地认真解释了每一步并且给读者们带来了一些天文学秘密的insights，以及可能也领会到 the great mind of Carl Friedrich Gauss。

Laplace祝贺Gauss：“The Duke of Brunswick has discovered more in his country than a planet: a super-terrestrial spirit in a human body”.

在 200 Years of Least Squares Method 中，作者们提到是1801年的12月 Ceres 被重新发现，然后Gauss开始使用 LSM，但没有发表。

• Gauss Elimination 高斯为了证明最小二乘法中的线性方程组的可解性，在1809年首次清楚地描述了后来以他的名字命名的消元法。
• Gauss-Newton Method 在同一篇论文中，他解释了非线性最小平方误差问题如何在邻域内近似线性化得到一个近似解然后迭代修正。
• Laplace’s central limit theorem. 1809年，Laplace发表了他的中心极限定理，表示任意概率函数，在求算数平均后，都趋于正态分布。
• 1823年，Gauss 发表了LSM上第二篇基础工作，Theoria combinationis observationum erronibus minimis obnoxiae 分两部分，其中包括最小二乘原则的修正，独立于概率函数，这在今天被叫作 Gauss-Markov Theorem。
• 1828年，Bessel从离散情形发现了最小二乘思想，正交性和 Euler-Fourier formulas 作三角级数估计的关系；后来Gram（1883）年拓展到连续情形，是Fourier series的 $L^2$ Hilbert space的基础。
• 1845年，Jacobi发表了他的用$R^2$中的连续转动求解 normal equations的方法。这些旋转引导了后来1950年代的Givens的三角化方法以及第一个稳定的特征值算法。
• 1900年，Karl Pearson把最小二乘和 ${\chi }^2$分布联系起来，带来了著名的${\chi }^2-test$假设检验。
• 1958年，Householder的反射算法出现，替换了Givens中的旋转，带来了 QR 分解，以及由 Golub（1965），成为了今天最小二乘法的标准算法。

虽然看了这些介绍，我们发现我们还不是非常理解最小二乘法。我们发现信号处理中会讲的更加程序化一些，比如线性系统下最小二乘法怎么估计参数。这些还是放到维纳滤波器来写好了。感谢 GNU $\text{TEX}macs$ 帮我输入公式省了大量时间。

At last, many thanks to Daniel Bed’at$\check{\text{s}}$. 这篇博客主要翻译自 Bachelor Thesis of Daniel Bed’at$\check{\text{s}}$, Gauss’ calculation of Ceres’ orbit
感谢他同意我翻译他的论文产生了这篇博客。如果有建议，我会改进这篇博客。

参考文献

BEĎATŠ, Daniel. Gauss’calculation of Ceres’ orbit. Bakalářská práce, vedoucí Tůma, Jiří. Praha: Univerzita Karlova, Matematicko-fyzikální fakulta, Katedra algebry.

此外，参考了其他的文献包括

Jonathan Tennenbaum and Bruce Director, How Gauss Determined the Orbit of Ceres

但这篇写的很长，85页，但包括了很多立体几何，结论又不那么清晰。

https://math.berkeley.edu/~mgu/MA221/Ceres_Presentation.pdf

这个课件比较完整的重复了计算过程，不过没有足够的记号的解释，看完上面的过程再看可能会很好理解。

下面这篇主要是介绍最小二乘法的历史，200年是从1805年算起。

A. Abdulle and G. Wanner, Genève, Basel, 200 Years of Least Squares Method, 2005