Another contribution by Halley to the verification of Newton's law was made when he went to St. Helena to catalogue the southern stars. He measured the change in length of the second's pendulum in different latitudes due to the changes in gravity foretold by Newton.

Furthermore, he discovered the long inequality of Jupiter and Saturn, whose period is 929 years. For an investigation of this also the Academy of Sciences offered their prize. This led Euler to write a valuable essay disclosing a new method of computing perturbations, called the instantaneous ellipse with variable elements. The method was much developed by Lagrange.

History of Astronomy — Part 42

But again it was Laplace who solved the problem of the inequalities of Jupiter and Saturn by the theory of gravitation, reducing the errors of the tables from 20' down to 12", thus abolishing the use of empirical corrections to the planetary tables, and providing another glorious triumph for the law of gravitation. As Laplace justly said: "These inequalities appeared formerly to be inexplicable by the law of gravitation--they now form one of its most striking proofs."

History of Astronomy — Part 42

Let us take one more discovery of Halley, furnishing directly a new triumph for the theory. He noticed that Newton ascribed parabolic orbits to the comets which he studied, so that they come from infinity, sweep round the sun, and go off to infinity for ever, after having been visible a few weeks or months. He collected all the reliable observations of comets he could find, to the number of twenty-four, and computed their parabolic orbits by the rules laid down by Newton. His object was to find out if any of them really travelled in elongated ellipses, practically undistinguishable, in the visible part of their paths, from parabolæ, in which case they would be seen more than once. He found two old comets whose orbits, in shape and position, resembled the orbit of a comet observed by himself in 1682. Apian observed one in 1531; Kepler the other in 1607. The intervals between these appearances is seventy-five or seventy-six years. He then examined and found old records of similar appearance in 1456, 1380, and 1305. It is true, he noticed, that the intervals varied by a year and a-half, and the inclination of the orbit to the ecliptic diminished with successive apparitions. But he knew from previous calculations that this might easily be due to planetary perturbations. Finally, he arrived at the conclusion that all of these comets were identical, travelling in an ellipse so elongated that the part where the comet was seen seemed to be part of a parabolic orbit. He then predicted its return at the end of 1758 or beginning of 1759, when he should be dead; but, as he said, "if it should return, according to our prediction, about the year 1758, impartial posterity will not refuse to acknowledge that this was first discovered by an Englishman."[3] [_Synopsis Astronomiae Cometicae_, 1749.]

History of Astronomy — Part 42