Книга Путеводитель для влюблённых в математику, страница 53. Автор книги Эдвард Шейнерман

Разделитель для чтения книг в онлайн библиотеке

Онлайн книга «Путеводитель для влюблённых в математику»

Cтраница 53

Чтобы дать старт геометрии, Евклид сформулировал пять основных постулатов. В грубом переводе они звучат так:

1. Если даны две точки, есть одна и только одна прямая, проходящая через эти точки.

2. Если дан отрезок, его можно неограниченно продолжать по прямой.

3. Если дана точка и отрезок, есть одна и только одна окружность с центром в данной точке и радиусом, равным данному отрезку.

4. Любые два прямых угла [189] равны между собой.

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


Путеводитель для влюблённых в математику

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

Обозначим исходную прямую L0, а две другие – L1 и L2. Прямые L0 и L1, а также L0 и L2 пересекаются под некоторыми углами.

Постулат требует от нас рассмотреть ситуацию, при которой внутренние углы (лежащие по одну сторону от L0) меньше прямых. Стрелочки на рисунке указывают на углы, которые имел в виду Евклид. Они лежат по одну сторону L0 и обращены друг к другу.

Переходим к сути постулата. Если эти два угла меньше прямых, L1 и L2 вынуждены пересечься. Точки пересечения нет на рисунке, но несложно видеть, что прямые действительно неминуемо встретятся.

Приняв эти пять постулатов за данность, Евклид перешел к доказательству сонма дивных теорем.

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

Мы предлагаем вашему вниманию более простой вариант.

5'. Если дана прямая и точка, не лежащая на данной прямой, есть одна-единственная прямая, проходящая через данную точку и не пересекающая ее.

Эта альтернативная версия пятого постулата Евклида известна под названием постулат о параллельных прямых [190]. Посмотрим, что он означает.

Нам даны прямая L и точка P, не лежащая на ней. Посмотрите на рисунок. Постулат 5' утверждает, что существует другая прямая, проходящая через точку P и параллельная данной (обозначена пунктирной линией), причем одна-единственная.


Путеводитель для влюблённых в математику

Математики показали, что пятый постулат Евклида и постулат о параллельных прямых эквивалентны. Это означает, что теоремы, которые мы можем доказать на основе первых четырех постулатов и постулата 5, – те же самые, что можно доказать на основе первых четырех постулатов и постулата 5'.

Несмотря на то что формулировка 5' несколько проще, чем 5, все же она не настолько изящная и блестящая, как первые четыре. Можно ли избавиться от нее? Можно ли доказать постулат о параллельных прямых как теорему и не принимать в качестве фундаментального утверждения?

Постулат о параллельных прямых накладывает два условия: во-первых, существует прямая, проходящая через точку P и не пересекающая прямую L; во-вторых, все другие прямые, проходящие через эту точку, будут пересекать L.

Естественный способ справиться с проблемой – попробовать доказательство от противного. Мы обсуждали этот метод в главе 1. Вот его логика.

(A) Чтобы доказать существование прямой, проходящей через точку P и параллельной L, предположим, что такой прямой не существует.

(B) Чтобы доказать единственность этой прямой, предположим, что существуют две или больше прямых, проходящих через P и параллельных L.

Дальше мы выстраиваем цепочку умозаключений, пока не дойдем до противоречия. Оно свидетельствует о фундаментальной ошибочности утверждения (A) или (B) – смотря что мы предположили:

• Если предположение об отсутствии вышеописанной прямой приводит к противоречию, она существует.

• Если предположение о существовании нескольких вышеописанных прямых приводит к противоречию, такая прямая единственная.

Математики бились как проклятые – и потерпели поражение. Говоря точнее, результат казался диким (треугольник с суммой углов не 180°), но противоречия в нем не было.

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

В случае постулата о параллельных прямых идеи получше возникли, но не такого рода, как можно было ожидать [191].

Что такое прямая?

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

Интуитивно мы понимаем, что такое прямая: она тонкая (у нее нет толщины), ровная и бесконечно продолжается в обоих направлениях. Но такое описание – еще не математическое определение. Чем прямая линия отличается от кривой? Закрепить эту идею не так-то просто.

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

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

Вход
Поиск по сайту
Ищем:
Календарь
Навигация