Методические рекомендации для студентов III курса (стр. 2 из 3)
Аксиомы:
Для любых двух различных точек существует единственная прямая, проходящая через эти точки. 
Для любых двух различных прямых существует единственная общая точка. 
Существуют хотя бы четыре различные точки, никакие три из которых не лежат на одной прямой. 
Каждой прямой принадлежит точно 
точек, где 
и 
– некоторое натуральное число.1. Проверить, что конфигурация Фано является моделью конечной проективной плоскости порядка 2.
, 
, 
; 
; 
; 
; 
; 
; 
.2. Доказать независимость аксиом
от остальных аксиом конечной проективной плоскости.III. Определен род структур:
База: символы
, обозначающие непустые множества, элементы которых будем называть соответственно точками и прямыми.Отношения:
– отношение принадлежности.Аксиомы:
Каждая прямая есть множество точек. Для любых двух различных точек существует прямая, проходящая через эти точки, и притом только одна. На каждой прямой лежит, по крайней мере, две точки. Существуют, по крайней мере, три точки, не лежащие на одной прямой. 
Для любой прямой 
и любой точки 
, не лежащей на этой прямой, существует прямая, проходящая через точку и не пересекающая прямую . 
Для любой прямой и любой точки , не лежащей на этой прямой, существует не более одной прямой, проходящей через точку 
, и не пересекающей прямую .1. Выяснить, какие из аксиом
– 
выполняются в следующей модели: 
, 
, 
, 
, 
.2. Выяснить, какие из аксиом
– выполняются в следующей модели: 
, 
, 
, 
.3. Доказать непротиворечивость системы аксиом
– .4. Выяснить вопрос о независимости аксиом системы
– .IV. Определен род структур:
База: символы
, обозначающие непустые множества, элементы которых будем называть соответственно точками и прямыми.Отношения:
– отношение принадлежности.Аксиомы:
На каждой прямой лежит, по крайней мере, две точки. Для любых двух различных точек существует прямая, проходящая через эти точки, и притом только одна. Существуют, по крайней мере, три точки, не лежащие на одной прямой.1. Доказать непротиворечивость системы аксиом
– 
.2. Доказать независимость аксиом
, 
, от остальных аксиом системы.Занятие 3. Аксиоматика Вейля евклидовой плоскости.
1. Определить структуру евклидовой плоскости в схеме Вейля.
2. Доказать непротиворечивость аксиоматики Вейля евклидовой плоскости.
3. Определить в схеме Вейля прямую, отрезок, луч, полуплоскость, параллельные и перпендикулярные прямые, параллелограмм, окружность, круг.
4. Доказать, что существуют три точки, не лежащие на одной прямой.
5. Доказать, что существуют пары прямых, проходящих через общую точку.
6. Доказать теорему косинусов.
7. Доказать теорему о средней линии треугольника.
8. Доказать, что сумма квадратов диагоналей параллелограмма равна сумме квадратов его сторон.
9. Доказать, что прямые, содержащие высоты треугольника, пересекаются в одной точке.
Занятие 4. Контроль остаточных знаний.
Занятие 5-6. Предложения, эквивалентные V постулату Евклида относительно аксиом Гильберта абсолютной геометрии.
На занятии обсуждаются доклады студентов с доказательствами эквивалентности относительно системы аксиом Гильберта абсолютной геометрии V постулата Евклида и каждого из следующих предложений [11], [15]:
1. Две прямые, не пересекающиеся между собой, образуют с любой третьей секущей их прямой равные соответственные углы.
2. Предложение Плейфера: Через точку, не лежащую на прямой, проходит не более одной прямой, не пересекающей данную прямую.
3. Предложение Лежандра: Перпендикуляр и наклонная к прямой всегда пересекаются.
4. Предложение Вольфганга Бойяи: Через три точки, не лежащие на одной прямой, можно провести окружность.
5. Сумма углов всякого треугольника равна двум прямым углам.
6. Предложение Посидония: В плоскости существуют, по меньшей мере, три точки, равноотстоящие от данной прямой и лежащие на одной прямой.
7. Предложение Валлиса: В плоскости существует хотя бы одна пара неравных, подобных треугольников.
8. Предложение Насир-Эддина: Если в простом четырехугольнике
углы при основании 
прямые, а угол при вершине 
острый, то 
.9. Предложение Лежандра: Через всякую внутреннюю точку угла можно провести прямую, пересекающую обе стороны угла.
Занятие 7-8. Различные варианты обоснования школьного курса геометрии.