Когда прямые искривляются. Неевклидовы геометрии (Гомес) - страница 10

[…]

Определение 23. Параллельные — суть прямые, которые, находясь в одной плоскости и будучи продолжены в обе стороны неограниченно, ни с той, ни с другой стороны между собой не встречаются.

Затем формулируются следующие аксиомы.

1. Равные одному и тому же равны и между собой.

2. Если к равным прибавляются равные, то и целые будут равны.

3. Если от равных отнимаются равные, то остатки будут равны.

4. Совмещающиеся друг с другом равны между собой.

3. Целое больше части.

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

Далее Евклид формулирует пять знаменитых постулатов.

I. От всякой точки до всякой точки можно провести прямую линию.

II. Любой отрезок можно непрерывно продолжать по прямой линии.

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

IV. Все прямые углы равны между собой.

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

В соответствии с пятым постулатом, если сумма углов меньше двух прямых углов, то прямые линии будут сходиться (пересекутся). Значит, верно и обратное: если сумма углов больше двух прямых углов, то прямые линии никогда не пересекутся (они будут расходиться). Что произойдет, если сумма углов равна двум прямым углам? Тогда прямые линии и не сходятся, и не расходятся, то есть они будут параллельными и никогда не пересекутся. Однако пятый постулат вскоре стал вызывать сомнения. Во-первых, его формулировка является более сложной, чем у других постулатов, и не кажется интуитивно ясной. Даже Евклид долго не использует пятый постулат, пока не формулирует предложение 32:

Как потом доказал сам Евклид, это утверждение эквивалентно пятому постулату. Все треугольники образованы пересечением двух непараллельных прямых, которые затем пересекаются третьей. Параллельные линии в пятом постулате представляют собой особый случай, когда третья прямая перпендикулярна двум другим, и тогда два угла в сумме равны 180°, не оставляя ничего третьему углу треугольника.

Следовательно, по Евклиду нельзя построить треугольник с двумя прямыми углами.

Знаменитая теорема Пифагора также является еще одним частным случаем пятого постулата, когда только один из углов равен 90°: