Археология об основании Рима: Новые раскопки проясняют и такой острый дискуссионный вопрос, как дата самого возникновения Рима...
Опора деревянной одностоечной и способы укрепление угловых опор: Опоры ВЛ - конструкции, предназначенные для поддерживания проводов на необходимой высоте над землей, водой...
Топ:
Устройство и оснащение процедурного кабинета: Решающая роль в обеспечении правильного лечения пациентов отводится процедурной медсестре...
Оценка эффективности инструментов коммуникационной политики: Внешние коммуникации - обмен информацией между организацией и её внешней средой...
Особенности труда и отдыха в условиях низких температур: К работам при низких температурах на открытом воздухе и в не отапливаемых помещениях допускаются лица не моложе 18 лет, прошедшие...
Интересное:
Что нужно делать при лейкемии: Прежде всего, необходимо выяснить, не страдаете ли вы каким-либо душевным недугом...
Финансовый рынок и его значение в управлении денежными потоками на современном этапе: любому предприятию для расширения производства и увеличения прибыли нужны...
Мероприятия для защиты от морозного пучения грунтов: Инженерная защита от морозного (криогенного) пучения грунтов необходима для легких малоэтажных зданий и других сооружений...
Дисциплины:
2017-12-13 | 443 |
5.00
из
|
Заказать работу |
Эта группа аксиом описывает отношения инцидентности (связи и принадлежности) между точками, прямыми и плоскостям.
1. Для любых двух различных точек существует прямая, инцидентная этим точкам.
2. Для любых двух различных точек существует не более одной прямой, инцидентной этим точкам.
3. Для каждой прямой существуют, по крайней мере, две точки, ей инцидентные. Существуют три точки, не инцидентные одной прямой.
4. Для любых трех точек, не инцидентных прямой, существует плоскость, инцидентная этим точкам. Для каждой плоскости существует, по крайней мере, одна точка, ей инцидентная.
5. Для трех различных точек, не инцидентных прямой, существует не более одной плоскости, инцидентной этим точкам.
6. Если две точки прямой инцидентны плоскости, то каждая точка этой прямой инцидентна плоскости (т.е. вся прямая инцидентна плоскости).
7. Если две плоскости имеют точку инцидентную им, то существует, по крайней мере, еще одна точка, им инцидентная.
8. Существуют четыре точки, не инцидентные одной плоскости.
Заметим, что аксиомы 3 и 4 содержат по два требования. Приведем примеры типичных утверждений, доказываемых в группе 1.
Теорема 1.
Две различные точки определяют одну и только одну прямую им инцидентную.
Теорема 2.
Три точки, не инцидентные одной прямой определяют одну и только одну плоскость им инцидентную.
Теорема 3.
Прямая и не инцидента ей точка определяют одну и только одну плоскость, им инцидентную.
И так далее.
Группа 2. Аксиомы порядка.
Аксиомы этой группы определяют линейный порядок точек на прямой и понятие полуплоскости относительно прямой на плоскости, первая аксиома содержит два требования.
9. Если А,В,С - три точки инцидентные прямой, и точка В лежит между точками А, С, то: а) точки А, В, С различны; б) точка В лежит между точкой С и точкой A.
10. Для любых двух точек А, В, инцидентных прямой а, существует точка С прямой а такая, что точка В лежит между точками А и С.
11. Для трех различных точек, инцидентных прямой, существуют не более одной из них, которая лежит между двумя оставшимися.
Для формулировки следующей аксиомы требуется дать некоторые определения, являющиеся логическими следствиями уже сформулированных аксиом 1-11.
Определение.
Две точки А и В определяют на прямой отрезок АВ.
Следствие.
Согласно аксиомам 9-11 на этой прямой существуют точки, внешние и внутренние по отношению к отрезку АВ.
Определение.
Совокупность трех точек А, В, С, не инцидентных одной прямой, и трех отрезков АВ, АС и ВС называется треугольником.
Аксиома Паша.
12. Пусть задан треугольник АВС и в его плоскости прямая а, не проходящая через точки А, B, C. Если прямая а пересекает одну сторону АС треугольника, то она пересекает, по крайней мере, еще одну сторону.
Е |
D |
B |
C |
A |
Рис. 2.1 |
E D B |
Теорема 4.
Отрезок АВ имеет бесконечное множество внутренних точек (т.е. точек, лежащих между точками А и В).
Схема доказательства.
(1) существует точка С, не принадлежащая прямой АВ, (акс.3), рис.2.1;
(2) существует точка D на прямой АС такая, что точка C лежит между А и D;
(3) существует прямая ВD, (акс.1-2) и существует точка Е такая, что D лежит между В и Е;
(4) прямая ЕС по аксиоме Паша имеет общую с АВ точку F 1 (иначе ЕС совпадет с ЕD).
(5) аналогично доказывается, что на АF 1существует еще одна точка F 2, и т.д.
Теорема доказана.
Примечательно то, что для доказательства существования внутренних точек отрезка приходится “выходить” на плоскость. Далее можно определить понятия луча, полуплоскости, угла, многоугольника и т.д.
Состав сооружений: решетки и песколовки: Решетки – это первое устройство в схеме очистных сооружений. Они представляют...
Историки об Елизавете Петровне: Елизавета попала между двумя встречными культурными течениями, воспитывалась среди новых европейских веяний и преданий...
Таксономические единицы (категории) растений: Каждая система классификации состоит из определённых соподчиненных друг другу...
Общие условия выбора системы дренажа: Система дренажа выбирается в зависимости от характера защищаемого...
© cyberpedia.su 2017-2024 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав. Мы поможем в написании вашей работы!