Почему нельзя разрезать равносторонний треугольник на 3 части, чтобы получить квадрат

В 1902 году Генри Дудени попросил читателей лондонской газеты разрезать равносторонний треугольник на как можно меньшее количество частей, которые затем можно собрать в идеальный квадрат. Оказалось, что достаточно четырех частей, и решение с шарнирным соединением четырех частей стало самым известным методом разложения в геометрии. Никто не смог сделать лучше, и в течение 122 лет никто не мог доказать, что лучшее невозможно. В 2024 году Эрик Д. Демейн, Тонан Камата и Рюхэй Уэхара доказали: между квадратом и равносторонним треугольником нет такого метода разложения, состоящего из трех или менее многоугольных частей, когда ни одну из частей нельзя перевернуть. Их доказательство превращает ножницы в графы и сводит бесконечный поиск к конечному списку, который может проверить компьютер. В этом видео доказательство представлено от начала до конца: почему две детали сразу же отбрасываются, как бесконечное множество возможных разрезов схлопывается в пять треугольных и сорок четыре квадратных узора, как диаграммы соответствия преобразуют геометрию в уравнения длин, и как один выживший случай отбрасывается, когда шесть длин в сумме дают и 6, и 3,948. Попутно: конструкция, которую почти каждый сайт предлагает для этой головоломки, не дает квадрата. Она дает прямоугольник размером 1,323 на 1,309 — отклонение примерно на один процент, намного меньше, чем может заметить глаз. 🛠️ Как это было сделано Каждая фигура на экране нарисована из координат, полученных символически, а не набранных по памяти. Перед рендерингом первого кадра скрипт проверки заново вывел разложение Дуденея из первых принципов и проверил, что четыре детали заполняют треугольник и собираются заново, только путем вращения и перемещения, в точный квадрат со стороной 3^(1/4). Перечисление, лежащее в основе доказательства, было перестроено с нуля: независимая программа генерирует классы эквивалентности графов разрезов на основе определений из статьи, используя планарные графы, трассировку граней и изоморфизм, сохраняющий тип, а затем сравнивает их с опубликованными данными. Она возвращает пять классов для равностороннего треугольника и сорок четыре для квадрата, семейство за семейством, и воспроизводит инварианты углов, используемые для исключения пар. Анимация выполнена в Manim; повествование размещено на фоне измеренных границ разрезов, а не на основе оценки сценария. 📚 Источники Эрик Д. Демейн, Тонан Камата, Рюхэй Уэхара, «Рассечение Дюденея является оптимальным», ITCS 2026, LIPIcs том 362, страницы 47:1–47:22. DOI: 10.4230/LIPIcs.ITCS.2026.47 (открытый доступ, CC BY 4.0). Препринт: arXiv:2412.03865. Х. Э. Дудени, «Загадки и призы», Weekly Dispatch, 6 апреля, 20 апреля и 4 мая 1902 г. Х. Э. Дудени, «Кентерберийские загадки и другие любопытные задачи», E. P. Dutton, Нью-Йорк, 1908 г., Загадка 26. Мартин Гарднер, «Генри Эрнест Дудени: величайший английский головоломковщик», во Второй научной американской книге математических головоломок и развлечений, 1961 г. Грег Н. Фредериксон, «Разрезы: плоскость и фантазия», Cambridge University Press, 1997 г. 📖 Примечания к точности Теорема сформулирована для трех или менее многоугольных элементов и только тогда, когда ни один элемент не перевернут. Вопрос о существовании разреза из трех элементов, при котором переворачивается один из элементов, остается открытым, как и вопрос о криволинейных элементах. Авторы ожидают, что оба расширения будут верны; ни одно из них не доказано. Дудени опубликовал головоломку в 1902 году, а решение из четырех частей — 4 мая 1902 года. Дата 1908 года относится к книге. С 1902 по 2024 год прошло 122 года. Кто именно придумал решение из четырех частей, до сих пор не выяснено. Дудени сообщил, что читатель, К. У. МакЭлрой из Манчестера, нашел ответ из четырех частей, прежде чем сам его опубликовал. Числа, показанные на экране: сторона квадрата равна корню четвертой степени из трех, примерно 1,31607; сторона треугольника равна 2; обе окружают площадь, равную квадратному корню из трех. Диагональ квадрата примерно равна 1,86121, что меньше 2 — это единственное неравенство и есть все доказательство невозможности решения из двух частей. Прямоугольник народной конструкции имеет размеры 1,322875... на 1,309307... Его длинная сторона равна квадратному корню из семи, деленного на два, четвертая степень которого равна 49/16, а не 3. При сравнении на экране разница между двумя сторонами увеличена в 25 раз и обозначена соответствующим образом. Список из сорока четырех квадратных узоров является исправленным. В более ранней версии статьи были пропущены некоторые случаи; эта ошибка всплыла в ходе обсуждения в математическом кружке sugakuday в Токио и отмечена в благодарностях статьи. Собственный пересчет в видео совпадает с опубликованными данными. Там, где в видео говорится о «более чем сорока» сохранившихся парах, а не указывается точное число, это сделано намеренно: подсчет после уточнения на шестьдесят градусов указан в статье на уровне семейства, и наше воспроизведение ограничивает его...