Традиционно считается, что родоначальниками геометрии как систематической науки являются древние греки, перенявшие у древних египтян ремесло землемерия и измерения объёмов тел и превратившие его в строгую научную дисциплину. При этом античные геометры от набора рецептов перешли к установлению общих закономерностей, составили первые систематические и доказательные труды по геометрии. Центральное место среди них занимают написанные в III веке до н. э. «Начала» Евклида. Этот труд более двух тысячелетий считался образцовым изложением в духе аксиоматического метода: все положения выводятся логическим путём из небольшого числа явно указанных и не доказываемых предположений — аксиом. Первые же доказательства геометрических утверждений появились в работах Фалеса и использовали, по всей видимости, принцип наложения, когда фигуры, равенство которых необходимо доказать, накладывались друг на друга.
Геометрия греков, называемая сегодня евклидовой или элементарной, занималась изучением простейших форм: прямых, плоскостей, отрезков, правильных многоугольников и многогранников, конических сечений, а также шаров, цилиндров, призм, пирамид и конусов. Вычислялись их площади и объёмы. Преобразования в основном ограничивались подобием. В Греции в работах Гиппарха и Менелая также появились тригонометрия и геометрия на сфере.
Средние века немного дали геометрии, и следующим великим событием в её истории стало открытие Декартом в XVII веке координатного метода (трактат «Геометрия», 1637). Точкам пространства сопоставляются наборы чисел, это позволяет изучать отношения между геометрическими формами методами алгебры. Так появилась аналитическая геометрия, изучающая фигуры и преобразования, которые в координатах задаются алгебраическими уравнениями. Систематическое изложение аналитической геометрии было предложено Эйлером в 1748 году. В начале XVII века Паскалем и Дезаргом начато исследование свойств плоских фигур, не меняющихся при проектировании с одной плоскости на другую. Этот раздел получил название проективной геометрии и был впервые обобщён Понселе в 1822 году. Ещё раньше, в 1799 году Монж развил начертательную геометрию, связанную напрямую с задачами черчения. Метод координат лежит в основе, появившейся несколько позже дифференциальной геометрии, где фигуры и преобразования все ещё задаются в координатах, но уже произвольными достаточно гладкими функциями. Дифференциальная геометрия была систематизирована Монжем в 1795 году, её развитием, в частности теорией кривых и теорией поверхностей, занимался Гаусс. На стыке геометрии, алгебры и анализа возникли векторное исчисление, тензорное исчисление, метод дифференциальных форм.
В 1826 году Лобачевский, отказавшись от аксиомы параллельности Евклида построил неевклидову геометрию, названную его именем. Аксиома Лобачевского гласит, что через точку, не лежащую на прямой можно провести более одной прямой, параллельной данной. Лобачевский, используя эту аксиому вместе с другими положениями, построил новую геометрию, которая в силу отсутствия наглядности, оставалась гипотетической до 1868 года, когда было дано её полное обоснование. Лобачевский, таким образом, открыл принципы построения новых геометрических теорий и способствовал развитию аксиоматического метода.
Следующим шагом явилось определение абстрактного математического пространства. Проективные, аффинные и конформные преобразования, сохраняющиеся при этом свойства фигур, привели к созданию проективной, аффинной и конформной геометрий. Переход от трёхмерного пространства к n-мерному впервые был осуществлён в работах Грассмана и Кэли в 1844 году и привёл к созданию многомерной геометрии. Другим обобщением пространства стала риманова геометрия, предложенная Риманом в 1854 году. Ф. Клейн в «Эрлангенской программе» систематизировал все виды однородных геометрий; согласно ему, геометрия изучает все те свойства фигур, которые инвариантны относительно преобразований из некоторой группы. При этом каждая группа задаёт свою геометрию. Так, изометрии (движения) задаёт евклидову геометрию, группа аффинных преобразований — аффинную геометрию.
В 70-х годах XIX века возникла теория множеств, с точки зрения которой фигура определяется как множество точек. Данный подход позволил по-новому взглянуть на евклидову геометрию и проанализировать её основы, которые подверглись некоторым уточнениям в работах Гильберта.
#наука #история #геометрия #история геометрии #вольные каменщики #масонство #масоны #масон #оперативное масонство