# Как Рождественская лекция Эрика Зимана связала геометрию и живопись

Источник: https://www.youtube.com/watch?v=G7GOwbat64U
Канал: The Royal Institution
Опубликовано: 04.07.2025

---

В 1978 году выдающийся математик Эрик Кристофер Зиман представил на Рождественских лекциях Королевского института захватывающее исследование природы бесконечности. В своей третьей лекции под названием «Бесконечность и перспектива» он продемонстрировал, как эта абстрактная концепция объединяет древние философские парадоксы, законы живописи эпохи Возрождения и фундаментальную теорию множеств. Автор раскрыл удивительную связь между точными науками и искусством, показав, как математическое понимание бесконечности развивалось от оптических иллюзий до строгих теорем.

## 🐢 Парадокс Ахиллеса и черепахи: от Зенона до бесконечных сумм
[[JUMP:1:35]]

Эрик Кристофер Зиман начинает лекцию с классической темы — парадокса об Ахиллесе и черепахе, предложенного греческим философом Зеноном в V веке до нашей эры. Для наглядной демонстрации лектор приглашает на сцену добровольцев. Условия гонки просты: Ахиллес бежит в два раза быстрее черепахи, но та стартует с отметки 1, тогда как герой — с отметки 0. 

Согласно Зенону, Ахиллес никогда не догонит черепаху. Прежде чем преодолеть разделяющее их расстояние, ему нужно добежать до точки, где черепаха начала движение (точки 1). За это время черепаха сместится вперед, на отметку 1,5. Когда Ахиллес достигнет этой точки, черепаха сдвинется на 1,3/4, затем на 1,7/8 и так далее до бесконечности. Зенон утверждал, что Ахиллесу придется преодолеть бесконечную последовательность точек, а значит, финиш невозможен.

Разрешение этого парадокса Зиман формулирует в виде первой теоремы, которая описывает сумму бесконечного числового ряда:

$$1 + \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \frac{1}{16} + \dots = 2$$

Складывая конечное число слагаемых, мы приближаемся к двойке, но никогда её не достигаем. Однако при сложении бесконечного числа элементов результат оказывается конечным числом — в данном случае, ровно 2. Ахиллес обгонит черепаху именно в этой точке, поскольку расстояние от 0 до 2 вдвое больше расстояния от 1 до 2, что в точности компенсирует его двукратное преимущество в скорости.

## 📈 Изменение правил игры: когда бесконечность становится непреодолимой
[[JUMP:5:03]]

Оригинальные труды Зенона утеряны, но его рассуждения зафиксировал философ Аристотель в IV веке до нашей эры. Эрик Кристофер Зиман цитирует Аристотеля, отмечая, что в древнем тексте нет указания на постоянную скорость участников гонки. Что произойдет, если черепаха, испуганно оглядываясь, будет постепенно ускоряться (хотя и оставаясь медленнее Ахиллеса)?

Лектор предлагает следующий сценарий: пока Ахиллес пробегает расстояние 1, черепаха продвигается на 1/2. Пока Ахиллес преодолевает эти 1/2, черепаха ускоряется и пробегает уже 1/3. На следующем этапе её шаг составляет 1/4, затем 1/5 и так далее. В этом случае для определения точки встречи необходимо найти сумму гармонического ряда, что приводит ко второй теореме:

$$1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \frac{1}{5} + \dots = \infty$$

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

Для доказательства этой теоремы Зиман использует метод группировки членов ряда:

1. Сначала он оставляет без изменений первые два слагаемых: $1 + \frac{1}{2}$.
2. Затем объединяет в скобки следующие два члена: $(\frac{1}{3} + \frac{1}{4})$.
3. Далее группирует следующие четыре члена: $(\frac{1}{5} + \frac{1}{6} + \frac{1}{7} + \frac{1}{8})$.
4. Затем — следующие восемь членов и так далее.

Если заменить каждый член в скобках на самый маленький элемент этой группы (например, заменить 1/3 на 1/4, а 1/5, 1/6 и 1/7 на 1/8), итоговая сумма уменьшится, но структура ряда станет очевидной. Две четверти дадут 1/2, четыре восьмых — еще 1/2. В результате получается бесконечная последовательность половинок, сумма которых стремится к бесконечности. 

Лектор подчеркивает, что в данном контексте знак бесконечности выполняет роль прилагательного: он означает лишь то, что сумма не является конечной. Если кто-то назовет конечное число, например, миллион, всегда можно взять два миллиона половинок ряда, прибавить единицу в начале и превысить этот предел.

## 🖼️ От геометрии к живописи: рождение проективной геометрии и законы перспективы
[[JUMP:9:45]]

Существуют области математики, где бесконечность выступает в роли существительного — например, проективная геометрия, оперирующая понятием «точек в бесконечности». Эта дисциплина была создана в XVII веке французским математиком Дезаргом. Однако Зиман обращает внимание на важный исторический факт: ученые XVII века никогда бы не смогли развить проективную геометрию, если бы за два столетия до них архитекторы и художники эпохи Возрождения не открыли правила перспективы. Именно их художественные поиски стали семенем, из которого выросла математическая теория.

Перспектива в живописи имеет два значения: обывательское (реалистичность изображения) и строгое математическое, где линии подчиняются правилам, которые сформулировал архитектор Филиппо Брунеллески во Флоренции около 1420 года. Главное правило Брунеллески гласит, что все параллельные линии, уходящие вдаль от наблюдателя, сходятся в одной точке — точке схода (vanishing point).

Зиман демонстрирует это на примере картины голландского мастера XVII века Питера де Хоха «Голландский интерьер». На ней линии оконных рам, плинтусов и потолочных балок идеально сходятся в одной точке схода. Математик замечает на полотне и пару ошибок — например, изображение стола слева от камина выбивается из общей схемы. По мнению Зимана, это были более поздние дополнения автора, сделанные уже поверх оригинальной сетки перспективы.

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

## 📐 Теорема о точке схода: математическое доказательство оптической иллюзии
[[JUMP:14:30]]

Что представляет собой точка схода с точки зрения геометрии? В реальном мире параллельные линии не пересекаются, но на картине они сходятся. Зиман формулирует и доказывает теорему о точке схода, используя три объекта: глаз наблюдателя, картину (представленную в виде прозрачного стекла) и саму линию в пространстве.

Изображением точки $A$ на картине является точка $A'$, где луч, идущий от $A$ к глазу, пронзает плоскость картины. Соответственно, отрезок $A'B'$ становится изображением линии $AB$. Математическое определение точки схода $V$ для множества параллельных линий $S$ формулируется так: это точка, в которой луч, проведенный через глаз наблюдателя параллельно линиям $S$, пересекает плоскость картины. Теорема Зимана гласит: изображения всех этих параллельных линий обязательно проходят через точку схода.

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

Строгое математическое доказательство Зиман строит на пересечении плоскостей. Две параллельные линии (исходная линия в пространстве и луч, идущий через глаз к точке схода) задают наклонную плоскость. Эта наклонная плоскость пересекает вертикальную плоскость картины по прямой линии. Поскольку точки проекции $A'$, $B'$ и точка схода $V$ одновременно лежат и в наклонной плоскости, и в плоскости картины, они обязаны лежать на линии их пересечения. Следовательно, продолжение изображения любой параллельной линии неизбежно пройдет через точку схода $V$.

## 🎨 Великие мастера Ренессанса: от открытий Мазаччо до ошибок Ван Эйка
[[JUMP:20:20]]

Правила перспективы, открытые Брунеллески около 1420 года, были впервые опубликованы другим архитектором, Леон Баттиста Альберти, в 1436 году в его знаменитом трактате «О живописи» (De Pictura). Зиман поправляет себя: речь идет скорее о переоткрытии. Греческие и римские художники античности знали эти законы. В качестве доказательства приводится римская настенная фреска эпохи императора Августа (около 27 года до н.э.), недавно обнаруженная в Риме. На ней линии карнизов и фронтона четко сходятся в одной точке, хотя рисовал её, по мнению лектора, обычный скромный декоратор. В Средние века эти правила были забыты.

Первым художником эпохи Возрождения, применившим перспективу на практике, стал Мазаччо (1401–1428). Он прожил всего 26 лет, но оставил шедевры, повлиявшие на Микеланджело и Леонардо да Винчи. Его фреска «Святая Троица» в церкви Санта-Мария-Новелла во Флоренции создает у монящегося полную иллюзию взгляда внутрь настоящей капеллы, причем точка схода находится ровно на уровне глаз наблюдателя.

Другая великая работа Мазаччо — «Подать кесарю» в капелле Бранкаччи. Зиман соглашается с мнением искусствоведов, считающих это полотно вершиной мастерства художника. Помимо психологизма и инновационного освещения (все одежды освещены справа и затенены слева), здесь безупречно выстроена перспектива: линии входа в Капернаум сходятся прямо на лице Христа, подчеркивая его центральную роль. Также Мазаччо впервые применил правило: если фигуры находятся на одном уровне с наблюдателем, их головы должны лежать на одной горизонтальной линии, а иллюзия расстояния создается за счет того, что ноги ближних персонажей прорисованы ниже, а дальних — выше.

Лектор анализирует и другие произведения:

* **Беноццо Гоццоли, «Похищение Елены»:** Написана во Флоренции примерно через 20 лет после смерти Мазаччо. Под слоем краски отчетливо видны прочерченные художником линии сетки, уходящие к точке схода над головой Елены.
* **Доменико Венециано, «Благовещение»:** Демонстрирует идеальную симметричную перспективу, точка схода которой расположена в верхней части дверного проема. Зиман рекомендует отойти от картины на 6 футов и закрыть один глаз, чтобы ощутить поразительный трехмерный эффект.
* **Доменико Венециано, «Чудо святого Зиновия»:** Часть того же алтаря, но здесь линии улиц вместо чёткой точки схода образуют хаотичное «месиво» вокруг лица скорбящей матери. Зиман называет это гениальным намеренным нарушением правил ради передачи глубокого эмоционального стресса персонажа.
* **Ян ван Эйк, «Портрет четы Арнольфини» (1434 год):** Написан через 6 лет после смерти Мазаччо. Несмотря на реалистичность, линии пола, подоконника и потолка сходятся в совершенно разных зонах. По мнению Зимана, великий фламандец просто не знал о правилах Брунеллески, так как новости из Флоренции еще не дошли до Бельгии. Если бы Ван Эйк, обожавший оптические трюки и запечатлевший себя в выпуклом зеркале, знал о точке схода, он бы непременно поместил её в центр этого зеркала.

## 🧊 Трехмерный куб и поиск уникальной точки обзора
[[JUMP:28:38]]

Теорема о перспективе не ограничивается одной точкой схода. Если в пространстве есть несколько семейств параллельных линий, возникнет несколько точек схода. Например, у куба три набора параллельных ребер, а значит, его можно нарисовать с тремя точками схода. С помощью двух ассистенток, Сузанны и Элизы, Зиман чертит на доске куб по трем точкам схода $A$, $B$ и $C$.

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

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

Таким образом, искомая точка обзора должна одновременно лежать на трех сферах, построенных на отрезках $AB$, $AC$ и $BC$ как на диаметрах. Три сферы пересекаются ровно в двух точках, но одна из них находится за доской, поэтому существует лишь одно истинное положение для глаза наблюдателя перед экраном. Как только ассистентки смотрят на рисунок из этой строго выверенной точки, куб мгновенно принимает идеальную форму.

Этот же принцип применим к картинам. В «Голландском интерьере» Питера де Хоха ортогональные линии пола задают центральную точку схода, а диагонали напольных плиток — вспомогательную точку под углом 45 градусов, лежащую за пределами холста. Из этого вычисляется, что картина имеет уникальную точку обзора, расположенную ровно в 4 футах напротив центра схода. Если закрыть один глаз на этом расстоянии, иллюзия реальности станет абсолютной.

## 🪞 Исторический эксперимент Брунеллески с зеркалом
[[JUMP:37:36]]

Филиппо Брунеллески не просто открыл правила, он продемонстрировал их коллегам с помощью оригинального оптического эксперимента. Он написал небольшую картину с изображением флорентийского Баптистерия — старейшего восьмигранного здания города, расположенного напротив собора. Поскольку баптистерий представляет собой октагон, его стены уходят под углом 45 градусов, создавая мощные боковые точки схода. Брунеллески стоял в западных дверях собора и зафиксировал перспективу на панели высотой 12 дюймов с расстояния 20 дюймов от глаза.

Чтобы доказать точную корректность своего рисунка, Брунеллески придумал гениальную систему с зеркалом. В самой панели он проделал крошечное отверстие для глаза (peep hole). На расстоянии 10 дюймов от панели (ровно посередине) он поместил плоское зеркало высотой 6 дюймов. Глядя через отверстие с оборотной стороны картины в зеркало, наблюдатель видел виртуальное изображение холста в полную величину и на правильном расстоянии в 20 дюймов.

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

## ♾️ Георг Кантор и иерархия бесконечных множеств
[[JUMP:43:38]]

В финальной части лекции Эрик Кристофер Зиман переходит от геометрии к чистой алгебре множеств. Можно ли исследовать бесконечность саму по себе, без привязки к пространству? По словам лектора, это стало возможным благодаря немецкому математику Георгу Кантору. В 1884 году, в возрасте 29 лет, Кантор доказал монументальную теорему, которая перевернула научный мир.

Теорема Кантора записывается следующим образом:

$$A < 2^A$$

По определению Кантора, выражение $2^A$ означает множество всех подмножеств множества $A$. Если у нас есть три элемента $\{x, y, z\}$, то их подмножествами будут: пары $\{x,y\}$, $\{x,z\}$, $\{y,z\}$, одиночные элементы, пустое множество и само исходное множество — всего 8 вариантов ($2^3 = 8$).

Шокирующий вывод Кантора заключался в том, что эта теорема верна и для бесконечных множеств. Если подставить на место $A$ бесконечное множество, то на выходе мы получим еще более крупное бесконечное множество. Подавая этот результат снова и снова на вход, мы открываем бесконечную иерархию увеличивающихся бесконечностей. По мнению Кантора, существование разных размеров бесконечностей — неоспоримый математический факт.

Чтобы объяснить концепцию сравнения бесконечных множеств, Зиман вводит понятие «спаривания» (однозначного соответствия). Два множества равны, если их элементы можно объединить в пары один к одному, как три апельсина и три лимона. Множество $A$ меньше или равно $B$, если элементы $A$ можно спарить лишь с частью элементов $B$. 

Однако для бесконечных множеств действует удивительное правило: бесконечное множество может быть равно по размеру своей собственной части. Зиман иллюстрирует это примером двух множеств: положительных целых чисел $\{1, 2, 3, 4, 5, \dots\}$ и целых чисел, включая ноль $\{0, 1, 2, 3, 4, 5, \dots\}$. Мы можем сопоставить каждому числу из первого ряда число из второго, просто сдвинув ряд на единицу вниз. Но если мы сопоставим их один к одному дальше, мы сможем спарить их полностью, и ничего не «выпадет», так как у бесконечности нет конца. Таким образом, эти два множества равны, несмотря на то что одно включает в себя другое.

## 💈 Парадокс брадобрея и финал великой теоремы
[[JUMP:50:18]]

Для доказательства второй части теоремы Кантора (о том, что множество $A$ строго меньше множества подмножеств и они не могут быть полностью сопоставлены) Зиман использует знаменитый логический парадокс о брадобрее. В некой деревне все мужчины гладко выбриты. Часть из них бреется сама, а другая часть ходит к парикмахеру (брадобрею). Правило парикмахера строгое: он бреет только тех и у всех тех, кто не бреется сам. Возникает вопрос: бреет ли парикмахер сам себя? Логического ответа не существует, ведь парикмахер не может войти ни в одну из групп без противоречия.

Далее лектор приглашает еще 10 молодых людей и девушек, чтобы наглядно разыграть доказательство от противного для бесконечных множеств. Девушки представляют элементы множества $A$, а юноши — подмножества. Правило отбора «брадобрея» формулируется как поиск подмножества элементов, которые не включают сами себя при гипотетическом полном сопоставлении. В ходе шуточного эксперимента Зиман доказывает, что если попытаться сопоставить все элементы со всеми группами, неизбежно останется «одинокий парикмахер», у которого не может быть пары, что ведет к математическому противоречию.

В заключение Эрик Кристофер Зиман записывает строгое математическое доказательство теоремы Кантора на доске, демонстрируя его элегантность и лаконичность:

1. Предположим противное: существует взаимно однозначное отображение $x \to f(x)$, связывающее элементы множества $A$ с множеством его подмножеств $2^A$.
2. Определим особое подмножество $B$ (аналог «брадобрея»): $B = \{x \in A \mid x \notin f(x)\}$ — множество элементов, которые не принадлежат своим образам при данном отображении.
3. Поскольку отображение гипотетически покрывает все подмножества, должен существовать некий элемент $y \in A$, для которого $f(y) = B$.
4. Из этого следует неразрешимое противоречие: элемент $y$ принадлежит подмножеству $B$ тогда и только тогда, когда он ему не принадлежит ($y \in B \iff y \notin B$).

Следовательно, наше предположение было неверным, сопоставить множества невозможно, и теорема $A < 2^A$ полностью доказана.

Лектор напоминает, что на рубеже XIX и XX веков многие выдающиеся математики встретили идеи Кантора с яростным эмоциональным сопротивлением. Творца теории множеств подвергали жестким нападкам, что в итоге довело его до тяжелого нервного срыва. Так, Анри Пуанкаре публично заявлял, будто теория Кантора — это «болезнь, от которой будущие поколения будут рады излечиться». 

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