2. Отрицательные массы

В предыдущих рассуждениях все массы выражаются положительными числами. Однако формальные определения понятий «материальная точка» и «центр масс» пригодны и тогда, когда «массы» берутся из других числовых множеств. Если стать на такую более общую точку зрения возникают новые содержательные геометрические приложения понятия центра масс. И хотя формально определенным «материальным точкам с отрицательными массами» мы не можем сопоставить физические образы столь же привычные, как в случае положительных масс, однако и в таких более общих случаях использование терминологии, заимствованной из механики, позволяет привлечь физическую интуицию к поиску решений задач. Математически же решения получаются безупречно строгими. Ниже приводятся корректные определения центров масс для случая действительных или комплексных масс и доказательства их свойств.

Данные выше (в 2) математические определения понятий «материальная точка» и «центр масс системы материальных точек» применимы и в том случае, когда «массы» (все или некоторые из них) являются отрицательными числами. Например, «материальная точка» (-3)А -- это точка А вместе с сопоставленным ей числом -3, а «центр масс двух материальных точек (-3)А и 5В» -- это такая точка для которой выполняется векторное равенство (рис. 9).

Если потребовать, чтобы суммарная масса системы m₁A₁, m₂A_2,…,m_nА_n (т.е. число m₁+ m₂+…+m_n) была отлична от нуля (что мы и будем предполагать всюду в дальнейшем), то остаются в силе: а) определение центра масс; б) теорема 1; в) следствие из теоремы 1 о существовании и единственности центра масс у любой системы материальных точек.

Некоторое изменение претерпевает теорема 3 о возможности перегруппировки материальных точек: для справедливости этой теоремы приходится предполагать, что не только суммарная масса m₁ + ... + m_n всей системы отлична от нуля, но и сумма масс отмеченных материальных точек (т. е. m₁ + ... + m_k ) отлична от нуля. Причина этих ограничений понятна: суммарная масса m₁ + ... + m_n стоит в знаменателе дроби в формуле (7), а в доказательстве теоремы 3 используется формула, в знаменателе которой стоит сумма масс отмеченных материальных точек. Доказательства же теорем 1 и 3 остаются без изменения.

Далее, теорема 2 для случая действительных (не обязательно положительных) масс заменяется следующим утверждением:

Центр Z двух масс m₁ и m₂ с ненулевой суммой, помещенных в концах отрезка A₁A₂, лежит на прямой, содержащей этот отрезок, и удовлетворяет условию , где -- соответствующие «плечи»; при этом точка Z лежит на отрезке А₁А₂, если знаки чисел m₁ и m₂ одинаковы, и вне его, если они противоположны.

Так видоизменяется архимедово правило рычага для случая произвольных действительных масс. Доказательство проводится так же, как и доказательство теоремы 2. Заметим, что центр масс двух материальных точек (с ненулевой суммарной массой) расположен ближе к «более массивной» из них, т. е. к той, масса которой больше по модулю; это сразу следует из равенства

.

Пусть ABCD - параллелограмм; докажем, что центром масс трех материальных точек mA, (-m)B, mC (рис. 10) является четвёртая вершина D, т.е. mA+(-m)B+mC=mD.

Решение: Пусть О - центр параллелограмма, а Z - искомый центр масс. Тогда по формуле

= , т.е. Z=D.

Пусть А₁, А₂, А₃ -- вершины треугольника (рис. 11); В₁, В₂, В₃ -- середины противолежащих им сторон; М -- произвольная точка; М₁, М₂, М₃ -- точки, симметричные М относительно точек В₁, В₂, В₃. Докажем, что прямые А₁М₁, А₂М₂, А₂М₂ пересекаются в одной точке.

Так как А₁, М, А₂, М₃ -- вершины параллелограмма, то имеем )M.

Любая точка Z прямой М₃А₃ (кроме A₃) является центром масс двух материальных точек 1М₃ и хА₃, где х -- число (положительное или отрицательное), зависящее от выбора точки Z. Иначе говоря,

Теперь видно, что при х = 1 точки А₁, A₂, А₃ входят в правую часть с одинаковыми коэффициентами. Иначе говоря, точка Z, определяемая равенством 2Z = 1M₃ + 1А₃ (т. е. середина отрезка А₃М₃), удовлетворяет условию

Ввиду одинаковости коэффициентов точки A₁, A₂, A₃ равноправны в этой записи, и потому рассматриваемая точка Z принадлежит не только прямой M₃A₃, но и двум другим прямым M₁A₁, M₂A₂. Кроме того, эта точка Z является серединой не только отрезка A₃M₃, но и отрезков A₁M₁, A₂M₂. Таким образом, три отрезка A₁M₁, A₂ M₂, A₃M₃ имеют общую точку Z и каждый из них делится в этой точке пополам.