signer la probabilité que son erreur est comprise dans des limites données. L’erreur d’un résultat géodésique est une fonction des erreurs des angles de chaque triangle. J’ai donné, dans l’ouvrage cité, des formules générales pour avoir la probabilité des valeurs d’une ou de plusieurs fonctions linéaires d’un grand nombre d’erreurs partielles dont on connaît la loi de probabilité ; on peut donc, au moyen de ces formules, déterminer la probabilité que l’erreur d’un résultat géodésique est contenue dans des limites assignées, quelle que soit la loi de probabilité des erreurs partielles. Il est d’autant plus nécessaire de se rendre indépendant de cette loi, que les lois même les plus simples sont toujours infiniment peu probables, vu le nombre infini de celles qui peuvent exister dans la nature. Mais la loi inconnue des erreurs partielles introduit dans les formules une indéterminée qui ne permettrait point de les réduire en nombres, si l’on ne parvenait pas à l’éliminer. On a vu que dans les questions astronomiques où chaque observation fournit une équation de condition pour avoir les élémens, on élimine cette indéterminée au moyen de la somme des carrés des restes, lorsqu’on a substitué dans chaque équation les valeurs les plus probables des élémens. Les questions géodésiques n’offrant
Page:Laplace - Essai philosophique sur les probabilités.djvu/108
Cette page a été validée par deux contributeurs.
100
essai philosophique
