Определение 2. Линия — это длина без ширины.
[…]
Определение 4. Прямая линия есть та, которая равно расположена по отношению к точкам на ней.
[…]
Определение 10. Когда же прямая, восставленная на другой прямой, образует смежные углы, равные между собой, то каждый из углов есть прямой, а восставленная прямая называется перпендикуляром к той, на которой она восставлена.
[…]
Определение 23. Параллельные — суть прямые, которые, находясь в одной плоскости и будучи продолжены в обе стороны неограниченно, ни с той, ни с другой стороны между собой не встречаются.
Затем формулируются следующие аксиомы.
1. Равные одному и тому же равны и между собой.
2. Если к равным прибавляются равные, то и целые будут равны.
3. Если от равных отнимаются равные, то остатки будут равны.
4. Совмещающиеся друг с другом равны между собой.
3. Целое больше части.
В отношении фигур Евклид не говорит об их равенстве, а старается использовать слово «конгруэнтность». В общем случае под конгруэнтностью геометрических фигур понимается тот факт, что при наложении друг на друга они совпадают.
Далее Евклид формулирует пять знаменитых постулатов.
I. От всякой точки до всякой точки можно провести прямую линию.
II. Любой отрезок можно непрерывно продолжать по прямой линии.
III. Имея любой отрезок, можно описать круг с радиусом, равным длине этого отрезка, и с центром в одном из концов этого отрезка.
IV. Все прямые углы равны между собой.
V. Если две прямые пересекаются третьей, так что с одной стороны сумма внутренних углов меньше двух прямых углов, то эти две прямые неизбежно пересекаются друг с другом по эту сторону, будучи продленными достаточно далеко.
В соответствии с пятым постулатом, если сумма углов меньше двух прямых углов, то прямые линии будут сходиться (пересекутся). Значит, верно и обратное: если сумма углов больше двух прямых углов, то прямые линии никогда не пересекутся (они будут расходиться). Что произойдет, если сумма углов равна двум прямым углам? Тогда прямые линии и не сходятся, и не расходятся, то есть они будут параллельными и никогда не пересекутся. Однако пятый постулат вскоре стал вызывать сомнения. Во-первых, его формулировка является более сложной, чем у других постулатов, и не кажется интуитивно ясной. Даже Евклид долго не использует пятый постулат, пока не формулирует предложение 32:
«Сумма углов треугольника равна двум прямым углам (180°)».
Как потом доказал сам Евклид, это утверждение эквивалентно пятому постулату. Все треугольники образованы пересечением двух непараллельных прямых, которые затем пересекаются третьей. Параллельные линии в пятом постулате представляют собой особый случай, когда третья прямая перпендикулярна двум другим, и тогда два угла в сумме равны 180°, не оставляя ничего третьему углу треугольника.
Следовательно, по Евклиду нельзя построить треугольник с двумя прямыми углами.
Знаменитая теорема Пифагора также является еще одним частным случаем пятого постулата, когда только один из углов равен 90°:
«В прямоугольном треугольнике квадрат гипотенузы равен сумме квадратов двух других сторон».
Таким образом, оказывается, что, по сути, существует несколько утверждений, эквивалентных пятому постулату, о которых сам Евклид, возможно, не догадывался.
Пятый постулат, по сути, вызвал сумятицу. Понятие параллельных прямых, которые можно неограниченно продолжать, фактически вводило понятие бесконечности.
Кроме того, по формулировке Евклида пятый постулат больше похож на теорему, чем на универсальную истину. Таким образом, на протяжении веков многие математики были убеждены, что это на самом деле свойство прямых, которое может быть доказано, и поэтому пытались найти доказательство. В результате появилось большое количество эквивалентных формулировок пятого постулата. Наиболее важные из них (именно с точки зрения новых геометрий) приведены ниже.
Греческий философ Прокл (410–485) был самым известным представителем афинской школы математики. Его постулат о равноудаленности формулируется следующим образом:
«Прямая, параллельная данной прямой, сохраняет постоянное расстояние от нее».
* * *
ГЕОМЕТРИЯ В ИСКУССТВЕ
Художники в своих работах используют точки, прямые линии и другие геометрические объекты. Их работы очень помогают при ответе на вопросы «что такое точка?», «что такое прямая линия?», «что мы имеем в виду под параллельностью?» Василий Кандинский (1866–1944) был русским художником, поэтом, драматургом и педагогом. Научные исследования в области права и экономики он сочетал с занятиями графикой и живописью. Его преподавательский опыт отражен в трактате «Точка и линия на плоскости» (1925), где Кандинский определил прямую линию как «след перемещающейся точки».