Математика
«Начала» Евклида: первая аксиоматическая система
Евклид Александрийский · Начала · ок. 300 до н. э.
Книга, научившая Запад тому, что значит *доказать* нечто.
Более двух тысячелетий «Начала» были после Библии самой издаваемой книгой западного мира — и стандартным учебником геометрии вплоть до XX века. Их непреходящее достижение — не какая-то одна теорема, а метод: начать с горстки явно сформулированных определений и постулатов и вывести всё остальное доказательством. Это шаблон самого дедуктивного рассуждения.
Ключевые фрагменты
- Книга I, определение 1
Точка есть то, что не имеет частей.
Евклид начинает с определения своих объектов, прежде чем их использовать. Точка не имеет размера — это местоположение, а не вещь. Позже современная математика оставит «точку» неопределяемой (первичным понятием), но евклидовский инстинкт сначала закрепить словарь совершенно верен, и его отсутствие — самый частый изъян в небрежных рассуждениях.
- Книга I, постулат 5 (постулат о параллельных)
Если прямая, падающая на две прямые, образует внутренние односторонние углы, в сумме меньшие двух прямых, то эти прямые при неограниченном продолжении встретятся с той стороны.
Самое знаменитое предложение в математике. Оно неуклюжее остальных четырёх постулатов, и две тысячи лет математики пытались вывести его из прочих — и терпели неудачу. В XIX веке они поняли почему: его замена даёт непротиворечивые «неевклидовы» геометрии (те, что нужны пространству-времени Эйнштейна). Одно упрямое допущение, честно рассмотренное, открыло целую вселенную новой математики.
- Книга I, предложение 47 (теорема Пифагора)
В прямоугольных треугольниках квадрат на стороне, стягивающей прямой угол, равен квадратам на сторонах, содержащих прямой угол.
Не как алгебраическое тождество — у Евклида не было алгебры, — а утверждение о буквальных квадратах, построенных на сторонах треугольника, доказанное перестановкой площадей. Чтение в оригинале напоминает, что знаменитый результат и его знаменитая запись — разные вещи и что геометрический образ был первым.
Путеводитель по чтению
Читайте только Книгу I и читайте медленно. Следите, как каждому предложению разрешено использовать только определения, постулаты и предложения, шедшие до него, — никогда интуицию, никогда картинку, которая просто выглядит правильной. Попробуйте заметить, где Евклид тихо предполагает нечто, чего не сформулировал (он делает это, и не раз). К предложению 47 вы поймёте не только теорему Пифагора, но и саму идею доказательства.