Среди пяти аксиом Евклида пятая резко выделяется своей неочевидностью.
Она больше похожа на теорему:
через точку, не лежащую на данной прямой, проходит ровно одна прямая,
параллельная данной.
Многие учёные пытались вывести пятую аксиому из первых четырех.
Среди РЅРёС… древнегреческие математики Птолемей (II РІ.) Рё РџСЂРѕРєР» (V РІ.), иранские математики РР±РЅ аль-Хайсам (конец X — начало XI РІРІ.), Омар Хайям (2-СЏ половина XI — начало XII РІРІ.) Рё Насир ад-Дин ат-РўСѓСЃРё (XIII РІ.), немецкие математики Клавиус (1574) Рё Ламберт (около 1766, опубликовано РІ 1786), итальянские математики Катальди (1603), Борелли (1658), Дж. Витале (1680), Саккери (1733), английский математик Валлис (1663, опубликовано РІ 1693), французские математики Герсонид (XIV век) Рё Лежандр (1800).
Но у них ничего не вышло.
Возникла мысль, что РјРѕР¶РЅРѕ построить геометрию, РіРґРµ через точку, РЅРµ лежащую РЅР° РїСЂСЏРјРѕР№, РїСЂРѕС…РѕРґСЏС‚ РїРѕ крайней мере РґРІРµ прямые, ей параллельные. 23 февраля 1826 РіРѕРґР° РЅР° заседании математического факультета Казанского университета СЂРѕСЃСЃРёР№СЃРєРёР№ математик Николай Рванович Лобачевский заявил, что пятый постулат РЅРµ может быть доказан РЅР° РѕСЃРЅРѕРІРµ РґСЂСѓРіРёС… посылок евклидовой геометрии, Рё что допущение постулата, противоположного постулату Евклида, позволяет построить геометрию столь Р¶Рµ содержательную Рё СЃРІРѕР±РѕРґРЅСѓСЋ РѕС‚ противоречий, как Рё евклидова.
Одновременно к аналогичным выводам пришёл Янош Бойяи,
а Карл Фридрих Гаусс пришёл к таким выводам ещё раньше.
Однако труды Бойяи не привлекли внимания, и он вскоре оставил эту тему,
а Гаусс вообще воздерживался от публикаций.
В итоге Лобачевский выступил как первый наиболее яркий и последовательный
пропагандист новой геометрии.
В геометрии Лобачевского прямые на плоскости либо пересекаются,
либо параллельны, либо являются расходящимися.
В геометрии Лобачевского сохраняются все теоремы,
которые можно доказать без использования аксиомы параллельности.
Теорема о сумме углов треугольника – первая теорема, при доказательстве которой
используется аксиома параллельности.
Здесь нас ожидает первый «сюрприз»:
в геометрии Лобачевского сумма углов любого треугольника меньше 180°.
Разность между 180° и суммой углов треугольника в геометрии Лобачевского
называется дефектом этого треугольника.
Площадь треугольника связана с его дефектом:
Модели геометрии Лобачевского дали доказательство её непротиворечивости, точнее показали, что геометрия Лобачевского столь же непротиворечива, как геометрия Евклида.
Петербургский ученый А.А.Фридман в 1922 обнаружил,
что Вселенная расширяется, и является пространством Лобачевского.
Отклонения геометрии Лобачевского от евклидовой геометрии растут с увеличением размеров.
Но в пределах солнечной системы, и даже нашей галактики, они так малы,
что погрешность измерений не позволяет их обнаружить.
Вот почему, живя в пространстве Лобачевского, мы пользуемся геометрией Евклида!
По материалам "Википедии"
- Прямые b и d параллельны или нет?
- b параллельна, а d – нет!