- •Основи математики
- •1 Теоретичні питання основ математики
- •Тема 1. Загальні питання аксіоматики
- •1. Предмет основ геометрії. Історична довідка. Суть аксіоматичного методу.
- •2. Поняття математичної структури, аксіоматичної теорії математичної структури, ізоморфізму математичних структур. Поняття моделі (інтерпретації) системи аксіом.
- •3. Вимоги до системи аксіом.
- •4. Огляд системи аксіом Вейля. Доведення несуперечливості системи аксіом Вейля евклідової геометрії.
- •5. Доведення повноти системи Вейля.
- •Тема 2. Аксіоматичні теорії натуральних, цілих і раціональних чисел.
- •2. Аксіоматичне означення цілих чисел. Множина цілих чисел як розширення множини натуральних чисел.
- •3. Аксіоматичне означення раціональних чисел. Множина раціональних чисел як розширення множини цілих чисел.
- •4. Означення перерізу на множині раціональних чисел. Приклади перерізів.
- •Тема 3. Огляд і порівняння різних аксіоматичних теорій дійсних чисел.
- •1. Огляд побудов теорії дійсного числа.
- •2. Побудова теорії дійсного числа за Дедекіндом.
- •3. Роль аксіоми неперервності в побудові математичного аналізу.
- •Тема 4. Сучасні аксіоматичні теорії евклідової геометрії.
- •1. Побудова аксіоматичної теорії Вейля.
- •2. Побудова евклідової геометрії на базі системи аксіом Гільберта.
- •3. Доведення несуперечливості системи аксіом Гільберта. Арифметична модель.
- •Тема 5. Геометрія Лобачевського
- •1. Відкриття Лобачевського. Неевклідова геометрія.
- •2. Аксіоматична теорія геометрії Лобачевського.
- •3. Дослідження системи аксіом планіметрії Лобачевського. Інтерпретації Пуанкаре.
- •Тема 6. Інші неевклідові геометрії.
- •1. Елементи сферичної геометрії. Точки і прямі в сферичній геометрії. Відстань між точками і кут між прямими.
- •2. Сферичні двокутники та трикутники. Сферичний надлишок. Сферична тригонометрія.
- •3. Аксіоматична теорія псевдоевклідової геометрії. Класифікація прямих і площин псевдоевклідового простору. Основні координатні формули.
- •4. Сфери псевдоевклідового простору. Сферична тригонометрія.
- •5. Інтерпретація планіметрії Лобачевського на сфері уявного радіусу псевдоевклідового простору. Евклідова геометрія як граничний випадок геометрії Лобачевського
- •2 Зміст практичних занять
- •Тема 1: Загальні питання аксіоматики. Вимоги до системи аксіом.
- •Тема 2: Аксіоматичні теорії натуральних, цілих, раціональних та дійсних чисел
- •Тема 3: Системи аксіом евклідової геометрії. Еквівалентність систем аксіом Вейля та Гільберта
- •Задачі для самостійного розв’язання
- •Тема 4: Наслідки з аксіом перших трьох груп аксіоматики Гільберта. Співвідношення між кутами і сторонами трикутника. Логічний аналіз математичних тверджень.
- •Тема 5: Абсолютна геометрія. Доведення тверджень абсолютної геометрії про суму кутів трикутника. Еквіваленти аксіом неперервності. Чотирикутник Саккері
- •Задачі для самостійного розв’язання
- •Тема 6: Наслідки з аксіоми паралельності. Еквіваленти п’ятого постулату.
- •Задачі для самостійного розв’язання
- •Тема 7: Планіметрія Лобачевського.
- •Задачі для самостійного розв’язання.
- •3 Зміст самостійної роботи
- •1. Континуум-гіпотеза
- •2. Підготуватися до обговорення статі «Редукция аксиом линейного пространства» [19]. Дати відповіді на такі запитання:
- •4. Площі та об’єми. Третя проблема Гільберта.
- •5. Розбити наступні теореми на три групи: теореми абсолютної геометрії, наслідки аксіоми паралельності Евкліда, наслідки аксіоми паралельності Лобачевського.
- •6. Підготувати доповідь за темою:
- •7. Впорядкованість на множині дійсних чисел
- •8. Ознайомитись із доведенням незалежності аксіоми індукції системи аксіом множини натуральних чисел [14].
- •9. Побудувати ізоморфне відображення моделі Пуанкаре геометрії Лобачевського на евклідовій півплощині на модель геометрії Лобачевського в одиничному крузі. Індивідуальне завдання
- •1. Користуючись системою аксіом Вейля планіметрії Евкліда довести, що:
- •2. Довести, що п'ятий постулат Евкліда еквівалентний твердженню
- •3. Довести справедливість тверджень в геометрії Лобачевского
- •Підсумковий тест
- •Література
- •Питання до заліку
- •II. Аксіоми порядку
- •III. Аксіоми конгруентності
- •2. Аксіоми порядку:
- •3. Аксіоми руху:
- •4. Аксіома неперервності:
- •5. Аксіома паралельності:
- •2. Аксіоми множення.
- •Основи математики
Задачі для самостійного розв’язання
1. Довести, що якщо існує трикутник із сумою внутрішніх кутів, рівною двом прямим кутам, то сума внутрішніх кутів довільного трикутникам дорівнює двом прямим кутам.
2. Довести, що якщо існує прямокутний трикутник із сумою внутрішніх кутів, рівною двом прямим кутам, то сума внутрішніх кутів довільного прямокутного трикутникам дорівнює двом прямим кутам.
3. Довести, що вписаний в коло кут, що спирається на діаметр, не більший за прямий кут.
4. Знайти залежність між стороною правильного вписаного в коло шестикутника і радіусом кола.
Тема 6: Наслідки з аксіоми паралельності. Еквіваленти п’ятого постулату.
Мета: Сформувати вміння знаходити і доводити еквівалентність твердження евклідової геометрії і п’ятого постулату Евкліда
Методичні рекомендації. Важливо зрозуміти, якими є перші твердження, доведення яких неможливе без використання аксіоми паралельності. Треба повторити, які твердження називаються еквівалентними. Зверніть увагу на еквівалентність аксіоми паралельності та п’ятого постулату Евкліда. Буде корисним проаналізувати, як зміниться послідовність тверджень, якщо в системі аксіом Гільберта замінити аксіому паралельності одним із її еквівалентів.
Приклади розв’язання задач
Задача 1. Довести, що при перетині двох паралельних прямих третьою утворюються рівні навхрест розташовані кути.
Доведення. Сформульоване твердження в «Началах» Евкліда було теоремою 29 і це була перша теорема, в доведенні якої використовувався 5 постулат.
Паралельні прямі а і утворюють з їх січною 2 пари навхрест розташованих кутів, які позначимо 1 і 4, 2 і 3, а пари 1 і 2, 3 і 4 – пари односторонніх кутів, 1 і 3 – суміжні. Припустимо, що кут 1 не дорівнює куту 4, і для визначеності, нехай кут 1 більше за кут 4. Тоді сума кутів 3 і 4 менша за розгорнутий кут, а отже за 5 постулатом прямі а і перетинаються. Отримане протиріччя доводить теорему.
Задача 2. Довести, що сума внутрішніх кутів трикутника дорівнює сумі двох прямих кутів.
Д
оведення.
Розглянемо трикутник
.
Проведемо пряму
.
З теореми 47 випливає, що
,
.
Оскільки кути
утворюють розгорнутий кут, то для суми
кутів трикутника отримаємо
,
що і треба було довести.
Довести еквівалентність п’ятого постулату та наступних тверджень:
Задача 3. Перпендикуляр і похила, проведені в одній площині до даної прямої, перетинаються.
Д
оведення.
1) Покажемо, що це твердження випливає
з п’ятого постулату. До прямої
в точці
проведемо перпендикуляр
та похилу
.
Проведемо ще один перпендикуляр
до прямої
.
За теоремою 45
і
паралельні. Приспустимо, що
і
не перетинаються, тоді отримаємо
протиріччя з аксіомою паралельності,
яка еквівалентна п’ятому постулату.
2
)
Покажемо, що з твердження випливає
аксіома паралельності. Розглянемо пучок
прямих, що проходять через точку
.
В цьому пучку є єдина пряма, яка не є
похилою, це пряма
,
перпендикулярна до прямої
.
За умовою кожна похила перетинає
перпендикуляр
.
Отже, через точку
,
яка не належить прямій
,
проходить єдина пряма
,
яка не перетинає пряму
,
тобто виконується аксіома паралельності.
Задача 4. Навколо кожного трикутника можна описати коло.
Доведення. 1) Покажемо, що з аксіоми паралельності випливає твердження: Два серединних перпендикуляра до двох сторін трикутника завжди перетинаються.
В
трикутнику
проведемо серединні перпендикуляри
і
до сторін
і
відповідно. Припустимо, що прямі
і
не перетинаються, тобто паралельні.
Проведемо через точку
пряму
,
перпендикулярну до
.
За теоремою 45 прямі
і
не перетинаються. Таким чином, через
точку
проходить дві різні прямі, які не
перетинають
.
Отримали протиріччя з аксіомою
паралельності, значить наше припущення
невірне.
Точка перетину серединних перпендикулярів і є центром описаного навколо трикутника кола.
2) Тепер покажемо, що з цього твердження випливає аксіома паралельності.
Д
о
прямої
проведемо перпендикуляр
та похилу
.
На прямій
візьмемо точку
,
симетричну їй відносно прямої
точку
та симетричну їй відносно прямої
точку
.
Очевидно, що точки
не належать одній прямій, тобто утворюють
трикутник. За побудовою
і
– серединні перпендикуляри до двох
сторін цього трикутника. За умовою,
навколо
можна описати коло, а значить
і
,
а значить перпендикуляр і похила до
однієї прямої перетинаються. В попередній
задачі було доведено, що з цього факту
випливає аксіома паралельності.
Задача 5.Сума внутрішніх кутів в кожному трикутнику одна і та сама.
Д
оведення.
1) В задачі 2 цієї теми показано, що з
аксіоми паралельності випливає, що в
кожному трикутнику сума внутрішніх
кутів дорівнює двом прямим кутам, тобто
одна і та сама.
2) Покажемо як з твердження випливає п’ятий постулат. В трикутнику позначимо кути так, як показано на рисунку. Можна записати такі рівності:
,
,
,
Запишемо
вирази
та
.
Знайдемо суми правих та лівих частин
двох останніх рівностей
,
звідки
.
Твердження
про те, що в кожному трикутнику сума
внутрішніх кутів дорівнює
,
еквівалентне п’ятому постулату.
