Многие из доказательств — как, например, доказательства равенства треугольников, доказательство возможности опустить перпендикуляр из точки на прямую — предполагают предложения, которые прямо не указываются, так как они требуют допущения возможности переносить фигуру в пространстве определенным образом.
Четвертая геометрия. Среди этих скрытых аксиом, мне кажется, есть одна, которая заслуживает некоторого внимания, так как, опуская ее, можно построить четвертую геометрию, столь же свободную от внутренних противоречий, как и геометрии Евклида, Лобачевского и Римана.
Чтобы доказать, что всегда можно восставить из точки A перпендикуляр к прямой АВ, рассматривают прямую АС, вращающуюся около точки A и сначала сливающуюся с неподвижной прямой АВ; ее поворачивают около A до тех пор, пока она не образует продолжения АВ.
Таким образом допускаются два предположения: во-первых, что подобное вращение возможно и, во-вторых, что можно продолжать его до тех пор, пока две прямые не составят продолжение одна другой. Если мы допустим первое и откинем второе, то придем к ряду теорем, еще более странных, чем теоремы Лобачевского и Римана, но в такой же степени свободных от противоречия.
Я приведу только одну из этих теорем и притом не из самых странных: действительная прямая может быть перпендикулярна сама к себе.
Теорема Ли. Число аксиом, скрытым образом введенных в классические доказательства, больше, чем это необходимо. Было бы интересно свести это число к минимуму. Можно спросить себя сначала, осуществимо ли это желание — не беспредельно ли и число необходимых аксиом и число воображаемых геометрий. В этого рода исследованиях первое место занимает теорема Софуса Ли. Ее можно выразить так:
Предположим, что допускаются следующие положения:
1. Пространство имеет n измерений.
2. Движение неизменяемой фигуры возможно.
3. Необходимо p условий, чтобы определить положение этой фигуры в пространстве.
Число геометрий, совместимых с этими положениями, будет ограниченное.
Я могу даже прибавить, что если n дано, то для p можно указать высший предел.
Следовательно, если допустить возможность движения неизменяемой фигуры, то можно будет придумать лишь конечное число (и даже довольно ограниченное) геометрических систем трех измерений.
Геометрии Римана. Между тем этот результат, по-видимому, находится в противоречии с заключениями Римана, так как этот ученый построил бесчисленное множество различных геометрий (та, которой обыкновенно дают его имя, есть не более чем частный случай).
Все зависит, говорит Риман, от способа, которым определяют длину кривой. Но существует бесконечное множество способов определять эту длину, и каждый из них может сделаться точкой отправления новой геометрии. Это совершенно верно; но большинство этих определений несовместимо с движением неизменяемой фигуры, которое предполагается возможным в теореме Ли. Эти геометрии Римана, столь интересные с различных точек зрения, могут быть лишь чисто аналитическими, и они не поддаются доказательствам, которые были бы аналогичны евклидовым.
Геометрии Гильберта. Наконец, Веронезе и Гильберт придумали новые, еще более странные геометрии, которые они назвали неархимедовыми. Они построили их, устранив аксиому Архимеда, в силу которой любая данная протяженность, умноженная на целое достаточно большое число, в конечном счете превзойдет любую данную протяженность, сколь бы велика она ни была. На неархимедовой прямой существуют все точки нашей обычной геометрии, но имеются множества других, которые вставляются между ними, так что между двумя отрезками, которые геометры старой школы рассматривали как смежные, оказывается возможным поместить множество новых точек. Одним словом, неархимедовы пространства уже не являются более непрерывностью второго порядка, если применять язык предыдущей главы, они суть непрерывность третьего порядка.
О природе аксиом. Большинство математиков смотрят на геометрию Лобачевского как на простой логический курьез; но некоторые из них идут дальше. Раз возможно несколько геометрий, то достоверно ли, что наша геометрия есть истинная? Без сомнения, опыт учит нас, что сумма углов треугольника равна двум прямым; но это потому, что мы оперируем треугольниками слишком малыми; разность, по Лобачевскому, пропорциональна площади треугольника; не может ли она сделаться заметной, когда мы будем оперировать большими треугольниками или когда наши измерения сделаются более точными? Таким образом, евклидова геометрия была бы только временной геометрией.