1. Сумма углов многоугольника в плоскости l2.
Рассмотрим треугольник, рис. 4(а) с вершинами, лежащими на абсолюте. Т.к., по определению абсолюта вершины, А1,А2,А3 - бесконечно удалены, то этот треугольник образован тремя сторонами А1А2, А1А3 и А2А3 бесконечной длины. Т.к. в вершинах А1, А2 и А3 окружности касаются друг друга, то представляемые ими «прямые» А1А2, А1А3 и А2А3 образуют нулевые углы между собой. Аналогично, на рис. 4(b) представлен n-угольник с бесконечно длинными сторонами и суммой углов, равной нулю.
Если внутренние окружности на рис. 4(a) и (b) взять чуть большего радиуса, то точки А1А2…Аn попадут в плоскость L2 (не будут лежать на абсолюте), перестанут считаться бесконечно удаленными. Тогда длины сторон многоугольника станут конечными, а сумма углов многоугольника станет несколько больше нуля. С другой стороны, если треугольник образован «малыми» кусками дуг окружностей, рис.4(с), то сумма его углов приближается к 180°, но остается все же несколько меньше 180°.
- Оглавление.
- Пример 1
- Пример 2
- Пример 3
- Вопрос.
- Глава I Математический формализм
- О понятии действительных чисел
- Формализм натуральных чисел.
- Операции, определяющие формирование множества рациональных чисел.
- Вывод 1.
- Вывод 2.
- Аксиома связи сложения и умножения.
- Задача 2.
- Вывод 3.
- Аксиоматизация множества действительных чисел.
- Аксиома непрерывности Кантора.
- Аксиоматическое обоснование евклидовой геометрии.
- О“Началах” Евклида.
- Аксиоматика д. Гильберта(1862-1943)
- Группа 1. Аксиомы соединения.
- Теорема 1.
- Теорема 2.
- Теорема 3.
- Группа 2. Аксиомы порядка.
- Определение.
- Группа 3. Аксиомы конгруэнтности.
- Теорема (о внешнем угле треугольника).
- Определение движения.
- Замечание 1.
- Вывод 1.
- Вывод 2.
- Группа 4. Аксиомы непрерывности.
- Замечание 2.
- Замечание 3.
- Вывод 3.
- Группа 5. Аксиома параллельности.
- Замечание 4.
- Два недостатка аксиоматики д. Гильберта.
- Структура векторного пространства.
- Модель направленных отрезков.
- Сложение обладает свойствами:
- Свойства операции умножения:
- Определение.
- Арифметическая модель векторного пространства.
- Теорема размерности.
- Вывод 1.
- Вывод 2.
- Вывод 3.
- Аксиомы скалярного произведения векторов.
- Следствие.
- Следствие.
- Вывод 4.
- Определение.
- Модель Вейля евклидовой геометрии.
- Арифметизация трехмерного евклидова пространства.
- Свойства операции откладывания вектора.
- Определение.
- Вывод 1.
- Вывод 2.
- Многомерное арифметическое евклидово пространство.
- Вывод 3.
- Замечание.
- Следствие 1.
- Основные факты в планиметрии Лобачевского.
- 1. Сумма углов многоугольника в плоскости l2.
- Следствие 2.
- Вывод 3.
- Главаii Свойства аксиоматических систем.
- Математические структуры и аксиоматические теории.
- Понятие отношений между объектами.
- Следствие 1.
- Пример 1.
- Определение.
- Следствие 2.
- Понятие математической структуры.
- Определение.
- Замечание 1.
- Формальная и содержательная аксиоматики. Теории и структуры.
- Рассмотрим пример.
- Вывод 1.
- Вывод 2.
- Определение.
- Изоморфизм.
- Пример 1.
- Пример 2.
- Определение изоморфизма.
- Вывод 3.
- Вывод 1.
- Независимость аксиоматической системы.
- Независимость аксиомы параллельности.
- Замечание 1.
- Дедуктивная полнота и категоричность системы аксиом.
- Определение (дедуктивной полноты).
- Определение (категоричности).
- Историческая роль V постулата Евклида в развитии оснований математики.
- Анализ текстовых парадоксов.
- Языковые свойства имен объектов.
- Пример 1.
- Пример 2.
- Пример 3.
- Проблема выразимости.
- Понятие искусственного языка.
- Понятие парадокса.
- “Ахиллес и черепаха”.
- Парадокс пустого множества.
- Парадокс достижимости в натуральном ряде.
- “Одно и то же, но по-разному”
- Пример 1.
- Пример 2.
- Заключение.
- Обозначения.
- Литература