[14] Comm. Petrop. vol. i.
It is clear that the principles here assumed are genuine axioms, depending upon our conception of the nature of equivalence of forces, and upon their being capable of addition and composition. If the forces, p, q, be equivalent to forces x, u, y, v, they are equivalent to these forces added and compounded in any order; just as a geometrical figure is, by our conception of [225] space, equivalent to its parts added together in any order. The apprehension of forces as having magnitude, as made up of parts, as capable of composition, leads to such axioms in Statics, in the same manner as the like apprehension of space leads to the axioms of Geometry. And thus the truths of Statics, resting upon such foundations, are independent of experience in the same manner in which geometrical truths are so.
The proof of the parallelogram of forces thus given by Daniel Bernoulli, as it was the first, is also one of the most simple proofs of that proposition which have been devised up to the present day. Many other demonstrations, however, have been given of the same proposition. Jacobi, a German mathematician, has collected and examined eighteen of these[15]. They all depend either upon such principles as have just been stated; That forces may in every way be replaced by those which are equivalent to them;—or else upon those previously stated, the doctrine of the lever, and the transfer of a force from one point to another of its direction. In either case, they are necessary results of our statical conceptions, independent of any observed laws of motion, and indeed, of the conception of actual motion altogether.
[15] These are by the following mathematicians; D. Bernoulli (1726); Lambert (1771); Scarella (1756); Venini (1764); Araldi (1806); Wachter (1815); Kaestner; Marini; Eytelwein; Salimbeni; Duchayla; two different proofs by Foncenex (1760); three by D’Alembert; and those of Laplace and M. Poisson.
There is another class of alleged proofs of the parallelogram of forces, which involve the consideration of the motion produced by the forces. But such reasonings are, in fact, altogether irrelevant to the subject of Statics. In that science, forces are not measured by the motion which they produce, but by the forces which they will balance, as we have already seen. The combination of two forces employed in producing motion in the same body, either simultaneously or successively, [226] belongs to that part of Mechanics which has motion for its subject, and is to be considered in treating of the laws of motion. The composition of motion, (as when a man moves in a ship while the ship moves through the water,) has constantly been confounded with the composition of force. But though it has been done by very eminent mathematicians, it is quite necessary for us to keep the two subjects distinct, in order to see the real nature of the evidence of truth in either case. The conditions of equilibrium of two forces on a lever, or of three forces at a point, can be established without any reference whatever to any motions which the forces might, under other circumstances, produce. And because this can be done, to do so is the only scientific procedure. To prove such propositions by any other course, would be to support truth by extraneous and inconclusive reasons; which would be foreign to our purpose, since we seek not only knowledge, but the grounds of our knowledge.
10. The Center of gravity seeks the lowest place.—The principles which we have already mentioned afford a sufficient basis for the science of Statics in its most extensive and varied applications; and the conditions of equilibrium of the most complex combinations of machinery may be deduced from these principles with a rigour not inferior to that of geometry. But in some of the more complex cases, the results of long trains of reasoning may be foreseen, in virtue of certain maxims which appear to us self-evident, although it may not be easy to trace the exact dependence of these maxims upon our fundamental conceptions of force and matter. Of this nature is the maxim now stated;—That in any combination of matter any how supported, the Center of Gravity will descend into the lowest position which the connexion of the parts allows it to assume by descending. It is easily seen that this maxim carries to a much greater extent the principle which the Greek mathematicians assumed, that every body has a Center of Gravity, that is, a point in which, if the whole matter of the body be collected, the effect will remain unchanged. For the Greeks asserted this of a [227] single rigid mass only; whereas, in the maxim now under our notice, it is asserted of any masses, connected by strings, rods, joints, or in any manner. We have already seen that more modern writers on mechanics, desirous of assuming as fundamental no wider principles than are absolutely necessary, have not adopted the Greek axiom in all its generality, but have only asserted that two equal weights have a center of gravity midway between them. Yet the principle that every body, however irregular, has a center of gravity, and will be supported if that center is supported, and not otherwise, is so far evident, that it might be employed as a fundamental truth, if we could not resolve it into any simpler truths: and, historically speaking, it was assumed as evident by the Greeks. In like manner the still wider principle, that a collection of bodies, as, for instance, a flexible chain hanging upon one or more supports, has a center of gravity; and that this point will descend to the lowest possible situation, as a single body would do, has been adopted at various periods in the history of mechanics; and especially at conjunctures when mathematical philosophers have had new and difficult problems to contend with. For in almost every instance it has only been by repeated struggles that philosophers have reduced the solution of such problems to a clear dependence upon the most simple axioms.
11. Stevinus’s Proof for Oblique Forces.—We have an example of this mode of dealing with problems, in Stevinus’s mode of reasoning concerning the Inclined Plane; which, as we have stated in the History of Mechanics, was the first correct published solution of that problem. Stevinus supposes a loop of chain, or a loop of string loaded with a series of equal balls at equal distances, to hang over the Inclined Plane; and his reasoning proceeds upon this assumption,—That such a loop so hanging will find a certain position in which it will rest: for otherwise, says he[16], its motion must go on for ever, which is absurd. It may be asked how [228] this absurdity of a perpetual motion appears; and it will perhaps be added, that although the impossibility of a machine with such a condition may be proved as a remote result of mechanical principles, this impossibility can hardly be itself recognized as a self-evident truth. But to this we may reply, that the impossibility is really evident in the case contemplated by Stevinus; for we cannot conceive a loop of chain to go on through all eternity, sliding round and round upon its support, by the effect of its own weight. And the ground of our conviction that this cannot be, seems to be this consideration; that when the chain moves by the effect of its weight, we consider its motion as the result of an effort to reach some certain position, in which it can rest; just as a single ball in a bowl moves till it comes to rest at the lowest point of the bowl. Such an effect of weight in the chain, we may represent to ourselves by conceiving all the matter of the chain to be collected in one single point, and this single heavy point to hang from the support in some way or other, so as fitly to represent the mode of support of the chain. In whatever manner this heavy point (the center of gravity of the chain) be supported and controlled in its movements, there will still be some position of rest which it will seek and find. And thus there will be some corresponding position of rest for the chain; and the interminable shifting from one position to another, with no disposition to rest in any position, cannot exist.
[16] Stevin. Statique, livre i. prop. 19.
Thus the demonstration of the property of the Inclined Plane by Stevinus, depends upon a principle which, though far from being the simplest of those to which the case can be reduced, is still both true and evident: and the evidence of this principle, depending upon the assumption of a center of gravity, is of the same nature as the evidence of the Greek statical demonstrations, the earliest real advances in the science.
12. Principle of Virtual Velocities.—We have referred above to an assertion often made, that we may, from the simple principles of Mechanics, demonstrate the impossibility of a perpetual motion. In reality, [229] however, the simplest proof of that impossibility, in a machine acted upon by weight only, arises from the very maxim above stated, that the center of gravity seeks and finds the lowest place; or from some similar proposition. For if, as is done by many writers, we profess to prove the impossibility of a perpetual motion by means of that proposition which includes the conditions of equilibrium, and is called the Principle of Virtual Velocities[17], we are under the necessity of first proving in a general manner that principle. And if this be done by a mere enumeration of cases, (as by taking those five cases which are called the Mechanical Powers,) there may remain some doubts whether the enumeration of possible mechanical combinations be complete. Accordingly, some writers have attempted independent and general proofs of the Principle of Virtual Velocities; and these proofs rest upon assumptions of the same nature as that now under notice. This is, for example, the case with Lagrange’s proof, which depends upon what he calls the Principle of Pulleys. For this principle is,—That a weight any how supported, as by a string passing round any number of pulleys any how placed, will be at rest then only, when it cannot get lower by any small motion of the pulleys. And thus the maxim that a weight will descend if it can, is assumed as the basis of this proof.