Force suspended on a vertical spring scale experiences the force of gravity acting on the object balanced by a force applied by the "spring reaction force", which equals the object's weight. Using such tools, some quantitative force laws were discovered: that the force of gravity is proportional to volume for objects of constant density (widely exploited for millennia to define standard weights); Archimedes' principle for buoyancy; Archimedes' analysis of the lever; Boyle's law for gas pressure; and Hooke's law for springs. These were all formulated and experimentally verified before Isaac Newton expounded his Three Laws of Motion. Dynamic equilibrium was first
Kepler's laws of planetary motion law" is what became the Second Law in the set of three; but Kepler did himself not privilege it in that way. Johannes Kepler published his first two laws about planetary motion in 1609, having found them by analyzing the astronomical observations of Tycho Brahe. Kepler's third law was published in 1619. Kepler had believed in the Copernican model of the solar system, which called for circular orbits, but he could not reconcile Brahe's highly precise observations with a circular fit to Mars' orbit—Mars coincidentally having the highest eccentricity of all planets except Mercury. His first law reflected this discovery.