# Méthode des moindres carrés/Théorie de la combinaison des observations qui expose aux moindres erreurs
## THÉORIE DE LA COMBINAISON DES OBSERVATIONS QUI EXPOSE AUX MOINDRES ERREURS, Par Ch.-Frédéric GAUSS.
### PREMIÈRE PARTIE, PRÉSENTÉE À LA SOCIÉTÉ ROYALE DE GOTTINGUE, LE 15 FÉVRIER 1821.

Quelque soin que l’on apporte aux observations qui concernent la mesure des grandeurs physiques, elles sont forcément soumises à des erreurs plus ou moins considérables. Ces erreurs, dans le plus grand nombre des cas, ne sont pas simples, mais découlent à la fois de plusieurs sources distinctes qu’il est bon de distinguer en deux classes.
Certaines causes d’erreurs dépendent, pour chaque observation, de circonstances variables et indépendantes du résultat que l’on obtient : les erreurs qui en proviennent sont nommées irrégulières ou fortuites, et de même que les circonstances qui les produisent, leur valeur n’est pas susceptible d’être soumise au calcul. Telles sont les erreurs qui naissent de l’imperfection de nos organes et toutes celles qui sont dues à des causes extérieures irrégulières, comme, par exemple, les trépidations de l’air qui rendent la vision moins nette ; quelques-unes des erreurs dues à l’imperfection inévitable des meilleurs instruments appartiennent à la même catégorie. Nous citerons, par exemple, la rugosité de la partie intérieure du niveau, le défaut de rigidité absolue, etc.
Il existe, au contraire, d’autres causes qui, dans toutes les observations de même nature, produisent une erreur identique, ou dépendant de circonstances essentiellement liées au résultat de l’observation. Nous appellerons les erreurs de cette catégorie, des erreurs constantes ou régulières.
Il est du reste évident que cette distinction est jusqu’à un certain point relative et dépend du sens plus ou moins large que l’on veut attacher à l’idée d’observations de même nature. Par exemple, si l’on répète indéfiniment la mesure d’un même angle, les erreurs provenant d’une division imparfaite du limbe appartiendront à la classe des erreurs constantes. Si, au contraire, on mesure successivement plusieurs angles différents, les erreurs dues à l’imperfection de la division seront regardées comme fortuites tant que l’on n’aura pas formé la table des erreurs relatives à chaque division.
Nous excluons de nos recherches la considération des erreurs régulières. C’est à l’observateur qu’il appartient de rechercher avec soin les causes qui peuvent produire une erreur constante, pour les écarter s’il est possible, ou tout au moins apprécier leur effet, afin de le corriger sur chaque observation, qui donnera alors le même résultat que si la cause constante n’avait pas existé. Il en est tout autrement des erreurs irrégulières : celles-là, par leur nature, se refusent à tout calcul, et il faut bien les tolérer dans les observations. On peut cependant, par une combinaison habile des résultats, réduire autant que possible leur influence. C’est à cette question importante que sont consacrées les recherches suivantes.
Les erreurs qui, dans des observations de même espèce, proviennent d’une cause simple et déterminée se trouvent renfermées entre certaines limites que l’on pourrait sans aucun doute assigner, si la nature de cette cause était elle-même parfaitement connue. Dans la plupart des cas, toutes les erreurs comprises entre ces limites extrêmes doivent être regardées comme possibles. Une connaissance approfondie de chaque cause apprendrait si toutes ces erreurs ont une facilité égale ou inégale, et, dans le second cas, quelle est la probabilité relative de chacune d’elles. La même remarque s’applique à l’erreur totale qui provient de la réunion de plusieurs erreurs simples. Cette erreur sera, elle aussi, renfermée entre deux limites dont l’une sera la somme des limites supérieures, l’autre celle des limites inférieures, correspondant aux erreurs simples. Toutes les erreurs comprises entre ces limites seront possibles, et chacune pourra résulter, d’une infinité de manières, de valeurs convenables attribuées aux erreurs partielles. On comprend néanmoins, en écartant les difficultés purement analytiques, qu’il y a possibilité d’apprécier la probabilité plus ou moins grande de chaque résultat, si l’on suppose connues les probabilités relatives à chacune des causes simples.
Certaines causes pourtant produisent des erreurs qui ne peuvent pas varier suivant une loi continue, mais qui, au contraire, sont susceptibles d’un nombre fini de valeurs : nous pouvons citer, comme exemple, les erreurs qui proviennent de la division imparfaite des instruments (si toutefois on veut les classer parmi les erreurs fortuites), car le nombre des divisions, dans un instrument donné, est essentiellement fini. Il est clair néanmoins que, si toutes les causes qui concourent à produire l’erreur totale ne sont pas supposées dans ce cas, leur somme formera une série soumise à la loi de continuité, ou, tout au moins, plusieurs séries distinctes, s’il arrive qu’en plaçant par ordre de grandeur toutes les valeurs possibles des erreurs discontinues, la différence entre deux termes consécutifs de la série soit moindre que la différence entre les limites extrêmes des erreurs soumises à la loi de continuité. Dans la pratique, un pareil cas ne se présentera presque jamais ; il supposerait des défauts trop grossiers dans la construction de l’instrument.
Désignons par la notation $\varphi (x)$ la facilité relative d’une erreur $x$ : on doit entendre par là, à cause de la continuité des erreurs, que $\varphi (x)\,\mathrm {d} x$ est la probabilité que l’erreur soit comprise entre les limites $x$ et $x+\mathrm {d} x$. Il n’est pas possible, en général, d’assigner la forme de la fonction $\varphi$, et l’on peut même affirmer que cette fonction ne sera jamais connue dans la pratique. On peut néanmoins établir plusieurs caractères généraux qu’elle doit nécessairement présenter : $\varphi (x)$ est évidemment une fonction discontinue ; elle s’annule pour toutes les valeurs de $x$ non comprises entre les erreurs extrêmes. Pour toute valeur comprise entre ces limites, la fonction est positive (en excluant le cas indiqué à la fin du paragraphe précédent) ; dans la plupart des cas, les erreurs égales et de signes contraires seront également probables, et l’on aura :
$\varphi (x)=\varphi (-x)$
Enfin, comme les petites erreurs sont plus facilement commises que les grandes, $\varphi (x)$ sera en général maximum pour $x=0$ et diminuera sans cesse lorsque $x$ croîtra.
L’intégrale
$\int _{a}^{b}\varphi (x)\,\mathrm {d} x$
exprime la probabilité pour que l’erreur, encore inconnue, tombe entre les limites $a$ et $b$. On en conclut que la valeur de cette intégrale prise entre les limites extrêmes des erreurs possibles sera toujours égale à l’unité. Et comme $\varphi (x)$ est nulle pour les valeurs non comprises entre ces limites, on peut dire, dans tous les cas, que
$\int _{-\infty }^{\infty }\varphi (x)\,\mathrm {d} x=1$
Considérons l’intégrale
$\int _{-\infty }^{\infty }x\,\varphi (x)\,\mathrm {d} x$
et représentons sa valeur par $k$. Si les causes d’erreur sont telles, qu’il n’y ait aucune raison pour que deux erreurs égales et de signes contraires aient des facilités inégales, on aura
$\varphi (x)=\varphi (-x)$
et, par suite,
$k=0$
Nous en conclurons que, si $k$ ne s’évanouit pas et a, par exemple, une valeur positive, il existe nécessairement une cause d’erreur qui produit uniquement des erreurs positives ou qui, tout au moins, les produit plus facilement que les erreurs négatives. Cette quantité $k$, qui est la moyenne de toutes les erreurs possibles, ou encore la valeur moyenne de $x$, peut être désignée commodément sous le nom de partie constante de l’erreur. Du reste, on prouve facilement que la partie constante de l’erreur totale est la somme des parties constantes des erreurs simples qui la composent.
Si la quantité $k$ est supposée connue et qu’on la retranche du résultat de chaque observation, en désignant par $x'$ l’erreur de l’observation ainsi corrigée, et la probabilité correspondante par $\varphi '(x')$, on aura
$x'=x-k,\qquad \varphi '(x')=\varphi (x)$
et, par suite,
$\int _{-\infty }^{\infty }x'\varphi '(x')\,\mathrm {d} x'=\int _{-\infty }^{\infty }x\,\varphi (x)\,\mathrm {d} x-k\int _{-\infty }^{\infty }\varphi (x)\,\mathrm {d} x=k-k=0\,;$
en sorte que les erreurs des observations corrigées n’ont pas de partie constante. Ce qui, du reste, semble évident à priori.
La valeur de l’intégrale
$\int _{-\infty }^{\infty }x\varphi (x)\,\mathrm {d} x$
c’est-à-dire la valeur moyenne de $x$, fait connaître l’existence ou la non-existence d’une erreur constante, ainsi que la valeur de cette erreur ; de même l’intégrale
$\int _{-\infty }^{\infty }x^{2}\varphi (x)\,\mathrm {d} x$
c’est-à-dire la valeur moyenne de $x^{2}$, paraît très-propre à définir et à mesurer, d’une manière générale, l’incertitude d’un système d’observations ; de telle sorte qu’entre deux systèmes d’observations inégalement précises, on devra regarder comme préférable celui qui donne à l’intégrale
$\int _{-\infty }^{\infty }x^{2}\varphi (x)\,\mathrm {d} x$
une moindre valeur. Si l’on objecte que cette convention est arbitraire et ne semble pas nécessaire, nous en convenons volontiers. La question qui nous occupe a, dans sa nature même, quelque chose de vague et ne peut être bien précisée que par un principe jusqu’à un certain point arbitraire. La détermination d’une grandeur par l’observation peut se comparer, avec quelque justesse, à un jeu dans lequel il y aurait une perte à craindre et aucun gain à espérer : chaque erreur commise étant assimilée à une perte que l’on fait, la crainte relative à un pareil jeu doit s’exprimer par la perte probable, c’est-à-dire par la somme des produits des diverses pertes possibles par leurs probabilités respectives. Mais quelle perte doit-on assimiler à une erreur déterminée ? C’est ce qui n’est pas clair en soi ; cette détermination dépend en partie de notre volonté. Il est évident, d’abord, que la perte ne doit pas être regardée comme proportionnelle à l’erreur commise ; car, dans cette hypothèse, une erreur positive représentant une perte, l’erreur négative devrait être regardée comme un gain : la grandeur de la perte doit, au contraire, s’évaluer par une fonction de l’erreur dont la valeur soit toujours positive. Parmi le nombre infini de fonctions qui remplissent cette condition, il semble naturel de choisir la plus simple, qui est, sans contredit, le carré de l’erreur, et, de cette manière, nous sommes conduit au principe proposé plus haut.
Laplace a considéré la question d’une manière analogue, mais en adoptant, pour mesure de la perte, l’erreur elle-même prise positivement. Cette hypothèse, si nous ne nous faisons pas illusion, n’est pas moins arbitraire que la nôtre : faut-il, en effet, regarder une erreur double comme plus ou moins regrettable qu’une erreur simple répétée deux fois, et faut-il, par suite, lui assigner une importance double ou plus que double ? C’est une question qui n’est pas claire, et sur laquelle les arguments mathématiques n’ont aucune prise ; chacun doit la résoudre à son gré. On ne peut nier pourtant que l’hypothèse de Laplace ne s’écarte de la loi de continuité et ne soit, par conséquent, moins propre à une étude analytique ; la nôtre, au contraire, se recommande par la généralité et la simplicité de ses conséquences.
Posons, en conservant les notations précédentes,
$\int _{-\infty }^{\infty }\varphi (x)\,x^{2}\,\mathrm {d} x=m^{2}$
nous appellerons $m$ l’erreur moyenne à craindre ou, simplement, l’erreur moyenne des observations considérées. Nous ne limitons pas, du reste, cette dénomination au résultat immédiat des observations, mais nous l’étendons, au contraire, à toute grandeur qui peut s’en déduire d’une manière quelconque. Il faut bien se garder de confondre cette erreur moyenne avec la moyenne arithmétique des erreurs, dont il est question dans l’art. 5
Si nous comparons plusieurs systèmes d’observations ou plusieurs grandeurs résultant d’observations auxquelles on n’accorde pas la même précision, nous regarderons leur poids relatif comme inversement proportionnel à $m^{2}$, et leur précision comme inversement proportionnelle à $m$. Afin de pouvoir représenter les poids par des nombres, on devra prendre, pour unité, le poids d’un certain système d’observations arbitrairement choisi.
Si les erreurs des observations ont une partie constante, en la retranchant de chaque résultat obtenu, l’erreur moyenne diminue, le poids et la précision augmentent. En conservant les notations de l’art. 5, et désignant par $m'$ l’erreur moyenne des observations corrigées, on aura en effet
${\begin{aligned}m'^{2}&=\int _{-\infty }^{\infty }x'^{2}\varphi '(x')\mathrm {d} x=\int _{-\infty }^{\infty }(x-k)^{2}\varphi (x)\,\mathrm {d} x\\[0.75ex]&=\int _{-\infty }^{\infty }x^{2}\varphi (x)\,\mathrm {d} x-2k\int _{-\infty }^{\infty }x\,\varphi (x)\,\mathrm {d} x+k^{2}\int _{-\infty }^{\infty }\varphi (x)\,\mathrm {d} x\\[0.75ex]&=m^{2}-2k^{2}+k^{2}=m^{2}-k^{2}.\\\end{aligned}}$
Si, au lieu de retrancher de chaque observation le nombre $k$, on retranchait un autre nombre $l$, le carré de l’erreur moyenne deviendrait
$m^{2}-2kl+l^{2}=m'^{2}+(l-k)^{2}.$
Soient $\lambda$ un coefficient déterminé et $\mu$ la valeur de l’intégrale
$\int _{-\lambda m}^{\lambda m}\varphi (x)\,\mathrm {d} x$
$\mu$ sera la probabilité que l’erreur d’une certaine observation soit moindre que $\lambda m$ en valeur absolue ; $1-\mu$ sera, au contraire, la probabilité que cette erreur surpasse $\lambda m$. Si, pour $\mu ={\tfrac {1}{2}}$, $\lambda m$ a la valeur $\rho$, il y aura probabilités égales pour que l’erreur soit plus petite ou plus grande que $\rho$ : $\rho$ pourra donc être appelé l’erreur probable. La relation qui existe entre $\lambda$ et $\mu$ dépend de la nature de la fonction $\varphi$, qui est inconnue dans la plupart des cas. Il est intéressant d’étudier cette relation dans quelques cas particuliers.
I. Si les limites extrêmes des erreurs possibles sont $+a$ et $-a$, et si, entre ces limites, toutes les erreurs sont également probables, la fonction $\varphi (x)$ sera constante entre ces mêmes limites, et, par conséquent, égale à ${\frac {1}{2a}}\cdot$ Par suite, on aura
$m=a\,{\sqrt {\frac {1}{3}}},\qquad \mu =\lambda \,{\sqrt {\frac {1}{3}}},$
tant que $\lambda$ sera inférieur ou égal à ${\sqrt {3}}$; enfin,
$\rho =m\,{\sqrt {\frac {3}{4}}}=$
$m$
et la probabilité pour que l’erreur ne surpasse pas l’erreur moyenne est
${\sqrt {\frac {1}{3}}}=$
II. Si $-a$ et $+a$ sont encore les limites des erreurs possibles, si l’on suppose, de plus, que la probabilité de ces mêmes erreurs aille en décroissant à partir de l’erreur 0
comme les termes d’une progression arithmétique, on aura
$\varphi (x)={\frac {a-x}{a^{2}}}$
pour les valeurs de $x$ comprises entre 0 et $+a$, et
$\varphi (x)={\frac {a+x}{a^{2}}}$
pour les valeurs comprises entre 0 et $-a$ : de là on déduit
${\begin{aligned}m&=a\,{\sqrt {\frac {1}{6}}},&\mu &=\lambda \,{\sqrt {\frac {2}{3}}}-{\frac {1}{6}}\lambda ^{2},\end{aligned}}$
tant que $\lambda$ est compris entre 0 et ${\sqrt {6}}$ ;
$\lambda ={\sqrt {6}}-{\sqrt {6-6\mu }},$
tant que $\mu$ est compris entre 0 et 1 ; et, enfin,
$\rho =m\left({\sqrt {6}}-{\sqrt {3}}\right)=$
$m$
Dans ce cas, la probabilité que l’erreur restera inférieure à l’erreur moyenne sera
${\sqrt {\frac {2}{3}}}-{\frac {1}{6}}=$
III. Si nous supposons la fonction $\varphi (x)$ proportionnelle à $e^{-{\frac {x^{2}}{h^{2}}}}$ [ce qui, en réalité, n’est vrai qu’approximativement], elle devra être égale à
$\varphi (x)={\frac {e^{-{\frac {x^{2}}{h^{2}}}}}{h\,{\sqrt {\pi }}}}\,;$
on en conclut
$m=h\,{\sqrt {\frac {1}{2}}},$
(voir Disquisitiones generales circa seriem infinitam, art. 28, Mémoires de Gottingue, tome II).
Si l’on désigne par $\Theta z$ la valeur de l’intégrale
${\frac {2}{\sqrt {\pi }}}\int _{0}^{z}e^{-z^{2}}\mathrm {d} z$
on aura
$\mu =\Theta \left(\lambda \,{\sqrt {\frac {1}{2}}}\right)$
Le tableau suivant donne quelques valeurs de cette quantité :
| $\lambda$ | $\mu$ |
| 0,6744897 | 0,5000000 |
| 0,8416213 | 0,6000000 |
| 1,0000000 | 0,6826895 |
| 1,0364334 | 0,7000000 |
| 1,2815517 | 0,8000000 |
| 1,6448537 | 0,9000000 |
| 2,5758293 | 0,9900000 |
| 3,2918301 | 0,9990000 |
| 3,8905940 | 0,9999000 |
| $\infty$ | 1000 |
Quoique la relation qui lie $\lambda$ à $\mu$ dépende de la nature de la fonction $\varphi$, on peut cependant établir quelques résultats généraux, qui s’appliquent à tous les cas dans lesquels cette fonction ne sera pas croissante avec la valeur absolue de la variable $x$ ; alors on aura les théorèmes suivants :
$\lambda$ ne dépassera pas $\mu {\sqrt {3}}$ toutes les fois que $\mu$ sera inférieur à ${\frac {2}{3}}$ ;
$\lambda$ ne dépassera pas ${\frac {2}{3{\sqrt {1-\mu }}}}$ toutes les fois que $\mu$ surpassera ${\frac {2}{3}}\cdot$
Lorsque $\mu ={\frac {2}{3}}$, les deux limites coïncident et $\lambda$ ne peut pas être supérieur à ${\sqrt {\frac {4}{3}}}\cdot$
Pour démontrer ce théorème remarquable, représentons par $y$ la valeur de l’intégrale
$\int _{-x}^{+x}\varphi (z)\,\mathrm {d} z$
alors $y$ sera la probabilité pour qu’une erreur soit comprise entre $-x$ et $+x$.
Posons
$x=\psi (y)$
$\mathrm {d} \psi (y)=\psi '(y)\,\mathrm {d} y$
$\mathrm {d} \psi '(y)=\psi ''(y)\,\mathrm {d} y$
$\psi (0)=0$
$\psi '(y)={\frac {1}{\varphi (x)+\varphi (-x)}}$
on en conclut, en ayant égard aux hypothèses qui ont été faites, que, depuis $y=0$ jusqu’à $y=1$, $\psi '(y)$ est toujours croissant, ou du moins n’est pas décroissant, et que, par suite, $\psi ''(y)$ est toujours positif, ou du moins n’est pas négatif. Or nous avons
$\mathrm {d} .y\,\psi '(y)=\psi '(y)\,\mathrm {d} y+y\,\psi ''(y)\,\mathrm {d} y$
$y\,\psi '(y)-\psi (y)=\int _{0}^{y}y\,\psi ''(y)\,\mathrm {d} y$
$y\,\psi '(y)-\psi (y)$ a donc une valeur constamment positive, ou du moins cette expression ne sera jamais négative. Il suit de là que $1-{\frac {\psi (y)}{y\,\psi '(y)}}$ sera toujours positif et moindre que l’unité. Soit $f$ la valeur de cette différence pour $y=\mu$ ; à cause de $\psi (\mu )=\lambda \,m$, on a
$f=1-{\frac {\lambda \,m}{\mu \,\psi '(\mu )}}$
d’où l’on conclut
$\psi '(\mu )={\frac {\lambda \,m}{(1-f)\mu }}\cdot$
Cela posé, considérons la fonction
${\frac {\lambda \,m}{(1-f)\mu }}(y-\mu f)$
que nous désignerons par $\mathrm {F} (y)$, et posons
$\mathrm {d} {.}\mathrm {F} (y)=\mathrm {F} '(y)\,\mathrm {d} y$
on aura évidemment
${\begin{aligned}\mathrm {F} (\mu )&=\lambda \,m=\psi (\mu ),\\\mathrm {F} '(\mu )&={\frac {\lambda \,m}{(1-f)\mu }}=\psi '(\mu ).\\\end{aligned}}$
Or, puisque $\psi '(y)$ croît continuellement (ou du moins ne décroît pas, car c’est ainsi qu’on doit toujours l’entendre) lorsque $y$ croît, et que, d’un autre côté, $\mathrm {F} '(y)$ est constant, la différence
$\psi '(y)-\mathrm {F} '(y)={\frac {\mathrm {d} [\psi (y)-\mathrm {F} (y)]}{\mathrm {d} y}}$
sera positive pour toutes les valeurs de $y$ plus grandes que $\mu$, et négative pour les valeurs de $y$ plus petites que $\mu$. On en conclut que la différence $\psi (y)-\mathrm {F} (y)$ est toujours positive, et, par suite, $\psi (y)$ sera certainement plus grand que $\mathrm {F} (y)$ en valeur absolue, tant que la fonction $\mathrm {F} (y)$ sera positive, c’est-à-dire depuis $y=\mu f$ jusqu’à $y=1$. La valeur de l’intégrale
$\int _{\mu f}^{1}[\mathrm {F} (y)]^{2}\,\mathrm {d} y$
sera donc inférieure à celle de l’intégrale
$\int _{\mu f}^{1}[\psi (y)]^{2}\,\mathrm {d} y$
et à fortiori moindre que
$\int _{0}^{1}[\psi (y)]^{2}\,\mathrm {d} y$
c’est-à-dire moindre que $m^{2}$. Or la première de ces intégrales a pour valeur
${\frac {\lambda ^{2}m^{2}(1-\mu f)^{3}}{3\mu ^{2}(1-f)^{2}}}$
$\lambda ^{2}<{\frac {3\mu ^{2}(1-f)^{2}}{(1-\mu f)^{3}}}$
$f$ désignant, on ne l’a pas oublié, un nombre compris entre 0 et 1.
Si nous considérons $f$ comme variable, la fraction
${\frac {3\mu ^{2}(1-f)^{2}}{(1-\mu f)^{3}}}$
aura pour différentielle
$-{\frac {3\mu ^{2}(1-f)}{(1-\mu f)^{4}}}(2-3\mu +\mu f)\,\mathrm {d} f\,:$
cette fraction sera donc continuellement décroissante lorsque $f$ croîtra de 0 à 1, et que l’on aura, en outre, $\mu <{\tfrac {2}{3}}$ : sa valeur maximum correspondra à $f=0$ et sera égale à $3\mu ^{2}$, de sorte que, dans ce cas, le coefficient $\lambda$ sera certainement inférieur, ou du moins ne sera pas supérieur à $\mu {\sqrt {3}}$. Ce qu’il fallait démontrer.
Lorsqu’au contraire $\mu$ est plus grand que ${\tfrac {2}{3}}$, la valeur de la fonction sera maximum lorsque
$2-3\mu +\mu f=0$
c’est-à-dire lorsque
$f=3-{\frac {2}{\mu }}$
et cette valeur maximum sera
${\frac {4}{9(1-\mu )}}$
par conséquent, dans ce cas, le coefficient $\lambda$ n’est pas plus grand que ${\frac {2}{3{\sqrt {1-\mu }}}},$ comme nous l’avions annoncé.
Faisons, par exemple,
$\mu ={\frac {1}{2}}$
alors $\lambda$ ne peut pas surpasser ${\sqrt {\frac {3}{4}}}$, c’est-à-dire que l’erreur probable ne peut pas surpasser 0,8660254 $m$, à laquelle elle devient égale dans le premier cas examiné (art. 9) : on conclut facilement de notre théorème que $\mu$ n’est pas moindre que $\lambda \,{\sqrt {\frac {1}{3}}}$, tant que $\lambda$ est moindre que ${\sqrt {\frac {4}{3}}}$, et qu’au contraire, il n’est pas inférieur à $1-{\frac {4}{9\lambda ^{2}}}$, lorsque $\lambda$ est plus grand que ${\sqrt {\frac {4}{3}}}$.
L’intégrale
$\int _{-\infty }^{\infty }x^{4}\varphi (x)\,\mathrm {d} x$
se présentant dans plusieurs problèmes que nous aurons à traiter, il ne sera pas inutile de l’évaluer dans quelques cas particuliers.
Posons
$\int _{-\infty }^{\infty }x^{4}\varphi (x)\,\mathrm {d} x=n^{4}$
I. Lorsque
$\varphi (x)={\frac {1}{2a}}$
pour les valeurs de $x$ comprises entre $-a$ et $+a$, on a
$n^{4}={\frac {a^{4}}{5}}={\frac {9}{5}}\,m^{4}$
II. Lorsque
$\varphi (x)={\frac {a\mp x}{a^{2}}}$
(IIe cas, art. 9), $x$ étant encore compris entre $-a$ et $+a$, on a
$n^{4}={\frac {1}{15}}\,a^{4}={\frac {12}{5}}\,m^{4}$
III. Dans le troisième cas, lorsque
$\varphi (x)={\frac {e^{-{\frac {x^{2}}{h^{2}}}}}{h{\sqrt {\pi }}}},$
on trouvera, d’après les résultats obtenus dans le Mémoire cité plus haut,
$n^{4}={\frac {3}{4}}\,h^{4}=3\,m^{4}$
On peut d’ailleurs démontrer qu’en restant dans les hypothèses admises au paragraphe précédent, le rapport ${\frac {n^{4}}{m^{4}}}$ n’est jamais inférieur à ${\frac {9}{5}}\cdot$
Désignons par $x$, $x'$, $x''$, etc., les erreurs commises dans des observations de même espèce, et supposons que ces erreurs soient indépendantes les unes des autres. Soit, comme plus haut, $\varphi (x)$ la probabilité relative de l’erreur $x$ ; considérons une fonction rationnelle $y$, des variables $x$, $x'$, $x''$, etc.
L’intégrale multiple
| (1) | $\int \varphi (x)\,\varphi (x')\,\varphi (x'')\ldots \,\mathrm {d} x\,\mathrm {d} x'\,\mathrm {d} x''\ldots ,$ |
étendue à toutes les valeurs des variables $x$, $x'$, $x''$, etc., pour lesquelles la valeur de $y$ tombe entre les limites données 0, $\eta$, représente la probabilité que la valeur de $y$ soit comprise entre 0 et $\eta$. Or cette intégrale est évidemment une fonction de $\eta$. Représentons sa différentielle par $\psi (\eta )\,\mathrm {d} \eta$, de sorte que l’intégrale considérée soit égale à
$\int _{0}^{\eta }\psi (\eta )\,\mathrm {d} \eta$
et que, par conséquent, $\psi (\eta )$ représente la probabilité relative d’une valeur quelconque de $y$. $x$ pouvant être regardé comme une fonction des variables $y$, $x'$, $x''$, etc., que nous désignerons par $f(y,x',x'',\ldots )$, l’intégrale (1) prendra la forme
$\int \varphi \left[f(y,x',x'',\ldots )\right]{\frac {\mathrm {d} f(y,x',x'',\ldots )}{\mathrm {d} y}}\,\varphi (x')\,\varphi (x'')\ldots \,\mathrm {d} y\,\mathrm {d} x'\,\mathrm {d} x''\ldots ,$
où $y$ doit varier depuis $y=0$ jusqu’à $y=\eta$, et les autres variables reçoivent toutes les valeurs pour lesquelles $f(y,x',x'',\ldots )$ est réelle.
On aura donc
$\psi (y)\!=\!\!\int \!\varphi \left[f(y,x',x'',\ldots )\right]{\frac {\mathrm {d} f(y,x',x'',\ldots )}{\mathrm {d} y}}\,\varphi (x')\,\varphi (x'')\ldots \,\mathrm {d} y\,\mathrm {d} x'\mathrm {d} x''\ldots \,;$
l’intégration, dans laquelle $y$ doit être regardé comme une constante, s’étendant à toutes les valeurs des variables $x'$, $x''$, etc., pour lesquelles $f(y,x',x'',\ldots )$ prend une valeur réelle.
L’intégration précédente exigerait, il est vrai, la connaissance de la fonction $\varphi$, qui est inconnue dans la plupart des cas. Lors même que cette fonction serait connue, le calcul surpasserait, le plus souvent, les forces de l’analyse. Dès lors il sera impossible d’obtenir la probabilité de chacune des valeurs de $y$ ; mais il en sera autrement si l’on désire seulement la valeur moyenne de $y$, qui sera donnée par l’intégrale
$\int y\,\psi (y)\,\mathrm {d} y$
étendue à toutes les valeurs possibles de $y$.
Si, par la nature de la fonction, ou à cause des limites imposées à $x$, $x'$, $x''$, etc., $y$ n’est pas susceptible de recevoir toutes les valeurs, on devra supposer que $\psi (y)$ s’annule pour toutes les valeurs que $y$ ne peut atteindre, et l’on pourra alors étendre l’intégration de $-\infty$ à $+\infty$.
Mais l’intégrale
$\int y\,\psi (y)\,\mathrm {d} y$
prise entre des limites déterminées $\eta$, et $\eta '$, est égale à
$\int \!\!y\,\varphi \!\left[f(y,x',x'',\ldots )\right]{\frac {\mathrm {d} f(y,x',x'',\ldots )}{\mathrm {d} y}}\varphi (x')\varphi (x'')\ldots \mathrm {d} y\,\mathrm {d} x'\,\mathrm {d} x''\ldots ,$
prise depuis $y=\eta$ jusqu’à $y=\eta '$ et étendue à toutes les valeurs des variables $x'$, $x''$, etc., pour lesquelles $f$ est réelle. Cette intégrale est égale, par conséquent, à l’intégrale
$\int y\,\varphi (x)\,\varphi (x')\,\varphi (x'')\ldots \,\mathrm {d} x\,\mathrm {d} x'\,\mathrm {d} x''\ldots ,$
dans laquelle $y$ sera exprimé en fonction de $x$, $x'$, $x''$, etc., la sommation s’étendant à toutes les valeurs des variables qui laissent $y$ compris entre $\eta$ et $\eta '$, D’après cela, l’intégrale
$\int _{-\infty }^{\infty }y\,\psi (y)\,\mathrm {d} y$
peut se mettre sous la forme
$\int y\,\varphi (x)\,\varphi (x')\,\varphi (x'')\ldots \,\mathrm {d} x\,\mathrm {d} x'\,\mathrm {d} x''\ldots ,$
l’intégration s’étendant à toutes les valeurs réelles de $x$, $x'$, $x''$, c’est-à-dire depuis $x=-\infty$ à $x=+\infty$, $x'=-\infty$ à $x'=+\infty$, etc.
Si la fonction $y$ se réduit à une somme de termes de la forme
$\mathrm {A} \,x^{\alpha }{x'}^{\beta }{x''}^{\gamma }\ldots$
la valeur de l’intégrale
$\int y\,\psi (y)\,\mathrm {d} y$
étendue à toutes les valeurs de $y$, c’est-à-dire la valeur moyenne de $y$, sera égale à une somme de termes de la forme
$\mathrm {A} \int _{-\infty }^{\infty }x^{\alpha }\varphi (x)\,\mathrm {d} x\cdot \int _{-\infty }^{\infty }{x'}^{\beta }\varphi (x')\,\mathrm {d} x'\cdot \int _{-\infty }^{\infty }{x''}^{\gamma }\varphi (x'')\,\mathrm {d} x''\ldots ,$
c’est-à-dire que la valeur moyenne de $y$ est égale à une somme de termes déduits de ceux mêmes qui composent $y$, en y remplaçant $x^{\alpha }$, $x'^{\beta }$, $x''^{\gamma }$, etc., par leurs valeurs moyennes. La démonstration de ce théorème important pourrait facilement se déduire d’autres considérations.
Appliquons le théorème précédent au cas où l’on a
$y={\frac {x^{2}+{x'}^{2}+{x''}^{2}+\ldots }{\sigma }},$
$\sigma$ désignant le nombre des termes du numérateur.
On trouve tout de suite que la valeur moyenne de $y$ est égale à $m^{2}$ (la lettre $m$ ayant toujours la signification de l’art. 7). La véritable valeur de $y$ peut être inférieure ou supérieure à sa moyenne, de même que la vraie valeur de $x^{2}$ peut, dans chaque cas, être inférieure ou supérieure à $m^{2}$ ; mais la probabilité pour que la valeur fortuite de $y$ ne diffère pas sensiblement de $m^{2}$, s’approchera sans cesse de la certitude à mesure que $\sigma$ deviendra plus grand. Pour le montrer plus clairement, comme il est impossible de chercher exactement cette probabilité, nous chercherons l’erreur moyenne à craindre en faisant $y=m^{2}$. D’après ce qui a été dit (art. 6), cette erreur sera la racine carrée de la moyenne de la fonction
${\left({\frac {{x}^{2}+{x'}^{2}+{x''}^{2}+\ldots }{\sigma }}-m^{2}\right)}^{2}$
Pour la trouver, il suffit d’observer que la valeur moyenne d’un terme tel que ${\frac {x^{4}}{\sigma ^{2}}}$ est égale à ${\frac {n^{4}}{\sigma ^{2}}}$ ($n$ ayant la même signification que dans l’art. 11), et que la valeur moyenne d’un terme tel que ${\frac {2{x^{2}}{x'}^{2}}{\sigma ^{2}}}$ est égale à ${\frac {2m^{4}}{\sigma ^{2}}}$ ; par conséquent, la valeur moyenne de cette fonction sera
${\frac {n^{4}-m^{4}}{\sigma }}$
De là nous concluons que si le nombre des erreurs irrégulières est suffisamment grand, la valeur de $m$ sera représentée, avec une grande certitude, par la formule
$m={\sqrt {\frac {{x}^{2}+{x'}^{2}+{x''}^{2}+\ldots }{\sigma }}}$
et l’erreur moyenne à craindre dans la détermination du carré de $m$, sera égale à
${\sqrt {\frac {n^{4}-m^{4}}{\sigma }}}$
Comme cette dernière formule contient la quantité $n$, si l’on veut seulement se faire une idée du degré de précision de cette détermination, il suffira d’adopter pour la fonction $\varphi$ une hypothèse particulière.
Si nous prenons, par exemple, la troisième hypothèse des art. 9 et 11, cette erreur sera égale à $m^{2}{\sqrt {\frac {2}{\sigma }}}$. Si on le préfère, on pourra obtenir une valeur approchée de $n^{4}$ au moyen des erreurs elles-mêmes, à l’aide de la formule
${\frac {{x}^{4}+{x'}^{4}+{x''}^{4}+\ldots }{\sigma }}$
On peut affirmer généralement qu’une précision deux fois plus grande dans cette détermination exigera un nombre d’erreurs quadruple, c’est-à-dire que le poids de la détermination est proportionnel au nombre $\sigma$.
On verrait de la même manière que si les erreurs des observations renferment une partie constante, on déduira de leur moyenne arithmétique une valeur de la partie constante, et cette valeur sera d’autant plus approchée que le nombre des erreurs sera plus grand. Dans cette détermination, l’erreur moyenne à craindre sera représentée par ${\sqrt {\frac {m^{2}-k^{2}}{\sigma }}}$, $k$ désignant la partie constante, et $m$ l’erreur moyenne des observations non corrigées de leur erreur constante. Elle sera représentée simplement par ${\frac {m}{\sqrt {\sigma }}}$, si $m$ représente l’erreur moyenne des observations corrigées de la partie constante (voyez art. 8).
Dans les art. 12 à 15 nous avons supposé que les erreurs $x$, $x'$, $x''$, etc., appartenaient au même genre d’observations, de sorte que la probabilité de chacune de ces erreurs était représentée par la même fonction. Mais il est évident que les principes généraux exposés dans les articles 12 à 14, peuvent facilement s’appliquer au cas plus général où les probabilités des erreurs $x$, $x'$, $x''$, etc., sont représentées par des fonctions différentes
${\begin{aligned}\varphi (x)&,&\varphi '(x')&,&\varphi ''(x''),\ldots ,&\end{aligned}}$
c’est-à-dire lorsque ces erreurs appartiennent à des observations qui n’ont pas le même degré de précision. Supposons que $x$ désigne l’erreur d’une observation dont l’erreur moyenne à craindre soit $m$ ; $x'$, $x''$, etc., celles d’autres observations dont les erreurs moyennes à craindre soient respectivement $m'$, $m''$, etc., : alors la valeur moyenne de la somme
$x^{2}+{x'}^{2}+{x''}^{2}+\ldots$
$m^{2}+{m'}^{2}+{m''}^{2}+\ldots$
Or, si l’on sait, par ailleurs, que les quantités $m$, $m'$, $m''$, etc., sont respectivement proportionnelles aux nombres, $1$, $\mu '$, $\mu ''$, etc., la valeur moyenne de l’expression
${\frac {x^{2}+{x'}^{2}+{x''}^{2}+\ldots }{1+{\mu '}^{2}+{\mu ''}^{2}+\ldots }}$
sera égale à $m^{2}$. Mais si nous adoptons pour $m^{2}$ la valeur que prendra cette expression, en y substituant les erreurs $x$, $x'$, $x''$, etc., telles que le hasard les offrira, l’erreur moyenne qui affecte cette détermination sera, d’après l’article précédent,
${\frac {\sqrt {n^{4}+{n'}^{4}+{n''}^{4}+\ldots -m^{4}-{m'}^{4}-{m''}^{4}-\ldots }}{1+{\mu '}^{2}+{\mu ''}^{2}+\ldots }}$
où $n'$, $n''$, etc., ont la même signification, par rapport à la seconde et à la troisième observation, que $n$ par rapport à la première ; et si l’on peut supposer les nombres $n$, $n'$, $n''$, etc., proportionnels à $m$, $m'$, $m''$, etc., cette erreur moyenne à craindre sera égale à
${\frac {\sqrt {(n^{4}-m^{4})(1+{\mu '}^{4}+{\mu ''}^{4}+\ldots )}}{1+{\mu '}^{2}+{\mu ''}^{2}+\ldots }}$
mais cette manière de déterminer une valeur approchée de $m$ n’est pas la plus avantageuse.
Considérons l’expression plus générale
$y={\frac {x^{2}+\alpha '{x'}^{2}+\alpha ''{x''}^{2}+\ldots }{1+\alpha '{\mu '}^{2}+\alpha ''{\mu ''}^{2}+\ldots }}$
dont la valeur moyenne sera aussi $m^{2}$, quels que soient les coefficients $\alpha '$, $\alpha ''$, etc. L’erreur moyenne à craindre lorsqu’on substitue la valeur $m^{2}$ à une valeur de $y$, déterminée d’après les erreurs fortuites $x$, $x'$, $x''$, etc., sera, d’après les principes précédents, donnée par la formule
${\frac {\sqrt {(n^{4}-m^{4})+{\alpha '}^{2}({n'}^{4}-{m'}^{4})+{\alpha ''}^{2}({n''}^{4}-{m''}^{4})+\ldots }}{1+\alpha '{\mu '}^{2}+\alpha ''{\mu ''}^{2}+\ldots }}$
Pour que cette erreur soit la plus petite possible, il faudra poser
${\begin{aligned}\alpha '&={\frac {n^{4}-m^{4}}{{n'}^{4}-{m'}^{4}}}\,{\mu '}^{2},\\\alpha ''&={\frac {n^{4}-m^{4}}{{n''}^{4}-{m''}^{4}}}\,{\mu ''}^{2},\\\,\cdots &\cdots \cdots \cdots \cdots \cdots \cdots \\\end{aligned}}$
Ces valeurs ne pourront pas s’évaluer tant qu’on ne connaîtra pas les rapports ${\frac {n}{m}}$, ${\frac {n'}{m'}}$, etc. Dans l’ignorance où l’on est de leur valeur exacte, le plus sûr sera de les supposer égaux entre eux (voyez art. 11), et l’on aura alors
${\begin{aligned}\alpha '&={\frac {1}{{\mu '}^{2}}},&\alpha ''&={\frac {1}{{\mu ''}^{2}}},\dots ,\end{aligned}}$
c’est-à-dire que les coefficients $\alpha '$, $\alpha ''$, etc., doivent être supposés égaux aux poids relatifs des diverses observations, en prenant pour unité le poids de celle à laquelle correspond l’erreur $x$. Ceci posé, désignons, comme ci-dessus, par $\sigma$ le nombre des erreurs proposées ; la valeur moyenne de l’expression
${\frac {x^{2}+\alpha '{x'}^{2}+\alpha ''{x''}^{2}+\ldots }{\sigma }}$
sera égale à $m^{2}$, et lorsque nous prendrons, pour la vraie valeur de $m^{2}$, la valeur de cette expression déterminée au moyen des erreurs fortuites $x$, $x'$, $x''$, etc., l’erreur moyenne à craindre sera
${\frac {\sqrt {n^{4}+{\alpha '}^{2}{n'}^{4}+{\alpha ''}^{2}{n''}^{4}+\ldots -\sigma m^{4}}}{\sigma }},$
et, enfin, s’il est permis de supposer les quantités $n$, $n'$, $n''$, etc., proportionnelles à $m$, $m'$, $m''$, etc., cette expression se réduira à
${\sqrt {\frac {n^{4}-m^{4}}{\sigma }}},$
résultat identique à celui que nous avons trouvé dans le cas où les observations sont toutes de même espèce.
Lorsqu’une observation dont la précision n’est pas absolue, fait connaître une certaine quantité liée analytiquement à une grandeur inconnue, le résultat de cette observation peut fournir pour l’inconnue une valeur erronée, mais dans la détermination de laquelle il n’y a rien d’arbitraire qui puisse donner lieu à un choix plus ou moins vraisemblable.
Mais si plusieurs fonctions de la même inconnue sont données par des observations imparfaites, chaque observation fournira une valeur de l’inconnue, et l’on pourra également obtenir des valeurs, par la combinaison de plusieurs observations. Il y a évidemment une infinité de manières d’y parvenir ; le résultat sera soumis, dans tous les cas, à une erreur possible. Selon la combinaison adoptée, l’erreur moyenne à craindre pourra être plus ou moins grande.
La même chose aura lieu si plusieurs quantités observées dépendent à la fois de plusieurs inconnues. Selon que le nombre des observations sera égal au nombre des inconnues, ou plus petit ou plus grand que ce nombre, le problème sera déterminé, ou indéterminé, ou plus que déterminé (du moins en général), et, dans ce troisième cas, les observations pourront être combinées d’une infinité de manières pour fournir les valeurs des inconnues. Parmi ces combinaisons, il faudra choisir les plus avantageuses, c’est-à-dire celles qui fournissent des valeurs pour lesquelles l’erreur moyenne à craindre est la moindre possible. Ce problème est certainement le plus important que présente l’application des mathématiques à la philosophie naturelle.
Nous avons montré, dans la Théorie du Mouvement des Corps célestes, comment on trouve les valeurs les plus probables des inconnues lorsque l’on connaît la loi de probabilité des erreurs des observations, et comme, dans presque tous les cas, cette loi par sa nature reste hypothétique, nous avons appliqué cette théorie à l’hypothèse très-plausible, que la probabilité de l’erreur $x$ soit proportionnelle à $e^{-h^{2}x^{2}}$ ; de là cette méthode que j’ai suivie, surtout dans les calculs astronomiques, et que maintenant la plupart des calculateurs emploient sous le nom de Méthode des moindres carrés.
Dans la suite, Laplace, considérant la question sous un autre point de vue, montra que ce principe est préférable à tous les autres, quelle que soit la loi de probabilité des erreurs, pourvu que le nombre des observations soit très-grand. Mais lorsque ce nombre est restreint, la question est encore intacte ; de sorte que, si l’on rejette notre loi hypothétique, la méthode des moindres carrés serait préférable aux autres, par la seule raison qu’elle conduit à des calculs plus simples.
Nous espérons donc être agréable aux géomètres en démontrant, dans ce Mémoire, que la méthode des moindres carrés fournit les combinaisons les plus avantageuses des observations, non-seulement approximativement, mais encore d’une manière absolue, et cela quelle que soit la loi de probabilité des erreurs et quel que soit le nombre des observations, pourvu que l’on adopte pour l’erreur moyenne, non pas la définition de Laplace, mais celle que nous avons donnée dans les art. 5 et 6.
Il est nécessaire d’avertir ici que, dans les recherches suivantes, il ne sera question que des erreurs fortuites diminuées de leur partie constante. C’est à l’observateur qu’il appartient d’éloigner soigneusement les causes d’erreurs constantes.
Nous réservons pour une autre occasion l’examen du cas où les observations sont affectées d’une erreur constante inconnue, et nous traiterons cette question dans un autre Mémoire.
Soit $\mathrm {U}$ une fonction donnée des inconnues $\mathrm {V}$, $\mathrm {V'}$, $\mathrm {V''}$, etc. ; on demande l’erreur moyenne $\mathrm {M}$ à craindre dans la détermination de la valeur de $\mathrm {U}$, lorsque, au lieu des véritables valeurs de $\mathrm {V}$, $\mathrm {V'}$, $\mathrm {V''}$, etc., on prend les valeurs déduites d’observations indépendantes les unes des autres ; $m$, $m'$, $m''$, etc., étant les erreurs moyennes qui correspondent à ces diverses observations.
Solution. — Désignons par $e$, $e'$, $e''$, etc., les erreurs des valeurs observées $\mathrm {V}$, $\mathrm {V'}$, $\mathrm {V''}$, etc. ; l’erreur qui en résultera, pour la valeur de la fonction $\mathrm {U}$, pourra s’exprimer par la fonction linéaire
$\lambda e+\lambda 'e'+\lambda ''e''+\ldots =\mathrm {E}$
où $\lambda$, $\lambda '$, $\lambda ''$, etc., représentent les dérivées ${\frac {\mathrm {dU} }{\mathrm {dV} }}$, ${\frac {\mathrm {dU} }{\mathrm {dV'} }}$, ${\frac {\mathrm {dU} }{\mathrm {dV''} }}$, etc., lorsqu’on y remplace $\mathrm {V}$, $\mathrm {V'}$, $\mathrm {V''}$, etc., par leurs vraies valeurs.
Cette valeur de $\mathrm {E}$ est évidente si l’on suppose les observations assez exactes pour que les carrés et les produits des erreurs soient négligeables. Il résulte de là que la valeur moyenne de $\mathrm {E}$ est nulle, puisque l’on suppose que les erreurs des observations n’ont plus de partie constante. Or l’erreur moyenne $\mathrm {M}$, à craindre dans la valeur de $\mathrm {U}$, sera la racine carrée de la valeur moyenne de $\mathrm {E} ^{2}$, c’est-à-dire que $\mathrm {M} ^{2}$ sera la valeur moyenne de la somme
$\lambda ^{2}e^{2}+{\lambda '}^{2}{e'}^{2}+{\lambda ''}^{2}{e''}^{2}+\ldots +2\lambda \lambda 'ee'+2\lambda \lambda ''ee''+2\lambda '\lambda ''e'e''+\ldots ;$
mais la valeur moyenne de $\lambda ^{2}e^{2}$ est $\lambda ^{2}m^{2}$, celle de ${\lambda '}^{2}{e'}^{2}$ est ${\lambda '}^{2}{m'}^{2}$, etc., enfin les valeurs moyennes des produits $2\lambda \lambda 'ee'$ sont toutes nulles ; donc on aura
$\mathrm {M} ={\sqrt {\lambda ^{2}m^{2}+{\lambda '}^{2}{m'}^{2}+{\lambda ''}^{2}{m''}^{2}+\ldots }}$
Il est bon d’ajouter plusieurs remarques à cette solution.
I. Puisqu’on néglige les puissances des erreurs qui sont supérieures à la première, nous pourrons, dans notre formule, prendre pour $\lambda$, $\lambda '$, $\lambda ''$, etc., les valeurs des coefficients différentiels ${\frac {\mathrm {dU} }{\mathrm {dV} }}$, etc., déduites des valeurs observées $\mathrm {V}$, $\mathrm {V} '$, $\mathrm {V} ''$, etc. Toutes les fois que $\mathrm {U}$ est une fonction linéaire, cette substitution est rigoureusement exacte.
II. Si, au lieu des erreurs moyennes, on préfère introduire les poids des observations, supposons que $p$, $p'$, $p''$, etc., soient les poids respectifs, l’unité étant arbitraire, et $\mathrm {P}$ le poids de la valeur de $\mathrm {U}$ ; on aura
$\mathrm {P} ={\frac {1}{{\dfrac {\lambda ^{2}}{p}}+{\dfrac {{\lambda '}^{2}}{p'}}+{\dfrac {{\lambda ''}^{2}}{p''}}+\ldots }}\cdot$
III. Soit $\mathrm {T}$ une autre fonction de $\mathrm {V}$, $\mathrm {V} '$, $\mathrm {V} ''$, etc. ; posons
${\begin{aligned}{\frac {\mathrm {dT} }{\mathrm {dV} }}&=\varkappa ,&{\frac {\mathrm {dT} }{\mathrm {dV} '}}&=\varkappa ',&{\frac {\mathrm {dT} }{\mathrm {dV} ''}}&=\varkappa '',\dots \end{aligned}}$
L’erreur commise sur $\mathrm {T}$, en adoptant pour $\mathrm {V}$, $\mathrm {V} '$, $\mathrm {V} ''$, etc., les résultats fournis par l’observation, sera
$\varkappa e+\varkappa 'e'+\varkappa ''e''+\ldots =\mathrm {E} ',$
et l’erreur moyenne à craindre dans cette détermination sera
${\sqrt {\varkappa ^{2}m^{2}+{\varkappa '}^{2}{m'}^{2}+{\varkappa ''}^{2}{m''}^{2}+\ldots \,}}.$
Il est évident que les erreurs $\mathrm {E}$ et $\mathrm {E'}$ ne seront pas indépendantes l’une de l’autre, et que la valeur moyenne du produit $\mathrm {EE} '$ ne sera pas nulle comme la valeur moyenne de $ee'$ ; elle sera égale à
$\varkappa \lambda m^{2}+\varkappa '\lambda '{m'}^{2}+\varkappa ''\lambda ''{m''}^{2}+\ldots .$
IV. Le problème comprend le cas où les valeurs des quantités $\mathrm {V}$, $\mathrm {V} '$, $\mathrm {V} ''$, etc., ne sont pas données immédiatement par l’observation, mais sont déduites de combinaisons quelconques d’observations directes. Pour que cette extension soit légitime, il faut que les déterminations de ces quantités soient indépendantes, c’est-à-dire qu’elles soient fournies par des observations différentes. Si cette condition d’indépendance n’était pas remplie, la formule qui donne la valeur de $\mathrm {M}$ ne serait plus exacte. Si, par exemple, une même observation était employée, à la fois, dans la détermination de $\mathrm {V}$ et dans celle de $\mathrm {V} '$, les erreurs $e$ et $e'$ ne seraient plus indépendantes, et la valeur moyenne du produit $ee'$ ne serait plus nulle. Si l’on connaît, dans ce cas, la relation qui lie $\mathrm {V}$ et $\mathrm {V'}$ aux résultats des observations simples dont ils dérivent, on pourra calculer la valeur moyenne du produit $ee'$, comme il est indiqué dans la remarque III, et dès lors corriger la formule qui donnera $\mathrm {M}$.
Soient $\mathrm {V}$, $\mathrm {V'}$, $\mathrm {V''}$, etc., des fonctions des inconnues $x$, $y$, $z$, etc. ; soient $\varpi$ le nombre de ces fonctions, $\rho$ le nombre des inconnues ; supposons que des observations aient donné, immédiatement ou médiatement, $\mathrm {L}$, $\mathrm {L'}$, $\mathrm {L''}$, etc., pour valeurs des fonctions $\mathrm {V}$, $\mathrm {V'}$, $\mathrm {V''}$, etc., de manière cependant que ces déterminations soient absolument indépendantes les unes des autres. Si $\rho$ est plus grand que $\varpi$, la recherche des inconnues est un problème indéterminé. Si $\rho =\varpi$, chacune des inconnues $x$, $y$, $z$, etc., peut être regardée comme calculée en fonction de $\mathrm {V}$, $\mathrm {V'}$, $\mathrm {V''}$, etc. ; de sorte que les valeurs des premières peuvent être déduites des valeurs observées de ces dernières, et l’article précédent nous permettra de calculer la précision relative de ces diverses déterminations. Si $\rho$ est plus petit que $\varpi$, chaque inconnue $x$, $y$, $z$, etc., pourra être exprimée d’une infinité de manières, en fonction de $\mathrm {V}$, $\mathrm {V'}$, $\mathrm {V''}$, etc., et, en général, ces valeurs seront différentes ; elles devraient coïncider si les observations étaient, contrairement à nos hypothèses, d’une exactitude rigoureuse. Il est clair, d’ailleurs, que les diverses combinaisons fournissent des résultats dont la précision sera, en général, différente.
D’ailleurs si, dans le deuxième et le troisième cas, les quantités $\mathrm {V}$, $\mathrm {V'}$, $\mathrm {V''}$, etc., sont telles que $\varpi -\rho +1$ d’entre elles, ou davantage, puissent être regardées comme des fonctions des autres, le problème est plus que déterminé relativement à ces dernières fonctions et indéterminé relativement aux inconnues $x$, $y$, $z$, etc. ; et l’on ne pourrait même pas déterminer ces dernières inconnues, quand bien même les fonctions $\mathrm {V}$, $\mathrm {V} '$, $\mathrm {V} ''$, etc., seraient exactement connues : mais nous excluons ce cas de nos recherches.
Si $\mathrm {V}$, $\mathrm {V} '$, $\mathrm {V} ''$, etc., ne sont pas des fonctions linéaires des inconnues, on pourra toujours leur attribuer cette forme, en remplaçant les inconnues primitives par leur différence avec leurs valeurs approchées, que l’on suppose connues ; les erreurs moyennes à craindre dans les déterminations
${\begin{aligned}\mathrm {V} &=\mathrm {L} ,&\mathrm {V} '&=\mathrm {L} ',&\mathrm {V} ''&=\mathrm {L} '',\ldots \end{aligned}}$
étant désignées respectivement par $m$, $m'$, $m''$, etc., et les poids de ces déterminations, par $p$, $p'$, $p''$, etc., de telle sorte que
$pm^{2}=p'{m'}^{2}=p''{m''}^{2}=\ldots .$
Nous supposerons connus les rapports des erreurs moyennes ainsi que les poids, dont l’un sera pris arbitrairement. Si nous posons enfin
${\begin{aligned}\left(\mathrm {V} -\mathrm {L} \right){\sqrt {p^{\begin{array}{l}\\\end{array}}}}&=v,&\left(\mathrm {V} '-\mathrm {L} '\right){\sqrt {p'}}&=v',\ldots ,\end{aligned}}$
les choses se passeront ensuite comme si des observations immédiates, également précises et dont l’erreur moyenne aurait pour valeur $m{\sqrt {p}}$, avaient donné
${\begin{aligned}v&=0,&v'&=0,&v''&=0,\ldots .\end{aligned}}$
Désignons par $v$, $v'$, $v''$, etc., les fonctions linéaires suivantes des indéterminées $x$, $y$, $z$, etc.,
| (1) | $\left\{{\begin{array}{l}{\begin{alignedat}{6}&v&=&ax&+&by&+&cz&+&\ldots &+&l,\\&v'&=&a'x&+&b'y&+&c'z&+&\ldots &+&l',\\&v''&=&a''x&+&b''y&+&c''z&+&\ldots &+&l'',\end{alignedat}}\\\;\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdot \end{array}}\right.$ |
Parmi tous les systèmes des coefficients $\varkappa$, $\varkappa '$, $\varkappa$, etc., qui donnent identiquement
$\varkappa v+\varkappa 'v'+\varkappa ''v''+\ldots =x-k,$
$k$ étant indépendant de $x$, $y$, $z$, etc., trouver celui pour lequel $\varkappa ^{2}+{\varkappa '}^{2}+{\varkappa ''}^{2}+\ldots$ est minimum.
Solution. — Posons
| (2) | $\left\{{\begin{array}{l}{\begin{alignedat}{4}av&+&a'v'&+&a''v''&+&\ldots &=\xi ,\\bv&+&b'v'&+&b''v''&+&\ldots &=\eta ,\\cv&+&c'v'&+&c''v''&+&\ldots &=\zeta ,\end{alignedat}}\\\;\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdot \cdot \end{array}}\right.$ |
$\xi$, $\eta$, $\zeta$ seront des fonctions linéaires de $x$, $y$, $z$, et l’on aura
| (3) | $\left\{{\begin{array}{l}{\begin{alignedat}{5}\xi &=x\sum a^{2}&+&y\sum ab&+&z\sum ac&+&\ldots &+&\sum al,\\[0.75ex]\eta &=x\sum ab&+&y\sum b^{2}&+&z\sum bc&+&\ldots &+&\sum bl,\\[0.75ex]\zeta &=x\sum ac&+&y\sum bc&+&z\sum c^{2}&+&\ldots &+&\sum cl,\end{alignedat}}\\\;\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdot \end{array}}\right.$ |
$\sum a^{2}=a^{2}+{a'}^{2}+{a''}^{2}+\ldots ,$
et de même pour les autres $\textstyle \sum$.
Le nombre des quantités $\xi$, $\eta$, $\zeta$, etc., est égal au nombre $\varpi$ des inconnues $x$, $y$, $z$, etc. ; on pourra donc obtenir, par élimination, une équation de la forme suivante,
$x=\mathrm {A} +(\alpha \alpha )\,\xi +(\alpha \beta )\,\eta +(\alpha \gamma )\,\zeta +\ldots ,$
qui sera satisfaite identiquement lorsqu’on remplacera $\xi$, $\eta$, $\zeta$ leurs valeurs (3). Par conséquent, si l’on pose
| (4) | $\left\{{\begin{alignedat}{8}&a&&(\alpha \alpha )&+&b&&(\alpha \beta )&+&c&&(\alpha \gamma )&+&\ldots &&=\alpha ,\\&a'&&(\alpha \alpha )&+&b'&&(\alpha \beta )&+&c'&&(\alpha \gamma )&+&\ldots &&=\alpha ',\\&a''&&(\alpha \alpha )&+&b''&&(\alpha \beta )&+&c''&&(\alpha \gamma )&+&\ldots &&=\alpha '',\\\end{alignedat}}\right.$ |
on aura identiquement
| (5) | $\alpha v+\alpha 'v'+\alpha ''v''+\ldots =x-\mathrm {A} .$ |
Cette équation montre que parmi les différents systèmes de coefficients $\varkappa$, $\varkappa '$, $\varkappa ''$, etc., on doit compter le système
${\begin{aligned}\varkappa &=\alpha ,&\varkappa '&=\alpha ',&\varkappa ''&=\alpha '',\ldots .\end{aligned}}$
On aura d’ailleurs, pour un système quelconque,
$(\varkappa -\alpha )\,v+(\varkappa '-\alpha ')\,v'+(\varkappa ''-\alpha '')\,v''+\ldots =\mathrm {A} -k,$
et cette équation, étant identique, entraîne les suivantes :
${\begin{array}{l}{\begin{alignedat}{4}(\varkappa -\alpha )\,a&+&(\varkappa '-\alpha ')\,a'&+&(\varkappa ''-\alpha '')\,a''&+&\ldots &=0,\\(\varkappa -\alpha )\,b&+&(\varkappa '-\alpha ')\,b'&+&(\varkappa ''-\alpha '')\,b''&+&\ldots &=0,\\(\varkappa -\alpha )\,c&+&(\varkappa '-\alpha ')\,c'&+&(\varkappa ''-\alpha '')\,c''&+&\ldots &=0.\end{alignedat}}\\\;\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \end{array}}$
Ajoutons ces équations après les avoir multipliées, respectivement, par $(\alpha \alpha )$, $(\alpha \beta )$, $(\alpha \gamma )$, etc., nous aurons, en vertu du système (4),
$(\varkappa -\alpha )\,\alpha +(\varkappa '-\alpha ')\,\alpha '+(\varkappa ''-\alpha '')\,\alpha ''+\ldots =0,$
c’est-à-dire
$\varkappa ^{2}+{\varkappa '}^{2}+\ldots =\alpha ^{2}+{\alpha '}^{2}+\ldots +{(\varkappa -\alpha )}^{2}+{(\varkappa '-\alpha ')}^{2}+\ldots ;$
par conséquent, la somme
$\varkappa ^{2}+{\varkappa '}^{2}+{\varkappa ''}^{2}+\ldots$
aura une valeur minimum, lorsque l’on aura
${\begin{aligned}\varkappa &=\alpha ,&\varkappa '&=\alpha ',&\varkappa ''&=\alpha '',\ldots .\end{aligned}}$
D’ailleurs cette valeur minimum s’obtiendra de la manière suivante.
L’équation (5) montre que l’on a
${\begin{array}{l}{\begin{alignedat}{4}a\,\alpha &+&a'\alpha '&+&a''\alpha ''&+&\ldots &=1,\\b\,\alpha &+&b'\alpha '&+&b''\alpha ''&+&\ldots &=0,\\c\,\alpha &+&c'\alpha '&+&c''\alpha ''&+&\ldots &=0,\end{alignedat}}\\\;\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdot \end{array}}$
Multiplions ces équations, respectivement, par $(\alpha \alpha )$, $(\alpha \beta )$, $(\alpha \gamma )$, etc., et ajoutons ; en ayant égard aux relations (4), on trouvera
$\alpha ^{2}+{\alpha '}^{2}+{\alpha ''}^{2}+\ldots =(\alpha \alpha )$
Lorsque les observations auront donné des équations approximatives
${\begin{aligned}v&=0,&v'&=0,&v''&=0,\ldots ,\end{aligned}}$
il faudra, pour déterminer l’inconnue $x$, choisir une combinaison de la forme suivante,
$\varkappa v+\varkappa 'v'+\varkappa ''v''+\ldots =0,$
telle que l’inconnue $x$ acquière un coefficient égal à 1, et que les autres inconnues se trouvent éliminées.
Le poids de cette détermination sera, d’après l’art. 18,
${\frac {1}{\varkappa ^{2}+{\varkappa '}^{2}+{\varkappa ''}^{2}+\ldots }}\cdot$
D’après l’article précédent, on obtiendra la détermination la plus convenable, en prenant
${\begin{aligned}\varkappa &=\alpha ,&\varkappa '&=\alpha ',&\varkappa ''&=\alpha '',\ldots \end{aligned}};$
alors $x$ aura la valeur $\mathrm {A}$. On obtiendrait évidemment la même valeur sans connaître les multiplicateurs $\alpha$, $\alpha '$, $\alpha ''$, etc., en effectuant l’élimination sur les équations
${\begin{aligned}\xi &=0,&\eta &=0,&\zeta &=0,\ldots \end{aligned}};$
le poids de cette détermination sera
${\frac {1}{(\alpha \alpha )}},$
et l’erreur moyenne à craindre
$m{\sqrt {p^{\stackrel}}}\,(\alpha \alpha )=m'{\sqrt {p'}}\,(\alpha \alpha )=m''{\sqrt {p''}}\,(\alpha \alpha )=\ldots .$
Une marche analogue conduirait aux valeurs les plus convenables des autres inconnues $y$, $z$, etc., qui seront celles que l’on obtiendrait en effectuant l’élimination sur les équations
${\begin{aligned}\xi &=0,&\eta &=0,&\zeta &=0,\ldots .\end{aligned}}$
Si nous désignons par $\Omega$ la somme
$v^{2}+{v'}^{2}+{v''}^{2}+\ldots ,$
ou, ce qui revient au même,
$p\,\left(\mathrm {V-L} \right)^{2}+p'\,\left(\mathrm {V'-L'} \right)^{2}+p''\,\left(\mathrm {V''-L''} \right)^{2}+\ldots ,$
on aura évidemment
${\begin{aligned}2\,\xi &={\frac {\mathrm {d} \Omega }{\mathrm {d} x}},&2\,\eta &={\frac {\mathrm {d} \Omega }{\mathrm {d} y}},&2\,\zeta &={\frac {\mathrm {d} \Omega }{\mathrm {d} z}},\ldots \end{aligned}};$
par conséquent, les valeurs des inconnues, déduites de la combinaison la plus convenable, et que nous pouvons appeler les valeurs les plus plausibles, sont précisément celles qui donnent à $\Omega$ une valeur minimum. Or $\mathrm {V-L}$ représente la différence entre la valeur observée et la valeur calculée ; donc les valeurs les plus plausibles des inconnues sont celles qui rendent minimum la somme des carrés des différences entre les valeurs calculées et observées des quantités $\mathrm {V}$, $\mathrm {V} '$, $\mathrm {V} ''$, etc., ces carrés étant respectivement multipliés par le poids des observations. J’avais établi depuis longtemps ce principe par d’autres considérations (Theoria Motus Corporum cœlestium).
Si l’on veut assigner la précision relative de chacune des déterminations, il faut déduire des équations (3), les valeurs de $x$, $y$, $z$, etc., qui se présenteront sous la forme suivante :
| (7) | $\left\{{\begin{alignedat}{5}x&=\mathrm {A} &+&(\alpha \alpha )&\,\xi &+(\alpha \beta )&\,\eta &+(\alpha \gamma )&\,\zeta +\ldots ,\\y&=\mathrm {B} &+&(\beta \alpha )&\,\xi &+(\beta \beta )&\,\eta &+(\beta \gamma )&\,\zeta +\ldots ,\\z&=\mathrm {C} &+&(\gamma \alpha )&\,\xi &+(\gamma \beta )&\,\eta &+(\gamma \gamma )&\,\zeta +\ldots .\end{alignedat}}\right.$ |
Les valeurs les plus plausibles des inconnues $x$, $y$, $z$, etc., seront $\mathrm {A}$, $\mathrm {B}$, $\mathrm {C}$, etc. Les poids de ces déterminations seront
${\begin{aligned}{\frac {1}{(\alpha \alpha )}},&&{\frac {1}{(\beta \beta )}},&&{\frac {1}{(\gamma \gamma )}},\ldots ,\end{aligned}}$
et les erreurs moyennes à craindre
* pour $x,\quad m{\sqrt {p^{\stackrel}}}\,(\alpha \alpha )=m'{\sqrt {p'}}(\alpha \alpha ),\dots ,$
* pour $y,\quad m{\sqrt {p^{\stackrel}}}\,(\beta \beta )\,=m'{\sqrt {p'}}(\beta \beta ),\dots ,$
* pour $z,\quad m{\sqrt {p^{\stackrel}}}\,(\gamma \gamma )\,=m'{\sqrt {p'}}(\gamma \gamma ),\dots ,$
ce qui s’accorde avec les résultats obtenus antérieurement (Theoria Motus Corporum cœlestium).
Le cas où il n’y a qu’une seule inconnue est le plus fréquent et le plus simple de tous. On a alors
${\begin{aligned}\mathrm {V} &=x,&\mathrm {V'} &=x,&\mathrm {V''} &=x,\dots \end{aligned}};$
il sera utile d’en dire quelques mots.
On aura
${\begin{aligned}a&={\sqrt {p^{\stackrel}}},&a'&={\sqrt {p'}},&a''&={\sqrt {p''}},\ldots ,\\l&=-\mathrm {L} {\sqrt {p^{\stackrel}}},&l'&=-\mathrm {L'} {\sqrt {p'}},&l''&=-\mathrm {L''} {\sqrt {p''}},\ldots ,\\\end{aligned}}$
et, par conséquent,
$\xi =(p+p'+p''+\ldots )\,x-(p\mathrm {L} +p'\mathrm {L'} +p''\mathrm {L''} +\ldots );$
d’où
${\begin{aligned}(\alpha \alpha )&={\frac {1}{p+p'+p''+\ldots }},\\[0.75ex]\mathrm {A} &={\frac {p\mathrm {L} +p'\mathrm {L'} +p''\mathrm {L''} +\ldots }{p+p'+p''+\ldots }}\cdot \end{aligned}}$
Ainsi, si, par plusieurs observations qui n’ont pas la même précision et dont les poids respectifs sont $p$, $p'$, $p''$, etc., on a trouvé, pour une même quantité, une première valeur $\mathrm {L}$, une deuxième $\mathrm {L'}$, une troisième $\mathrm {L''}$, etc., la valeur la plus plausible sera
${\frac {p\mathrm {L} +p'\mathrm {L'} +p''\mathrm {L''} +\ldots }{p+p'+p''+\ldots }},$
et le poids de cette détermination sera
$p+p'+p''+\ldots .$
Si toutes les observations sont également plausibles, la valeur la plus probable sera
${\frac {\mathrm {L+L'+L''+\ldots } }{\varpi }},$
c’est-à-dire la moyenne arithmétique entre les valeurs observées ; en prenant pour unité le poids d’une observation isolée, le poids de la moyenne sera $\varpi$.

### SECONDE PARTIE, PRÉSENTÉE LE 2 FÉVRIER 1823, À LA SOCIÉTÉ ROYALE DE GOTTINGUE.

Il reste encore à exposer quelques recherches destinées à étendre et à éclairer la théorie précédente.
Cherchons d’abord si l’élimination qui fournit les variables $x$, $y$, $z$, etc., en fonction de $\xi$, $\eta$, $\zeta$, etc., est toujours possible. Puisque le nombre des équations est égal à celui des inconnues, on sait que cette élimination sera possible si $\xi$, $\eta$, $\zeta$, etc. sont indépendants les uns des autres ; dans le cas contraire, elle serait impossible.
Supposons, pour un instant, que $\xi$, $\eta$, $\zeta$, etc., ne soient pas indépendantes, mais qu’il existe entre ces quantités l’équation identique
$0=\mathrm {F} \,\xi +\mathrm {G} \,\eta +\mathrm {H} \,\zeta +\ldots +\mathrm {K}$
nous en conclurons
${\begin{array}{l}{\begin{alignedat}{4}&\mathrm {F} \sum a^{2}&+&\mathrm {G} \sum ab&+&\mathrm {H} \sum ac&+&\ldots &=0,\\[0.75ex]&\mathrm {F} \sum ab&+&\mathrm {G} \sum b^{2}&+&\mathrm {H} \sum bc&+&\ldots &=0,\\[0.75ex]&\mathrm {F} \sum ac&+&\mathrm {G} \sum bc&+&\mathrm {H} \sum c^{2}&+&\ldots &=0,\end{alignedat}}\\\;\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \\{\begin{alignedat}{4}&\mathrm {F} \sum al\,\,&+&\mathrm {G} \sum bl\,&+&\mathrm {H} \sum cl\,&+&\ldots &=-\mathrm {K} .\\\end{alignedat}}\end{array}}$
Posons
| (1) | $\left\{{\begin{array}{l}{\begin{alignedat}{4}&a&\mathrm {F} &+b&\mathrm {G}+&c&\mathrm {H}+\ldots &=\theta ,\\&a'&\mathrm {F} &+b'&\mathrm {G}+&c'&\mathrm {H}+\ldots &=\theta ',\\&a''&\mathrm {F} &+b''&\mathrm {G}+&c''&\mathrm {H}+\ldots &=\theta '',\end{alignedat}}\\\;\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdot \end{array}}\right.$ |
il viendra
${\begin{array}{l}{\begin{alignedat}{4}a\,\theta &+a'&\theta '&+a''&\theta ''+\ldots &=0,\\b\,\theta &+b'&\theta '&+b''&\theta ''+\ldots &=0,\\c\,\theta &+c'&\theta '&+c''&\theta ''+\ldots &=0,\end{alignedat}}\\\;\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdot \cdot \\{\begin{alignedat}{4}l\,\theta &+l'&\theta '&+l''&\theta ''+\ldots &=-\mathrm {K} .\\\end{alignedat}}\end{array}}$
En multipliant les équations (1), respectivement par $\theta$, $\theta '$, $\theta ''$, etc., et ajoutant, il vient
$\theta ^{2}+{\theta '}^{2}+{\theta ''}^{2}+\ldots =0,$
et cette équation entraîne les suivantes :
${\begin{aligned}\theta &=0,&\theta '&=0,&\theta ''&=0,\ldots .\end{aligned}}$
De là nous concluons, en premier lieu, $\mathrm {K} =0$. En second lieu, les équations (1) montrent que les fonctions $v$, $v'$, $v''$, etc., sont telles, que leurs valeurs ne changent pas lorsque les variables $x$, $y$, $z$, etc., prennent des accroissements proportionnels à $\mathrm {F}$, $\mathrm {G}$, $\mathrm {H}$, etc. Il en sera évidemment de même des fonctions $\mathrm {V}$, $\mathrm {V} '$, $\mathrm {V} ''$, etc. : or cela ne peut avoir lieu que dans le cas où il serait impossible de déterminer $x$, $y$, $z$, etc., à l’aide des valeurs de $\mathrm {V}$, $\mathrm {V} '$, $\mathrm {V} ''$, etc., lors même que celles-ci seraient exactement connues ; mais alors le problème serait indéterminé par sa nature, et nous exclurons ce cas de nos recherches.
Désignons par $\beta$, $\beta '$, $\beta ''$, etc., des multiplicateurs qui jouent le même rôle relativement à l’inconnue $y$, que les multiplicateurs $\alpha$, $\alpha '$, $\alpha ''$, etc., relativement à l’inconnue $x$, c’est-à-dire tels, que l’on ait
${\begin{array}{l}{\begin{alignedat}{4}&a&(\beta \alpha )&+b&(\beta \beta )&+c&(\beta \gamma )&+\ldots =\beta ,\\&a'&(\beta \alpha )&+b'&(\beta \beta )&+c'&(\beta \gamma )&+\ldots =\beta ',\\&a''&(\beta \alpha )&+b''&(\beta \beta )&+c''&(\beta \gamma )&+\ldots =\beta '',\end{alignedat}}\\\;\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \end{array}}$
on aura identiquement
$\beta v+\beta 'v'+\beta ''v''+\ldots =y-\mathrm {B} .$
Soient $\gamma$, $\gamma '$, $\gamma ''$, etc., les multiplicateurs analogues relatifs à la variable $z$ tels, que l’on ait :
${\begin{array}{l}{\begin{alignedat}{4}&a&(\gamma \alpha )&+b&(\gamma \beta )&+c&(\gamma \gamma )&+\ldots =\gamma ,\\&a'&(\gamma \alpha )&+b'&(\gamma \beta )&+c'&(\gamma \gamma )&+\ldots =\gamma ',\\&a''&(\gamma \alpha )&+b''&(\gamma \beta )&+c''&(\gamma \gamma )&+\ldots =\gamma '',\end{alignedat}}\\\;\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \end{array}}$
et, par suite,
$\gamma v+\gamma 'v'+\gamma ''v''+\ldots =z-\mathrm {C} .$
De la même manière que l’on a trouvé (art. 20)
${\begin{aligned}\sum \alpha a&=1,&\sum \alpha b&=0,&\sum \alpha c&=0,\ldots ,&\sum \alpha l&=-\mathrm {A} ,\end{aligned}}$
nous trouverons ici
${\begin{aligned}\sum \beta \,a&=0,&\sum \beta \,b&=1,&\sum \beta \,c&=0,\ldots ,&\sum \beta \,l&=-\mathrm {B} ,\\[1ex]\sum \gamma \,a&=0,&\sum \gamma \,b&=0,&\sum \gamma \,c&=1,\ldots ,&\sum \gamma \,l&=-\mathrm {C} \,;\\\end{aligned}}$
et ainsi de suite.
On aura aussi, comme dans l’art. 20,
${\begin{aligned}\sum \alpha ^{2}&=(\alpha \alpha ),&\sum \beta ^{2}&=(\beta \beta ),&\sum \gamma ^{2}&=(\gamma \gamma ),\ldots .\end{aligned}}$
Multiplions les valeurs $\alpha$, $\alpha '$, $\alpha ''$, etc. (art. 20), respectivement, par $\beta$, $\beta '$, $\beta ''$, etc., et ajoutons ; nous aurons
$\alpha \beta +\alpha '\beta '+\alpha ''\beta ''+\ldots =(\alpha \beta ),$
c’est-à-dire
$\sum \alpha \beta =(\alpha \beta ).$
En multipliant $\beta$, $\beta '$, $\beta ''$, etc., respectivement, par $\alpha$, $\alpha '$, $\alpha ''$, etc., et ajoutant, on trouvera
$\alpha \beta +\alpha '\beta '+\alpha ''\beta ''+\ldots =(\beta \alpha )\,;$
donc
$(\alpha \beta )=(\beta \alpha ).$
On trouverait, de la même manière,
${\begin{aligned}(\alpha \gamma )&=(\gamma \alpha )=\sum \alpha \gamma ,&(\beta \gamma )&=(\gamma \beta )=\sum \beta \gamma ,\ldots .\end{aligned}}$
Désignons par $\lambda$, $\lambda '$, $\lambda ''$, etc., les valeurs que prennent les fonctions $v$, $v'$, $v''$, etc., quand on y remplace $x$, $y$, $z$, etc., par leurs valeurs les plus plausibles, $\mathrm {A}$, $\mathrm {B}$, $\mathrm {C}$, etc., c’est-à-dire posons
${\begin{array}{l}{\begin{alignedat}{5}&a&\mathrm {A} &+b&\mathrm {B} &+c&\mathrm {C}+\ldots+&l&=&\lambda ,\\&a'&\mathrm {A} &+b'&\mathrm {B} &+c'&\mathrm {C}+\ldots+&l'&=&\lambda ',\\&a''&\mathrm {A} &+b''&\mathrm {B} &+c''&\mathrm {C}+\ldots+&l''&=&\lambda '',\end{alignedat}}\\\;\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \end{array}}$
Si nous faisons
$\lambda ^{2}+{\lambda '}^{2}+{\lambda ''}^{2}+\ldots =\mathrm {M} ,$
de telle sorte que $\mathrm {M}$ soit la valeur de la fonction $\Omega$, qui répond aux valeurs les plus plausibles des variables ; $\mathrm {M}$ sera (art. 20) la valeur minimum de $\Omega$.
Par suite,
$a\lambda +a'\lambda '+a''\lambda ''+\ldots$
sera la valeur que prend $\xi$, lorsque
${\begin{aligned}x&=\mathrm {A} ,&y&=\mathrm {B} ,&z&=\mathrm {C} ,\ldots .\end{aligned}}$
Cette valeur est nulle, d’après la manière même dont $\mathrm {A}$, $\mathrm {B}$, $\mathrm {C}$, etc., ont été obtenus. On aura donc
$\sum a\lambda =0;$
on obtiendrait de même
${\begin{aligned}\sum b\lambda &=0,&\sum c\lambda &=0,\ldots ,\end{aligned}}$
et
${\begin{aligned}\sum \alpha \lambda &=0,&\sum \beta \lambda &=0,&\sum \gamma \lambda &=0,\ldots .\end{aligned}}$
Enfin, en multipliant les valeurs de $\lambda$, $\lambda '$, $\lambda ''$, etc., respectivement, par $\lambda$, $\lambda '$, $\lambda ''$, et ajoutant, il viendra
$l\lambda +l'\lambda +l''\lambda ''+\ldots =\lambda ^{2}+{\lambda '}^{2}+{\lambda ''}^{2}+\ldots ,$
c’est-à-dire
$\sum l\lambda =\mathrm {M} .$
Remplaçons, dans l’équation
$v=ax+by+cz+\ldots +l,$
$x$, $y$, $z$, etc., par les expressions (7) [art. 21], on trouvera, en employant des réductions faciles,
${\begin{array}{l}{\begin{alignedat}{5}&v&=&\alpha &\xi+&\beta &\eta+&\gamma &\zeta &+\ldots +\lambda ,\\&v'&=&\alpha '&\xi+&\beta '&\eta+&\gamma '&\zeta &+\ldots +\lambda ',\\&v''&=&\alpha ''&\xi+&\beta ''&\eta+&\gamma ''&\zeta &+\ldots +\lambda '',\end{alignedat}}\\\,\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \end{array}}$
Multipliant respectivement, ou ces équations ou les équations (1) de l’art. 20, par $\lambda$, $\lambda '$, $\lambda ''$, etc., et ajoutant ensuite, on obtient l’identité
$\lambda v+\lambda 'v'+\lambda ''v''+\ldots =\mathrm {M} .$
La fonction $\Omega$ peut se présenter sous plusieurs formes qu’il est important d’indiquer.
Élevons au carré les équations (1) [art. 20], et ajoutons-les membre à membre, nous trouverons
${\begin{aligned}\Omega &=x^{2}\sum a^{2}+y^{2}\sum b^{2}+z^{2}\sum c^{2}+\ldots +2\,xy\sum ab\\[1ex]&+2\,xz\sum ac+2\,yz\sum bc+\ldots +2\,x\sum al+2\,y\sum bl\\[1ex]&+2\,z\sum cl+\ldots +\sum l^{2}:\end{aligned}}$
c’est la première forme.
Multiplions les mêmes équations, respectivement, par $v$, $v'$, $v''$, etc., et ajoutons, on aura
$\Omega =\xi x+\eta y+\zeta z+\ldots +lv+l'v'+l''v''+\ldots ;$
remplaçons $v$, $v'$, $v''$, etc., par les valeurs indiquées dans l’article précédent, nous trouverons
$\Omega =\xi x+\eta y+\zeta z+\ldots -\mathrm {A} \xi -\mathrm {B} \eta -\mathrm {C} \zeta -\ldots +\mathrm {M} ,$
ou
$\Omega =\xi \,(x-\mathrm {A} )+\eta \,(y-\mathrm {B} )+\zeta \,(z-\mathrm {C} )+\ldots +\mathrm {M} \,:$
c’est la seconde forme.
Enfin, remplaçons, dans cette seconde forme, $x-\mathrm {A}$, $y-\mathrm {B}$, $z-\mathrm {C}$, etc. par les expressions (7) [art. 21], nous obtenons la troisième forme :
${\begin{aligned}\Omega &=(\alpha \alpha )\,\xi ^{2}+(\beta \beta )\,\eta ^{2}+(\gamma \gamma )\,\zeta ^{2}+\ldots +2\,(\alpha \beta )\,\xi \eta \\&+2\,(\alpha \gamma )\,\xi \zeta +2\,(\beta \gamma )\,\eta \zeta +\ldots +\mathrm {M} .\end{aligned}}$
On peut donner une quatrième forme qui résulte évidemment de la troisième et des formules des articles précédents,
$\Omega ={(v-\lambda )}^{2}+{(v'-\lambda ')}^{2}+{(v''-\lambda '')}^{2}+\ldots +\mathrm {M} ,$
c’est-à-dire
$\Omega =\mathrm {M} +\sum {(v-\lambda )}^{2}.$
Sous cette dernière forme on voit clairement que $\mathrm {M}$ est la valeur minimum de $\Omega$.
Soient $e$, $e'$, $e''$, etc., les erreurs commises dans les observations qui ont donné
${\begin{aligned}\mathrm {V} &=\mathrm {L} ,&\mathrm {V} '&=\mathrm {L} ',&\mathrm {V} ''&=\mathrm {L} '',\ldots .\end{aligned}}$
Les vraies valeurs des fonctions $\mathrm {V}$, $\mathrm {V} '$, $\mathrm {V} ''$, etc., seront alors
${\begin{aligned}\mathrm {L} -e&,&\mathrm {L} '-e'&,&\mathrm {L} ''-e''&,\ldots ,\end{aligned}}$
et les vraies valeurs de $v$, $v'$, $v''$, etc., seront respectivement
${\begin{aligned}-e{\sqrt {p^{\begin{array}{l}\\\end{array}}}}&,&-e'{\sqrt {p'}}&,&-e''{\sqrt {p''}},\ldots ;\end{aligned}}$
par conséquent, la véritable valeur de $x$ sera
$\mathrm {A} -\alpha e{\sqrt {p^{\begin{array}{l}\\\end{array}}}}-\alpha 'e'{\sqrt {p'}}-\alpha ''e''{\sqrt {p''}}-\ldots ,$
et l’erreur commise dans la détermination la plus convenable de l’inconnue $e$ sera, en la désignant par $\mathrm {E} x$,
$\mathrm {E} x=\alpha e{\sqrt {p^{\begin{array}{l}\\\end{array}}}}+\alpha 'e'{\sqrt {p'}}+\alpha ''e''{\sqrt {p''}}+\ldots .$
De même, l’erreur commise dans la détermination la plus convenable de la valeur de $y$ sera
$\mathrm {E} y=\beta e{\sqrt {p^{\begin{array}{l}\\\end{array}}}}+\beta 'e'{\sqrt {p'}}+\beta ''e''{\sqrt {p''}}+\ldots .$
La valeur moyenne du carré ${(\mathrm {E} x)}^{2}$ sera
$m^{2}p\left(\alpha ^{2}+{\alpha '}^{2}+{\alpha ''}^{2}+\ldots \right)=m^{2}p\,(\alpha \alpha ).$
La valeur moyenne de ${(\mathrm {E} y)}^{2}$ sera de même
$m^{2}p\,(\beta \beta ),$
comme nous l’avons déjà reconnu. On peut également assigner la valeur moyenne du produit $\mathrm {E} x\,.\,\mathrm {E} y$, qui sera
$m^{2}p\,(\alpha \beta +\alpha '\beta '+\alpha ''\beta ''+\ldots )=m^{2}p\,(\alpha \beta ).$
On énonce ces résultats plus brièvement de la manière suivante :
Les valeurs moyennes des carrés ${(\mathrm {E} x)}^{2}$, ${(\mathrm {E} y)}^{2}$, etc., sont respectivement égales aux produits de ${\frac {m^{2}p}{2}}$ par les quotients différentiels partiels du second ordre
${\begin{aligned}{\frac {\mathrm {d} ^{2}\Omega }{\mathrm {d} \xi ^{2}}}&,&{\frac {\mathrm {d} ^{2}\Omega }{\mathrm {d} \eta ^{2}}},\ldots ,&\end{aligned}}$
et la valeur moyenne d’un produit tel que $\mathrm {E} x\,.\,\mathrm {E} y$ est le produit de ${\tfrac {1}{2}}m^{2}p$ par ${\frac {\mathrm {d} ^{2}\Omega }{\mathrm {d} \xi \,\mathrm {d} \eta }}$, en regardant $\Omega$ comme fonction de $\xi$, $\eta$, $\zeta$, etc.
Soit $t$ une fonction donnée et linéaire des quantités $x$, $y$, $z$, etc., par exemple,
$t=fx+gy+hz+\ldots +k\,;$
la valeur de $t$ déduite des valeurs les plus plausibles de $x$, $y$, $z$, etc., sera
$f\,\mathrm {A} +g\,\mathrm {B} +h\,\mathrm {C} +\ldots +k:$
nous la désignerons par $\mathrm {K}$. En désignant par $\mathrm {E} t$ l’erreur commise en l’adoptant, on aura
$\mathrm {E} t=f\,\mathrm {E} x+g\,\mathrm {E} y+h\,\mathrm {E} z+\ldots ;$
la valeur moyenne de cette erreur sera évidemment nulle, c’est-à-dire que l’erreur ne contiendra pas de partie constante, mais la valeur moyenne de ${(\mathrm {E} t)}^{2}$, c’est-à-dire de la somme
${\begin{aligned}f^{2}{(\mathrm {E} x)}^{2}&+2fg\,\mathrm {E} x\,.\,\mathrm {E} y+2fh\,\mathrm {E} x\,.\,\mathrm {E} z+\ldots \\&{\begin{aligned}+\;g^{2}{(\mathrm {E} y)}^{2}&+2gh\,\mathrm {E} y\,.\,\mathrm {E} z+\ldots \\&+h^{2}{(\mathrm {E} z)}^{2}+\ldots ,\end{aligned}}\end{aligned}}$
sera, d’après l’article précédent, égale au produit de $m^{2}p$ par la somme
${\begin{aligned}f^{2}(\alpha \alpha )&+2fg\,(\alpha \beta )+2fh\,(\alpha \gamma )+\ldots \\&{\begin{aligned}+\;g^{2}\,(\beta \beta )&+2gh\,(\beta \gamma )+\ldots \\&+h^{2}\,(\gamma \gamma )+\ldots ,\end{aligned}}\end{aligned}}$
c’est-à-dire au produit de $m^{2}p$ par la valeur de la fonction $\Omega -\mathrm {M}$, lorsqu’on y fait
${\begin{aligned}\xi &=f,&\eta &=g,&\zeta &=h,\ldots .\end{aligned}}$
Désignons par $\omega$ cette valeur de $\Omega -\mathrm {M}$ ; l’erreur moyenne à craindre, lorsque l’on prend $t=\mathrm {K}$, sera $m{\sqrt {p^{\stackrel}\omega }}$ et le poids de cette détermination sera ${\tfrac {1}{\omega }}$.
Puisque l’on a identiquement
$\Omega -\mathrm {M} =(x-\mathrm {A} )\,\xi +(y-\mathrm {B} )\,\eta +(z-\mathrm {C} )\,\zeta +\ldots ,$
$\omega$ sera égal à la valeur de l’expression
$(x-\mathrm {A} )\,f+(y-\mathrm {B} )\,g+(z-\mathrm {C} )\,h+\ldots$
[qui représente $(t=\mathrm {K} )$], dans laquelle on remplacera $x$, $y$, $z$, etc., par les valeurs correspondantes à $\xi =f$, $\eta =g$, $\zeta =h$, etc.
Enfin, observant que $t$, exprimé en fonction des quantités $\xi$, $\eta$, $\zeta$, etc., aura $\mathrm {K}$ pour partie constante, si l’on suppose
$t=\mathrm {F} \,\xi +\mathrm {G} \,\eta +\mathrm {H} \,\zeta +\ldots +\mathrm {K} ,$
on aura
$\omega =f\,\mathrm {F} +g\,\mathrm {G} +h\,\mathrm {H} +\ldots .$
Nous avons vu que la fonction $\Omega$ acquiert son minimum absolu $\mathrm {M}$, lorsque l’on y fait
${\begin{aligned}x&=\mathrm {A} ,&y&=\mathrm {B} ,&z&=\mathrm {C} ,\ldots ,\end{aligned}}$
ou, ce qui revient au même,
${\begin{aligned}\xi &=0,&\eta &=0,&\zeta &=0,\ldots .\end{aligned}}$
Si l’on attribue à l’une des inconnues une autre valeur ; que l’on fasse, par exemple,
$x=\mathrm {A} +\Delta ,$
les autres inconnues restant variables, $\Omega$ pourra acquérir une valeur minimum relative, qui s’obtiendra à l’aide des équations
${\begin{aligned}x&=\mathrm {A} +\Delta ,&{\frac {\mathrm {d} \Omega }{\mathrm {d} y}}&=0,&{\frac {\mathrm {d} \Omega }{\mathrm {d} z}}&=0,\ldots ,\end{aligned}}$
et, par suite,
${\begin{aligned}\eta &=0,&\zeta &=0,\ldots ;\end{aligned}}$
or, puisque
$x=\mathrm {A} +(\alpha \alpha )\,\xi +(\alpha \beta )\,\eta +(\alpha \gamma )\,\zeta +\ldots ,$
on en conclut
$\xi ={\frac {\Delta }{(\alpha \alpha )}}\cdot$
On trouvera de même
${\begin{aligned}y&=\mathrm {B} +{\frac {(\alpha \beta )}{(\alpha \alpha )}}\,\Delta ,&z&=\mathrm {C} +{\frac {(\alpha \gamma )}{(\alpha \alpha )}}\,\Delta ,\ldots .\end{aligned}}$
La valeur minimum relative de $\Omega$ sera
$(\alpha \alpha )\,\xi ^{2}+\mathrm {M} =\mathrm {M} +{\frac {\Delta ^{2}}{(\alpha \alpha )}}\cdot$
Nous en conclurons, réciproquement, que si $\Omega$ ne doit pas surpasser $\mathrm {M} +\mu ^{2}$, la valeur de $x$ est nécessairement comprise entre les limites $\mathrm {A} -\mu {\sqrt {(\alpha \alpha )}}$ et $\mathrm {A} +\mu {\sqrt {(\alpha \alpha )}}$. Il est important de remarquer que $\mu {\sqrt {(\alpha \alpha )}}$ devient égal à l’erreur moyenne à craindre dans la valeur la plus plausible de $x$, si l’on pose
$\mu =m{\sqrt {p^{\stackrel}}};$
c’est-à-dire si $\mu$ est l’erreur moyenne d’observations telles, que leur poids soit l’unité.
Plus généralement, cherchons la plus petite valeur de la fonction $\Omega$ qui puisse correspondre à une valeur donnée de $t$, $t$ désignant, comme dans l’article précédent, l’expression linéaire
$fx+gy+hz+\ldots +k,$
dont la valeur la plus plausible est $\mathrm {K}$ ; désignons par $\mathrm {K} +\kappa$ la valeur donnée de $t$. D’après la théorie des maximum et minimum, la solution du problème sera donnée par les équations
${\begin{aligned}{\frac {\mathrm {d} \Omega }{\mathrm {d} x}}&=\theta \,{\frac {\mathrm {d} t}{\mathrm {d} x}},\\{\frac {\mathrm {d} \Omega }{\mathrm {d} y}}&=\theta \,{\frac {\mathrm {d} t}{\mathrm {d} y}},\\{\frac {\mathrm {d} \Omega }{\mathrm {d} z}}&=\theta \,{\frac {\mathrm {d} t}{\mathrm {d} z}},\\\cdot \cdots &\cdots \cdots \cdot \cdot \end{aligned}}$
ou
${\begin{aligned}\xi &=\theta \,f,\\\eta &=\theta \,g,\\\zeta &=\theta \,h,\\\cdot \cdot &\cdots \cdots \end{aligned}}$
$\theta$ désignant un multiplicateur encore indéterminé.
Si, comme dans l’article précédent, nous posons identiquement,
$t=\mathrm {F} \,\xi +\mathrm {G} \,\eta +\mathrm {H} \,\zeta +\ldots +\mathrm {K} ,$
nous aurons
$\mathrm {K} +\kappa =\theta \,(f\,\mathrm {F} +g\,\mathrm {G} +h\,\mathrm {H} +\ldots )+\mathrm {K} \,;$
d’où
$\theta ={\frac {\kappa }{\omega }},$
$\omega$ ayant la même signification que dans l’article précédent.
Puisque $\Omega -\mathrm {M}$ est nue fonction homogène du second degré, par rapport aux variables $\xi$, $\eta$, $\zeta$, etc., sa valeur pour
${\begin{aligned}\xi &=\theta \,f,&\eta &=\theta \,g,&\zeta &=\theta \,h,\ldots ,\end{aligned}}$
sera évidemment
$\theta ^{2}\omega ,$
et, par conséquent, la valeur minimum de $\Omega$, lorsque
$t=\mathrm {K} +\kappa ,$
sera
$\mathrm {M} +\theta ^{2}\omega =\mathrm {M} +{\frac {\kappa ^{2}}{\omega }}\cdot$
Réciproquement, si $\Omega$ doit rester inférieure à une valeur donnée $\mathrm {M} +\mu ^{2}$, la valeur de $t$ sera nécessairement comprise entre les limites $\mathrm {K} -\mu {\sqrt {\omega ^{\stackrel}}}$, $\mathrm {K} +\mu {\sqrt {\omega ^{\stackrel}}}$, et $\mu {\sqrt {\omega ^{\stackrel}}}$ sera l’erreur moyenne à craindre dans la valeur la plus plausible de $t$, si $\mu$ représente l’erreur moyenne d’observations dont le poids serait l’unité.
Lorsque le nombre des inconnues $x$, $y$, $z$, etc., est un peu grand, la détermination des valeurs numériques de $\mathrm {A}$, $\mathrm {B}$, $\mathrm {C}$, etc., par l’élimination ordinaire, est assez pénible. C’est pourquoi nous avons indiqué, dans la Théorie du Mouvement des Corps célestes, et développé plus tard, dans le Mémoire sur les éléments de l’orbite de Pallas (Commentaires de Gottingue, t. I), une méthode qui simplifie ce travail autant que possible.
La fonction $\Omega$ doit être ramenée à la forme suivante :
${\frac {{u^{0}}^{2}}{{\mathcal {A}}^{0}}}+{\frac {{u'}^{2}}{{\mathcal {B}}'}}+{\frac {{u''}^{2}}{{\mathcal {C}}''}}+{\frac {{u'''}^{2}}{{\mathcal {D}}'''}}+\ldots +\mathrm {M} ,$
où les diviseurs ${\mathcal {A}}^{0}$, ${\mathcal {B}}'$, ${\mathcal {C}}''$, ${\mathcal {D}}'''$, etc., sont des quantités déterminées ; $u^{0}$, $u'$, $u''$, etc., sont des fonctions linéaires de $x$, $y$, $z$, etc., telles que la seconde $u'$ ne contient pas $x$, la troisième $u''$ ne contient ni $x$ ni $y$, la quatrième ne contient ni $x$, ni $y$, ni $z$, et ainsi de suite, de sorte que la dernière $u^{(\varpi -1)}$ ne contient que la dernière des inconnues $x$, $y$, $z$, etc. ; enfin les coefficients de $x$, $y$, $z$, etc., dans $u^{0}$, $u'$, $u''$, etc., sont respectivement égaux ${\mathcal {A}}^{0}$, ${\mathcal {B}}'$, ${\mathcal {C}}''$, etc. Alors on pose
${\begin{aligned}u^{0}&=0,&u'&=0,&u''&=0,&u'''&=0,\ldots ,\end{aligned}}$
et l’on aura très-facilement les valeurs de $x$, $y$, $z$, etc., en résolvant ces équations et commençant par la dernière. Je ne crois pas nécessaire de répéter de nouveau l’algorithme qui conduit à cette transformation de la fonction $\Omega$.
Mais l’élimination qu’il faut effectuer pour trouver les poids de ces déterminations exige des calculs bien plus longs encore. Nous avons montré, dans la Théorie du Mouvement des Corps célestes, que le poids de la détermination de la dernière inconnue, qui entre seule dans $u^{(\varpi -1)}$, est égal au dernier terme de la série des diviseurs ${\mathcal {A}}^{0}$, ${\mathcal {B}}'$, ${\mathcal {C}}''$, etc. Cette recherche est facile ; aussi plusieurs calculateurs, voulant éviter une élimination pénible, ont eu l’idée, faute d’autre méthode, de répéter la transformation indiquée en considérant successivement chaque inconnue comme la dernière. J’espère donc que les géomètres me sauront gré d’indiquer, pour calculer les poids des déterminations, une méthode nouvelle qui ne me semble plus rien laisser à désirer sur ce point.
Posons
| (1) | $\left\{{\begin{array}{l}{\begin{alignedat}{6}&u^{0}&=&{\mathcal {A}}^{0}x&+&{\mathcal {B}}^{0}y&+&{\mathcal {C}}^{0}z&+&\ldots &+&{\mathcal {L}}^{0},\\&u'&=&&&{\mathcal {B}}'\,y&+&{\mathcal {C}}'\,z&+&\ldots &+&{\mathcal {L}}'\,,\\&u''&=&&&&&{\mathcal {C}}''z&+&\ldots &+&{\mathcal {L}}'',\end{alignedat}}\\\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \end{array}}\right.$ |
on aura identiquement
${\begin{aligned}{\frac {1}{2}}\,\mathrm {d} \Omega &=\xi \,\mathrm {d} x+\eta \,\mathrm {d} y+\zeta \,\mathrm {d} z+\ldots \\&=u^{0}\,{\frac {\mathrm {d} u^{0}}{{\mathcal {A}}^{0}}}+{\frac {u'\,\mathrm {d} u'}{{\mathcal {B}}'}}+{\frac {u''\,\mathrm {d} u''}{{\mathcal {C}}''}}+\ldots \\&=u^{0}\left(\mathrm {d} x+{\frac {{\mathcal {B}}^{0}}{{\mathcal {A}}^{0}}}\,\mathrm {d} y+{\frac {{\mathcal {C}}^{0}}{{\mathcal {A}}^{0}}}\,\mathrm {d} z+\ldots \right)\\&+u'\left(\mathrm {d} y+{\frac {{\mathcal {C}}'}{{\mathcal {B}}'}}\,\mathrm {d} z+\ldots \right)\\&+u''\left(\,\mathrm {d} z+\ldots \,\right)\\&+\ldots \ldots \ldots \ldots ;\end{aligned}}$
d’où nous déduirons :
| (2) | $\left\{{\begin{array}{l}{\begin{alignedat}{3}&\xi &=&u^{0},\\[0.25em]&\eta &=&{\frac {{\mathcal {B}}^{0}}{{\mathcal {A}}^{0}}}u^{0}&+&u',\\&\zeta &=&{\frac {{\mathcal {C}}^{0}}{{\mathcal {A}}^{0}}}u^{0}&+&{\frac {{\mathcal {C}}'}{{\mathcal {B}}'}}u'&+&u'',\end{alignedat}}\\\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \end{array}}\right.$ |
Les valeurs de $u^{0}$, $u'$, $u''$, etc., déduites de ces équations, se présenteront sous la forme suivante :
| (3) | $\left\{{\begin{array}{l}{\begin{alignedat}{3}&u^{0}&=&\xi ,\\&u'&=&\mathrm {A} '\xi &+&\eta ,\\&u''&=&\mathrm {A} ''\xi &+&\mathrm {B} ''\eta &+&\zeta ,\end{alignedat}}\\\cdots \cdots \cdots \cdots \cdots \cdots \cdots \end{array}}\right.$ |
De la différentielle complète de l’équation
$\Omega =\xi \,(x-\mathrm {A} )+\eta \,(y-\mathrm {B} )+\zeta \,(z-\mathrm {C} )+\ldots +\mathrm {M} ,$
retranchons l’équation
${\frac {1}{2}}\,\mathrm {d} \Omega =\xi \,\mathrm {d} x+\eta \,\mathrm {d} y+\zeta \,\mathrm {d} z+\ldots ,$
il viendra
${\frac {1}{2}}\,\mathrm {d} \Omega =(x-\mathrm {A} )\,\mathrm {d} \xi +(y-\mathrm {B} )\,\mathrm {d} \eta +(z-\mathrm {C} )\,\mathrm {d} \zeta +\ldots .$
Cette expression doit être identique avec celle que l’on obtient à l’aide des équations (3), c’est-à-dire
${\frac {u^{0}}{{\mathcal {A}}^{0}}}\,\mathrm {d} \xi +{\frac {u'}{{\mathcal {B}}'}}\,(\mathrm {A} '\,\mathrm {d} \xi +\mathrm {d} \eta )+{\frac {u''}{{\mathcal {C}}''}}\,(\mathrm {A} ''\,\mathrm {d} \xi +\mathrm {B} ''\,\mathrm {d} \eta +\mathrm {d} \zeta )+\ldots ;$
on aura donc
| (4) | $\left\{{\begin{array}{l}{\begin{alignedat}{6}x&=&{\frac {u^{0}}{{\mathcal {A}}^{0}}}&+&\mathrm {A} '\,{\frac {u'}{{\mathcal {B}}'}}&+&\mathrm {A} ''\,{\frac {u''}{{\mathcal {C}}''}}&+&\ldots &+&\mathrm {A} ,\\y&=&&&{\frac {u'}{{\mathcal {B}}'}}&+&\mathrm {B} ''\,{\frac {u''}{{\mathcal {C}}''}}&+&\ldots &+&\mathrm {B} ,\\z&=&&&&&{\frac {u''}{{\mathcal {C}}''}}&+&\ldots &+&\mathrm {C} ,\end{alignedat}}\\\,\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \end{array}}\right.$ |
En substituant dans ces expressions, les valeurs de $u^{0}$, $u'$, $u''$, etc., tirées des équations (3), on aura effectué l’élimination. Pour déterminer les poids, nous aurons
| (5) | $\left\{{\begin{array}{l}{\begin{alignedat}{6}&(\alpha \alpha )&=&{\frac {1}{{\mathcal {A}}^{0}}}&+&{\frac {{\mathrm {A} '}^{2}}{{\mathcal {B}}'}}&+&{\frac {{\mathrm {A} ''}^{2}}{{\mathcal {C}}''}}&+&{\frac {{\mathrm {A} '''}^{2}}{{\mathcal {D}}'''}}&+&\ldots ,\\&(\beta \beta )&=&&&{\frac {1}{{\mathcal {B}}'}}&+&{\frac {{\mathrm {B} ''}^{2}}{{\mathcal {C}}''}}&+&{\frac {{\mathrm {B} '''}^{2}}{{\mathcal {D}}'''}}&+&\ldots ,\\&(\gamma \gamma )&=&&&&&{\frac {1}{{\mathcal {C}}''}}&+&{\frac {{\mathrm {C} '''}^{2}}{{\mathcal {D}}'''}}&+&\ldots .\end{alignedat}}\\\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdot \end{array}}\right.$ |
La simplicité de ces formules ne laisse rien à désirer. On trouverait des formules également simples pour exprimer les autres coefficients $(\alpha \beta )$, $(\alpha \gamma )$, $(\beta \gamma )$, etc. ; mais, comme leur usage est moins fréquent, nous nous dispenserons de les exposer.
L’importance du sujet nous a engagé à tout préparer pour le calcul et à former les expressions explicites des coefficients $\mathrm {A} '$, $\mathrm {A} ''$, $\mathrm {A} '''$, $\mathrm {B} ''$, $\mathrm {B} '''$, etc.
Ce calcul peut être abordé de deux manières : la première consiste à reporter, dans les équations (2), les valeurs de $u^{0}$, $u'$, $u''$, etc., déduites du système (3), qui doivent rendre ces équations identiques ; et la seconde à exprimer, au contraire, que le système (2) devient identique lorsqu’on y substitue les valeurs de $\xi$, $\eta$, $\zeta$, déduites du système (3).
La première méthode conduit aux formules suivantes :
${\begin{array}{l}{\begin{aligned}{\frac {{\mathcal {B}}^{0}}{{\mathcal {A}}^{0}}}&+\mathrm {A} '=0,\\{\frac {{\mathcal {C}}^{0}}{{\mathcal {A}}^{0}}}&+{\frac {{\mathcal {C}}'}{{\mathcal {B}}'}}\,\mathrm {A} '+\mathrm {A} ''=0,\\{\frac {{\mathcal {D}}^{0}}{{\mathcal {A}}^{0}}}&+{\frac {{\mathcal {D}}'}{{\mathcal {B}}'}}\,\mathrm {A} '+{\frac {{\mathcal {D}}''}{{\mathcal {C}}''}}\,\mathrm {A} ''+\mathrm {A} '''=0,\end{aligned}}\\\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \end{array}}$
Ces formules feront connaître $\mathrm {A} '$, $\mathrm {A} ''$, $\mathrm {A} '''$, etc.
On aura ensuite,
${\begin{array}{l}{\begin{aligned}&{\frac {{\mathcal {C}}'}{{\mathcal {B}}'}}+\mathrm {B} ''=0,\\&{\frac {{\mathcal {D}}'}{{\mathcal {B}}'}}+{\frac {{\mathcal {D}}''}{{\mathcal {C}}''}}\,\mathrm {B} ''+\mathrm {B} '''=0,\end{aligned}}\\\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \end{array}}$
qui donneront $\mathrm {B} ''$, $\mathrm {B} '''$, etc. ; puis
${\begin{array}{l}{\frac {{\mathcal {D}}''}{{\mathcal {C}}''}}+\mathrm {C} '''=0,\\\cdots \cdots \cdots \cdots \cdots \end{array}}$
qui feront connaître $\mathrm {C} '''$, etc. ; et ainsi de suite.
La seconde méthode donne le système suivant :
${\mathcal {A}}^{0}\mathrm {A} '+{\mathcal {B}}^{0}=0$
d’où l’on tire $\mathrm {A} '$ ;
${\begin{alignedat}{5}{\mathcal {A}}^{0}&\mathrm {A} ''&+&{\mathcal {B}}^{0}&\mathrm {B} ''&&+&{\mathcal {C}}^{0}&=&0,\\&&&{\mathcal {B}}'&\mathrm {B} ''&&+&{\mathcal {C}}'&=&0,\end{alignedat}}$
d’où l’on tire $\mathrm {B} ''$ et $\mathrm {A} ''$ ;
${\begin{alignedat}{7}{\mathcal {A}}^{0}&\mathrm {A} '''&+&{\mathcal {B}}^{0}&\mathrm {B} '''&&+&{\mathcal {C}}^{0}&\mathrm {C} '''&&+&{\mathcal {D}}^{0}&=&0,\\&&&{\mathcal {B}}'&\mathrm {B} '''&&+&{\mathcal {C}}'&\mathrm {C} '''&&+&{\mathcal {D}}'&=&0,\\&&&&&&&{\mathcal {C}}''&\mathrm {C} '''&&+&{\mathcal {D}}''&=&0,\\\end{alignedat}}$
d’où l’on déduira $\mathrm {C} '''$, $\mathrm {B} '''$, $\mathrm {A} '''$ ; et ainsi de suite.
Les deux systèmes de formules offrent des avantages à peu près égaux, lorsque l’on veut les poids des déterminations de toutes les inconnues $x$, $y$, $z$, etc. ; mais lorsqu’on ne cherche qu’une seule des quantités $(\alpha \alpha )$, $(\beta \beta )$, $(\gamma \gamma )$, etc., le premier système est bien préférable.
D’ailleurs, la combinaison des équations (1) et (4) conduit aux mêmes formules, et fournit, en outre, un second moyen d’obtenir les valeurs les plus plausibles $\mathrm {A}$, $\mathrm {B}$, $\mathrm {C}$, etc., qui sont
${\begin{array}{l}{\begin{alignedat}{6}\mathrm {A} &=&&-&{\frac {{\mathcal {L}}^{0}}{{\mathcal {A}}^{0}}}&-&\mathrm {A} '{\frac {{\mathcal {L}}'}{{\mathcal {B}}'}}&-&\mathrm {A} ''{\frac {{\mathcal {L}}''}{{\mathcal {C}}''}}&-&\mathrm {A} '''{\frac {{\mathcal {L}}'''}{{\mathcal {D}}'''}}&-&\ldots ,\\[0.5ex]\mathrm {B} &=&&&&&-{\frac {{\mathcal {L}}'}{{\mathcal {B}}'}}&-&\mathrm {B} ''{\frac {{\mathcal {L}}''}{{\mathcal {C}}''}}&-&\mathrm {B} '''{\frac {{\mathcal {L}}'''}{{\mathcal {D}}'''}}&-&\ldots ,\\[0.5ex]\mathrm {C} &=&&&&&&&-{\frac {{\mathcal {L}}''}{{\mathcal {C}}''}}&-&\mathrm {C} '''{\frac {{\mathcal {L}}'''}{{\mathcal {D}}'''}}&-&\ldots ,\end{alignedat}}\\\;\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \end{array}}$
L’autre calcul est identique avec le calcul ordinaire dans lequel on suppose
${\begin{aligned}u^{0}&=0,&u'&=0,&u''&=0,\ldots .\end{aligned}}$
Les résultats obtenus dans l’art. 32 ne sont que des cas particuliers d’un théorème plus général qui peut s’énoncer de la manière suivante :
Théorème — Si $t$ représente la fonction linéaire suivante des inconnues $x$, $y$, $z$, etc.,
$t=fx+gy+hz+\ldots +k,$
dont l’expression en fonction des variables $u^{0}$, $u'$, $u''$, etc., soit
$t=k^{0}u^{0}+k'u'+k''u''+\ldots +\mathrm {K} ,$
$\mathrm {K}$ sera la valeur la plus plausible de $t$, et le poids de cette détermination sera
${\frac {1}{{\mathcal {A}}^{0}{k^{0}}^{2}+{\mathcal {B}}'{k'}^{2}+{\mathcal {C}}''{k''}^{2}+\ldots }}\cdot$
Démonstration. — La première partie du théorème est évidente, puisque la valeur la plus plausible de $t$ doit correspondre aux valeurs
${\begin{aligned}u^{0}&=0,&u'&=0,&u''&=0,\end{aligned}}$
$\ldots$
Pour démontrer la seconde partie, remarquons que l’on a
${\begin{alignedat}{6}{\frac {1}{2}}\,\mathrm {d} \Omega &=&\xi \,&\mathrm {d} x&&+&\eta \,&\mathrm {d} y&&+&\zeta \,&\mathrm {d} z+\ldots ,\\\mathrm {d} t&=&f\,&\mathrm {d} x&&+&g\,&\mathrm {d} y&&+&h\,&\mathrm {d} z+\ldots ,\end{alignedat}}$
et par conséquent, lorsque
${\begin{aligned}\xi &=f,&\eta &=g,&\zeta &=h,\ldots ,\end{aligned}}$
on a
$\mathrm {d} \Omega =2\,\mathrm {d} t,$
quelles que soient les différentielles $\mathrm {d} x$, $\mathrm {d} y$, $\mathrm {d} z$, etc. Il suit de là qu’en supposant toujours,
${\begin{aligned}\xi &=f,&\eta &=g,&\zeta &=h,\ldots ,\end{aligned}}$
on aura
${\begin{aligned}&{\frac {u^{0}}{{\mathcal {A}}^{0}}}\,\mathrm {d} u^{0}+{\frac {u'}{{\mathcal {B}}'}}\,\mathrm {d} u'+{\frac {u''}{{\mathcal {C}}''}}\,\mathrm {d} u''+\ldots \\[0.75ex]=&k^{0}\,\mathrm {d} u^{0}+k'\,\mathrm {d} u'+k''\,\mathrm {d} u''+\ldots .\end{aligned}}$
Or on voit facilement que si les différentielles $\mathrm {d} x$, $\mathrm {d} y$, $\mathrm {d} z$, etc., sont indépendantes les unes des autres, il en sera de même pour $\mathrm {d} u^{0}$, $\mathrm {d} u'$, $\mathrm {d} u''$, etc., nous aurons, par conséquent, pour
${\begin{aligned}\xi &=f,&\eta &=g,&\zeta &=h,\ldots ,\\u^{0}&={\mathcal {A}}^{0}k^{0},&u'&={\mathcal {B}}'k',&u''&={\mathcal {C}}''k'',\ldots .\end{aligned}}$
Par conséquent, la valeur de $\Omega$ correspondant aux mêmes hypothèses, sera
${\mathcal {A}}^{0}{k^{0}}^{2}+{\mathcal {B}}'{k'}^{2}+{\mathcal {C}}''{k''}^{2}+\ldots +\mathrm {M} :$
ce qui, d’après l’art. 29, démontre l’exactitude de notre théorème.
Si d’ailleurs on désire effectuer la transformation de la fonction $t$, sans avoir recours aux formules (4) (art. 32), on a immédiatement les relations
${\begin{array}{l}{\begin{aligned}f&={\mathcal {A}}^{0}k^{0},\\g&={\mathcal {B}}^{0}k^{0}+{\mathcal {B}}'k',\\h&={\mathcal {C}}^{0}k^{0}+{\mathcal {C}}'k'+{\mathcal {C}}''k'',\end{aligned}}\\\;\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdot \cdot \end{array}}$
qui permettront de déterminer $k^{0}$, $k'$, $k''$, etc., et nous aurons enfin
$\mathrm {K} =-{\mathcal {L}}^{0}k^{0}-{\mathcal {L}}'k'-{\mathcal {L}}''k''-\ldots .$
Nous traiterons particulièrement le problème suivant, tant à cause de son utilité pratique, que de la simplicité de la solution :
Trouver les changements que les valeurs les plus plausibles des inconnues subissent par l’adjonction d’une nouvelle équation, et assigner les poids de ces nouvelles déterminations.
Conservons les notations précédentes. Les équations primitives, réduites à avoir pour poids l’unité, seront
${\begin{aligned}v&=0,&v'&=0,&v''&=0,\ldots ;\end{aligned}}$
on aura
$\Omega ={v}^{2}+{v'}^{2}+{v''}^{2}+\ldots ,$
$\xi$, $\eta$, $\zeta$, etc., seront les dérivées partielles
${\begin{aligned}{\frac {\mathrm {d} \Omega ^{\ast }}{2\,\mathrm {d} x}}&,&{\frac {\mathrm {d} \Omega ^{\ast }}{2\,\mathrm {d} y}}&,&{\frac {\mathrm {d} \Omega ^{\ast }}{2\,\mathrm {d} z}},\ldots ,&\end{aligned}}$
et enfin on aura, par l’élimination,
| (1) | $\left\{{\begin{array}{l}{\begin{alignedat}{5}x&=\mathrm {A} &&+&(\alpha \alpha )&\,\xi+&(\alpha \beta )&\,\eta+&(\alpha \gamma )&\,\zeta +\ldots ,\\y&=\mathrm {B} &&+&(\alpha \beta )&\,\xi+&(\beta \beta )&\,\eta+&(\beta \gamma )&\,\zeta +\ldots ,\\z&=\mathrm {C} &&+&(\alpha \gamma )&\,\xi+&(\beta \gamma )&\,\eta+&(\gamma \gamma )&\,\zeta +\ldots ,\end{alignedat}}\\\;\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdot \cdot \end{array}}\right.$ |
Supposons maintenant que l’on ait une nouvelle équation approximative,
$v^{\ast }=0,$
dont nous supposerons le poids égal à l’unité. Cherchons les changements que subiront les valeurs les plus plausibles $\mathrm {A}$, $\mathrm {B}$, $\mathrm {C}$, etc., et celles des coefficients $(\alpha \alpha )$, $(\beta \beta )$, etc.
Posons
${\begin{array}{ccc}&\Omega +{v^{\ast }}^{2}=\Omega ^{\ast },&\\[0.75ex]{\dfrac {1}{2}}{\dfrac {\mathrm {d} \Omega ^{\ast }}{\mathrm {d} x}}=\xi ^{\ast },&{\dfrac {1}{2}}{\dfrac {\mathrm {d} \Omega ^{\ast }}{\mathrm {d} y}}=\eta ^{\ast },&{\dfrac {1}{2}}{\dfrac {\mathrm {d} \Omega ^{\ast }}{\mathrm {d} z}}=\zeta ^{\ast },\ldots ,\end{array}}$
et soit
$x=\mathrm {A} ^{\ast }+(\alpha \alpha ^{\ast })\,\xi ^{\ast }+(\alpha \beta ^{\ast })\,\eta ^{\ast }+(\alpha \gamma ^{\ast })\,\zeta ^{\ast }+\ldots$
le résultat de l’élimination.
Soit enfin,
$v^{\ast }=fx+gy+hz+\ldots +k,$
qui deviendra, en ayant égard aux équations (1),
$v^{\ast }=\mathrm {F} \,\xi +\mathrm {G} \,\eta +\mathrm {H} \,\zeta +\ldots +\mathrm {K} ,$
et posons
$\mathrm {F} \,f+\mathrm {G} \,g+\mathrm {H} \,h+\ldots =\omega \,;$
$\mathrm {K}$ sera évidemment la valeur la plus plausible de la fonction $v^{\ast }$, telle qu’elle résulte des équations primitives, sans avoir égard à la valeur 0 fournie par la nouvelle observation, et ${\tfrac {1}{\omega }}$ sera le poids de cette détermination.
Or nous avons
${\begin{aligned}\xi ^{\ast }&=\xi +fv^{\ast },&\eta ^{\ast }&=\eta +gv^{\ast },&\zeta ^{\ast }&=\zeta +hv^{\ast },\ldots ,\end{aligned}}$
et, par suite,
$\mathrm {F} \,\xi ^{\ast }+\mathrm {G} \,\eta ^{\ast }+\mathrm {H} \,\zeta ^{\ast }+\ldots +\mathrm {K} =v\ast (1+\mathrm {F} \,f+\mathrm {G} \,g+\mathrm {H} \,h+\ldots )\,;$
d’où l’on déduit
$v^{\ast }={\frac {\mathrm {F} \,\xi ^{\ast }+\mathrm {G} \,\eta ^{\ast }+\mathrm {H} \,\zeta ^{\ast }+\ldots +\mathrm {K} }{1+\omega }}\cdot$
On a, en outre,
${\begin{aligned}x&=\mathrm {A} +(\alpha \alpha )\,\xi ^{\ast }+(\alpha \beta )\,\eta ^{\ast }+(\alpha \gamma )\,\zeta ^{\ast }+\ldots \\&\qquad \qquad-v^{\ast }{\bigf\,(\alpha \alpha )+g\,(\alpha \beta )+h\,(\alpha \gamma )+\ldots {\big ]}\\[0.75ex]&=\mathrm {A} +(\alpha \alpha )\,\xi ^{\ast }+(\alpha \beta )\,\eta ^{\ast }+\ldots -\mathrm {F} \,v^{\ast }\\&=\mathrm {A} +(\alpha \alpha )\,\xi ^{\ast }+(\alpha \beta )\,\eta ^{\ast }+\ldots -{\frac {\mathrm {F} }{1\!+\!\omega }}(\mathrm {F} \xi ^{\ast }+\mathrm {G} \eta ^{\ast }+\mathrm {H} \zeta ^{\ast }+\ldots \mathrm {K} ).\end{aligned}}$
Nous déduirons de là,
$\mathrm {A} ^{\ast }=\mathrm {A} -{\frac {\mathrm {FK} }{1+\omega }},$
qui sera la valeur la plus plausible de $x$, déduites de toutes les observations.
On aura aussi
$(\alpha \alpha ^{\ast })=(\alpha \alpha )-{\frac {\mathrm {F} ^{2}}{1+\omega }}\,;$
par conséquent,
${\frac {1}{(\alpha \alpha )-{\dfrac {\mathrm {F} ^{2}}{1+\omega }}}}$
sera le poids de cette détermination.
On trouvera de la même manière, pour valeur la plus plausible de $y$, déduite de toutes les observations,
$\mathrm {B} ^{\ast }=\mathrm {B} -{\dfrac {\mathrm {GK} }{1+\omega }};$
le poids de cette détermination sera
${\frac {1}{(\beta \beta )-{\dfrac {\mathrm {G} ^{2}}{1+\omega }}}}\,;$
et ainsi de suite.
Le problème est donc résolu.
Ajoutons quelques remarques.
I. En substituant les nouvelles valeurs $\mathrm {A} ^{\ast }$, $\mathrm {B} ^{\ast }$, $\mathrm {C} ^{\ast }$, etc., la fonction $v^{\ast }$ obtiendra la valeur la plus plausible
$\mathrm {K} -{\frac {\mathrm {K} }{1+\omega }}\,\left(\mathrm {F} \,f+\mathrm {G} \,g+\mathrm {H} \,h+\ldots \right)={\frac {\mathrm {K} }{1+\omega }},$
et, puisque l’on a, identiquement,
$v^{\ast }={\frac {\mathrm {F} }{1+\omega }}\,\xi ^{\ast }+{\frac {\mathrm {G} }{1+\omega }}\,\eta ^{\ast }+{\frac {\mathrm {H} }{1+\omega }}\,\zeta ^{\ast }+\ldots +{\frac {\mathrm {K} }{1+\omega }},$
le poids de cette détermination sera (art. 29)
${\frac {1+\omega }{\mathrm {F} \,f+\mathrm {G} \,g+\mathrm {H} \,h+\ldots }}={\frac {1}{\omega }}+1.$
Ces résultats pourraient se déduire immédiatement des règles exposées à la fin de l’art. 21. L’ensemble des équations primitives avait, en effet, fourni la détermination $v^{\ast }=\mathrm {K}$, dont le poids était ${\tfrac {1}{\omega }}$, une observation nouvelle donne une autre détermination $v^{\ast }=0$, indépendante de la première, ayant pour poids l’unité ; leur combinaison donnera la détermination
$v^{\ast }={\frac {\mathrm {K} }{1+\omega }},$
qui aura pour poids
${\frac {1}{\omega }}+1.$
II. On conclut de ce qui précède que, pour
$x=\mathrm {A} ^{\ast },\quad y=\mathrm {B} ^{\ast },\quad z=\mathrm {C} ^{\ast },\ldots ,$
on devra avoir
$\xi ^{\ast }=0,\quad \eta ^{\ast }=0,\quad \zeta ^{\ast }=0,\ldots ,$
et, par suite,
${\begin{aligned}\xi &=-{\frac {f\,\mathrm {K} }{1+\omega }},&\eta &=-{\frac {g\,\mathrm {K} }{1+\omega }},&\zeta &=-{\frac {h\,\mathrm {K} }{1+\omega }},\ldots \\\end{aligned}}$
Puisque d’ailleurs
${\begin{aligned}\Omega &=\xi \,(x-\mathrm {A} )+\eta \,(y-\mathrm {B} )+\zeta \,(z-\mathrm {C} )+\ldots +\mathrm {M} ,\\\Omega ^{\ast }&=\Omega +{v^{\ast }}^{2},\end{aligned}}$
on devra avoir, pour ces mêmes valeurs,
${\begin{alignedat}{2}\Omega &={\frac {\mathrm {K} ^{2}}{{(1+\omega )}^{2}}}\,\left(\mathrm {F} \,f+\mathrm {G} \,g+\mathrm {H} \,h+\ldots \right)+\mathrm {M} &&=\mathrm {M} +{\frac {\omega \,\mathrm {K} ^{2}}{{(1+\omega )}^{2}}},\end{alignedat}}$
et
${\begin{alignedat}{2}\Omega ^{\ast }=\mathrm {M} +{\frac {\omega \,\mathrm {K} ^{2}}{{(1+\omega )}^{2}}}+{\frac {\mathrm {K} ^{2}}{{(1+\omega )}^{2}}}&&=\mathrm {M} +{\frac {\mathrm {K} ^{2}}{1+\omega }}\cdot \end{alignedat}}$
III. En comparant ces résultats avec ceux de l’article 30, nous voyons ici que la fonction $\Omega$ a la plus petite valeur qu’elle puisse obtenir lorsqu’on s’impose la condition
$v^{\ast }={\frac {\mathrm {K} }{1+\omega }}\cdot$
Nous donnerons seulement ici la solution du problème suivant, qui a beaucoup d’analogie avec le précédent ; mais nous nous abstiendrons d’indiquer la démonstration, à laquelle le lecteur suppléera facilement en s’aidant de ce qui précède.
Trouver les changements des valeurs les plus plausibles des inconnues et les poids des déterminations nouvelles, lorsque l’on change le poids de l’une des observations primitives.
Supposons qu’après avoir achevé le calcul on vienne à remarquer qu’on a attribué à une observation, à la première par exemple qui a donné $\mathrm {V} =\mathrm {L}$, un poids trop fort ou trop faible, et qu’il serait plus exact de lui attribuer le poids $p^{\ast }$, au lieu du poids $p$ : il ne sera pas nécessaire de recommencer le calcul, mais il sera plus commode de former les corrections à l’aide des formules suivantes.
Les valeurs les plus plausibles des inconnues deviendront
${\begin{array}{l}{\begin{alignedat}{2}x=&\mathrm {A} &-&{\frac {(p^{\ast }-p)\,\alpha \lambda }{p+(p\ast -p)(a\,\alpha +b\,\beta +c\,\gamma +\ldots )}},\\[0.5em]y=&\mathrm {B} &-&{\frac {(p^{\ast }-p)\,\beta \lambda }{p+(p\ast -p)(a\,\alpha +b\,\beta +c\,\gamma +\ldots )}},\\[0.5em]z=&\mathrm {C} &-&{\frac {(p^{\ast }-p)\,\gamma \lambda }{p+(p\ast -p)(a\,\alpha +b\,\beta +c\,\gamma +\ldots )}},\end{alignedat}}\\\;\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \end{array}}$
les poids de ces déterminations s’obtiendront en divisant l’unité, respectivement, par
${\begin{array}{l}{\begin{alignedat}{2}&(\alpha \alpha )&-&{\frac {(p^{\ast }-p)\,\alpha ^{2}}{p+(p\ast -p)(a\,\alpha +b\,\beta +c\,\gamma +\ldots )}},\\[0.5em]&(\beta \beta )&-&{\frac {(p^{\ast }-p)\,\beta ^{2}}{p+(p\ast -p)(a\,\alpha +b\,\beta +c\,\gamma +\ldots )}},\\[0.5em]&(\gamma \gamma )&-&{\frac {(p^{\ast }-p)\,\gamma ^{2}}{p+(p\ast -p)(a\,\alpha +b\,\beta +c\,\gamma +\ldots )}},\end{alignedat}}\\\;\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \end{array}}$
Cette solution convient au cas où, après avoir achevé le calcul, il faudrait rejeter tout à fait l’une des observations, puisque cela revient à faire $p^{\ast }=0$ ; de même, $p^{\ast }=\infty$ conviendra au cas où l’équation $\mathrm {V} =\mathrm {L}$, qui dans le calcul avait été regardée comme approchée, serait rigoureusement exacte.
Si, après le calcul terminé, plusieurs équations nouvelles venaient s’adjoindre aux proposées, ou si les poids attribués à plusieurs d’entre elles étaient erronés, le calcul des corrections deviendrait trop compliqué, et il serait préférable de tout recommencer.
Nous avons donné, dans les art. 15 et 16, une méthode pour déterminer, approximativement, la précision d’un système d’observations ; mais cette méthode suppose connues exactement les erreurs réelles que l’on a effectivement rencontrées dans une suite nombreuse d’observations ; or cette condition n’est remplie que bien rarement, pour ne pas dire jamais.
Si les quantités dont l’observation fournit les valeurs approchées dépendent, suivant une loi donnée, d’une ou de plusieurs inconnues, on pourra trouver, par la méthode des moindres carrés, les valeurs les plus plausibles de ces inconnues ; si, dès lors, on calcule les valeurs correspondantes des grandeurs observées, ces dernières pourront être regardées comme différant peu des véritables : de sorte que leurs différences avec les valeurs observées, représenteront les erreurs commises avec une certitude d’autant plus grande, que les observations seront plus nombreuses. Telle est la marche suivie dans la pratique par les calculateurs, qui ont essayé, dans des cas compliqués, d’évaluer à posteriori la précision des observations. Quoique suffisante dans bien des cas, cette méthode est, théoriquement, inexacte et pourrait quelquefois conduire à de graves erreurs ; c’est pourquoi il est très-important de traiter la question avec plus de soin.
Conservons les notations de l’art. 19. La méthode dont il s’agit consiste à regarder $\mathrm {A}$, $\mathrm {B}$, $\mathrm {C}$, etc., comme les véritables valeurs des inconnues $x$, $y$, $z$, etc., et $\lambda$, $\lambda '$, $\lambda ''$, etc., comme celles des fonctions $v$, $v'$, $v''$, etc. Si toutes les observations ont une égale précision et que leur poids commun
$p=p'=p''=\ldots$
soit pris pour unité, ces mêmes quantités, changées de signe, représentent, dans cette supposition, les erreurs des observations, et, par conséquent, d’après l’art. 15,
$m={\sqrt {\frac {{\lambda }^{2}+{\lambda '}^{2}+{\lambda ''}^{2}+\ldots }{\varpi }}}={\sqrt {\frac {\mathrm {M} ^{\begin{array}{l}\\\end{array}}}{\varpi \;}}}$
sera l’erreur moyenne des observations. Si les observations n’ont pas la même précision, $-\lambda$, $-\lambda '$, $-\lambda ''$, etc., représenteront les erreurs des observations, respectivement multipliées par les racines carrées des poids, et les règles de l’art. 16 conduiront à la même formule,
${\sqrt {\frac {\mathrm {M} }{\varpi }}},$
qui exprime déjà l’erreur moyenne de ces observations lorsque leur poids est égal à l’unité.
Mais le calcul exact exigerait évidemment que l’on remplaçât $\lambda$, $\lambda '$, $\lambda ''$, etc., par les valeurs de $v$, $v'$, $v''$, etc., déduites des véritables valeurs des inconnues $x$, $y$, $z$, etc., et la quantité $\mathrm {M}$ par la valeur correspondante de $\Omega$. Quoiqu’on ne puisse pas assigner cette dernière valeur, nous sommes certains pourtant qu’elle est plus grande que $\mathrm {M}$ qui est son minimum : elle n’atteindrait cette limite que dans le cas, infiniment peu probable, où les valeurs véritables des inconnues se confondraient avec les plus plausibles. Nous pouvons donc affirmer, en général, que l’erreur moyenne calculée par la pratique ordinaire est plus petite que l’erreur moyenne exacte, et que l’on attribue, par conséquent, aux observations une trop grande précision.
Voyons ce que donne une théorie rigoureuse.
Avant tout, il faut chercher comment la quantité $\mathrm {M}$ dépend des véritables erreurs des observations. Désignons ces erreurs, comme dans l’art. 28, par $e$, $e'$, $e''$, etc., et posons, pour plus de simplicité,
${\begin{aligned}e{\sqrt {p}}&=\varepsilon ,&e'{\sqrt {p'}}&=\varepsilon ',&e''{\sqrt {p''}}&=\varepsilon '',\ldots ,\end{aligned}}$
et
$m{\sqrt {p}}=m'{\sqrt {p'}}=m''{\sqrt {p''}}=\ldots =\mu .$
Soient
${\begin{aligned}\mathrm {A} -x^{0}&,&\mathrm {B} -y^{0}&,&\mathrm {C} -z^{0},\ldots ,&\end{aligned}}$
les vraies valeurs des inconnues $x$, $y$, $z$, etc., pour lesquelles $\xi$, $\eta$, $\zeta$, etc., soient, respectivement, $-\xi ^{0}$, $-\eta ^{0}$, $-\zeta ^{0}$, etc. Les valeurs correspondantes de $v$, $v'$, $v'$, etc., seront évidemment
${\begin{aligned}-\varepsilon &,&-\varepsilon '&,&-\varepsilon '',\ldots ;&\end{aligned}}$
de sorte qu’on aura
${\begin{array}{l}{\begin{alignedat}{7}\xi ^{0}&=&a\,&\varepsilon &&+&\,a'\,&\varepsilon '&&+&\,a''\,&\varepsilon ''&&+\ldots ,\\\eta ^{0}&=&b\,&\varepsilon &&+&\,b'\,&\varepsilon '&&+&\,b''\,&\varepsilon ''&&+\ldots ,\\\zeta ^{0}&=&c\,&\varepsilon &&+&\,c'\,&\varepsilon '&&+&\,c''\,&\varepsilon ''&&+\ldots ,\end{alignedat}}\\\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \\{\begin{alignedat}{7}x^{0}&=&\alpha \,&\varepsilon &&+&\alpha '\,&\varepsilon '&&+&\alpha ''\,&\varepsilon ''&&+\ldots ,\\y^{0}&=&\beta \,&\varepsilon &&+&\beta '\,&\varepsilon '&&+&\beta ''\,&\varepsilon ''&&+\ldots ,\\z^{0}&=&\gamma \,&\varepsilon &&+&\gamma '\,&\varepsilon '&&+&\gamma ''\,&\varepsilon ''&&+\ldots ,\end{alignedat}}\\\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \end{array}}$
enfin
$\Omega ^{0}=\varepsilon ^{2}+{\varepsilon '}^{2}+{\varepsilon ''}^{2}+\ldots$
sera la valeur de la fonction $\Omega$, correspondant aux vraies valeurs des $x$, $y$, $z$, etc.
Puisque l’on a identiquement
$\Omega =\mathrm {M} +(x-\mathrm {A} )\,\xi +(y-\mathrm {B} )\,\eta +(z-\mathrm {C} )\,\zeta +\ldots ,$
ou aura aussi
$\mathrm {M} =\Omega ^{0}-x^{0}\xi ^{0}-y^{0}\eta ^{0}-z^{0}\zeta ^{0}-\ldots .$
De là, il résulte évidemment que $\mathrm {M}$ est une fonction homogène du deuxième degré des erreurs $e$, $e'$, $e''$, etc. ; cette fonction pour diverses valeurs des erreurs pourra devenir plus ou moins grande. Dans l’ignorance où nous sommes de ces valeurs, il est bon d’examiner attentivement la fonction $\mathrm {M}$, et de calculer d’abord sa valeur moyenne d’après les principes du calcul des probabilités. Nous obtiendrons cette valeur moyenne en remplaçant les carrés $e^{2}$, ${e'}^{2}$, etc., par $m^{2}$, ${m'}^{2}$, etc., et en omettant les termes en $ee'$, $ee''$, etc., dont la valeur moyenne est zéro ; ou, ce qui revient au même, en remplaçant chaque carré $\varepsilon ^{2}$, ${\varepsilon '}^{2}$, ${\varepsilon ''}^{2}$, $\ldots$, par $\mu ^{2}$, et en négligeant $\varepsilon \varepsilon '$, $\varepsilon \varepsilon ''$, $\ldots$. D’après cela, le terme $\Omega ^{0}$ fournira $\varpi \mu ^{2}$ ; le terme $-x^{0}\xi ^{0}$ donnera
$-(a\,\alpha +a'\,\alpha '+a''\,\alpha ''+\ldots )\,\mu ^{2}=-\mu ^{2};$
chacune des autres parties donnera également $-\mu ^{2}$, de sorte que la valeur moyenne totale sera
$(\varpi -\rho )\,\mu ^{2},$
$\varpi$ désignant le nombre des observations, et $\rho$ le nombre des inconnues. La vraie valeur de $\mathrm {M}$ pourra, suivant les cas que le hasard présentera, être plus grande ou plus petite que cette valeur moyenne, mais la différence sera d’autant moindre que le nombre des observations sera plus grand ; de sorte que
${\sqrt {\frac {\mathrm {M} }{\varpi -\rho }}}$
pourra être regardé comme une valeur approchée de $\mu$ ; par conséquent la valeur de $\mu$, fournie par la méthode erronée dont nous avons parlé dans l’article précédent, devra être augmentée dans le rapport de ${\sqrt {\varpi -\rho }}$ à ${\sqrt {\varpi }}$.
Afin de faire voir plus clairement jusqu’à quel point il est permis de regarder la valeur de $\mathrm {M}$, fournie par les observations, comme égale à la valeur exacte, il faut chercher quelle est l’erreur moyenne à craindre lorsque l’on fait
$\mu ^{2}={\frac {\mathrm {M} }{\varpi -\rho }}\cdot$
Cette erreur moyenne est la racine carrée de la valeur moyenne de la quantité
${\left({\frac {\Omega ^{0}-x^{0}\xi ^{0}-y^{0}\eta ^{0}-z^{0}\zeta ^{0}-\ldots -(\varpi -\rho )\,\mu ^{2}}{\varpi -\rho }}\right)}^{2},$
que nous écrirons ainsi :
${\begin{aligned}&{\left({\frac {\Omega ^{0}-x^{0}\xi ^{0}-y^{0}\eta ^{0}-z^{0}\zeta ^{0}-\ldots }{\varpi -\rho }}\right)}^{2}\\-{\frac {2\mu ^{2}}{\varpi -\rho }}&\left[\Omega ^{0}-x^{0}\xi ^{0}-y^{0}\eta ^{0}-z^{0}\zeta ^{0}-\ldots -(\varpi -\rho )\,\mu ^{2}\right]-\mu ^{2}\,;\end{aligned}}$
et comme la valeur moyenne du second terme est évidemment nulle, la question se réduit à chercher la valeur moyenne de la fonction
$\Psi =\left(\Omega ^{0}-x^{0}\xi ^{0}-y^{0}\eta ^{0}-z^{0}\zeta ^{0}-\ldots \right)^{2}.$
Désignons cette valeur moyenne par $\mathrm {N}$, l’erreur moyenne cherchée sera
${\sqrt {{\frac {\mathrm {N} }{{(\varpi -\rho )}^{2}}}-\mu ^{4}}}.$
Si l’on développe la fonction $\Psi$, on voit qu’elle est une fonction homogène des erreurs $e$, $e'$, $e''$, etc., ou, ce qui revient au même, des quantités $\varepsilon$, $\varepsilon '$, $\varepsilon ''$, etc. ; on trouvera donc la valeur moyenne :
1$^o$. En remplaçant les quatrièmes puissances $e^{4}$, ${e'}^{4}$, ${e''}^{4}$, etc., par leurs valeurs moyennes ;
2$^o$. En remplaçant les produits $e^{2}{e'}^{2}$, ${e}^{2}{e''}^{2}$, etc., par leurs valeurs moyennes, c’est-à-dire par $m^{2}{m'}^{2}$, ${m'}^{2}{m''}^{2}$, etc. ;
3$^o$. En négligeant les produits tels que $e^{3}{e'}$, $e^{2}{e'}{e''}$, etc.
Nous supposerons (art. 16) les valeurs moyennes de $e^{4}$, ${e'}^{4}$, ${e''}^{4}$, etc., proportionnelles à $m^{4}$, ${m'}^{4}$, ${m''}^{4}$, etc., de sorte que les rapports des unes aux autres soient ${\frac {\nu ^{4}}{\mu ^{4}}}$, $\nu ^{4}$ désignant la valeur moyenne des quatrièmes puissances des erreurs pour les observations dont le poids serait l’unité.
Les règles précédentes pourraient se traduire de cette autre manière :
Remplacer chaque quatrième puissance $\varepsilon ^{4}$, ${\varepsilon '}^{4}$, ${\varepsilon ''}^{4}$, etc., par $\nu ^{4}$; chaque produit $\varepsilon ^{2}{\varepsilon '}^{2}$, ${\varepsilon }^{2}{\varepsilon ''}^{2}$, etc., par $\mu ^{4}$, et négliger tous les termes, tels que $\varepsilon ^{3}{\varepsilon '}$ ou $\varepsilon ^{2}{\varepsilon '}{\varepsilon ''}$, $\varepsilon \varepsilon '\varepsilon ''\varepsilon '''$.
Ces principes étant compris, on verra facilement que :
I. La valeur moyenne de ${\Omega ^{0}}^{2}$ est
$\varpi \nu ^{4}+(\varpi ^{2}-\varpi )\,\mu ^{4}.$
II. La valeur moyenne du produit $\varepsilon ^{2}\,x^{0}\,\xi ^{0}$ est
$a\,\alpha \nu ^{4}+(a'\alpha '+a''\alpha ''+\ldots )\,\mu ^{4}=a\,\alpha \,(\nu ^{4}-\mu ^{4})+\mu ^{4},$
car
$a\,\alpha +a'\alpha '+a''\alpha ''+\ldots =1.$
De même, la valeur moyenne de ${\varepsilon '}^{2}\,x^{0}\,\xi ^{0}$ est
$a'\alpha '\,(\nu ^{4}-\mu ^{4})+\mu ^{4};$
la valeur moyenne de ${\varepsilon ''}^{2}\,x^{0}\,\xi ^{0}$ est
$a''\alpha ''\,(\nu ^{4}-\mu ^{4})+\mu ^{4}\,;$
et ainsi de suite.
Donc la valeur moyenne du produit
$(\varepsilon ^{2}+{\varepsilon '}^{2}+{\varepsilon ''}^{2}+\ldots )\,x^{0}\,\xi ^{0}\quad$
$\quad \Omega ^{0}\,x^{0}\,\xi ^{0}$
sera
$\nu ^{4}-\mu ^{4}+\varpi \mu ^{4}.$
Les produits $\Omega ^{0}\,y^{0}\,\eta ^{0}$ ou $\Omega ^{0}\,z^{0}\,\zeta ^{0}$, etc., auront la même valeur moyenne ; donc le produit
$\Omega ^{0}\,\left(x^{0}\xi ^{0}+y^{0}\eta ^{0}+z^{0}\zeta ^{0}+\ldots \right)$
aura pour valeur moyenne
$\rho \nu ^{4}+\rho \,(\varpi -1)\,\mu ^{4}.$
III. Afin d’abréger les développements qui vont suivre, nous adopterons la notation suivante. Nous attribuerons à la caractéristique $\Sigma$ un sens plus étendu que nous ne l’avons fait jusqu’ici, en lui faisant désigner la somme des termes semblables, mais non identiques, qui proviennent de toutes les permutations des observations. Nous aurons, d’après cette notation,
${\begin{alignedat}{2}&x^{0}&=&\sum \alpha \varepsilon ,\\[1ex]&{x^{0}}^{2}&=&\sum \alpha ^{2}\varepsilon ^{2}+2\sum \alpha \alpha '\varepsilon \varepsilon '.\end{alignedat}}$
Calculant par parties la valeur moyenne du terme ${x^{0}}^{2}\,{\xi ^{0}}^{2}$, nous aurons d’abord, pour valeur moyenne du produit $\alpha ^{2}\,\varepsilon ^{2}\,{\xi ^{0}}^{2}$,
${\begin{aligned}&a^{2}\alpha ^{2}\nu ^{4}+\alpha ^{2}\left({a'}^{2}+{a''}^{2}+\ldots \right)\mu ^{4}\\&=a^{2}\alpha ^{2}\,(\nu ^{4}-\mu ^{4})+\alpha ^{2}\mu ^{4}\sum a^{2}.\end{aligned}}$
De même, la valeur moyenne du produit ${\alpha '}^{2}\,{\varepsilon '}^{2}\,{\xi ^{0}}^{2}$, est
${a'}^{2}{\alpha '}^{2}\,(\nu ^{4}-\mu ^{4})+{\alpha '}^{2}\mu ^{4}\sum a^{2}\,;$
et ainsi de suite.
Par conséquent, la valeur moyenne du produit
${\xi ^{0}}^{2}\sum \alpha ^{2}\varepsilon ^{2}$
sera
$(\nu ^{4}-\mu ^{4})\sum a^{2}\alpha ^{2}+\mu ^{4}\sum a^{2}\cdot \sum \alpha ^{2}.$
Or la valeur moyenne de $\alpha \alpha '\varepsilon \varepsilon '{\xi ^{0}}^{2}$est
$2\,\alpha \alpha 'aa'\mu ^{4}.$
La valeur moyenne de $\alpha \alpha ''\varepsilon \varepsilon ''{\xi ^{0}}^{2}$ est
$2\,\alpha \alpha ''aa''\mu ^{4}\,;$
et ainsi de suite. D’où l’on conclut facilement que la valeur moyenne du produit
${\xi ^{0}}^{2}\sum \alpha \alpha '\varepsilon \varepsilon '$
est
$2\,\mu ^{4}\sum \alpha \,a\,\alpha 'a'=\mu ^{4}\left[{\left(\sum a\,\alpha \right)}^{2}-\sum a^{2}\alpha ^{2}\right]=\mu ^{4}\left(1-\sum a^{2}\alpha ^{2}\right).$
Ceci posé, nous aurons pour valeur moyenne du produit ${x^{0}}^{2}\,{\xi ^{0}}^{2}$,
$\left(\nu ^{4}-3\,\mu ^{4}\right)\sum a^{2}\alpha ^{2}+2\,\mu ^{4}+\mu ^{4}\sum a^{2}\cdot \sum \alpha ^{2}.$
IV. On trouvera d’une manière analogue, pour valeur moyenne du produit $x^{0}y^{0}\xi ^{0}\eta ^{0}$,
$\nu ^{4}\sum ab\,\alpha \beta +\mu ^{4}\sum a\,\alpha \,b'\beta '+\mu ^{4}\sum ab\,\alpha '\beta '+\mu ^{4}\sum a\,\beta \,b'\alpha '.$
Or on a
${\begin{array}{c}{\begin{alignedat}{4}&\sum a\,\alpha \,b'\beta '&=&\sum a\,\alpha &\cdot&\sum b\,\beta &-&\sum a\,\alpha \,b\,\beta ,\\[1ex]&\sum a\,b\,\alpha '\beta '&=&\sum a\,b&\cdot&\sum \alpha \,\beta &-&\sum a\,b\,\alpha \,\beta ,\\[1ex]&\sum a\,\beta \,b'\alpha '&=&\sum a\,\beta &\cdot&\sum b\,\alpha &-&\sum a\,\beta \,b\,\alpha ,\end{alignedat}}\\[1ex]{\begin{aligned}\sum a\,\alpha &=1,&\sum b\,\beta &=1,&\sum a\,\beta &=0,&\sum b\,\alpha &=0\,;\end{aligned}}\end{array}}$
cette valeur moyenne sera donc
$\left(\nu ^{4}-3\,\mu ^{4}\right)\sum ab\,\alpha \beta +\mu ^{4}\left(1+\sum ab\cdot \sum \alpha \beta \right).$
V. On trouverait, par un calcul semblable, que la valeur moyenne de $x^{0}z^{0}\xi ^{0}\zeta ^{0}$ est
$\left(\nu ^{4}-3\,\mu ^{4}\right)\sum ac\,\alpha \gamma +\mu ^{4}\left(1+\sum ac\cdot \sum \alpha \gamma \right);$
et ainsi de suite. En additionnant, on obtient la valeur moyenne du produit
$x^{0}\xi ^{0}(x^{0}\xi ^{0}+y^{0}\eta ^{0}+z^{0}\zeta ^{0}+\ldots )\,;$
cette valeur est
${\begin{aligned}(&\nu ^{4}-3\,\mu ^{4})\sum \left[a\,\alpha \,(a\,\alpha +b\,\beta +c\,\gamma +\ldots )\right]\\&+(\rho \!+\!1)\,\mu ^{4}\!+\mu ^{4}\!\left(\sum \!a^{2}\!\cdot \!\sum \!\alpha ^{2}+\sum \!ab\cdot \!\sum \!\alpha \beta +\sum \!ac\cdot \!\sum \!\alpha \gamma +\!\ldots \!\right)\\[0.75ex]&=(\nu ^{4}-3\,\mu ^{4})\sum \left[a\,\alpha \,(a\,\alpha +b\,\beta +c\,\gamma +\ldots )\right]+(\rho +2)\,\mu ^{4}.\end{aligned}}$
VI. On trouverait de la même manière
$(\nu ^{4}-3\,\mu ^{4})\sum \left[b\,\beta \,(a\,\alpha +b\,\beta +c\,\gamma +\ldots )\right]+(\rho +2)\,\mu ^{4}$
pour valeur moyenne du produit
$y^{0}\eta ^{0}(x^{0}\xi ^{0}+y^{0}\eta ^{0}+z^{0}\zeta ^{0}+\ldots ),$
et
$(\nu ^{4}-3\,\mu ^{4})\sum \left[c\,\gamma \,(a\,\alpha +b\,\beta +c\,\gamma +\ldots )\right]+(\rho +2)\,\mu ^{4}$
pour valeur moyenne du produit
$z^{0}\zeta ^{0}(x^{0}\xi ^{0}+y^{0}\eta ^{0}+z^{0}\zeta ^{0}+\ldots )\,;$
et ainsi de suite.
Nous aurons donc, par l’addition, la valeur moyenne du carré
${(x^{0}\xi ^{0}+y^{0}\eta ^{0}+z^{0}\zeta ^{0}+\ldots )}^{2};$
elle sera
$(\nu ^{4}-3\,\mu ^{4})\sum \left[{(a\,\alpha +b\,\beta +c\,\gamma +\ldots )}^{2}\right]+(\rho ^{2}+2\,\rho )\,\mu ^{4}.$
VII. Nous concluons enfin de tous ces préliminaires,
${\begin{aligned}\mathrm {N} &=(\varpi -2\,\rho )\,\nu ^{4}+\left(\varpi ^{2}-\varpi -2\,\varpi \rho +4\,\rho +\rho ^{2}\right)\mu ^{4}\\&+\left(\nu ^{4}-3\,\mu ^{4}\right)\sum \left[{(a\,\alpha +b\,\beta +c\,\gamma +\ldots )}^{2}\right]\\[0.75ex]&=(\varpi -\rho )\left(\nu ^{4}-\mu ^{4}\right)+{(\varpi -\rho )}^{2}\,\mu ^{4}\\&-\left(\nu ^{4}-3\,\mu ^{4}\right)\left[\rho -\sum \left(a\,\alpha +b\,\beta +c\,\gamma +\ldots \right)^{2}\right].\end{aligned}}$
Donc l’erreur moyenne à craindre, lorsqu’on prendra
$\mu ^{2}={\frac {\mathrm {M} }{\varpi -\rho }},$
sera
${\sqrt {{\frac {\nu ^{4}-\mu ^{4}}{\varpi -\rho }}-{\frac {\nu ^{4}-3\,\mu ^{4}}{{(\varpi -\rho )}^{2}}}\left[\rho -\sum {(a\,\alpha +b\,\beta +c\,\gamma +\ldots )}^{2}\right]}}.$
La quantité
$\sum \left[{(a\,\alpha +b\,\beta +c\,\gamma +\ldots )}^{2}\right],$
qui entre dans l’expression précédente, ne peut pas généralement se réduire à une forme plus simple. Cependant on peut assigner deux limites entre lesquelles sa valeur doit nécessairement être comprise :
1$^o$. On déduit facilement des relations précédentes,
${\begin{aligned}&{(a\,\alpha +b\,\beta +c\,\gamma +\ldots )}^{2}+{(a\,\alpha '+b\,\beta '+c\,\gamma '+\ldots )}^{2}\\+\;&{(a\,\alpha ''+b\,\beta ''+c\,\gamma ''+\ldots )}^{2}+\ldots =a\,\alpha +b\,\beta +c\,\gamma +\ldots ;\end{aligned}}$
d’où nous concluons que
$a\,\alpha +b\,\beta +c\,\gamma +\ldots$
est une quantité positive plus petite que l’unité, ou du moins qu’elle n’est pas plus grande. Il en sera de même de la quantité
$a'\alpha '+b'\beta '+c'\gamma '+\ldots ,$
qui est égale à la somme
${\begin{aligned}(a'\alpha +b'\beta &+c'\gamma +\ldots )^{2}+(a'\alpha '+b'\beta '+c'\gamma '+\ldots )^{2}\\&+{(a'\alpha ''+b'\beta ''+c'\gamma ''+\ldots )}^{2}+\ldots ;\end{aligned}}$
de même
$a''\alpha ''+b''\beta ''+c''\gamma ''+\ldots$
sera plus petit que l’unité ; et ainsi de suite. Donc
$\sum \left[{(a\,\alpha +b\,\beta +c\,\gamma +\ldots )^{2}}\right]$
est nécessairement plus petit que $\varpi$.
2$^o$. On a
$\sum (a\,\alpha +b\,\beta +c\,\gamma +\ldots )=\rho ,$
car
${\begin{aligned}\sum a\,\alpha &=1,&\sum b\,\beta &=1,&\sum c\,\gamma &=1,\ldots ;\end{aligned}}$
d’où l’on déduit facilement que
$\sum \left[{(a\,\alpha +b\,\beta +c\,\gamma +\ldots )^{2}}\right]$
est plus grand, ou du moins n’est pas plus petit, que ${\frac {\rho ^{2}}{\varpi }}$.
Par conséquent le terme
${\frac {\nu ^{4}-3\,\mu ^{4}}{{(\varpi -\rho )}^{2}}}\left[\rho -\sum {(a\,\alpha +b\,\beta +c\,\gamma +\ldots )^{2}}\right]$
est nécessairement compris entre les limites
$-{\frac {\nu ^{4}-3\,\mu ^{4}}{\varpi -\rho }}\quad$
$\quad {\frac {\nu ^{4}-3\,\mu ^{4}}{\varpi -\rho }}\,{\frac {\rho }{\varpi }},$
ou bien, entre les limites plus étendues,
$-{\frac {\nu ^{4}-3\,\mu ^{4}}{\varpi -\rho }}\quad$
$\quad {\frac {\nu ^{4}-3\,\mu ^{4}}{\varpi -\rho }}\cdot$
Donc le carré de l’erreur moyenne à craindre pour la valeur
$\mu ^{2}={\frac {\mathrm {M} }{\varpi -\rho }}$
est compris entre les limites
${\frac {2\,\nu ^{4}-4\,\mu ^{4}}{\varpi -\rho }}\quad$
$\quad {\frac {2\,\mu ^{4}}{\varpi -\rho }}\,;$
de sorte qu’on pourra atteindre un degré de précision aussi grand que l’on voudra, pourvu que le nombre des observations soit suffisamment grand.
Il est très-remarquable que dans l’hypothèse de l’art. 9 (III), sur laquelle nous nous étions autrefois appuyé pour établir la théorie des moindres carrés, le second terme du carré de l’erreur moyenne disparaît complètement (car on a $\nu ^{4}-3\,\mu ^{4}=0$) ; et comme, pour trouver la valeur approchée $\mu$, de l’erreur moyenne des observations, il faut, dans tous les cas, traiter la somme
${\lambda }^{2}+{\lambda '}^{2}+{\lambda ''}^{2}+\ldots =\mathrm {M} ,$
comme si elle était égale à la somme des carrés des $\varpi -\rho$ erreurs fortuites, il en résulte que, dans cette hypothèse, la précision de cette détermination devient égale à celle que nous avons trouvée, art. 15, pour la détermination déduite de $\varpi -\rho$ erreurs vraies.
* ↑ Il faut se reporter, pour comprendre cette remarque, à un chapitre du Theoria Motus Corporum cœlestium, dans lequel M. Gauss montre que cette loi de probabilités est la plus vraisemblable que l’on puisse adopter. À la fin du volume nous reproduisons ce chapitre, dans lequel l’illustre auteur a fait connaître pour la première fois la méthode des moindres carrés. J. B.
* ↑ On ne conçoit la possibilité de déterminer exactement $\mu$, $\mu '$, $\mu ''$, etc., que dans le seul cas où, par la nature de la fonction $\varphi$, les erreurs $x$, $x'$, $x''$, etc., proportionnelles à $\mu$, $\mu '$, $\mu ''$, etc., seraient également probables, c’est-à-dire le cas où $\varphi (x)=\mu '\varphi '(\mu 'x)=\mu ''\varphi ''(\mu ''x)\,\ldots$ (Note de M. Gauss.)
* ↑ On verra plus loin la raison qui nous a conduit à désigner les coefficients de cette formule par la notation $(\alpha \alpha )$, $(\alpha \beta )$, etc. (Note de M. Gauss.)
* ↑ On trouvera ces calculs dans une Note à la fin du volume. J. B.
* ↑ Les recherches sur le même sujet insérées par nous (Zeitschrift für Astronomie und verwandte Wissenschaften, vol. I, page 185) sont fondées sur l’hypothèse relative à la probabilité des erreurs à laquelle nous avions été conduit dans la Théorie du Mouvement des Corps célestes. (Note de M. Gauss.) On trouvera ce Mémoire à la fin du volume.J. B.