Теорема П. По отношению к инерциальной шкале времени любая материальная точка, движущаяся по инерции, в равные промежутки времени проходит равные расстояния.
Определения являются человеческими соглашениями, но теоремы - эмпирическими предложениями; лишь они сообщают определениям физическое значение. Истинность системы Коперника основана на эмпирической значимости теорем.
Конечно, нельзя из наблюдения движения материальных точек, не подверженных действию силы, сделать вывод о том, что система Коперника является инерциальной системой. Полноценным доказательством являются вычисление путей планет на основе содержащей закон инерции механики и достигнутое таким путем согласие с опытом. Мы уже упоминали в главе 1, что для достижения этого соответствия с опытом надо сделать некоторые небольшие поправки к обычно упо-
*) Мы цитируем по работе Ланге в Philosophische Studien 3, 539 (1885-1886).
требляемой шкале времени, которые переводят ее в инерциальную шкалу времени.
Таким образом, через 350 лет после Коперника мы находим, наконец, у Людвига Ланге определенное завершение линии развития, исходившей из учения Коперника.
Вышеуказанными определениями исключаются многие другие мыслимые системы отсчета, например любая система, которая вращается с постоянной скоростью по отношению к астрономической системе отсчета. Тело, покоящееся в подобной системе, будет испытывать, как указал еще Ньютон, центробежную силу, не содержащуюся в уравнениях движения. Эта сила фактически является лишь другим выражением стремления к прямолинейному движению по отношению к инерциальной системе. Для связанной с Землей, следовательно, вращающейся системы отсчета эта центробежная сила проявляется, например, в сплющивании Земли. Вращение плоскости колебания маятника в произведенном в 1851 г. опыте Фуко (1819-1868) также, несомненно, указывает на вращение Земли, т. е. на неоправданность земной системы отсчета. Вторым доказательством является установка вращающегося компаса в северно-южном направлении (в 1925 г. Майкельсон доказал то же самое посредством опыта с интерференцией света).
Но динамика дает возможность вывести из одной инерциальной системы другие. Равноправными являются все системы отсчета, которые по отношению к ней перемещаются с постоянной скоростью. Это было хорошо известно Ньютону; еще Галилей в своей защите учения Коперника против распространенных возражений ссылался на то, что в закрытом пространстве внутри движущегося корабля никаким механическим опытом нельзя обнаружить движение корабля.
