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 ad absurdum the same result in the case where A, B are incommensurable. Prop. 8 shows how to find the centre of gravity of the remainder of a magnitude when the centre of gravity of the whole and of a part respectively are known. Props. 9-15 find the centres of