This proposition is proved by Archimedes in a work which is still extant, and the proof holds its place in our treatises to this day, as the simplest which can be given. The demonstration is made to rest on assumptions which amount in effect to such Definitions and Axioms as these: That those bodies are of equal weight which balance each other at equal arms of a straight lever; and that in every heavy body there is a definite point called a _Centre of Gravity_, in which point we may suppose the weight of the body collected. The principle, which is really the foundation of the validity of the demonstration thus given, and which is the condition of all experimental knowledge on the subject, is this: that when two equal weights are supported on a lever, they act on the fulcrum of the lever with the {97} same effect as if they were both together supported immediately at that point. Or more generally, we may state the principle to be this: that the pressure by which a heavy body is supported continues the same, however we alter the form or position of the body, so long as the magnitude and material continue the same. The experimental truth of this principle is a matter of obvious and universal experience. The weight of a basket of stones is not altered by shaking the stones into new positions. We cannot make the direct burden of a stone less by altering its position in our hands; and if we try the effect on a balance or a machine of any kind, we shall see still more clearly and exactly that the altered position of one weight, or the altered arrangement of several, produces no change in their effect, so long as their point of support remains unchanged. This general fact is obvious, when we possess in our minds the ideas which are requisite to apprehend it clearly. But when we are so prepared, the truth appears to be manifest, even independent of experience, and is seen to be a rule to which experience must conform. What, then, is the leading idea which thus enables us to reason effectively upon mechanical subjects? By attention to the course of such reasonings, we perceive that it is the idea of _Pressure_; Pressure being conceived as a measurable effect of heavy bodies at rest, distinguishable from all other effects, such as motion, change of figure, and the like. It is not here necessary to attempt to trace the history of this idea in our minds; but it is certain that such an idea may be distinctly formed, and that upon it the whole science of statics may be built. _Pressure_, _load_, _weight_, are names by which this idea is denoted when the effect tends directly downwards; but we may have pressure without motion, or _dead pull_, in other cases, as at the critical instant when two nicely-matched wrestlers are balanced by the exertion of the utmost strength of each.