Когда прямые искривляются. Неевклидовы геометрии (Гомес) - страница 9
Книги с седьмой по девятую посвящены арифметике и рассматривают задачи, связанные с теорией чисел: делимость, простые числа, совершенные числа и так далее. Здесь определяется евклидово понятие числа. Евклид рассматривал все числа как геометрические отрезки, что соответствует современному понятию измеряемых величин.
Десятая книга дает классификацию чисел, называемых иррациональными, то есть таких чисел, которые не могут быть выражены в виде дроби. Последние три книги посвящены стереометрии (многогранникам, сферам и так далее). Здесь также рассматриваются пять правильных многогранников, так называемых «Платоновых тел», все грани которых равны и при этом являются правильными многоугольниками.
Евклид начинает изложение с простых, очевидных утверждений, которые могут быть легко и интуитивно поняты и не подлежат сомнению. Он называет их определениями, постулатами и аксиомами, и из них он выводит свои предложения, которые доказываются с помощью цепочек рассуждений. Основы учения Евклида сформулированы в первой книге «Начал», которая содержит 23 определения, 5 постулатов и 48 предложений.
* * *
ПРАВИЛЬНЫЕ МНОГОГРАННИКИ
Существует только пять правильных выпуклых многогранников. Возможно, именно поэтому греки уделяли им особое значение, соотнося их с четырьмя стихиями: тетраэдр (огонь), куб (земля), октаэдр (воздух), икосаэдр (вода); а додекаэдр олицетворял Вселенную. Правильные многогранники также известны как пять «Платоновых тел».
ТЕРМИНОЛОГИЯ ЕВКЛИДА
Предложение — истинное утверждение, которое уже доказано или должно быть доказано.
Теорема — предложение, которое может быть логически выведено из аксиом или из других ранее доказанных теорем с помощью принятых правил доказательства.
Постулат— предложение, истинность которого принимается без доказательства и лежит в основе дальнейших рассуждений; другими словами, допущение, лежащее в основе доказательства.
Аксиома — предложение, настолько ясное и очевидное, что оно не требует доказательств. Аксиомы более очевидны, чем постулаты.
* * *
Первоначальные определения из первой книги даются для точки, прямой линии, прямого угла и параллельных линий и лежат в основе евклидовой геометрии и других геометрий.
Определение 1. Точка есть то, что не имеет частей.
Определение 2. Линия — это длина без ширины.
[…]
Определение 4. Прямая линия есть та, которая равно расположена по отношению к точкам на ней.
[…]
Определение 10. Когда же прямая, восставленная на другой прямой, образует смежные углы, равные между собой, то каждый из углов есть прямой, а восставленная прямая называется перпендикуляром к той, на которой она восставлена.