Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
кулакова 1.docx
Скачиваний:
918
Добавлен:
19.03.2016
Размер:
1.06 Mб
Скачать

1. Через две различные «точки» проходит «прямая»

2. На «прямой» имеется не менее двух «точек»

Легко определить случай, при котором одна из трёх «точек» лежит на «прямой» «между» двумя другими. Когда A(x1; y1), B(x2; y2) и C(x3; y3) – три «точки», лежащие на одной «прямой», «точка» B считается расположенной «между» A и C при условии, что число x2 заключено между числами x1 и x3 (если x1 = x2 = x3, то y2 заключено между y1 и y3). Тогда очевидно, что

3. Из трёх «точек», лежащих на одной «прямой», одна и только одна расположена между двумя другими.

Выполняются и другие аксиомы порядка (в частности, аксиома Паша). Заметим, что мы специально не иллюстрируем содержание аксиом чертежами, поскольку при чисто аксиоматическом изложении не следует использовать привычные геометрические представления.

Будем говорить, что две «прямые» a1x + b1y + c1 = 0 и a2x + b2y + c2 = 0 «параллельны», если коэффициенты a1, b1 и a2, b2 пропорциональны. Это можно кратко записать равенством a1b2 – a2b1 = 0. Нетрудно проверить, что две «параллельные» «прямые» либо не имеют ни одной общей «точки», либо совпадают (в обычной геометрии тоже часто принимают, что прямая параллельна самой себе). Более того,

4. Через любую «точку» A1(x1; y1) проходит одна и только одна «прямая», параллельная данной «прямой» Ax + By + C = 0.

Иначе говоря, в указанной модели выполняется аксиома параллельности. Можно здесь говорить и о длинах отрезков, и о величинах углов. Например, «расстоянием» между двумя «точками» A1(x1; y1) и A2(x2; y2) называется число A1A2 =

Далее, в привычной евклидовой геометрии справедлива теорема косинусов: cos C =

(величина угла С равна арккосинусу правой части равенства. Можно возразить, что тригонометрические функции (и, в частности, косинус) определяются геометрически и обойтись без обычной евклидовой геометрии в данном случае невозможно. Однако это неверно. В математическом анализе доказывается, что функция cos x задаётся бесконечным рядом cos x = ,

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

Так же легко проверить, что в ней выполняются и аксиомы конгруэнтности (в частности, первый и второй признаки равенства треугольников). В итоге все гильбертовы аксиомы (представляющие собой развитие и уточнение аксиом Евклида) в рассматриваемой модели выполняются. Это и означает, что система аксиом евклидовой геометрии условно непротиворечива. Другими словами, она непротиворечива, если непротиворечива теория действительных чисел.

1.4 Другие системы аксиом геометрии

Вернёмся, однако, к евклидовой геометрии. В настоящее время систему аксиом Гильберта часто заменяют эквивалентной ей системой. Мы приведём те группы аксиом одной такой системы, по которым она отличается от вышеизложенной системы (группы аксиом порядка и движения, заменяющей в этой системе группу аксиом конгруэнтности).

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