- •Основи математики
- •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. Аксіоми множення.
- •Основи математики
4. Площі та об’єми. Третя проблема Гільберта.
5. Розбити наступні теореми на три групи: теореми абсолютної геометрії, наслідки аксіоми паралельності Евкліда, наслідки аксіоми паралельності Лобачевського.
1. Перпендикуляр і похила до однієї прямої, розташовані в одній півплощині відносно цієї прямої, не завжди перетинаються.
2. Існують трикутники, навколо яких не можна описати коло.
3. Сума внутрішніх кутів будь-якого трикутника не більша за .
4. Теорема синусів.
5. Теорема косинусів.
6. Теорема Піфагора.
7. Середня лінія трапеції паралельна основам і дорівнює їх півсумі.
8. Діагоналі прямокутника рівні між собою.
9. Точка перетину діагоналей трапеції, точка перетину продовжень її бічних сторін і середини основ трапеції належать одній прямій.
10. Сума квадратів сторін паралелограма дорівнює сумі квадратів його діагоналей.
11. Сума внутрішніх кутів трикутника не є постійною.
12. Множина точок площини, рівновіддалених від даної прямої є кривою.
13. Катет прямокутного трикутника, який є протилежним до кута з величиною , більший за половину гіпотенузи.
14. Якщо сума внутрішніх кутів трикутника є постійною, то має місце 5 постулат Евкліда.
15. Якщо два серединних перпендикуляра до сторін трикутника перетинаються в деякій точці О, то третій серединний перпендикуляр теж проходить через точку О.
16. Якщо два серединних перпендикуляра до сторін трикутника перетинаються в деякій точці О, то навколо цього трикутника можна описати коло з центром в точці О.
17. Сума внутрішніх кутів будь-якого трикутника менша .
18. Сума внутрішніх кутів будь-якого опуклого чотирикутника не більша за .
19. Якщо три кути одного трикутника дорівнюють відповідно трьом кутам другого трикутника, то такі трикутники рівні.
20. Для будь-яких двох паралельних прямих існує і тільки одна пряма, яка перпендикулярна одній із двох даних прямих і паралельна другій.
21. Ортогональна проекція однієї із сторін гострого кута на другу сторону є півінтервалом.
22. Катет прямокутного трикутника, який є протилежним до кута з величиною , не менший за половину гіпотенузи.
23. В прямокутному трикутнику величина хоча б одного з гострих кутів менша за .
24. Середня лінія трикутника менша за половину його основи.
25. Будь-які дві паралельні прямі мають вісь симетрії.
6. Підготувати доповідь за темою:
Історичний огляд обґрунтування геометрії. «Начала» Евкліда: зміст, структура, недоліки;
Редукция аксиом линейного пространства;
Перша проблема Гільберта;
Дослідження Саккері, Ламберта, Лежандра;
Проблема п’ятого постулату та історія її вирішення. Помилкові доведення п’ятого постулату Евкліда;
Вимірювання площ простих многокутників. Рівновеликі та рівноскладені многокутники;
Теорія об’ємів многогранників. Третя проблема Гільберта та її розв’язання. Рівновеликість і рівноскладенність многогранників. Теорема Бойяї-Гервіна. Теорема Дена-Кагана.
7. Впорядкованість на множині дійсних чисел
В аксіоматичній теорії, що будується на базі системи аксіом з Додатку Ґ, відношення порядку є основним, тобто його не треба означувати.
Інший варіант – за допомогою поняття перерізу множини, а саме:
Означення.
Нехай
.
Тоді
будемо
говорити, що
,
якщо
,
,
якщо
,
,
якщо
.
Користуючись цим означенням, доведіть такі твердження.
Теорема.
Для будь-яких дійсних
справедливе тільки одно із співвідношень:
,
,
.
Теорема. Між будь-якими двома дійсними числами існує скільки завгодно дійсних чисел.
