Сферический треугольник. Три его угла прямые, то ест в сумме дают 270°.
В этих двух работах Гаусс также выделил место для треугольников на поверхности эллипсоида — более общий случай по сравнению со сферой. Хорошим примером эллипсоида может быть мяч для регби. Чтобы облегчить вычисления, Гаусс привел таблицы, в которых решались уравнения для частных случаев.
В результате работ в области геодезии к Гауссу вернулся интерес к геометрии, которая уже была объектом его исследований в годы учебы. Гаусса называют одним из отцов неевклидовой геометрии и дифференциальной геометрии.
Со времен Евклида считалось, что этот гениальный математик в своей работе «Начала» определил всю геометрию, которая только может быть, и что выйти за пределы его постулатов сравнимо с ересью.
Евклид сформулировал свою геометрию на основе нескольких постулатов, которые считал аксиомами. В математике аксиомы — это очевидные истины, не требующие доказательства. Евклид определил пять постулатов.
1. Через две точки можно провести одну и только одну прямую, соединяющую их.
2. Каждый отрезок может быть бесконечно продолжен в любом направлении.
3. Можно провести любую окружность с центром в любой точке и с любым радиусом.
4. Все прямые углы подобны, то есть имеют одинаковый размер и совпадают, если их наложить друг на друга перемещением.
5. Через точку, не принадлежащую прямой, можно провести единственную прямую, параллельную данной.
На самом деле, Евклид должен был бы включить еще два постулата, которыми он пользуется в своих доказательствах:
— две окружности, центры которых разделены расстоянием меньше суммы радиусов, пересекаются в двух точках (Евклид пользуется им в своем первом построении);
— два треугольника с двумя равными сторонами и равными соответственными углами подобны, то есть имеют равные углы и стороны и, следовательно, имеют одну и ту же форму и размер.
Евклид (325-265 до н.э.) — греческий математик и геометр, известный как отец геометрии. О его жизни мы знаем крайне мало, кроме того, что он жил в Александрии во время правления Птолемея I. Его работа «Начала» — одна из самых известных научных работ в мире и, после Библии, наиболее часто издаваемая и переводимая. В нее входят сведения, которые Евклид распространял в Александрийской библиотеке, и это все геометрическое знание того времени. В «Началах» в строгом виде, на основе исключительно пяти постулатов, рассказывается о свойствах линий и плоскостей, кругов и сфер, треугольников и конусов, и так далее, то есть правильных форм. Возможно, ни один из результатов в «Началах» не был впервые доказан Евклидом, но именно он организовал материал и систематизированно изложил его. Самые известные доказательства Евклида соответствуют следующим теоремам:
— сумма внутренних углов любого треугольника равна 180°;
— в прямоугольном треугольнике квадрат гипотенузы равен сумме квадратов катетов (знаменитая теорема Пифагора).
Страница «Начал» Евклида из так называемого Манускрипта d’Orville, написанного на греческом языке в Константинополе в 888 году, который хранится в Бодлианской библиотеке Оксфордского университета.
Евклидова геометрия не только стала мощным инструментом дедуктивного рассуждения, но и оказалась чрезвычайно полезной во многих отраслях знания, например в физике, астрономии, химии и инженерных областях. В работу Евклида изменения не вносились вплоть до XIX века, пока Гаусс не сформулировал несколько видов неевклидовой геометрии, исключив ее пятый постулат.
Евклид предположил, что все постулаты очевидны и не требуют доказательства. Это не подвергалось сомнению до такой степени, что Кант в своей «Критике чистого разума» утверждал: понятия Евклида являются существенным компонентом нашего видения мира. Однако оказалось, что последний постулат в некотором роде независим и что можно отрицать его, не войдя в противоречие с предыдущими. Идея в том, чтобы по-новому определить параллельные линии, перенеся это понятие в иные, отличные от плоскости, пространства.
Начиная с 1813 года Гаусс разрабатывал геометрию, в которой отрицался последний постулат Евклида. Ученый при этом развивал идеи, которые появились у него в последние годы обучения в Коллегии Карла в разговорах с Вольфгангом Бойяи. В 1816 году Гаусс сообщил эти идеи в письме Шумахеру, своему другу и преподавателю астрономии, но, как всегда, ничего не опубликовал на эту тему. Впрочем, причиной на этот раз могло быть не только желание найти как можно более точное доказательство. Все, что касалось обсуждения постулатов Евклида, стало бы объектом ожесточенных споров, а Гауссу не нравилось участвовать в дискуссиях такого рода, которые казались ему скорее философскими.