Название: Укрощение бесконечности. История математики от первых чисел до теории хаоса
Автор: Иэн Стюарт
Издательство: Манн, Иванов и Фербер (МИФ)
Жанр: Математика
isbn: 978-5-00117-455-4
isbn:
Сегодня нас уже не до конца удовлетворяет логика Евклида, потому что в ней есть множество прорех. Евклид слишком многие вещи принимает как данность, в наше время его список аксиом не считается полным. Например, кажется очевидным, что если линия проходит через какую-либо точку внутри круга, то она должна где-то пересекать круг, если продлить ее до нужной длины. Да, это очевидно, если вы нарисуете чертеж, но есть примеры, показывающие, что это вовсе не следует из аксиом Евклида. Евклид был выдающимся ученым, но слишком убежденным в том, что свойства, явно очевидные на чертежах, не нуждаются ни в доказательстве, ни в аксиоматике.
Всё гораздо серьезнее, чем кажется на первый взгляд. Есть немало известных примеров ошибочных суждений, ставших следствием мелких ошибок на изображении. Одно из них – «доказательство», что всякий треугольник имеет две равные стороны.
Евклид известен благодаря своему труду по геометрии «Начала» – выдающемуся и основополагающему тексту в преподавании математики на протяжении 2000 лет.
О жизни Евклида известно очень мало. Он преподавал в Александрии. Примерно в 45 г. до н. э. греческий философ Прокл писал: «Евклид ‹…› жил во времена Птолемея Первого ‹…› потому что и Архимед, живший при Птолемее Первом, упоминает о Евклиде и, в частности, рассказывает, что Птолемей спросил его, есть ли более короткий путь изучения геометрии, нежели “Начала”; а тот ответил, что нет царского пути к геометрии. Значит, Евклид был старше платоновского кружка, но моложе Архимеда и Эратосфена ‹…› он был поклонником Платона, исповедовал его философию и в знак этого в своих “Началах” назвал правильные многогранники платоновыми телами, составляющими основу Вселенной».
Золотое сечение
Книга V «Начал» уводит нас в новом и неизведанном направлении от книг с первой по четвертую. Она непохожа на традиционную геометрию и, по сути, кажется бессмысленным набором слов. Как, например, понимать утверждение: «Если одни величины равно кратны по отдельности другим величинам, то и все первые совместно кратны всем вторым» (предложение 1 книги V)?
И дело не в изложении (которое я упростил). Доказательство ясно показывает нам, что имел в виду Евклид. Английский математик XIX в. Август де Морган изложил это понятным языком в своей книге по геометрии: «Десять футов десять дюймов в десять раз больше, чем один фут и один дюйм».
Чего же добивался Евклид? Пытался придать банальности вид теоремы? Или загадочной глупости? Вовсе нет. Для нас это темная материя, но она подводит к самой важной части «Начал» – общей теории отношений, построенной Евдоксом Книдским. Современные математики предпочитают работать с числами. Нам это привычнее, поэтому я часто буду переводить СКАЧАТЬ