Трехмерный мир. Евклид. Геометрия
Шрифт:
РИС. 17
Пять Платоновых тел. Слева направо: тетраэдр, октаэдр, икосаэдр, куб и додекаэдр.
Книга XIII, предложение 18. Кроме упомянутых пяти тел невозможно построить другого тела, заключенного между равносторонними и равноугольными равными друг другу многоугольниками.
Доказательство. Представим, что на листе бумаги стоит точка. Нарисуем вокруг нее 3,4 или 5 равносторонних треугольников, 3 или 4 квадрата и 3 пятиугольника. Если посчитать градусы углов, становится понятно, что другие фигуры невозможны. Следовательно, не могут существовать другие правильные многоугольники,
ЗОЛОТОЙ ПРЯМОУГОЛЬНИК В ДВУХ ШЕДЕВРАХ
Существует мнение, что золотой прямоугольник встречается во многих произведениях искусства (в частности, в афинском Парфеноне и «Менинах» Веласкеса). Но даже когда искусство прервало классические традиции, как в случае кубизма, прямоугольник остался важным структурным элементом картины. Парфенон — один из самых известных дорических храмов, сохранившихся до наших дней; он был построен между 447 и 432 годами до н.э. Его размеры составляют примерно 69,5 м в длину, 30,9 м в ширину, высота колонн —10,4 м. Храм посвящен богине Афине, которую жители города считали своей покровительницей. А полотно Веласкеса было написано в 1656 году и его размеры — 318 х 276 см. Как видно на рисунках, пропорции их основных элементов образуют золотые прямоугольники. Необходимо уточнить, что хотя эти пропорции и не были результатом специальных построений, все же вряд ли они получились по чистой случайности.
Но существуют ли пять Платоновых тел? Построить первые три относительно легко, а в случае с икосаэдром и додекаэдром все не так просто. Евклид в предложениях с 13 по 17 книги XIII объясняет эти фигуры и вычисляет их стороны
в соответствии с диаметром сферы, в которую они вписаны. Задача сводится к тому, чтобы построить круг, заключающий одну из сторон многоугольника. Это построение является результатом анализа. В качестве примера рассмотрим построение стороны правильного тетраэдра (см. рисунок).
Разделим диаметр АВ круга в точке С так, чтобы АС = 2ВС, Проведем через С прямую, перпендикулярную АВ, пересекающую полукруг ABD в точке D. Проведем окружность с радиусом CD и рассмотрим заключенный в ней равносторонний треугольник. Мы получим три точки: Е, F, G. Проведем через центральную точку Я треугольника EFG прямую НK, перпендикулярную плоскости и равную АС. Соединим К с вершинами Е, F, G и получим тетраэдр. Еще раз отметим, что для этого построения необходимо произвести предварительный анализ, как мы видели в отступлении, посвященном правильному пятиугольнику. Без этого анализа построение невозможно, так как мы не знали бы, какие действия предпринимать.
Францисканский монах и математик Лука Пачоли, итальянец, решает одну из задач евклидовых «Начал». Картина 1495 года, музей и галерея Каподимонте, Неаполь.
Обложка первого английского издания «Начал» Евклида, опубликованного в 1570 году Генри Биллингсли.
«Начала» Евклида. Латинская копия XII века.
Тем не менее в случае с икосаэдром и додекаэдром не все так просто — именно поэтому Гипсикл отвел значительную часть книги XIV построениям этих фигур. Но самое необычное построение предложил Лука Пачоли (1445-1517) в сочинении «О божественной пропорции» (1494). Этот трактат известен не только тем, что в нем крайнее и среднее соотношение получило одно из самых ярких названий, но и благодаря своему научному содержанию, а также великолепным рисункам полиэдров работы самого Леонардо да Винчи. Шедевр Пачоли «Сумма арифметики, геометрии, учения о пропорциях и отношениях», в котором автор хотел рационализировать бухгалтерские методы того времени, стал завершением математики XIII и XIV веков и открыл новую эру в алгебре.
В 1507 году Пачоли сделал точный перевод «Начал» на латынь. Как видно на рисунке, он вставил один в другой три равных золотых прямоугольника перпендикулярно друг другу по срединной параллели. Затем ему оставалось только соединить ближайшие друг к другу вершины. Чтобы построить додекаэдр, итальянец соединил центры граней икосаэдра. Великолепный пример ясности рассуждений!
ГЛАВА 5
Теория отношений и метод исчерпывания
Одним из важнейших достижений Академии была разработка теории отношений, приписываемая великому древнегреческому математику Евдоксу Книдскому.
Благодаря ей Евклид смог сделать шаг вперед по сравнению с прямыми и окружностями и заняться изучением объемов. Еще одной знаменательной находкой классической математики был метод исчерпывания, с помощью которого Евклид решил задачу, унаследованную еще от Древнего Египта и связанную с расчетом объема пирамиды.
Как мы уже говорили, V книга «Начал» не зависит от предыдущих, хотя после установления теории отношений между величинами они становятся необходимы для применения общей теории геометрии. Этот метод практически единогласно приписывается Евдоксу Книдскому.
ПОНЯТИЕ ВЕЛИЧИНЫ
Первая проблема — похожая на заключенную в понятии прямой, но более сложная — кроется в самом термине «величина». Евклид использовал его, нигде не объясняя его значения. Любопытно, что Архимед, напротив, избегал этого термина и говорил только о «прямых, поверхностях и телах». Отсутствие определения величины вызвало серьезные философские споры, оказавшие влияние и на математику. Главный вопрос, вокруг которого развернулась дискуссия, звучал так: можно ли разделять величины до бесконечности? Самый заметный вклад в его решение внес Зенон Элейский со своими апориями, или парадоксами.
Зенон предложил собственную формулировку вопроса о величинах, в которой рассматривал время и пространство: они делимы до бесконечности или же состоят из неделимых мгновений и промежутков? Для древнегреческой философии того времени обе гипотезы были неприемлемы. Первая подразумевает, что мы должны принять актуальную бесконечность, которую, как мы уже знаем, Аристотель отверг окончательно и бесповоротно в IV веке до н. э., а во второй кроется парадокс: каким образом, соединяя «мгновения» или «неделимые промежутки», которые не содержат в себе ни времени, ни пространства, то есть нулевые, мы получаем некий временной или пространственный промежуток, отличный от нуля? Зенон пошел еще дальше и сформулировал четыре парадокса, о которых рассказывается в «Физике» Аристотеля. Два из них вытекают из гипотезы о том, что время дискретно и состоит из частей, не содержащих времени, а два других — из представления, согласно которому и время, и расстояние можно дробить до бесконечности. Рассмотрим два парадокса — по одному каждого типа.