so as to coincide throughout, their centres of gravity also coincide; if figures be unequal but similar, their centres of gravity are similarly situated with regard to the figures.
The main proposition, that two magnitudes balance at distances reciprocally proportional to the magnitudes, is proved first for commensurable and then for incommensurable magnitudes. Preliminary propositions have dealt with equal magnitudes disposed at equal distances on a straight line and odd or even in number, and have shown where the centre of gravity of the whole system lies. Take first the case of commensurable magnitudes. If A, B be the weights acting at E, D on the straight line ED respectively, and ED be divided at C so that A : B = DC : CE, Archimedes has to prove that the system is in equilibrium about C. He produces ED to K, so that DK = EC, and DE to L so that EL = CD;
LK is then a straight line bisected at C. Again, let H be taken on LK such that LH = 2LE or 2CD, and it follows that the remainder HK = 2DK or 2EC. Since A, B are commensurable, so are EC, CD. Let x be a common measure of EC, CD. Take a weight w such that w is the same part of A that x is of LH. It follows that w is the same part of B that x is of HK. Archimedes now divides LH, HK into parts equal to x, and A B into parts equal to w, and places the w’s at the middle points of the x’s respectively. All the w’s are then in equilibrium about C. But all the w’s acting at the several points along LH are equivalent to A acting as a whole at the point E. Similarly the w’s acting at the several points on HK are equivalent to B acting at D. Therefore A, B placed at E, D respectively balance about C.
Prop. 7 deduces by *reductio