Шрифт:
• Площадь круга равна ?r2.
Отличительной особенностью геометрии Евклида является система аксиом. Мы принимаем набор постулатов — аксиом, — которые служат логической основой для доказательства теорем, то есть утверждений типа «если эти аксиомы верны, то верен и вот этот вывод». Соглашаясь с такой логической основой (хотя, разумеется, это не обязательно; например, у философов есть к ней вопросы), мы считаем теоремы доказанными.
Такой подход сильно отличается от принятого в других науках, эмпиричных и склонных к фальсификациям, в которых любая теория может оказаться неверной, сколько бы доказательств не было приведено в ее подтверждение. Ученые выдвигают гипотезы о свойствах нашего мира и проверяют их по фактическим данным. От результатов проверки зависит то, как принимаются эти гипотезы. Нельзя быть до конца уверенными в том, что они верны, поскольку в будущем могут быть собраны новые данные, которые все опровергнут. Но в геометрии, да и в целом во всей математике и логике, все очень четко: если верны аксиомы, будут верны и теоремы [19] .
19
Те, кто следит за научными дискуссиями, может заметить некую «иерархию», в которой понятия ранжируются по степени достоверности. На первой ступени идут «гипотезы» (которые не сильно надежнее догадок), затем «модели», «теории» и, наконец, «законы». Однако в обиходе настоящих ученых все эти термины пересекаются настолько, что пропадает всякий полезный смысл отличать один от другого. С другой стороны, существует важное и четкое различие между «теориями» — научными моделями устройства мира — и «теоремами» — хитроумно доказанными математическими утверждениями.
По большей части аксиомы Евклида — это разумно звучащие утверждения, которые имеют смысл как основы для геометрии. Взять, например, «между любыми двумя точками можно провести прямую» или «все прямые углы равны». Но есть одна, которая всегда выделялась на фоне других. Это так называемый пятый постулат Евклида — аксиома параллельности. Если построить на плоскости две изначально параллельные прямые, например проведя их через концы какого-то отрезка под прямым углом к нему, эти прямые всегда будут отстоять друг от друга на одинаковое расстояние. (На самом деле Евклид сформулировал свой постулат так: «И если прямая, падающая на две прямые, образует внутренние и по одну сторону углы, меньшие двух прямых [углов], то, продолженные неограниченно, эти прямые встретятся с той стороны, где углы меньше двух прямых».)
С учетом наших представлений о плоскостях все это кажется очень разумным. (Математики видят плоскости, уходящие в бесконечность во всех направлениях, обычные люди могут вообразить себе стол или лист бумаги.) Однако нельзя отрицать, что эта аксиома выглядит несколько неуклюже по сравнению с другими. В течение многих лет геометры думали, что можно доказать аксиому параллельности, используя другие постулаты Евклида, то есть перевести ее в разряд теорем. Когда я проходил геометрию в старших классах, учитель шутил над нами, предлагая дополнительные баллы тем, кто справится с этой задачей. Однако никто из нас так и не преуспел.
Неевклидова геометрия
Я не хочу так шутить. Доказать аксиому о параллельности другими аксиомами Евклида не представляется возможным. Мы знаем это, поскольку заменив этот постулат другим и добавив его к остальным аксиомам, можно получить новый, альтернативный, но полностью состоятельный вариант геометрии.
Такие геометрии по понятным причинам логично названы неевклидовыми.
Легко представить себе этот «другой» постулат. Если Евклид утверждает, что две изначально параллельные прямые не пересекаются, значит, нам нужно сказать, что это не так. И здесь есть два варианта: прямые могут сходиться или же расходиться.
Не беспокойтесь о том, что настоящие параллельные прямые линии ведут себя по-другому. Мы слишком сильно привыкли к учению Евклида о геометрии плоскостей и аналогичных объектов. Плоскости плоские, у них нет кривизны. Альтернативные аксиомы будут работать в иных двумерных пространствах, где кривизна есть.
Это совсем не означает, что неевклидовы геометрии полностью абстрактны и гипотетичны. Ведь существуют двумерные формы, отличные от плоскостей. Например, можно задаться вопросом: что будет с параллельными прямыми на сфере? (При этом нас интересует только поверхность сферы, а не то, что у нее внутри.)
Возможно, вы спросите о том, как можно нарисовать прямую на сфере? Ведь то, что на сфере можно провести, не будет прямой. Пока что просто подумайте о больших кругах или их фрагментах. Большой круг — это замкнутая кривая, которая образуется при пересечении сферы плоскостью, проходящей через ее центр. Например, это экватор или меридианы (но не параллели!). Однако мы можем представить себе большие круги, наклоненные под любым углом.
Итак, рассмотрим отрезок экватора и две прямые, идущие из его концов на север под прямым углом. Пусть они будут как можно более прямыми, то есть большими кругами. Как к этому ни относись, они встретятся: в данном случае на северном полюсе.
При переходе от плоскости к сфере меняются и другие любимые нами свойства геометрии Евклида. Рассмотрим окружность с радиусом r и центром на северном полюсе. Как видно из рисунка, длина этой окружности будет меньше 2?r, а площадь круга, который она ограничивает, — больше ?r2. (Если радиус дойдет до южного полюса, то периметр будет равен нулю.) К тому же сумма внутренних углов треугольника, как правило, больше 180°. Например, можно построить треугольник с тремя прямыми углами, соединив отрезки длиной по четверти длины трех больших кругов. Евклид, должно быть, переворачивается в могиле.