846. As the three first satellites move in orbits that are nearly circular, the error would be very small, in assuming nt + €, n,t + €,, Nt2 + €2, to be their true longitudes. The preceding inequalities in the mean motions of the three first satellites are therefore 847. In order to abridge, let = v — 3v1 + 2v2,; whence If the preceding values be put in this, and if to abridge, K and n may be assumed to be constant quantities, their variations are so small; hence the integral of this equation is c is a constant quantity introduced by integration, the different values of which give rise to the three following cases. 848. 1st. If c be greater than 2Kn, without regard to the sign, it must be positive; and the angle ± will increase indefinitely, and will become equal to one, two, three, &c., circumferences. 2d. If K be positive, and c less than 2n K, abstracting from the sign, the radical will be imaginary when is equal to zero, or to one, two, three, &c. circumferences. The angle must therefore oscillate about the semicircumference, since it never can be zero, or equal to a whole circumference, which would make the time an ima ginary quantity. Its mean value must consequently be 180°. 3d. If c be less than 2Kn2, and K negative, the radical would be imaginary when the angle circumferences; the angle mean value, since the time will be shown that K is a positive quantity, the latter case does not exist, so that must either increase indefinitely, or oscillate about 180°. In order to ascertain which of these is the law of nature, let φ=τ τπ, is equal to any odd number of semimust therefore oscillate about zero, its cannot be imaginary. However, as it being 180° and any angle whatever; hence greater than 2Kn2; hence, in the interval between = 0, and its This time is less than two years: but from the discovery of the satellites the libration or angle has always been zero, or extremely small; therefore this angle does not increase indefinitely, it can only oscillate about its mean value of zero. The second case, then, is what really exists, and the angle must oscillate about 180°, which is its mean value. 849. Several important results are given by the equation These two equations are perfectly confirmed by observation, for Delambre found, from the comparison of a great number of eclipses of the three first satellites, that their mean motions in a hundred Julian years, with regard to the equinox, are whence it appears, that the mean motion of the first, minus three times that of the second, plus twice that of the third, is equal to 9".0072, so small a quantity, that it affords an astonishing proof of the accuracy both of the theory and observation. Delambre determined also, from a great number of eclipses, that the epochs of the mean motions of the three first satellites, at midnight, on the first of January 1750, were a result that is less accurate than the preceding; but it will be shown, in treating of the eclipses of the satellites, that it probably arises from errors of observation, depending on the discs of the satellites, which vanish to us before they are quite immersed in the shadow. 850. The same laws exist in the synodic motions of the satellites; for in the equation the angles may be estimated from a moveable axis, since the position of the axis would vanish in this equation: we may therefore suppose that are the mean synodic longitudes. This has a great influence on the eclipses of the three first satellites, as will appear afterwards. 851. On account of these laws the actions of the first and third satellites on the second are united in one term, given in article 826, which is the great inequality in that body indicated by observations. These inequalities will never be separated. 852. Without the mutual attraction of the satellites the two equations - 3n1 + 2n2 = 0 n 6 would be unconnected. It would have been necessary in the beginning of their motions that their epochs and mean motions had been so arranged as to suit these equations, which is most improbable; and in this case the slightest action from any foreign cause, as the attraction of the planets and comets, would have changed the ratios. But the mutual action of the satellites gives perfect stability to these relations, for, at the origin of the motion, when t = 0, accuracy of c being less than 2Kn2. It would be sufficient for the the preceding results that the first member of this equation had been comprised between the limits - 2K sin (e at the origin of their motions, and it is sufficient for their stability that no foreign force disturbs it. 853. It appears then, that if the preceding laws among the mean motions of the three first satellites had only been approximate at their origin, their mutual attraction would ultimately have rendered them exact. 854. The angle is so small, that we may make being arbitrary, on account of the arbitrary constant quantity c that it contains, equation (273) becomes = 6 sin (nt √K + A), A being a new arbitrary quantity. 855. As the motions of the four satellites in longitude, latitude, and distance, are determined by twelve differential equations of the second order, their integrals must contain twenty-four arbitrary quantities, which are the data of the problem, and are given by observation. Two of these are determined by the equations n 3n+2n2 = 0 3€1+2€ 180°; they are, however, replaced by 6 and A, the first determines the extent of the libration, and A marks the time when it is zero neither are determined, since the inequality has as yet been insensible. 856. The integrals of the three equations (272) may now be found, for as v − 3v1 + 2v2 = 7+ ~ ~ + 6 sin (nt √K + 4), sin. (v — 3v1+ 2v) = sin { ≈ + 6 sin (nt √K + 4) } which are the three equations of the libration. They have hitherto been insensible, but they modify all the inequalities of long periods in the theory of the three first satellites. But the differential of the first of the equations of libration is |