Очевидное? Нет, еще неизведанное…

3) откладывать отрезки AC₁ = C₁C₂ = … = C_m–1C_m = ^M/_n от точки А на отрезке AB, пока это возможно. Обозначим номер последнего m (например, 18);

4) увеличить неограниченно число n (разбивать масштабный метр на сантиметры, миллиметры и т. д.), находя каждый раз соответствующее число m (может быть, 183 см, 1834 мм…).

Это определение длины (или расстояния) остается и в специальной теории относительности.

Предел, к которому стремится отношение ^m/_n(¹⁸/₁₀; ¹⁸³/₁₀₀; ¹⁸³⁴/₁₀₀₀…), и называется длиной отрезка AB, измеренного с помощью масштабного отрезка M ^[7] .

Приведенное определение — типичный пример дедуктивной системы изложения — основного метода построения математики. Некоторым оно может показаться скучным и длинным, но другие, возможно, увидят в нем строгую и великолепную красоту математического мышления.

7

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

Теорема 1. Длина всякого отрезка существует и определяется единственным образом для данного выбора масштабного отрезка.

Теорема 2. Длины равных отрезков равны.

Теорема 3. Если отрезок AC есть сумма отрезков AB и BC, то его длина равна сумме длин этих отрезков.

Теорема 4. Длина масштабного отрезка равна единице.

Попросту говоря, определение длины состоит в следующем.

Дайте нам масштабный отрезок, длина которого, по определению, равна единице. Откладывая его на измеряемом отрезке, мы увидим, сколько раз он уложился. Это число и есть длина измеряемого отрезка. Чтобы точно найти, сколько раз уложился масштабный отрезок на измеряемом, надо уметь откладывать и дробные доли масштаба, а значит, уметь делить масштабный отрезок на сколь угодно малые равные части. Вот и все.

Довольно существенное добавление. Математическое определение переводится на обыденный житейский язык.

Так решают вопрос математики. Но для физика и этого строгого определения недостаточно. И вот почему.

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

Далее, в процессе определения длины незримо присутствует понятие «движение». Если обратиться к геометрии, то мы будем приятно поражены, узнав, что математики считают движение понятием первичным и никак его не определяют. Физиков же это не очень устраивает.

И наконец, последнее. Математикам хорошо. Они оперируют с идеальными геометрическими отрезками. Их масштабный отрезок M не расширится при нагревании, не сократится под давлением — он обладает только геометрическими, а не физическими свойствами.

Если же мы хотим иметь строгое определение длины, пригодное для физиков, необходимо учитывать реальные свойства масштабного отрезка, а значит, сформулировать какие-то добавочные постулаты, описывающие эти свойства.

После только что сказанного может сложиться впечатление, что попытка четко определить длину и процесс ее измерения в достаточной степени безнадежна.

Впрочем, в науке, как и в жизни, можно примириться с любыми тяготами избранного пути, если знать, к чему мы стремимся, видеть перспективу. А пока вообще не очевидно, следует ли физикам заниматься такими вопросами, как скрупулезный анализ понятий длины времени и т. п. Или же решение подобных проблем, говоря грубо, досужая, никому не нужная болтовня?

«Может быть, оставим, господа, все эти вопросы математикам? Им и карты в руки. Пусть они дают строгие определения. А мы и без определений знаем, что такое длина. Это, изволите видеть, понятно каждому. И длину движущегося поезда без всяких рецептов и прикладывания масштабов прекрасно измерим. Отметим, знаете ли, просто точку на полотне и одновременно точку, против которой начало паровоза имелось. И все. Потом можете прикладывать к поезду ваш масштаб — сойдется. И вообще, господа, сводить все к прикладыванию масштаба, извините, глупость! Извольте вашим способом измерить расстояние между вершинами двух гор. Не выйдет-с! Без триангуляции не обойдетесь. А в триангуляции, изволите видеть, измерение углов присутствует, в определение ваше не входящее.

Некие сомнения. Попутно автор проявляет юмор.

Жили мы, милостивые государи, без этих определений, слава те господи, почитай с Ньютона, и ничего, неплохо жили-с. Измеряем и расстояние до звезд и длину микроорганизмов. И все без прикладывания.

Конечно, не отрицаю, нечто разумное в определении сем присутствует. К примеру-с, масштабный отрезок. Эталон длины иметь нужно, согласны? Но об эталоне длины, позвольте сказать, мы не менее вашего наслышаны. Без малого сто лет за семью замками храним. В подвалах-с.

А в целом все это не то. Натуру изучайте. Феномены-с. А основ механики не касайтесь. Здесь не вам чета люди трудились. Ньютон-с, к вашему сведению!»

Можно представить, что примерно такую отповедь пришлось бы нам выслушать от какого-либо ординарного профессора физики середины XIX века.

И с горечью приходится признать, что пока нечего возразить. Опыт, весь опыт классической физики свидетельствует против нас. Действительно, ведь обходились раньше без определений.

Тем не менее в данном случае физики основательно просчитались. Лишь Эйнштейн показал, что до теории относительности они, по существу, не знали, с какими представлениями о природе мира, о природе времени и пространства связана их наука.

Сейчас всем ясно, что такие понятия, как время или длина, нуждаются в совершенно четком определении, что в физике нет и не может быть места для самоочевидных утверждений.

Однако необходим был Эйнштейн, чтобы эти замечания, столь убедительные, когда их высказывают в общей форме, на деле стали достоянием ученых.

Физик XIX столетия не интересовался основами основ своей науки в первую очередь потому, что был убежден в невозможности появления каких-либо принципиально новых теорий.

Можно повторить, что в аналогичном случае математики оказались принципиальнее. Примерно два тысячелетия геометры мучились над доказательством пятого постулата Эвклида (постулата параллельности), руководствуясь при этом, пожалуй, только чисто эстетическими соображениями. Постулат о параллельных прямых выделялся среди остальных аксиом геометрии своей сравнительной неочевидностью и обособленностью. Именно это очень не нравилось математикам. Никакой другой причины для объяснения настойчивых попыток доказать пятый постулат не видно.