В рамках знаменитых Рождественских лекций Королевского института 1978 года выдающийся математик Эрик Кристофер Зиман представляет глубокое исследование взаимосвязи чисел и геометрии. Во второй лекции цикла он демонстрирует, как рождение концепции строгого доказательства изменило научный мир, и объясняет сложные алгебраические идеи через наглядные геометрические образы. Открытие иррациональности, создание комплексных чисел и доказательство Основной теоремы алгебры Карла Фридриха Гаусса оживают благодаря оригинальным экспериментам с участием юных зрителей.
🧵 Разгадка топологического фокуса со шнурком 1:10
В самом начале лекции Эрик Кристофер Зиман выполняет обещание, данное на прошлой встрече, и демонстрирует разгадку фокуса с ножницами и завязанным шнурком. Прежде чем показать само решение, математик предлагает взглянуть на задачу с точки зрения топологии, где все предметы условно сделаны из резины.
В резиновом мире можно мысленно растянуть часть ручки ножниц, уменьшить её, перекинуть через другую ручку и тем самым свести задачу к тривиальному вытягиванию шнурка. Поскольку реальные ножницы согнуть невозможно, лектору приходится продевать сам шнурок через элементы конструкции. Для демонстрации трюка на сцену приглашается юный ассистент Эдриан, который держит концы шнурка, пока Зиман ловко освобождает ножницы, запутав их в противоположном направлении.
📏 Загадка числовой прямой: рацио против пустоты 3:19
Переходя к главной теме, Зиман отмечает, что математика у большинства людей ассоциируется исключительно с числами. Он последовательно выстраивает числовую систему, начиная с целых положительных чисел, затем добавляет отрицательные числа и ноль, формируя множество целых чисел. Для наглядности они распределяются в виде меток на бесконечной прямой.
Пространство между целыми числами заполняется дробями — сначала половинами, затем третями, четвертями и всеми остальными возможными долями. Совокупность целых чисел и дробей, представляющих собой отношение двух целых чисел, лектор называет рациональными числами.
Главный вопрос, который ставит Зиман, заключается в том, заполняют ли рациональные числа непрерывную линию целиком, ведь для измерения реального мира (пространства, времени, температуры) необходима сплошная шкала. Зал подсказывает, что на прямой остаются пустоты — зазоры, которые соответствуют бесконечным непериодическим десятичным дробям. Среди конкретных примеров таких «дыр» слушатели называют квадратный корень из двух и число пи.
В действительности, как утверждает лектор, на прямой находится гораздо больше пустот, чем рациональных точек. Совокупность рациональных чисел и заполняющих зазоры элементов формирует множество вещественных (реальных) чисел. По словам Зимана, поиск этих пустот оказался крайне сложной исторической задачей: первая из них (корень из двух) была обнаружена греками примерно в 500 или 430 году до н. э., но потребовалось более 2000 лет, чтобы полностью описать их все.
Лишь 24 ноября 1854 года немецкий математик Рихард Дедекинд окончательно заполнил числовую прямую. Открытие иррациональных чисел стало для древних греков настоящим психологическим шоком, поскольку они усматривали в этом нарушение мировой гармонии. Как гласит известная легенда, упомянутая лектором, математики поклялись хранить открытие в тайне, а когда Гиппас из Метапонта раскрыл её, его в наказание утопили в море.
📐 Геометрия квадратного корня и вавилонская точность 7:22
Чтобы доказать иррациональность квадратного корня из двух, Зиман сначала предлагает визуализировать эту величину геометрически. Самый простой способ построить отрезок такой длины — нарисовать квадрат со стороной, равной единице, где длина диагонали по теореме Пифагора как раз составит $\sqrt{2}$. Квадрат диагонали равен сумме квадратов сторон:
$$d^2 = 1^2 + 1^2 = 2$$
Откуда $d = \sqrt{2}$. При тщательном измерении получается значение около 1,41, что можно записать в виде обыкновенной дроби 141/100. Однако это рациональное приближение ошибочно, поскольку правильная десятичная дробь бесконечна и никогда не останавливается.
Для демонстрации вычислений лектор использует портативный калькулятор, завлекая на сцену помощника. Из-за особенностей устройства (использующего обратную польскую запись) процедура извлечения корня через логарифмы требует особого порядка ввода клавиш. В итоге прибор выдает результат 1,4143 вместо правильного 1,4142. Зиман объясняет это накоплением погрешностей округления при выполнении внутренних операций, призывая никогда слепо не доверять последней цифре на экране.
Примечательно, что древние вавилоняне рассчитывали корень из двух примерно в 100 раз точнее этого калькулятора. Зиман демонстрирует фотографию глиняной таблички, датируемой 1200 годом до н. э. — то есть созданной за 600 лет до Пифагора. Древний писец начертил на мягкой глине квадрат с диагональю и указал её значение в своей системе счисления. Вместо привычных нам степеней десятки вавилоняне использовали шестидесятеричную систему счисления (которая до сих пор сохранилась в делении часа на 60 минут и минуты на 60 секунд). С помощью специального клиновидного стилуса они выдавливали знаки для единиц и десятков. На табличке зафиксировано разложение, эквивалентное формуле:
$$1 + \frac{24}{60} + \frac{51}{60^2} + \frac{10}{60^3}$$
Что дает точность до одной двухмиллионной доли. По мнению лектора, этот расчет имел сугубо прикладное значение — например, для разметки квадратной комнаты со стороной в 30 кубитов и определения длины её диагонали с помощью шнурка. Впрочем, современный школьный компьютер позволяет развернуть корень из двух до 500 знаков, но даже там в конце приходится ставить многоточие, что делает простые вычисления бесполезными для строгого теоретического анализа.
🏛️ Рождение строгого доказательства: почему корень из двух иррационален 16:12
Главное концептуальное различие между вавилонской и греческой математикой, по мнению Зимана, заключается в том, что греки изобрели само понятие доказательства. Это интеллектуальное изобретение коренным образом трансформировало и продолжает трансформировать наш мир. Лектор приводит классическое доказательство иррациональности $\sqrt{2}$ методом от противного.
Ход доказательства:
- Предположим, что $\sqrt{2}$ является рациональным числом и равен отношению двух целых чисел $a/b$.
- Мы можем считать, что дробь несократима, то есть числа $a$ и $b$ не могут быть одновременно чётными (иначе мы бы просто сократили их на 2).
- Возведя равенство в квадрат, получаем $2 = a^2 / b^2$, откуда следует уравнение $2b^2 = a^2$.
- Поскольку левая часть уравнения чётная, то и правая часть ($a^2$) должна быть чётной. Из чётности квадрата следует, что само число $a$ также является чётным.
- Раз $a$ чётное, его можно представить в виде $a = 2c$. Подставим это в наше уравнение: $2b^2 = (2c)^2 = 4c^2$.
- Разделив обе части на 2, получаем $b^2 = 2c^2$. Это означает, что $b^2$ чётное, а следовательно, и $b$ должно быть чётным.
- Мы пришли к противоречию: изначально предполагалось, что $a$ и $b$ не могут быть чётными одновременно, но в ходе логических рассуждений выяснилось, что они оба чётные.
Таким образом, исходное предположение неверно, и число $\sqrt{2}$ не может быть рациональным.
🌟 Пять правильных многогранников и теорема Теэтета 19:33
Зиман иронично замечает, что если кто-то не до конца освоил это алгебраическое доказательство, расстраиваться не стоит, ведь сами древние греки тоже его недолюбливали из-за сложности манипуляций с формулами. Вместо этого они предпочитали доказывать всё с помощью геометрических рисунков. Чтобы продемонстрировать этот визуальный подход, лектор выбирает другое знаменитое иррациональное число — золотое сечение, представляющее собой отношение диагонали правильного пятиугольника к его стороне.
Интерес греков к золотому числу во многом определялся важнейшей теоремой, которую в V веке до н. э. доказал математик Теэтет Афинский. Согласно теореме Теэтета, в трёхмерном пространстве существуют всего пять правильных многогранников (платоновых тел):
- Тетраэдр (четыре треугольные грани);
- Октаэдр (восемь треугольных граней);
- Икосаэдр (двадцать треугольных граней);
- Куб (шесть квадратных граней);
- Додекаэдр (двенадцать пятиугольных граней).
Для доказательства этого факта Зиман приглашает на сцену добровольца Тимоти и проводит наглядную классификацию вершинных фигур. Разворачивая объемные углы на плоскости, они обнаруживают следующие закономерности:
- Три правильных треугольника вокруг одной вершины дают тетраэдр, четыре — октаэдр,翻 пять — икосаэдр. Шесть треугольников складываются в плоскую поверхность, которая не сгибается в объемную фигуру.
- Три квадрата вокруг вершины образуют куб, а четыре квадрата превращаются в плоский паркет.
- Три правильных пятиугольника формируют додекаэдр, а для четвертого пятиугольника вокруг вершины уже физически нет места.
- Три правильных шестиугольника сразу образуют плоскую плоскость, а фигуры с большим числом сторон (например, семиугольники) и вовсе невозможно состыковать подобным образом.
Поскольку для построения додекаэдра критически важно уметь конструировать правильный пятиугольник, изучение геометрии этой фигуры и золотого сечения имело для греческих математиков фундаментальное значение.
🌀 Бесконечный спуск вглубь пентагона 24:30
Для чисто геометрического доказательства иррациональности золотого числа Зиман использует чертеж правильного пятиугольника со всеми проведенными диагоналями. Пусть $A$ — длина диагонали, а $B$ — длина стороны исходного пятиугольника (при этом $A > B$). Пересечения диагоналей естественным образом формируют внутри него новый, уменьшенный правильный пятиугольник, для которого $C$ — длина диагонали, а $D$ — длина стороны. Очевидно, что $B > C > D$.
Опираясь на свойства симметрии и свойства ромбов, лектор наглядно доказывает геометрические равенства:
$$A = B + C$$ $$B = C + D$$
С помощью цветных накладок юный зритель подтверждает, что соответствующие отрезки образуют стороны ромбов и равны между собой.
Продолжая этот процесс, внутри второго пятиугольника можно провести диагонали и получить третий — совсем крошечный пятиугольник со стороной $F$ и диагональю $E$, для которых будут справедливы аналогичные соотношения: $C = D + E$ и $D = E + F$. Этот процесс уходит в бесконечность, порождая нескончаемую последовательность все более мелких фигур.
Само доказательство иррациональности строится следующим образом:
- Предположим, что золотое сечение рационально и выражается отношением двух фиксированных целых чисел $a/b$, где числа $a$ и $b$ обозначают количество единиц длины в диагонали $A$ и стороне $B$ соответственно.
- Из геометрического уравнения $A = B + C$ следует, что $C = A - B$. Поскольку $A$ и $B$ — целые числа, то и длина $C$ обязана быть выражена целым числом.
- Из уравнения $B = C + D$ следует, что $D = B - C$, то есть $D$ также является целым числом.
- Аналогично, все последующие длины отрезков в бесконечной цепочке вложенных пятиугольников ($E$, $F$ и т. д.) должны быть целыми числами.
- В итоге мы получаем бесконечную последовательность строго убывающих положительных целых чисел, что математически невозможно, так как ряд целых положительных чисел не может уменьшаться бесконечно и ограничен снизу единицей.
Полученное противоречие полностью опровергает гипотезу о рациональности золотого сечения.
🏛️ Развенчание эстетического мифа о золотом сечении 30:42
Эрик Кристофер Зиман скептически относится к популярным культурным мифам об исключительной эстетической красоте золотого сечения и так называемых «золотых прямоугольников» (у которых отношение сторон равно золотому числу). Существует реальное и красивое математическое свойство: если отрезать от золотого прямоугольника квадрат, оставшаяся часть тоже окажется золотым прямоугольником. Лектор строго доказывает это через подобие треугольников в пятиугольнике, выводя отношение $A/B = B/C$.
Отсюда можно легко вычислить точное значение золотого сечения, решив квадратное уравнение. Поскольку $G = A/B = B/C$, а $A = B + C$, мы имеем:
$$G^2 = \frac{A}{B} \cdot \frac{B}{C} = \frac{A}{C} = \frac{B + C}{C} = \frac{B}{C} + 1 = G + 1$$
Уравнение принимает вид $G^2 - G - 1 = 0$. Выделяя полный квадрат через добавление $1/4$ к обеим сторонам, Зиман находит единственный положительный корень:
$$G = \frac{1 + \sqrt{5}}{2} \approx 1,618$$
Однако, по мнению лектора, утверждения о том, что античные или ренессансные архитекторы намеренно закладывали эту пропорцию в свои шедевры, являются «абсолютной чепухой». Чтобы доказать это, Зиман демонстрирует фотографии и чертежи известных зданий. В лондонских дворцах окна вытянуты в пропорции более 2:1. В здании Парламента (Палаты общин) пропорции окон на разных этажах составляют 1,9; 1,5 и 1,2, но нигде нет заветных 1,6. Даже в самом знаменитом классическом храме — Парфеноне на Акрополе — ни в пропорциях колонн, ни в чертеже фундамента (где отношение длины к ширине составляет 2,2) золотое сечение не обнаруживается.
Чтобы проверить реальные эстетические предпочтения людей, Зиман проводит эксперимент со специальным раздвижным окном. Он предлагает юной зрительнице Кэтрин примерить на себя роль архитектора и отрегулировать раму так, чтобы получился самый идеальный, по её мнению, силуэт окна. Кэтрин останавливает рамку на размерах 30,5 см на 22,6 см. Путем несложных вычислений получается отношение 1,34 — что весьма далеко от пропорции 1,618 и наглядно подтверждает несостоятельность эстетического мифа.
🌌 Выход в новое измерение: комплексная плоскость Бомбелли 39:09
Вещественные числа идеальны для измерений, но они пасуют перед решением многих алгебраических уравнений. Самый известный пример — уравнение $x^2 = -1$. Оно не имеет решений в рамках реальной числовой прямой, поскольку квадрат любого положительного или отрицательного числа всегда дает положительный результат.
С этой проблемой столкнулись итальянские алгебраисты XVI века. Один из них, Рафаэль Бомбелли, во время работы над кубическими уравнениями высказал смелую мысль: возможно, квадратный корень из минус единицы всё же существует, поскольку он ведет себя в расчетах удивительно гармонично. По словам Зимана, принять эту идею психологически невероятно трудно, и в подростковом возрасте ему самому пришлось долго к ней привыкать.
Лектор предлагает вообразить гипотетический спор с Бомбелли о природе этих новых чисел. Если они не помещаются на линии, значит, им нужно больше пространства — целая плоскость, которую называют комплексной плоскостью. В этой системе:
- Центральная точка (начало координат) — это ноль.
- Горизонтальная ось полностью отдана привычным вещественным числам.
- Любая точка $Z$ на плоскости задается через полярные координаты: радиус $R$ (расстояние от нуля) и угол $\theta$ (угол наклона к вещественной оси).
Правила арифметики на комплексной плоскости, сформулированные Бомбелли, изящно объясняются геометрией. Сложение двух точек выполняется по правилу параллелограмма. Если мы складываем обычные вещественные числа, этот параллелограмм просто «сплющивается» в линию, превращаясь в стандартное сложение или вычитание длин отрезков.
Умножение комплексных чисел выглядит еще более необычно: их радиусы перемножаются, а углы — складываются. По мнению Зимана, эта геометрическая логика прекрасно объясняет школьное правило «минус на минус дает плюс». У отрицательных чисел угол равен 180 градусам. При их умножении углы складываются ($180^\circ + 180^\circ = 360^\circ$), что означает полный оборот вокруг оси и автоматический переход на положительную полуось.
Благодаря этому правилу уравнение $x^2 = -1$ находит простое решение. Число $-1$ имеет радиус 1 и угол $180^\circ$. Чтобы извлечь квадратный корень, нужно взять корень из радиуса (из единицы это 1) и разделить угол пополам ($180^\circ / 2 = 90^\circ$). Таким образом, корень из минус единицы — это точка, расположенная строго на вертикальной оси на расстоянии 1 от центра.
🎨 Картинки Карла Гаусса: триумф комплексных чисел 46:57
Появление комплексных чисел позволило легко щелкать квадратные уравнения, а метод Сципиона дель Ферро помог справиться с уравнениями третьей степени. Уравнения четвертой степени вскоре успешно победил Лодовико Феррари. Однако на уравнениях пятой степени математики безнадежно застряли на 250 лет. Возникали упаднические мысли о необходимости изобретения новых и новых типов чисел для каждой следующей степени.
Ситуацию в 1799 году коренным образом изменил великий немецкий математик Карл Фридрих Гаусс. Он доказал Основную теорему алгебры, утверждающую, что абсолютно любое полиномиальное уравнение имеет решения в пределах уже существующих комплексных чисел. По мнению Зимана, Гаусс совершил этот прорыв именно потому, что умел мыслить визуальными образами и картинками.
Для демонстрации идеи Гаусса лектор вводит понятие математического отображения. Он разделяет пространство на две независимые комплексные плоскости: плоскость аргументов $Z$ и плоскость результатов $W$. В качестве примера берется функция $W = Z^3$.
Если точка $Z$ имеет полярные координаты $(R, \theta)$, то при возведении в куб её образ $W$ получит радиус $R^3$ и утроенный угол $3\theta$. Каждой точке на одной плоскости строго соответствует точка на другой, подобно тому как реальные географические объекты Земли отображаются на плоской странице атласа. С помощью механической модели со стрелками и шестеренками Зиман и его ассистент Дэвид показывают, что когда стрелка $Z$ совершает один полный оборот вокруг центра ($360^\circ$), связанная с ней стрелка $W$ успевает обернуться вокруг своей оси ровно три раза ($1080^\circ$).
🔄 Метод деформации и три корня кубического уравнения 53:32
Чтобы наглядно доказать теорему Гаусса, Зиман разбирает пример общего кубического уравнения:
$$Z^3 + aZ^2 + bZ + c = 0$$
Задача сводится к поиску такой точки на плоскости $Z$, которая при отображении попадет ровно в начало координат (ноль) плоскости $W$. Лектор исследует поведение функции на окружностях разного радиуса.
Поведение отображения:
- Если радиус окружности в плоскости $Z$ стремится к нулю, то старшие степени становятся ничтожно малыми, и значение функции практически полностью определяется константой $c$. Маленький круг вокруг нуля в плоскости $Z$ отображается в крошечную петлю в плоскости $W$, которая просто колеблется в окрестностях точки $c$ и никак не затрагивает начало координат.
- Если же мы берем огромную окружность большого радиуса, то константы и младшие степени теряют свое значение. Поведение функции начинает полностью диктоваться старшим членом $Z^3$. Большой желтый круг в плоскости $Z$ превращается в плоскости $W$ в сложную траекторию, которая трижды размашисто оборачивается вокруг начала координат.
В этот момент Зиман переходит к кульминации геометрического доказательства, апеллируя к топологическому понятию инварианта индекса зацепления. Если мы начнем непрерывно уменьшать большой желтый круг до состояния маленького красного круга, траектория на плоскости ответов должна плавно деформироваться.
Поскольку на старте большая петля трижды охватывала начало координат, а в конце маленькая петля вообще его не зацепляет, существует промежуточное состояние. Единственный способ для непрерывной линии перейти из состояния зацепления в состояние свободного удаления — это физически пересечь саму центральную точку.
Следовательно, в семействе деформирующихся кривых обязательно найдется промежуточная зеленая линия, которая пройдет непосредственно через ноль плоскости $W$. А это означает, что на плоскости $Z$ существовала реальная точка, породившая данное пересечение — она и является искомым корнем уравнения. Более того, поскольку деформируемая петля обязана пересечь центр трижды, кубическое уравнение гарантированно имеет ровно три комплексных корня. Для уравнения $n$-й степени траектория совершит $n$ оборотов, обеспечивая ровно $n$ решений.
Подводя итог, Зиман констатирует: вещественные числа идеальны для практических измерений окружающего мира, но именно комплексные числа представляют собой совершенный инструмент для изящного решения любых алгебраических уравнений.
