Читать книгу Века сквозь математику, или Как математики раз за разом мир вертели онлайн

В своих «Началах» Евклид постарался собрать всю известную на тот момент математику. По большей части ему это удалось. В «Началах» 13 книг. Первые 6 – это планиметрия. Затем четыре книги – арифметика и немного алгебра, которые излагаются по большей части на геометрическом языке. Последние три главы – стереометрия.

Если раньше мы уже говорили, что шумеры и египтяне занимались геометрией как прикладной арифметикой, то греки делают все совершенно наоборот. Всю арифметику, алгебру и теорию чисел стараются греки облечь в геометрическую формулировку. Например, как формулируется иррациональность числа ? Всегда только так: "диагональ квадрата несоизмерима с его стороной" (несоизмерима – это и означает, что никак с помощью стороны измерить нельзя. Не находится со стороной ни в какой приличной пропорции).

Рисунок 6.2: Страница из рукописного экземпляра "Начал", IX век н.э.

/*С тех пор у математиков принято именно так. Мы знаем приближенные значения чисел, но мы не отождествляем их с этими числами. Математик скорее откусит себе язык, чем скажет, что "π равно 3.14". Скорее всего, математик не будет уточнять, скажет просто π. Если очень попросите, то скажет, что "π примерно равно

3.14".

Но самый настоящий математик вам этой информации не выдаст и до последнего на вопрос: "Так чему же равно π?" – даже под страхом смерти будет настаивать на том, что π равно отношению длины окружности к ее диаметру (и конечной или периодической десятичной дробью не выражается).*/

«Начала» практически до конца XIX века считаются образцом логических построений и предельной четкости изложения. Именно по образу и подобию начал строят свои книги Декарт, Ньютон, Спиноза (не только труды математические, но и труды философские), а также практически все математики с тех времен.

Сначала идут определения. Например, определение окружности и круга, тупого, острого, прямого угла и т.д. Потом идут так называемые "Постулаты" (пять знаменитых постулатов Евклида нам позже встретятся в главе «Что такое неевклидовы геометрии?»), аксиомы. Постулаты – это высказывания, которые не нуждаются в доказательствах. Постулируется (допускается), что такие-то и такие-то утверждения верны. И из этих утверждений выводятся разные теоремы. Если мы изменим постулаты, то сможем выводить совершенно другие теоремы (Евклид этого еще не знал, но уже догадывался, перед постулатами он написал: "Допустим, что...."). Аксиомы – это тоже высказывания, не нуждающиеся в доказательствах, но обычно аксиомы не подлежат сомнению. Не подлежат смене. Собственно, слова "аксиома" и "постулат" – синонимы. Но в геометрии ("так исторически сложилось" – смешная фраза, но уж как есть) принято отделять аксиомы и постулаты.