Онлайн чтение книги Укрощение бесконечности. История математики от первых чисел до теории хаоса Taming the infinite: The story of Mathematics from the first numbers to chaos theory
Глава 2. Логика формы

Первые шаги в геометрии

Начала геометрии

Наравне с символами математики используют схемы и диаграммы, открывающие неограниченные возможности для визуализации научных выкладок. Картинки менее формальны, чем символы, и чаще всего именно это ставит под вопрос целесообразность их использования. Широко распространено убеждение, будто картинка дает менее строгую и логичную выкладку, чем подсчеты с помощью символов. Это верно: изображение всегда оставляет больший простор для толкований. Более того, картинка может содержать скрытые намеки. Мы не можем изобразить некий «обобщенный» треугольник: любой треугольник будет иметь свою форму и размеры, которые порой не соответствуют случайно выбранной фигуре. Но поскольку визуальная интуиция остается очень мощной особенностью нашего мозга, наглядные образы играют важную роль в математике. Фактически они определяют вторую по важности идею предмета после чисел, т. е. его форму.

Табличка YBC 7289 с клинописными числами

Увлечение математиков формами имеет долгую историю. Даже на вавилонских табличках мы находим диаграммы. Например, на табличке с регистрационным номером YBC 7289 есть квадрат с двумя диагоналями. Его стороны отмечены клинописными символами, означающими 30. Выше на одной из диагоналей стоит 1;24,51,10, а под нею 42;25,35, которое равно произведению первого числа на 30, а также длине этой диагонали. Таким образом, 1;24,51,10 – длина диагонали меньшего квадрата со стороной, равной единице. Теорема Пифагора утверждает, что она равна корню квадратному из 2, и мы обозначаем его как √2. 1;24,51,10 приближает √2 с точностью до шести цифр после запятой.

Первая систематизация с использованием схем, ограниченным применением символов и изрядной долей логики встречается в описании геометрии Евклидом. Он следовал традиции, восходящей к культу Пифагора, чей расцвет пришелся на 500 г. до н. э. Однако Евклид настаивал, что любое положение математики должно иметь логическое доказательство для признания его достоверности. В записях Евклида есть важное нововведение – использование в доказательствах рисунков и логических построений. И многие века слово «геометрия» тесно ассоциировалось с этим подходом.

В этой главе мы проследим историю геометрии от Пифагора через Евклида и его предшественника Евдокса до позднего периода греческого классицизма, вплоть до его «наследников» Архимеда и Аполлония. Эти ранние геометры проложили путь для всех дальнейших работ с наглядными суждениями в математике. Также они установили стандарты логического доказательства, сохранившиеся неизменными на протяжении тысячелетий.

Пифагор

Сегодня мы принимаем как должное то, что математика дает нам ключи к законам существования природы. Первые систематизированные записи об этом пришли к нам от пифагорейцев – приверженцев мистического культа, датируемого промежутком между 600 и 400 гг. до н. э. Его основатель Пифагор родился около 569 г. до н. э. на Самосе. Место и дата его смерти покрыты мраком, но в 460 г. до н. э. основанный им культ подвергся нападкам и искоренению, а тайные места сборищ были уничтожены. В одном из них, доме Мило в Кротоне, более 50 захваченных пифагорейцев вырезали на месте. Многие из выживших сбежали в Фивы в Верхнем Египте. Не исключено, что одним из этих людей был сам Пифагор. Но даже если это всего лишь красивая выдумка, мы практически ничего не знаем о Пифагоре наверняка. Имя его у всех на слуху, главным образом из-за знаменитой теоремы о прямоугольном треугольнике, но мы даже не уверены, доказал ли ее он сам.

Зато нам известно гораздо больше о философии и убеждениях пифагорейцев. Они понимали, что математика – не реальность, а абстрактная концепция. В то же время они верили, что эта абстракция как-то воплощается в «идеальной» концепции, существуя в некоем странном воображаемом мире. То есть, например, нарисованный палочкой на песке круг – безуспешная попытка круга стать идеальным, совершенно ровным и невообразимо тонким.

Самым важным аспектом философии пифагорейцев была идея, что в основе всего лежат числа. Они выражали свою веру с помощью мифологических символов и подкрепляли ее практическими наблюдениями. В мистическом плане они считали, что число 1 – первичный источник всего во Вселенной. Числа 2 и 3 символизируют женское и мужское начала. Число 4 – символ гармонии, а также четырех стихий (земля, воздух, огонь и вода), из которых сотворено всё сущее. Пифагорейцы придавали особое мистическое значение числу 10, потому что 10 = 1 + 2 + 3 + 4 и объединяет в себе первичную единицу, женское начало, мужское начало и четыре стихии. Более того, эти числа образуют треугольник, а вся геометрия Древней Греции построена на свойствах треугольников.

Число 10 в виде треугольника

Пифагорейцы говорили о существовании девяти небесных тел: Солнце, Луна, Меркурий, Венера, Земля, Марс, Юпитер и Сатурн плюс центральный огонь, отличный от Солнца. В их космологии числу 10 придавалось столь серьезное сакральное значение, что они включили в эту систему Антихтон (Антиземля, Противоземля) – загадочную планету, скрытую от нас Солнцем.

Это две подобные формы

Как мы уже знаем, целые числа 1, 2, 3 и т. д. естественно приводят нас ко второму виду чисел – дробям. Математики называют их рациональными числами. Это дроби вида ^a/_b, где a и b  – целые числа (также b не равно 0, иначе вся дробь не имеет смысла). Дроби могут делить целые числа на сколь угодно малые части, а значит, длину стороны геометрической фигуры можно аппроксимировать настолько близко, насколько мы пожелаем, с помощью рациональных чисел. Кажется вполне естественным, что можно в точности разделить число так, чтобы все длины были рациональными.

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

К несчастью, этой мечте не суждено было осуществиться. По легенде, один из пифагорейцев, Гиппас из Метапонта, обнаружил, что это утверждение ошибочно. В частности, он доказал, что диагональ единичного квадрата (квадрата со стороной, равной одной единице), иррациональна, не является дробью. Известно (хоть это и непроверенные данные, но отличная история), что он оплошал, озвучив этот факт, когда пифагорейцы пересекали на лодке Средиземное море. Его «товарищи по цеху» пришли в такое негодование, что вышвырнули его за борт, и он утонул. Но, скорее всего, дело ограничилось его отлучением от братства. Каким бы ни было наказание, оно явно говорит о том, что его открытие не привело пифагорейцев в восторг.

Современное толкование наблюдений Гиппаса состоит в том, что √2 – иррациональное число. На взгляд пифагорейцев, этот факт был ударом в спину их беззаветной вере в то, что корни Вселенной уходят в числа – целые. Дроби – отношения целых чисел – еще кое-как вписывались в это мировоззрение, но для чисел, которые доказуемо не являлись дробями, здесь места не было. Вот и вышло, что утопленный или отлученный бедняга Гиппас стал первой жертвой иррациональности – или, скорее, религиозных убеждений.

Укрощение иррациональности

Но греки всё же нашли способ справиться с иррациональностью – благодаря тому, что любое иррациональное число можно аппроксимировать рациональным. Чем точнее приближение, тем сложнее рациональное число, и всегда остается некоторая погрешность. Делая ее всё меньше, мы получаем возможность изучать свойства иррациональных чисел, исследуя аналогичные свойства ближайших к ним рациональных. Проблема в том, чтобы поставить эту идею на те рельсы, которые были бы совместимы с подходом греков к геометрии и доказательствам. Это оказалось выполнимой, но сложной задачей.

Греческая теория иррациональных чисел была сформулирована Евдоксом примерно в 370 г. до н. э. Он стремился представить любую величину, рациональную или иррациональную, в виде соотношения двух отрезков – иными словами, парными отрезками. Таким образом, дробь ²/₃ можно представить как два отрезка, один длиной в две единицы и другой в три (соотношение 2:3). √2 можно представить парой, составленной диагональю единичного квадрата и его стороной (и это будет соотношение √2:1). Обратите внимание: здесь оба отрезка могут быть построены геометрически.

Здесь главный секрет – определить, когда эти два соотношения будут равны. Когда a: b = c: d ? Греки не имели такой системы счисления, которая позволила бы им сделать это простым делением длины одного отрезка на длину другого, и вынуждены были сравнивать a: b с c: d . А Евдокс предложил громоздкий, но точный способ сравнения, укладывающийся в условности греческой геометрии. Идея была в том, чтобы сравнивать целочисленные произведения ma и nc . Этого можно было достичь, соединяя m копий а непрерывной цепью и точно так же n копий b , а затем использовать те же множители m и n для сравнения mb и nd . Евдокс рассуждал: если соотношения a: b и c: d не равны, мы можем подобрать m и n так, чтобы увеличить разницу до такой степени, что ma > nc , но mb < nd . Действительно, так мы можем установить равенство соотношений.

Равны ли соотношения a: b и c: d?

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

Часто они использовали так называемый метод исчерпывания (или, иначе, истощения), в котором некоторые видят предка современного метода пределов и интегрального исчисления. Этим методом они доказали, что площадь круга пропорциональна квадрату его радиуса. Доказательство основывалось на простом факте, открытом Евклидом: площади двух подобных многоугольников соотносятся в той же пропорции, что и квадраты их соответствующих сторон. Круг представлял проблему: он не был многоугольником. Тогда греки построили две последовательности многоугольников: одну помещавшуюся внутри круга, а вторую – снаружи. Каждый следующий многоугольник всё ближе подходит к кругу, и из метода исчерпывания, доведенного до совершенства Евдоксом, следует, что площади самых близких к кругу многоугольников стремятся к его площади и в итоге совпадут с ней.

Евклид

Самым известным греческим геометром, хотя, возможно, и не самым талантливым математиком, считается Евклид Александрийский. Он внес огромный вклад в историю науки, собрав труды предшественников и сведя их воедино, и его «Начала» – шедевр всех времен и народов. Евклид создал не меньше десяти трудов по математике, из которых до нас дошло только пять, и те в поздних копиях, в виде фрагментов. До наших дней не дожил ни один подлинный документ из Древней Греции. Пять имеющихся текстов Евклида называются «Начала», «О делении», «Данные», «Явления» и «Оптика».

«Начала» считаются основным трудом Евклида, который окончательно утвердил разделение геометрии на двумерную (планиметрию) и трехмерную (стереометрию). «О делении» и «Данные» содержат разные дополнения и комментарии в части геометрии. «Явления» посвящены астрономии, сферической геометрии и исследованию геометрических фигур на поверхности сферы. «Оптика» также относится к этой области и может считаться первой попыткой исследования геометрии перспективы – способности человеческого глаза преобразовать трехмерное изображение в двумерную картинку.

Пожалуй, лучшим трудом Евклида можно считать исследование логики пространственных отношений. Если форма имеет определенные свойства, логично, что они определяют и другие ее характеристики. Например, если у треугольника равны все три стороны, т. е. он равносторонний, то должны быть равны и все три его угла. Такой вид утверждений, когда делается допущение, а потом приводится его логическое следствие, называется теоремой. Здесь это теорема о свойствах равностороннего треугольника. Менее интуитивно понятна, зато более известна теорема Пифагора.

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

Теорема Пифагора: если треугольник прямоугольный, площадь большого квадрата А равна сумме площадей двух других, В и С

Для современных математиков представляет интерес не столько содержание трудов Евклида, сколько их логическая структура. В отличие от предшественников, он не просто принимает известную теорему как истину. Он ее доказывает.

Что значит доказать теорему? Рассказать своего рода математическую историю, где каждый следующий шаг – логическое следствие предыдущих. Каждое очередное утверждение должно быть подкреплено отсылкой к предыдущим и быть выводом из них. Евклид понимал, что этот процесс не может идти вглубь до бесконечности: он должен с чего-то начинаться, и начальное утверждение не требует доказательств: иначе пришлось бы начинать действия с чего-то еще.

Чтобы запустить процесс, Евклид составил несколько основных определений: четких, ясных утверждений для таких основных «технических» понятий, как линия или круг , по сути очевидных. Типичный пример такого определения: тупым называется угол больше прямого.

Эти определения предоставили терминологию, необходимую для формулировки не требующих доказательств утверждений, которые Евклид разделил на два вида: общие утверждения и постулаты . Типичное общее утверждение: объекты, равные одному и тому же, равны и между собой. А типичный постулат: все прямые углы равны между собой.

Мы уже объединили оба эти типа утверждений в один и называем их аксиомами . Математические аксиомы – исходные утверждения, не требующие доказательств. Мы считаем, что аксиомы – как правила игры, и верим, что они всегда выполняются. Мы уже не задаемся вопросом, верны ли эти правила, – мы уже не думаем, что эта игра единственная в своем роде. Всякий, кто собирается участвовать в какой-то конкретной игре, должен соблюдать ее правила; иначе он волен выбрать другую, но в ней правила первой не будут работать.

Пять платоновых тел

Во времена Евклида и позже, почти 2000 лет, математикам такое не могло и в голову прийти. Практически все относились к аксиомам как к самоочевидным истинам, чью незыблемость никто не посмел бы оспорить. Евклид недаром приложил все свои таланты, чтобы сделать аксиомы именно такими, – и почти преуспел. Однако одна – аксиома параллельности – оказалась особенно сложной и не такой уж очевидной. Многие ученые пытались вывести ее из более простых общих понятий. Позже мы увидим, к каким поразительным открытиям привели эти попытки.

Опираясь на эти простые утверждения, «Начала» обеспечивали доказательства всё более сложных геометрических теорем. Например, в книге I, теореме 5 доказывается, что углы у основания равнобедренного треугольника (у которого две стороны одинаковой длины) равны. Эта теорема была известна целому поколению викторианских школьников как pons asinorum , или «мост ослов»: чертеж, используемый в доказательстве Евклида, напоминал мост. Вдобавок это был первый серьезный камень преткновения для школяров, которые пытались зазубрить теорему, а не понять ее. В книге I, теореме 32 доказано, что сумма углов треугольника на плоскости равна 180°. В книге I, теореме 47 сформулирована теорема Пифагора.

Евклид выводил каждую свою теорему из уже доказанных теорем и разных аксиом. Он выстроил башню логики, которая тянулась всё выше, опираясь на фундамент из аксиом и используя логические выводы в качестве строительного раствора, скреплявшего кирпичи.

Сегодня нас уже не до конца удовлетворяет логика Евклида, потому что в ней есть множество прорех. Евклид слишком многие вещи принимает как данность, в наше время его список аксиом не считается полным. Например, кажется очевидным, что если линия проходит через какую-либо точку внутри круга, то она должна где-то пересекать круг, если продлить ее до нужной длины. Да, это очевидно, если вы нарисуете чертеж, но есть примеры, показывающие, что это вовсе не следует из аксиом Евклида. Евклид был выдающимся ученым, но слишком убежденным в том, что свойства, явно очевидные на чертежах, не нуждаются ни в доказательстве, ни в аксиоматике.

Всё гораздо серьезнее, чем кажется на первый взгляд. Есть немало известных примеров ошибочных суждений, ставших следствием мелких ошибок на изображении. Одно из них – «доказательство», что всякий треугольник имеет две равные стороны.

Золотое сечение

Книга V «Начал» уводит нас в новом и неизведанном направлении от книг с первой по четвертую. Она непохожа на традиционную геометрию и, по сути, кажется бессмысленным набором слов. Как, например, понимать утверждение: «Если одни величины равно кратны по отдельности другим величинам, то и все первые совместно кратны всем вторым» (предложение 1 книги V)?

И дело не в изложении (которое я упростил). Доказательство ясно показывает нам, что имел в виду Евклид. Английский математик XIX в. Август де Морган изложил это понятным языком в своей книге по геометрии: «Десять футов десять дюймов в десять раз больше, чем один фут и один дюйм».

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

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

Два правильных многогранника, додекаэдр и икосаэдр, включают пятиугольники: у додекаэдра грани имеют форму пятиугольников, а каждые пять граней икосаэдра, собранные вокруг общего угла, образуют пятиугольник. Правильные пятиугольники связаны с тем, что Евклид называет «крайним и средним отношением». На отрезке АВ точка С располагается так, что отношение AB: АС равно отношению AC: BC . Меньшая часть отрезка относится к большей, как б о льшая ко всему отрезку. Если вы нарисуете пятиугольник и впишете в него пятиконечную звезду, стороны последней будут относиться к сторонам пятиугольника точно так же.

В наши дни это отношение известно как золотое сечение . Оно равно (1 + √5) / 2, и это иррациональное число. Оно приблизительно равно 1,618. Древние греки смогли доказать, что оно иррационально, с помощью геометрических свойств пятиугольника. Значит, и Евклид, и его предшественники отдавали себе отчет в том, что для полного понимания свойств додекаэдра и икосаэдра им придется иметь дело с иррациональными числами.

Отношение диагоналей к сторонам образует золотое сечение

Крайнее и среднее отношение (золотое сечение). Длина верхнего отрезка относится к длине среднего так же, как длина среднего – к нижнему

Таков традиционный взгляд, изложенный в «Началах». Дэвид Фоулер в своей книге «Математики Академии Платона» («The Mathematics of Plato’s Academy») утверждает, что это может толковаться иначе. Возможно, главной темой труда Евклида была теория иррациональных чисел, а рассуждения о правильных многогранниках – второстепенное приложение к ней. Действительно, мы можем интерпретировать текст Евклида по-разному, но одна особенность «Начал» говорит в пользу этой альтернативной теории. Основная часть теории чисел не нуждается в классификации правильных многогранников. Зачем же тогда Евклид включил их в свой труд? И только их прямая связь с теорией иррациональных чисел делает понятным такой ход.

Архимед

Величайшим из древних математиков считается Архимед. Он сделал важнейший вклад в геометрию, был первопроходцем в деле приложения математики ко всем явлениям мира и непревзойденным инженером. Но для математиков он будет памятен прежде всего исследованиями формы круга, шара и цилиндра. Для нас они связаны с числом π (пи), приблизительно равным 3,14159. Конечно, греки не работали с π напрямую: они представляли его геометрически, как отношение длины окружности к диаметру.

Ранние культуры уже имели представление о том, что длина окружности всегда одинаково соотносится с ее диаметром и что она длиннее примерно в три раза, может, чуть больше. Вавилоняне считали это число равным 3 ¹/₈. Известное нам по школе знаменитое приближение для числа π – «архимедово число», равное 3 ¹/₇, – ближе к истине, но тоже неточное. Архимед пошел намного дальше, в духе Евдокса подведя твердые доказательства под свои результаты. Насколько смогли установить древние греки, отношение между длиной окружности и диаметром должно быть иррациональным числом. И сейчас мы точно знаем, что так оно и есть, хотя с доказательством пришлось подождать до 1761 г., когда его открыл Иоганн Генрих Ламберт. Но как бы то ни было, Архимед, не сумев доказать, что π – рациональное число, вынужден был принять, что оно иррациональное.

Греческая геометрия лучше всего работает с многоугольниками – фигурами, образованными прямыми линиями. Но окружность – кривая, и Архимед подбирается к ней с помощью аппроксимирующих многоугольников. Чтобы вычислить π, он сравнил длину круга с периметрами многоугольников двух последовательностей: в одной фигуры были вписаны в круг, в другой – описаны вокруг него. Периметр прямоугольника в круге должен был быть меньше длины окружности, а периметр наружного – больше. Для простоты Архимед брал правильные многоугольники, деля их стороны пополам, начиная с шестиугольника и получая соответственно 12 сторон, 24, 48 и т. д. Он остановился на 96. Его вычисления дали результат 3 ¹⁰/₇₁ < π < 3 ¹/₇, т. е. значение π оказалось между 3,1408 и 3,1429.

Архимедовы исследования шара заслуживают особого внимания: мы не только знакомы с его строгим доказательством, но и знаем, как оно было открыто, – и уж в этой истории никакой строгости нет. Обоснование приводится в его книге «О шаре и цилиндре». Он доказывает, что объем шара равен двум третям от объема описанного около него цилиндра, а площадь поверхности шара равна площади боковой поверхности этого цилиндра. Говоря современным языком, Архимед доказал, что объем шара равен ⁴/₃ π r ³, где r  – радиус; а площадь его поверхности равна 4π r ². Эти формулы используются и по сей день.

В доказательствах Архимед использовал метод исчерпывания. Он имеет важное ограничение: вам необходимо знать результат заранее, чтобы повысить свои шансы доказать его. Много веков ученые не могли понять, как Архимеду удалось это узнать. Но в 1906 г. голландский ученый Йохан Гейберг наткнулся на пергамент XIII в. с записанными на нем псалмами и обнаружил под ними более ранние стертые записи. Оказалось, это труды Архимеда, причем некоторые из них были неизвестны. Такие документы (записи, затертые на пергаменте ради новых текстов) называются палимпсестами. (Поразительно, но этот же манускрипт содержит еще две утраченные работы древних авторов.) Одна из работ Архимеда, «Послание к Эратосфену о методе» (книга «Метод механических теорем»), объясняет, как угадать объем шара. Идея в том, чтобы нарезать фигуру на сколь угодно тонкие слои и поместить их на одном конце рычага, а на другом – такие же слои цилиндра и конуса, чьи объемы Архимед уже умел вычислять, и взвесить. По закону равновесия рычага мы найдем требуемое значение объема шара. Сам пергамент был приобретен частным лицом за 2 млн долл. в 1998 г.

Архимедов винт

Проблемы древних греков

Греческая геометрия имела ограничения; некоторые из них удалось преодолеть благодаря применению новых методов и концепций. Евклид фактически ограничил геометрические чертежи теми, что можно было выполнить с помощью линейки без делений и пары ножек циркуля (здесь акцент на слове «циркуль»: слово «пара» используется так же, как в выражении «резать бумагу парой ножниц», так что не будем излишне педантичны). Иногда говорят, что он сделал это обязательным требованием, но оно касалось его чертежей, а не общих правил. С помощью дополнительных инструментов можно было построить и иные фигуры – идеальные в той же степени, в какой может быть идеальным круг, начерченный циркулем.

Шар и описанный вокруг него цилиндр

Например, Архимед знал, что вы можете сделать трисекцию угла при помощи линейки с двумя зафиксированными метками. Греки называли этот метод построения «невсис». Теперь нам известно (судя по всему, это уже предполагали греки), что точная трисекция угла при помощи линейки и циркуля невозможна, а значит, вклад Архимеда расширил границы возможного. Еще две знаменитые проблемы того времени – удвоение куба (построение тела, чей объем вдвое больше объема исходного) и квадратура круга – построение квадрата, равновеликого площади заданного круга. Их также невозможно решить только при помощи циркуля и линейки.

Дальнейшее расширение разрешенных операций в геометрии – введение нового вида кривых, конических сечений, – отразилось в арабских работах о кубических уравнениях, созданных около 800 г. н. э., и широко применялось в механике и астрономии. Эти кривые, что крайне важно для истории математики, получаются при пересечении плоскости с двойным конусом.

Палимпсест с трудами Архимеда

Конические сечения

Сегодня мы знаем три главных типа таких конических сечений.

• Эллипс – замкнутая овальная кривая – возникает, когда плоскость пересекает только одну половину конуса. Окружность – разновидность эллипса.

• Гипербола – кривая с двумя бесконечно длинными ветвями – получается, когда плоскость пересекает обе половины конуса.

• Парабола – переходная кривая между эллипсом и гиперболой, параллельная воображаемой линии, проходящей через вершину конуса и лежащей на его поверхности. Имеет только одну ветвь, уходящую в бесконечность.

Конические сечения подробно изучал Аполлоний Пергский, перебравшийся из Перги в Малой Азии в Александрию, чтобы учиться у последователей Евклида. Его главный труд, «Конические сечения», написан около 230 г. до н. э. и содержит 487 теорем. Евклид и Архимед лишь косвенно изучили некоторые свойства конусов, но пришлось написать целую книгу, чтобы собрать все теоремы Аполлония. Одна из важнейших его идей заслуживает особого внимания. Это упоминание о фокусах эллипса (либо гиперболы). Фокусы – две особые точки, характерные для этих двух фигур. Они имеют много свойств, но для нас важно одно: сумма расстояний от любой точки эллипса до обоих его фокусов есть величина постоянная (равная удвоенному большому диаметру эллипса). Фокусы гиперболы имеют то же свойство, но здесь этой же постоянной величине соответствует разница между аналогичными расстояниями.

Как Эратосфен измерил окружность Земли

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

Древние греки внесли две основные идеи в развитие нашей цивилизации. Первая – систематизированный подход к геометрии. Используя ее как инструмент исследований, греки открыли форму и размеры нашей планеты, ее взаимодействие с Солнцем и Луной и даже сложнейшие связи с остальной Солнечной системой. Они использовали геометрию, прокладывая два туннеля с обоих концов так, чтобы они точно встречались посередине, тем самым вдвое сокращая время строительства. Они умели строить гигантские и мощные механизмы, исходя из таких простейших принципов, как закон рычага, и в мирных, и в военных целях. Они использовали геометрию для строительства кораблей и в архитектуре. Такие их постройки, как Парфенон, до сих пор показывают, что математика и красота неразрывны. Поразительная элегантность Парфенона – результат искусных подсчетов, использованных архитекторами для преодоления ограничений визуального восприятия и избавления от ошибок в самом основании, на котором построен храм.

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

Новый стадион Уэмбли. В постройке использованы принципы, открытые в Древней Греции и успешно развитые за много веков