Гаусс. Теория чисел

Евклид сформулировал свою геометрию на основе нескольких постулатов, которые считал аксиомами. В математике аксиомы — это очевидные истины, не требующие доказательства. Евклид определил пять постулатов.

1. Через две точки можно провести одну и только одну прямую, соединяющую их.

2. Каждый отрезок может быть бесконечно продолжен в любом направлении.

3. Можно провести любую окружность с центром в любой точке и с любым радиусом.

4. Все прямые углы подобны, то есть имеют одинаковый размер и совпадают, если их наложить друг на друга перемещением.

5. Через точку, не принадлежащую прямой, можно провести единственную прямую, параллельную данной.

На самом деле, Евклид должен был бы включить еще два постулата, которыми он пользуется в своих доказательствах:

— две окружности, центры которых разделены расстоянием меньше суммы радиусов, пересекаются в двух точках (Евклид пользуется им в своем первом построении);

— два треугольника с двумя равными сторонами и равными соответственными углами подобны, то есть имеют равные углы и стороны и, следовательно, имеют одну и ту же форму и размер.

ЕВКЛИД

Евклид (325-265 до н.э.) — греческий математик и геометр, известный как отец геометрии. О его жизни мы знаем крайне мало, кроме того, что он жил в Александрии во время правления Птолемея I. Его работа «Начала» — одна из самых известных научных работ в мире и, после Библии, наиболее часто издаваемая и переводимая. В нее входят сведения, которые Евклид распространял в Александрийской библиотеке, и это все геометрическое знание того времени. В «Началах» в строгом виде, на основе исключительно пяти постулатов, рассказывается о свойствах линий и плоскостей, кругов и сфер, треугольников и конусов, и так далее, то есть правильных форм. Возможно, ни один из результатов в «Началах» не был впервые доказан Евклидом, но именно он организовал материал и систематизированно изложил его. Самые известные доказательства Евклида соответствуют следующим теоремам:

— сумма внутренних углов любого треугольника равна 180°;

— в прямоугольном треугольнике квадрат гипотенузы равен сумме квадратов катетов (знаменитая теорема Пифагора).

Страница «Начал» Евклида из так называемого Манускрипта d’Orville, написанного на греческом языке в Константинополе в 888 году, который хранится в Бодлианской библиотеке Оксфордского университета.

Евклидова геометрия не только стала мощным инструментом дедуктивного рассуждения, но и оказалась чрезвычайно полезной во многих отраслях знания, например в физике, астрономии, химии и инженерных областях. В работу Евклида изменения не вносились вплоть до XIX века, пока Гаусс не сформулировал несколько видов неевклидовой геометрии, исключив ее пятый постулат.

Евклид предположил, что все постулаты очевидны и не требуют доказательства. Это не подвергалось сомнению до такой степени, что Кант в своей «Критике чистого разума» утверждал: понятия Евклида являются существенным компонентом нашего видения мира. Однако оказалось, что последний постулат в некотором роде независим и что можно отрицать его, не войдя в противоречие с предыдущими. Идея в том, чтобы по-новому определить параллельные линии, перенеся это понятие в иные, отличные от плоскости, пространства.