V Постулат Евклида

Во-первых, сразу бросается в глаза его сложность. Это-то и послужило поводом для многочисленных попыток доказать его как теорему. Евклид, видимо, сам понимал необъяснимость V постулата и поэтому первые 28 предложений «Начал» доказаны без него. Без V постулата доказывается теорема о равенстве треугольников, в равнобедренном треугольнике углы при основании равны.

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

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

С ее помощью доказываются так же утверждения эквивалентные V постулату.

I. Через любую точку, не лежащую на данной прямой, проходит только одна прямая \\ данной.

II. Две параллельные прямые при пересечений их третьей прямой образуют равные соответственные углы.

III. Сумма внутренних углов треугольника равна двум прямым.

IV. Точки, расположенные по одну сторону от данной прямой и на одном и том же расстоянии, образуют прямую.

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

VI. Существует треугольники с произвольно большой площадью.

VII. Существует подобные, но не равные треугольники.

Эквивалентность 1 и 3 V постулату доказана в книге Атанасяна и Базылева. Из многочисленных сочинений, посвященных V постулату, следует сказать о работах Саккери, Ламберта и Лежандра. Подробно об их работах написано в Ефимов Н.В. «Высшая геометрия». Все они пытались доказать V постулат. От этих работ остались две теоремы Саккери-Лежандра.

Тh.1. Сумма углов любого треугольника не больше 2d (доказательство самостоятельно).

Тh.2. Если в одном треугольнике сумма углов равна 2d, то сумма углов любого треугольника равна 2d.

ß

VÛ8. Существует хотя бы один треугольник, сумма углов которого равна 2d.

И лишь в начале XIX века путь к решению этой проблемы был начат Николаем Ивановичем Лобачевским 20/II 1826г. Он делал доклад на физико-математическом факультете Казанского университета. «Рассуждения о принципах геометрии». Здесь была попытка построить геометрию без V постулата и Лобачевский не пришел ни к какому противоречию.

В Венгрии Янош Бояйи (1832) и знал Гаусс.

Если во времена Евклида уровня абстракции вполне хватало, для научных нужд того времени, то в связи с работами Гаусса, Лобачевского и Римана, такой уровень перестал устраивать математиков, да и физиков тоже. В конце 60-ых годов перед математиками возникла задача построить такую систему аксиом элементарной геометрии, на базе которой, опираясь лишь на законы логики, без ссылок на наглядность и очевидность можно было бы изложить всю геометрию.

Паш, Пеано, Пиери, Гильберт и Вейль.

О значений неевклидовой геометрии в вопросах обоснования геометрий:

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