В теореме IV определяется центр тяжести системы двух тел: «Если две равные величины не имеют одного и того же центра тяжести, то для величины, составленной из обеих этих величин, центром тяжести будет середина прямой, соединяющей центры тяжести этих величин»{29}.
В теореме V Архимед применяет этот метод к системе трех тел, расположенных так, что центр тяжести среднего из них находится в середине отрезка, соединяющего центры тяжести крайних. Согласно этой теореме, центр тяжести такой «составной величины» совпадает с центром тяжести среднего тела.
Особо можно выделить теоремы VI и VII, в которых формулируется и доказывается основной закон рычага.
Теорема VI формулируется следующим образом: «Соизмеримые величины уравновешиваются на длинах, которые обратно пропорциональны их тяжестям»{30}.
В теореме VII закон равновесия рычага распространяется на случай несоизмеримых фигур. В теореме I второй книги трактата этот закон распространяется на случай криволинейных квадрируемых фигур.
Помимо указанных выше принципов Архимед пользуется в ходе доказательств еще одним, который, однако, в числе исходных предпосылок явно не фигурирует. Этот принцип можно сформулировать следующим образом: равновесие рычага не нарушится, если груз, подвешенный в точке А рычага, заменить двумя равными грузами половинного веса, точки подвеса которых расположены симметрично относительно точки подвеса замещаемого груза. Это положение мы будем называть принципом замещения. Хотя в ходе доказательств принцип замещения Архимед применяет с достаточной отчетливостью, однако он оградил бы свое сочинение от упреков самых требовательных критиков, если бы поставил его в число своих исходных предпосылок.
Заметим также, что аксиомы Архимеда являются первым существенным шагом в развитии понятия момента силы. Архимед с достаточной ясностью отмечает, что действие подвешенного груза на рычаг пропорционально его весу и расстоянию точки подвеса от точки опоры рычага. Оставалось лишь найти форму этой зависимости — и Архимед ее нашел. Он доказал, что действие подвешенного груза на рычаг прямо пропорционально величине груза и расстоянию точки приложения от неподвижной опоры рычага.
«Вникнув в сущность архимедовых аксиом, — писал академик А.Н. Крылов, — мы видим, что он ввел здесь новый элемент, производящий движение, именно произведение силы на ее расстояние до точки опоры, — то, что было впоследствии названо моментом силы и что производит вращательное движение тела»{31}. Первая книга трактата «О равновесии плоских фигур» заканчивается определением центров тяжести параллелограмма, треугольника и трапеции.
Во второй книге трактата Архимед переходит к определению центров тяжести фигур, образуемых при пересечении параболы прямой. Доказывается ряд теорем (предложений), например: «Если две площади, ограниченные (каждая) прямой и параболой и могущие быть приложенными к заданной прямой, не имеют одного и того же центра тяжести, то для величины, составленной из них обеих, центр тяжести будет на прямой, соединяющей их центры тяжести, причем вышеупомянутую прямую он разделит таким образом, что ее отрезки будут обратно пропорциональны этим площадям»{32}.
«У всякого сегмента, ограниченного прямой и параболой, центр тяжести делит диаметр сегмента так, что прилежащий к вершине сегмента отрезок в полтора раза больше отрезка у основания»{33}.
Эти предложения тесно связаны с работами Архимеда по геометрии. Примером применения теоретических положений механики к геометрии может также служить определение площади сегмента параболы, основанное на законе рычага и теоремах о центре тяжести плоских фигур, которое приведено в математическом сочинении Архимеда «Квадратура параболы». О тесной связи методов механики и математики в творчестве Архимеда свидетельствует «Эфод, или послание к Эратосфену о механических теоремах». В этом произведении механика рассматривается как средство решения геометрических задач. Правда, Архимед не считал механический метод строгим, он рассматривал его как удобный прием для получения некоторых геометрических результатов, которым после этого надлежало дать строгое геометрическое доказательство.
Среди теорем «Эфода» большой интерес представляет лемма о центре тяжести конуса, для доказательства которой Архимед разбивает конус плоскостями, параллельными основанию, на тонкие диски равной высоты. Нахождение центра тяжести конуса сводится к нахождению центра тяжести сегмента параболы.