Мир математики. т.4. Когда прямые искривляются. Неевклидовы геометрии - Гомес Жуан (читать книги онлайн бесплатно полные версии txt) 📗

Около 300 г. до н. э. Евклид написал свой магнум опус, великий труд «Начала», содержащий практически все известные в то время математические сведения. Эта книга является, по-видимому, наиболее читаемой после Библии. В самом деле, она использовалась в качестве учебного пособия в течение почти 2000 лет и считалась нерушимой основой не только геометрии, но даже здравого смысла. Первая печатная версия «Начал» появилась в Венеции в 1482 г. Это был перевод с арабского языка на латинский. Первая версия прямого перевода с греческого на латынь была опубликована в 1303 г.

Страница из первой книги «Начал» Евклида. Издание Леонардо де Базилея и Гчльермо де Павия, 1491 г.

«Начала геометрии» (или «Начала») состоят из 13 книг, содержащих 463 утверждений, 372 теоремы и 93 задачи. Они не содержат обычного набора рутинных расчетов, которыми нагружают учеников в школе, а представляют собой логичный и структурированный свод современных знаний в стиле Платона. В соответствии со своими научными идеалами Платон говорил, что геометрия — это наука, которой занимаются ради познания. В седьмой книге диалога «Государство» он так объясняет свои представления об этой науке:

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

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

Следующие две книги излагают понятия пропорциональности и подобия многоугольников и содержат первое упоминание о золотой пропорции (в терминах «крайнего и среднего отношения»).

Книги с седьмой по девятую посвящены арифметике и рассматривают задачи, связанные с теорией чисел: делимость, простые числа, совершенные числа и так далее. Здесь определяется евклидово понятие числа. Евклид рассматривал все числа как геометрические отрезки, что соответствует современному понятию измеряемых величин.

Десятая книга дает классификацию чисел, называемых иррациональными, то есть таких чисел, которые не могут быть выражены в виде дроби. Последние три книги посвящены стереометрии (многогранникам, сферам и так далее). Здесь также рассматриваются пять правильных многогранников, так называемых «Платоновых тел», все грани которых равны и при этом являются правильными многоугольниками.

Евклид начинает изложение с простых, очевидных утверждений, которые могут быть легко и интуитивно поняты и не подлежат сомнению. Он называет их определениями, постулатами и аксиомами, и из них он выводит свои предложения, которые доказываются с помощью цепочек рассуждений. Основы учения Евклида сформулированы в первой книге «Начал», которая содержит 23 определения, 5 постулатов и 48 предложений.

* * *

* * *

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

Определение 1. Точка есть то, что не имеет частей.

Определение 2. Линия — это длина без ширины.

[…]

Определение 4. Прямая линия есть та, которая равно расположена по отношению к точкам на ней.

[…]

Определение 10. Когда же прямая, восставленная на другой прямой, образует смежные углы, равные между собой, то каждый из углов есть прямой, а восставленная прямая называется перпендикуляром к той, на которой она восставлена.

[…]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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