Эдвард Шейнерман - Путеводитель для влюбленных в математику

Если мы ищем точки, удаленные от начала координат на расстояние 1, они должны удовлетворять условию:

Возведем обе части в квадрат и получим x ² + y ² = 1!

В общем случае, если центр окружности c радиусом r расположен не в начале координат, а в точке ( a, b ), она задается уравнением:

( x – a )² + ( y – b )² = r ².

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

Вопрос: как вписать треугольник в полуокружность , чтобы одна из его сторон совпадала с диаметром окружности?

Вот отличный ответ: треугольник можно вписать в полуокружность исключительно в том случае, если один из его углов прямой (то есть речь идет о прямоугольном треугольнике).

Расставим на окружности четыре точки: A, B, C и D . Они задают четыре величины: длины сторон четырехугольника | AB |, | BC |, | CD |, | AD | и длины двух его диагоналей d 1и d 2.

Теорема Птолемея изящно связывает эти величины:

d 1× d 2= | AB | × | CD | + | BC | × | AD |.

И наоборот, если длины сторон и диагоналей четырехугольника удовлетворяют этой формуле, его вершины лежат на одной окружности.

Насколько плотно можно упаковать круги? Будем считать, что все круги имеют один радиус (скажем, 1) и мы хотим упаковать на значительном участке плоскости максимальное их число (представьте поднос, на котором нужно уместить как можно больше консервных банок).

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

Насколько эффективна такая упаковка? Один из критериев – измерить, какую часть плоскости покрывают все эти круги.

Посмотрим повнимательней на четыре круга, чьи центры лежат в вершинах квадрата. Радиусы кругов равны 1, потому сторона квадрата равна 2, а его площадь – 4. Квадрат не полностью покрыт областями, находящимися внутри кругов. Его перекрывает ровно четверть каждого из четырех кругов; таким образом, общая площадь кругов и квадрата равна площади одного круга, то есть π.

Соотношение между покрытой и непокрытой частями плоскости равно Мы можем усеять всю плоскость такими вот четверками окружностей, и они покроют примерно 78,5 % плоскости.

Неплохо, но можно сделать и лучше. Пусть теперь центры шести окружностей совпадают с вершинами правильного шестиугольника, а седьмая окружность располагается внутри него:

При таком подходе круги накрывают больше 90 % плоскости. Подумайте, как это вычислить. Ответ – в конце главы.

Гексагональная упаковка кругов на плоскости – самая плотная.

Естественно, возникает вопрос: а как насчет трех измерений? [161] Теперь мы заполняем не поднос консервными банками, а большую коробку шарами одного радиуса. Пример наиболее плотной упаковки вы обнаружите в ближайшем супермаркете в отделе с фруктами, если увидите пирамиду апельсинов. Ответ, вероятно, был известен уже в античности, но со всей строгостью его сформулировал Иоганн Кеплер в начале XVII века. Кеплер утверждал, что наиболее плотная упаковка шаров такая, что при сечении плоскостью, проходящей через центры шаров в одном ряду, выясняется, что центры шести соседних шаров лежат на вершинах правильного шестиугольника, а центр седьмого шара совпадает с центром этого шестиугольника (см. рисунок выше). Тогда шары покрывают примерно 74 % пространства [162] Точное соотношение равно .

Сложность состояла в том, чтобы доказать, что это действительно наиболее плотная упаковка и нет никаких альтернатив. С задачей на плоскости разобрались довольно быстро, но решение пространственной задачи потребовало 400 лет. Лишь в 1990-е годы Томас Хэйлс [163] Томас Хэйлс (род. 1958) – профессор Питтсбургского университета. – Прим. пер. опубликовал сверхсложное доказательство, включающее теоретические выкладки и массу вычислений. Независимые эксперты дотошно изучили доказательство Хэйлса и не обнаружили там никаких погрешностей.

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

Как соотносятся размеры этих четырех окружностей? Иначе говоря, если мы знаем радиус трех окружностей, можем ли мы вычислить радиус четвертой?

Рене Декарт [164] Рене Декарт (1596–1650) – французский философ, математик, физик и физиолог, создатель аналитической геометрии и современной алгебраической символики. – Прим. пер. опубликовал решение этой задачи в начале XVII века. Разберем его результат в простейшем виде. Нам понадобится определение кривизны окружности: это величина, обратная радиусу. Например, окружность с радиусом 2 имеет кривизну 1/2.

Декарт пришел к следующему выводу: если кривизны «целующихся» окружностей равны k 1, k 2, k 3, k 4, то соотношение между ними укладывается в формулу:

Например, если три большие окружности имеют радиус/кривизну 1, а кривизна малой окружности равна c , то из формулы (*) следует: