Теорема века. Мир с точки зрения математики

В этих условиях они могли бы знать единственную константу, которая имела бы единственное, абсолютно неизменяемое значение; без сомнения, они были бы склонны рассматривать ее как константу существенную.

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

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

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

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

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

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

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