Дипломная работа: Евклідова і неевклідова геометрії

Теорема 11. Між будь-якими двома крапками прямої існує нескінченно багато інших її крапок.

Теорема 12. Нехай кожна із крапок С и D лежить між крапками А и В. Тоді якщо М лежить між С и D, те М лежить і між А и В.

Теорема 13. Якщо крапки С и D лежать між крапками А и В, то всі крапки відрізка СD належать відрізку АВ (у цьому випадку ми будемо говорити, що відрізок СD лежить усередині відрізка АВ).

Теорема 14. Якщо крапка З лежить між крапками А и В, то 1) ніяка крапка відрізка АС не може бути крапкою відрізка CВ, 2) кожна відмінна від Із крапка відрізка АВ належить або відрізку АС, або відрізку СВ.

Зазначені твердження дозволяють упорядкувати множину крапок будь-якій прямій і вибрати на цій прямій напрямок.

Будемо говорити, що дві різні крапки А и В прямій a лежать по різні сторони (по одну сторону) від третьої крапки Про ту ж пряму, якщо крапка Про лежить (не лежить) між А и В.

Із зазначених вище тверджень випливає наступна теорема.

Теорема 15. Довільна крапка Про кожну пряму а розбиває всі інші крапки цієї прямої на два непустих класи так, що будь-які дві крапки прямій а, що належать тому самому класу, лежать по одну сторону від ПРО, а будь-які дві крапки, що належать різним класам, лежать по різні сторони від О.

Таким чином, завдання на будь-якій прямій двох різних крапок О и Е визначає на цієї прямий промінь або напівпряму ОЕ, що володіє тим властивістю, що будь-яка її крапка й крапка Е лежать по одну сторону від О.

Вибравши на прямій а дві різні крапки О и Е, ми можемо тепер визначити порядок проходження крапок на прямій за наступним правилом: 1) якщо А и В – будь-які крапки променя ОЕ, то будемо говорити, що А передує В, якщо А лежить між О и В, 2) будемо говорити, що крапка Про передує будь-якій крапці променя ОЕ, 3) будемо говорити, що будь-яка крапка, що належить тій же прямій і не приналежна лучу ОЕ, передує як крапці ПРО, так і будь-яку крапку променя ОЕ, 4) якщо А и В - будь-які крапки, що не належать лучу ОЕ, то ми будемо говорити, що А передує В, якщо В лежить між А и О.

Легко перевірити, що для обраного нами порядку проходження крапок прямій а справедлива властивість транзитивності: якщо А передує В, а В передує З, те А передує С.

Аксіоми, наведені вище, дозволяють упорядкувати й крапки, що належать довільної площини ?.

Теорема 16. Кожна пряма а, що належить площини α, розділяє не лежачі на ній крапки цієї площини на два непустих класи так, що будь-які дві крапки А и В з різних класів визначають відрізок АВ, що містить крапку прямій а, а будь-які дві крапки А и А’ з одного класу визначають відрізок АА’, усередині якого не лежить жодна крапка прямій а.

У відповідність із твердженням цієї теореми ми можемо говорити, що крапки А и А’ (одного класу) лежать у площині α по одну сторону від прямій а , а крапки А и В (різних класів) лежать у площині α по різні сторони від прямій а .

III. Аксіоми конгруентності

III, 1. Якщо А и В – дві крапки на прямій а, А’ – крапка на тій же прямій або на іншій прямій а', то по дану від крапки А’ сторону прямій а' найдеться, і притім тільки одна, крапка В’ така, що відрізок А'’ конгруентний відрізку АВ. Кожний відрізок АВ конгруентний відрізку ВА.

III, 2. Якщо відрізки А'' і А”B” конгруентні тому самому відрізку АВ, то вони конгруентні й між собою.

III, 3. Нехай АВ і ВР - два відрізки прямій а, що не мають загальних внутрішніх крапок, А'' і B'' - два відрізки тій же прямій, або іншій прямій а', що також не мають загальних внутрішніх крапок. Тоді якщо відрізок АВ конгруентний відрізку А'', а відрізок ВР конгруентний відрізку B'', те відрізок АС конгруентний відрізку А''.

Сформульовані три аксіоми ставляться до конгруентності відрізків. Для формулювання наступних аксіом нам знадобляться поняття кута і його внутрішніх крапок .

Пари напівпрямих h і k , що виходять із однієї й тієї ж крапки О и не лежачих на одній прямій, називається кутом і позначається символом або .

Якщо напівпрямі задаються двома своїми крапками ОА й ОВ, то ми будемо позначати кут символом або . У силу теореми 4 будь-які два промені h і k , тридцятилітні кут , визначають, і притім єдину, площина α.

Внутрішніми крапками будемо називати ті крапки площини α, які, по-перше, лежать по ту сторону від прямої, що містить промінь h, що й будь-яка крапка променя k, і, по-друге, лежать по ту сторону від прямої, що містить промінь k, що й будь-яка крапка променя h.

III, 4. Нехай дані на площині α, пряма а' на цій же або на якій-небудь іншій площині α’ і задана певна сторона площини α’ відносно прямій а'. Нехай h’ – промінь прямій а', що виходить із деякої крапки О’. Тоді на площині α’ існує один і тільки один промінь k’ такий, що конгруентний , і при цьому всі внутрішні крапки лежать по задану сторону від прямій а'. Кожний кут конгруентний самому собі.

III, 5. Нехай А, У и С – три крапки, що не лежать на одній прямій, А’, B’ і С’ – інші три крапки, що також не лежать на одній прямій. Тоді якщо відрізок АВ конгруентний відрізку А'’, відрізок АС конгруентний відрізку А'’ і конгруентний , те конгруентний і конгруентний

Домовимося тепер про порівняння неконгруентних відрізків і кутів.

Будемо говорити, що відрізок АВ більше відрізка А'', якщо на прямій, обумовленої крапками А и В, найдеться лежача між цими крапками крапка З така, що відрізок АС конгруентний відрізку А'В'. Будемо говорити, що відрізок АВ менше відрізка А'', якщо відрізок А'' більше відрізка АВ.

Символічно той факт, що відрізок АВ менше відрізка А'' (конгруентний відрізку А'') будемо записувати так:

АВ<A'' (AB=A'').

Будемо говорити, що більше , якщо в площині, обумовленої , найдеться промінь ОС, всі крапки якого є внутрішніми крапками , такий, що конгруентний . Будемо говорити, що менше , якщо більше .