- •Геометрия от евклида до лобачевского
- •1 Геометрия до Евклида
- •2 “Начала “Евклида
- •2 Критика системы Евклида.
- •3 Пятый постулат Евклида
- •4 Н.И. Лобачевский и его геометрия
- •5 Система аксиом Гильберта. Обзор следствий из аксиом групп I – II
- •6 Система аксиом Гильберта. Обзор следствий из аксиом групп I—V
- •7 Аксиома Лобачевского. Параллельные прямые по Лобачевскому
- •8 Треугольники и четырехугольники на плоскости Лобачевского.
- •9. Взаимное расположение двух прямых на плоскости Лобачевского.
- •Общие вопросы аксиоматики. Обоснование евклидовой геометрии.
- •11 Понятие о математической структуре.
- •12 Интерпретации системы аксиом. Изоморфизм структур.
- •13 Непротиворечивость, независимость и полнота системы аксиом.
- •15 Система аксиом Вейля трехмерного евклидова пространства
- •16 Аксиоматика а. В. Погорелова школьного курса геометрии.
- •17 Об аксиомах школьного курса геометрии.
- •18 Доказательство логической непротиворечивости геометрии Лобачевского.
Геометрия от евклида до лобачевского
1 Геометрия до Евклида
1. Первые сведения о геометрии были добыты цивилизациями Древнего Востока 0 в Египте, Вавилоне, Китае, Индии - в связи с развитием земледелия. Дошедшие до нас памятники древнейших культур Вавилона и Египта свидетельствуют о том, что в этих странах геометрия имела эмпирический характер и представляла собой собрание частных решений отдельных задач. Так, во II тысячелетии до н.э. египтяне умели точно вычислять площадь треугольника и объем четырехугольной усеченной пирамиды; площадь S круга радиуса R вычисляли по формуле , что дает для достаточно точное значение: .
В Вавилоне, как и в Египте, геометрия развивалась на основе практических задач измерений. Уже во II тысячелетии до н.э. вавилоняне знали так называемую теорему Пифагора. Отметим, что в математике Древнего Востока (Вавилон и Египет) мы не находим никаких доказательств, а только конкретные правила.
2. Геометрия в Древней Греции начала развиваться в VII – VI вв. до н.э. под сильным влиянием египтян. По преданию, отцом греческой математики является представитель так называемой милетской школы, знаменитый философ Фалес (640 – 548 гг. до н.э.) из греческого города-государства Милета. Согласно дошедшим до нас преданиям Фалесу принадлежат доказательства некоторых простейших предложений геометрии – свойства углов при основании равнобедренного треугольника, свойства вертикальных углов и некоторых других теорем. В дальнейшем геометрами Древней Греции были получены значительные результаты, охватывающие почти все содержание современных школьных курсов геометрии.
В философской школе Пифагора (около 570 – 471 гг. до н.э.) математика занимала господствующее положение. Считается, что последователи этой школы – пифагорейцы – открыли теорему о сумме углов треугольника, дали доказательство теоремы Пифагора, установили существование пяти типов правильных многогранников, существование несоизмеримых отрезков (их открыл ученик Пифагора - Гиппас).
Демокрит (около 470 – 370 гг. до н.э.) открыл теоремы об объемах пирамиды и конуса. Евдокс (около 410 – 356 гг. до н.э.) – создатель геометрической теории пропорций, заменявшей грекам теорию иррациональных чисел, которых греки не знали. Евдокс открыл также метод исчерпывания: «Если от величины А отнятьА или больше, с остатком проделать то же и т.д., то можно получить такую величину, которая меньше любой, наперед заданной». Этим методом Евдокс находил объемы пирамид, конуса и шара. Ученик Евдокса – Менехм – открыл конические сечения, которые затем обстоятельно изучил Аполлоний (256 – 170 гг. до н.э.). Архимеду (287 – 212 гг. до н.э.) принадлежит открытие правил для вычисления площади поверхности шара и некоторых других фигур и объемов ряда тел. Он нашел приближение для числа ().
Особой заслугой древнегреческих ученых является постановка задачи о построении системы геометрических знаний и решение ее проблемы в первом приближении. Задача эта была поставлена рядом древнегреческих философов, из которых в первую очередь следует указать Платона (около 429 – 348 гг. до н.э.) и особенно Аристотеля (около 381 – 322 гг. до н.э.). Аристотель – крупнейший философ древности, основатель формальной логики. Хотя он непосредственно и не занимался геометрией, но именно ему принадлежат четко оформленные идеи построения геометрии в виде цепи предложений, которые вытекают одно из других на основе одних лишь правил логики.