История игр с числами и математических развлечений

Вы читаете о числовых играх. Не только о судоку, не только о криптографии. Я имею в виду глубокую историю головоломок, которые выглядят как игрушки, но на самом деле являются порталами в серьёзную математику.

Это запутанная категория. Их нельзя аккуратно разложить по полочкам. Некоторые из них — глупые забавы. Другие — неразрешённые задачи, которые ставили в тупик математиков на протяжении веков. Список вовлечённых тем дикой. Арифметика. Алгебра. Геометрия. Топология. Теория графов. Матрицы. Теория групп. Комбинаторика. Теория множеств. Символическая логика. Вероятность.

Попробуйте классифицировать всё это. Вы потерпите неудачу. Попытка произвольна.

Вот что интересно математических развлечений. Они стирают грань между хобби и профессией.

Невинная головоломка о прохождении пути может заставить вас обратиться к теории графов. Подсчёт частей геометрической фигуры? Это комбинаторика. Разбиение многоугольника? Теория групп. Логический вывод? Матрицы.

Вещи, которые казались невозможными в средние века, теперь тривиальны благодаря современным методам.

Почему мы играем

Существует всеобщее стремление решать головоломки. Это не имеет значения, молоды вы или стары. Усовершенствованны или нет.

Г. Х. Харди, выдающийся английский математик, отметил это. Профессиональные создатели головоломок тоже это знают. Они этим пользуются. Публика получает интеллектуальное удовлетворение от этого.

Литература обширна. Особенно с 20-го века.

Некоторые из неё повторяются. Удивительно, но каждое поколение находит старые добрые задачки восхитительными. Даже когда они одеты в новую одежду. Новый материал добавляется постоянно.

Ранние дни

Люди всегда любили создавать испытания. Интеллектуальное удовольствие. Любопытство. Тайна.

Многие ранние развлечения сохранились благодаря этой привлекательности. Некоторые пришли от древних греков и римлян. Мы мало знали о них во время Тёмных веков. Интерес вернулся в Средние века.

Почему? Был изобретён печатный станок. Авторы текстов по арифметике воодушевились. Ранние алгебраисты и учёные начали соперничество и диспуты.

Это было наиболее заметно на континенте. Италия. Германия.

Заметными вкладчиками являются:
* Рабби бен Эзра (1140)
* Фибоначчи (Леонадо из Пизы; 1202)
* Роберт Рекорд (1542)
* Джироламо Кардано (1545)

Два типа задач

Задачи обычно делились на две категории.

Манипуляции с объектами.
Вычисления.

Первый тип требовал минимальных математических навыков. Только общего интеллекта и изобретательности.

Подумайте о задачах с переливанием жидкостей. Или о сложных переправах.

Пример с переливанием:
Вам нужно отмерить одну кварту жидкости. У вас есть только меры на восемь, пять и три кварты. Как вы это сделаете?

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

С годами появилось множество вариантов обоих типов.

Вычислительные задачи

Второй тип включал реальные вычисления. Они принимали множество форм.

Вот несколько примеров.

Нахождение числа

Загадайте число.
Утройте его.
Возьмите половину произведения.
Утройте этот результат.
Возьмите половину снова.
Разделите на девять.

Частное будет равно одной четвертой части вашего исходного числа.

Задачи «Бог да приветствует вас»

Кто-то говорит: «Если бы нас было столько же ещё и ещё половину, то нас было бы 30».

Текст начинается со слов «Бог да приветствует вас, все вы 30 спутников». Сколько их было на самом деле?

Задача о шахматной доске

Положите одно зерно пшеницы на первую клетку.
Два на вторую.
Четыре на третью.
Делайте это для всех 64 клеток.

Сколько всего зёрен потребуется?

Лев в колодце

Это классика. Она касается движения с постоянной скоростью, затруднённого обратным движением.

Лев находится в колодце глубиной 50 локтей.
Он поднимается на 1/7 локтя в день.
Он скользит назад на 1/9 локтя.

Через сколько дней он выберется?

Задачи о курьерах

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

Бум математических развлечений в XVII веке

Задолго до того, как интернет предложил бесконечные головоломки, в XVII веке произошел всплеск книг, целиком посвященных развлекательным задачам. Это были не просто сухие академические упражнения. Они также охватывали механику и естествознание. Искра, разжегшая этот интерес, пришла из Франции.

Клод-Гаспар Бакет де Мезириац изменил правила игры. Он является одним из самых ранних пионеров в этой области. Запомнившийся своим изданием 1621 года греческой теории чисел «Диофант» (Diophanti), Бакет также выпустил в 1612 году книгу «Проблемы приятные и увлекательные, решаемые с помощью чисел» (Problèmes plaisans et delectables qui se font par les nombres).

Эта вторая книга стала образцом для подражания. Она выдержала пять изданий, причем последнее было напечатано аж в 1959 году. Для книги с головоломками это очень долгий срок жизни.

Бакет делал упор на арифметику, а не на геометрию. Его задачи были конкретными и острыми.
— Он ввел системы счисления, отличные от десятичной.
— Он включал карточные фокусы.
— Он создал головоломки с циферблатами часов, основанные на уникальных схемах нумерации.
— Он поставил классическую задачу о нахождении наименьшего набора весов, позволяющего взвешивать любой вес от 1 до 40 фунтов.
— Он добавлял сложные сценарии переправы через реку.

Именно эти первоначальные математические головоломки определили жанр на десятилетия вперед.

Французские подражатели и немецкое расширение

Тренд не остановился на Бакете. В 1624 году Жан Лерон опубликовал «Математические развлечения» (Récréations mathématiques). Он писал под псевдонимом ван Эттен (van Etten).

Книга Лерона нашла отклик у читателей. До 1700 года она выдержала как минимум 30 изданий. Она была популярна, несмотря на то, что в основном являлась копией. Лерон взял более простые задачи Баке и проигнорировал более значимые разделы. Была и некоторая оригинальная работа, но в основном книга служила образцом.

Она повлияла на Мидоржа и Швендера. Английский перевод появился в 1633 году. Заголовок был громоздким: «Математические развлечения, или Сборник различных задач…» (Mathematicall Recreations, or a Collection of Sundrie Problemes…). В нем обещались секреты природы и эксперименты в области арифметики, геометрии и оптики. Перевод выполнил Уильям Оутред.

Французы продолжали выпускать контент. Клод Мидорж опубликовал в 1630 году «Разбор книги о математических развлечениях» (Examen du livre des récréations mathématiques). Затем Дени Анрион выпустил свою собственную версию в 1659 году, в значительной степени основываясь на Мидорже.

Тем временем влияние перешло канал в Германию. Даниэль Швендер, профессор еврейского языка и математики, составил обширную коллекцию. Он использовал перевод работы Лерона и добавил свои собственные находки.

«Физико-математические удовольствия, или Математические и философские часы досуга» (Deliciae Physico-mathematicae oder Mathische und Philosophische Erquickstunden) появились посмертно в 1636 году. Они пользовались огромным успехом. В 1651 и 1653 годах последовали два дополнительных издания. В течение многих лет увеличенное издание Швендера было самым полным трактатом этого рода.

Италия также не осталась в стороне. Иезуит Марио Беттини выпустил двухтомную работу под названием «Пчельник всей математической философии» (Apiaria Universae Philosophiae Mathematicae) в 1641–1642 годах. В 1660 году вышло третье издание: «Новейший пчельник математических развлечений» (Recreationum Mathematicarum Apiaria Novissima).

Затем появился Иоганн Море из Шлезвига. В 1665 году он опубликовал «Арифметический цветник» (Arithmetische Lustgarten), являвшийся подражанием Швендеру.

Позднее вступление Англии

Англия пришла к этому делу поздно. Уильям Лейборн был не просто писателем. Он был преподавателем математики, автором учебников и землемером.

В 1694 году он опубликовал книгу «Удовольствие с пользой: состоящую из развлечений различных видов» (Pleasure with Profit: Consisting of Recreations of Divers Kinds). Список жанров был исчерпывающим: числовые, геометрические, механические, статические, астрономические, хронометрические, криптографические, магнитные, автоматические, химические и исторические.

На титульной странице была четко обозначена цель. Книга стремилась «развлечь остроумные умы и побудить их к дальнейшему изучению этих возвышенных наук». Она также хотела отвлечь молодежь от пороков.

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

Эра печатных головоломок создавала основу для всего, что последовало за ней.

Бум XVIII–XIX веков

XVIII век не просто поддерживал огонь — он раздувал его. В Англии наблюдался всплеск публикаций. Эдвард Хаттон, Томас Джент, Сэмюэл Кларк, Уильям Хупер — все внесли свой вклад. Затем наступил 1775 год. Чарльз Хаттон выпустил пять томов выдержек из «Ladies’ Diary», сделав акцент на развлекательных математических и поэтических разделах. Континент не отставал. Кристиан Пешек, аббат Бонавентура, Пауль Халкен в Нидерландах. Эдм-Жиль Гийо опубликовал Nouvelles Récréations physiques et mathématiques в четырех томах в 1769 и 1786 годах.

Но одно имя возвышается над остальными. Жак Озанам. Он стал предшественником двух следующих столетий этого жанра. Его Récréations mathématique et physiques впервые вышли в четырех томах еще в 1694 году. Книга прошла через бесчисленные издания. Он опирался на работы Баше, Мидоржа, Лерона и Швентера. Позже Монтюкла переработал и расширил ее. Затем Чарльз Хаттон перевел ее на английский язык в 1803 и 1814 годах. Эдвард Ридель снова переработал ее в 1840 и 1844 годах.

Первая половина XIX века была спокойной. Умеренный объем публикаций. Менее известные авторы. Затем во второй половине произошел взрыв. Нарастающий интерес привел к самому рубежу столетия. Эдуард Люка. Ч. Л. Доджсон, он же Льюис Кэрролл. Récréations mathématiques Люка выходил в четырех томах в период с 1882 по 1894 год и стал классикой. Доджсон добавил свой собственный колорит. Symbolic Logic, The Game of Logic, Pillow Problems и A Tangled Tale в двух томах, опубликованные в период с 1885 по 1895 год.

Тяжеловесы XX века

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

Когда Лойд-младший умер в 1934 году в возрасте 60 лет, оценка его творчества была ошеломляющей. Он создал не менее 10 000 головоломок. Это очень много загадок.

Германия также внесла свой вклад. Герман Шуберт опубликовал Zwölf Geduldspiele в 1899 году. Затем Mathematische Mussestunden вышли в трех томах в 1907–1909 годах. Вильгельм Аренс был активен в период с 1904 по 1920 год. Его Mathematische Unterhaltungen und Spiele (два тома, 1910) включали обширную библиографию. Это признак серьезного научного подхода.

Великобритания дала Генри Дудени. Он сотрудничал с журналом Strand Magazine. Его сборники головоломок пользовались огромной популярностью. Они многократно переиздавались в период с 1917 по 1967 год. Mathematical Recreations and Essays У. У. Роуза Болла, вышедшая в 1892 году, быстро стала классикой. Почему? Ее научный подход выделял ее среди других. Книга прошла через десять изданий. Британский профессор Х. С. М. Коксетер переработал ее в 1938 году. Она остается стандартным справочным пособием и по сей день.

Также стоит упомянуть Мориса Крайчика. Он редактировал журнал Sphinx и authored several well-known works между 1900 и 1942 годами.

Смена курса в середине века

Здесь становится интересно. Около середины XX века фокус сместился. До этого интерес сосредоточивался на конкретных развлечениях. Числовые курьезы. Простые геометрические головоломки. Арифметические задачи в форме историй. Складывание бумаги. Фигуры из ниток. Геометрические разрезания. Манипулятивные головоломки. Трюки с числами и картами. Магические квадраты.

Эти почтенные развлечения также были популярны. Трисекция угла. Дублирование куба. Квадратура круга. Даже elusive четвертое измерение.

К середине века тенденция сместилась в сторону усложнения. Популярность приобрели криптограммы. Модульная арифметика. Системы счисления. Теория чисел. Графы и сети. Решетки. Теория групп. Топологические курьезы. Упаковка и покрытие. Флексагоны. Комбинаторные задачи. Теория вероятностей. Задачи на индуктивное рассуждение.

Логические парадоксы вышли на первый план. Логические заблуждения. Парадоксы бесконечности. Математика стала сложнее. Игры — умнее.

Арифметические и алгебраические развлечения

Числовые закономерности и курьезы

Некоторые группы натуральных чисел обнаруживают удивительные закономерности, если применить к ним обычную арифметику. Это доставляет приятное времяпрепровождение. Посмотрите на этот пример:

Скрытая математика мультиградусов

Речь идет не просто о сложении нескольких целых чисел. Мультиградусы — это особый вид числовых игр, в котором два различных набора чисел совпадают не только по своей базовой сумме. Они совпадают и при возведении в более высокие степени.

«Тождества между суммами двух наборов чисел и суммами их квадратов или степеней более высокого порядка».

Представьте это как математическую мираж. Вы берете Набор A и Набор B. Складываете числа в каждом. Итог одинаковый. Теперь возводите каждое число в обоих наборах в квадрат. Суммы этих квадратов также совпадают. Можно пойти дальше — кубы, четвертые степени и так далее.

Это не случайное совпадение. Это структурированное тождество. Математики используют это для изучения того, как числа соотносятся за пределами простой арифметики. Это головоломка, требующая точности. Одна неверная цифра — и вся симметрия рушится.

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

Изучение мультиградусов продолжает восхищать. Это нишевый уголок математики, который кажется почти волшебным. И все начинается с простого вопроса: могут ли две разные группы чисел действительно быть одинаковыми в нескольких измерениях?

Построение мультиградов с нуля

Начните с чего-то тривиального. Простого равенства, например, 1 + 5 = 2 + 4. Оно едва заслуживает внимания. Затем прибавьте к каждому слагаемому по пять. Математика остаётся верной. 6 + 10 = 7 + 9.

Это — семя. Простой метод формирования мультиграда начинается именно здесь.

Но это лишь подготовка. Чтобы перейти к мультиграду второго порядка, нужно изменить подход. Поменять стороны местами. Объединить их.

Это выглядит так:

1 + 5 + 6 + 10 = 2 + 4 + 7 + 9

Числа не лгут. Они сбалансированы.

Посмотрите на математику на мгновение. Если взять определённый набор чисел, сумма их первых степеней ($S_1$) ровно равна 22. Сумма их вторых степеней ($S_2$) возрастает до 156. Это тесный математический «карман».

Но стоит лишь немного изменить ситуацию.

Добавьте 10 к каждому числу в этом наборе. Внезапно вы перестаёте иметь дело только с простыми суммами. Вы открываете мультиграду третьего порядка.

Это не просто арифметический курьёз. Речь идёт о том, как смещение базового уровня изменяет структурную целостность числовой последовательности. Сдвигая весь набор на постоянную величину, вы сохраняете равенство степенных сумм по обеим сторонам, одновременно повышая порядок тождества.

Каков результат? Более сложное уравнение, которое выдерживает проверку при вычислениях третьей степени. Числа меняются, но баланс сохраняется. И иногда для раскрытия более глубокой закономерности достаточно просто прибавить десять к каждому члену.

За пределами мультиградусов: странного мира числовых чудес

Если вы думали, что видели всё возможное в стандартных уравнениях сумм степеней, присмотритесь ближе. Математика не останавливается на нескольких переменных. Она закручивается.

Давайте ещё раз посмотрим на пример. S 1 равно 84. S 2 возрастает до 1 152. S 3? Это 17 766.

Можно продолжать бесконечно. Создавая мультиградусы всё более высоких порядков. Структура сохраняется.

Вот в чём секрет: умножьте или разделите каждый член на одно и то же число. Равенство остаётся неизменным. Это гибко.

Существуют различные вариации. Можно найти палиндромные мультиградусы. Они читаются одинаково как в прямом, так и в обратном направлении. Или, возможно, вам больше нравятся простые числа. Можно построить мультиградусы, состоящие исключительно из них.

Но среди целых чисел скрываются и другие странности. Нарциссические числа.

Это числа, которые можно представить с помощью определённых математических манипуляций с их цифрами. Возьмём целое число. Целое число. Возведём каждую цифру в n ‑ю степень. Сложим их. Если результат равен исходному числу, вы нашли совершенный цифровой инвариант.

Рассмотрим 153.

1³ + 5³ + 3³ = 153.

Это работает. Цифры возводятся сами в себя и в сумме дают своё исходное значение.

Затем есть повторяющийся цифровой инвариант. Он образует цикл.

Мир развлекательной математики обожает хорошие фокусы, а цифровые инварианты — это душа вечеринки. Джозеф Мадачи в своей книге Mathematics on Vacation отмечает, что это не просто изолированные курьёзы. Они существуют в различных вариациях, которые развлекают математиков часами.

Сила суммы цифр

Особый интерес представляет один конкретный тип таких чисел. Это число, которое равно n -й степени суммы своих цифр.

Представьте себе это следующим образом. Возьмите число. Сложите его цифры. Возведите полученную сумму в определённую степень. Если результат снова совпадает с исходным числом, вы нашли совпадение. Это петля. Цифровое эхо.

«Курьёз иллюстрируется числом, которое равно n -й степени суммы своих цифр».

Это не просто какое-то случайное свойство. Оно определяет определённый класс целых чисел, которые ведут себя необычно при выполнении базовых арифметических операций. Здесь ключевую переменную играет «n». Она определяет степень экспоненты. Измените степень, и число, как правило, перестанет соответствовать шаблону. Именно это делает его цифровым инвариантом. Сумма остаётся постоянной относительно преобразования, определяемого n.

Мадачи выделяет это явление, потому что оно показывает, как простые правила — сложение цифр, а затем возведение в степень — могут приводить к устойчивым точкам. Эти числа закрепляются, противостоя хаосу вычислений. Они редки. Но они существуют. И как только вы находите одно, вы начинаете искать другие. Охота становится игрой.

Вы, вероятно, слышали о автоморфных числах. Это целые числа, квадраты которых заканчиваются теми же цифрами, что и исходное число. Возьмём 25. Возведём его в квадрат и получим 625. Последние две цифры? Всё ещё 25. Попробуйте 76. Квадрат равен 5776. Опять же, он заканчивается на 76. Это не просто случайные совпадения. Это математические странности, которые кажутся почти мистическими.

Затем есть стегограммные числа. Они выглядят одинаково, если повернуть их на 180 градусов. Подумайте о 69. Переверните его. Получится 96. Подождите, это не совсем то, что нужно для «чтения одинаково». Давайте посмотрим на 96, повернутое на 180 градусов. Оно выглядит как 96 вверх ногами? Нет, на самом деле 6 превращается в 9, а 9 — в 6. Так что 69, повернутое на 180 градусов, выглядит как 69? Нет, 69, повернутое на 180 градусов, выглядит как 69. Да. И 96, повернутое, выглядит как 96. Также 1001. Переверните его. Всё ещё 1001. Эти свойства предполагают, что числа имеют скрытые личности.

Вызов четырёх девяток

Это приводит нас в область цифровых задач. Самая известная из них — задача о четырёх девятках. Вы можете знать её как «четыре 9» или «четыре 4» в зависимости от цифры. Цель проста, но обманчиво сложна. Представьте как можно большую последовательность целых чисел, начиная с 1. Вы должны представить каждое целое число, используя ровно четыре одинаковые цифры.

Но вот в чём загвоздка. Ответ полностью зависит от правил операций, которые вам разрешено использовать.

Если вы используете только базовую арифметику, последовательность быстро заканчивается. Нужно проявить креативность. Факториалы? Квадратные корни? Десятичные точки? Конкатенация? Каждая разрешённая операция открывает новые возможности.

Рассмотрим частичные примеры для четырёх единиц. Начинается легко.
1 = 1 + 1 — 1 — 1 (Нет, это 0).
1 = 1 * 1 * 1 * 1.
2 = 1 + 1 + 1 — 1.

Ограничения заставляют вас мыслить нестандартно. Какие операции разрешены? Можно ли использовать двойной факториал? Можно ли конкатенировать две единицы, чтобы получить 11? Конкретные правила меняют весь ландшафт головоломки.

Почему правила имеют значение

Существуют разные версии этой головоломки. Некоторые разрешают только +, -, *, /. Другие включают степени, логарифмы или гамма-функцию. Чем больше у вас инструментов, тем выше числа вы можете получить. Это не просто математика. Это о границах нотации.

Стегограммные и автоморфные числа — это статические курьёзы. Они просто существуют на числовой прямой. Задача о четырёх девятках динамична. Она требует действия. Она требует, чтобы вы изгибали правила представления.

Есть причина, по которой эти головоломки сохраняют свою актуальность. Они обращаются к той части мозга, которая любит распознавание паттернов в строгих ограничениях. Это игра ограничений. Чем больше вы ограничиваете цифры, тем больше вы должны расширять своё понимание того, что возможно.

Кажется ли вам мистика автоморфных чисел удовлетворяющей? Или активная

Вы думаете, что разгадали код с использованием четырёх четвёрок? Пересмотрите свои мысли.

Первоначальный список из статьи М. Бикнелла и В. Хогатта 1964 года в журнале Recreational Mathematics Magazine был лишь верхушкой айсберга. Они показали один способ достижения шестидесяти четырёх целей. Но настоящая радость заключается в альтернативных решениях.

Возьмём число семь. Стандартный подход может использовать сложение и квадратные корни. Но вы можете так же легко использовать факториалы. Или деление.

Рассмотрим это:

7 = 4 + √4 + 4/4

Это работает. Но так же работает и это:

7 = 4!/4 + 4/4

И вот ещё один поворот:

7 = 44/4 — 4

Символ факториала (!) здесь выступает в роли джокера. Он превращает простое число в произведение всех целых чисел, ведущих к нему. Таким образом, 4! — это просто 4 × 3 × 2 × 1. Это даёт вам 24. Внезапно у вас появляются новые инструменты в наборе.

Что происходит без факториалов?

Если исключить факториалы из правил, вы не теряете игру. Вы просто сокращаете поле.

Вы по-прежнему можете выразить каждое целое число от одного до двадцати двух, используя четыре четвёрки. Это требует творческого подхода с десятичными дробями и корнями.

Посмотрите на двадцать два. Без факториалов вы полагаетесь на десятичную точку и квадратный корень.

22 = (4 + 4) / .4 + √4

Десятичная дробь .4 по сути равна 0,4. Деление 8 на 0,4 даёт вам 20. Прибавьте квадратный корень из 4 (который равен 2), и вы достигнете цели. Это некрасиво. Это хитро. Это работает.

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

Следующий уровень: последовательные целые числа

Существует родственная задача головоломке с четвёрками. Она переворачивает сценарий.

Вместо использования одной и той же цифры четыре раза, вы используете первые m положительных целых чисел. Правило простое: m должно быть больше трёх.

Вы используете символы элементарной алгебры. Вы расставляете числа 1, 2, 3 и 4.

Это меняет задачу с повторения на последовательность. Вы не можете просто складывать четвёрки. Вы должны сплести 1, 2, 3 и 4 в функциональное уравнение.

Это другой вид ментальной гимнастики. И это только начинается.

Существует более 100 способов расположить цифры от 1 до 9, чтобы в сумме получилось ровно 100. Но это даже не самая сложная часть. Эти головоломки требуют умственных усилий. Для их решения не нужна продвинутая математика.

Происхождение криптоарифметики

Термин «криптоарифметика» появился в 1931 году. Всё началось с задачи на умножение, опубликованной в бельгийском журнале Sphinx. Это издание было известно своими головоломками для ума.

«Криптоарифметика» была введена в 1931 году, когда в бельгийском журнале Sphinx появилась следующая задача на умножение

Задача выглядела простой. Это были просто буквы, обозначающие числа. Решение казалось разгадыванием шифра. Требуется высокая изобретательность. Сама арифметика минимальна. Вы ищете закономерности. Вы сопоставляете ограничения.

У этих головоломок много вариаций. В одних просят найти сумму. В других — произведение. Цель всегда одна: найти скрытое число за каждой буквой. Это игра логики, а не проверка навыков вычислений.

Криптоарифметические задачи — это математические головоломки, в которых цифры заменены буквами или символами. Большинство из них основаны на базовых операциях: сложении, вычитании, умножении или делении. Их решение требует логики, а не угадывания.

Процесс начинается с анализа. Возьмем простой пример. Вы рассматриваете частичные произведения. Если D × A равно D, то A должно быть равно 1. Это неоспоримый факт.

Далее посмотрите на C. Если D × C и E × C оба заканчиваются на C, то C обычно равно 5. Ноль подходит, если обе цифры четные. Пять подходит, если обе нечетные. Здесь C = 5.

Теперь о D и E. Они должны быть нечетными. Но не 9, потому что частичные произведения состоят только из трех цифр. Значит, они равны 3 или 7. Какое из них какое?

Проверьте B. Если D × B — однозначное число, то B должно быть маленьким. Если E × B — двузначное число, то E больше. Следовательно, E = 7, а D = 3.

B не может быть нулем. Остается только 2. Значит, B = 2.

Завершите вычисления. F = 8. G = 6. H = 4. Ответ: 125 × 37 = 4 625.

Этот разбор основан на книге 150 Puzzles in Crypt-Arithmetic (150 головоломок в криптоарифметике) Макси Брук. Издательство Dover опубликовало её в 1963 году. Она остается классикой не просто так.

Разбор задачи SEND + MORE = MONEY

Эти головоломки старше книги Брук. Иногда они встречаются даже в источниках, предшествующих записям. Алфавитические шифры (алфаметика) — это конкретный тип таких задач. Буквы образуют настоящие слова. Одна из самых старых и известных — SEND + MORE = MONEY.

Это простое уравнение. Но оно обманчиво сложно.

S = 9. E = 5. N = 6. D = 7. M = 1. O = 0. R = 8. Y = 2.

9567 + 1085 = 10 652.

Проверьте математику. Все сходится. Каждая буква имеет уникальную цифру. Нет ведущих нулей. M не может быть нулем. S не может быть нулем. Ограничения быстро сужаются.

Почему эта головоломка не теряет актуальности? Она лаконична. Использует распространенные слова. Напоминает шифр. Вы не просто выполняете арифметические действия. Вы расшифровываете сообщение.

Существуют и другие алфаметики. CROSS + ROSES = ARSENIC. EAT + THAT = CAKE. Они различаются по сложности. Некоторые тривиальны. Другие требуют часов работы. Однако логика одна и та же. Найдите опорные точки. Цифру, которая диктует другую. Перенос, который нарушает шаблон.

Люди продолжают решать их и сегодня. Не только ради математики. Ради удовлетворения. Момент, когда все части складываются воедино. Когда открывается скрытое слово. Это тренировка ума. Короткая. Четкая. Удовлетворяющая.

Головоломка не заканчивается ответом. Она заканчивается пониманием. Как взаимодействуют буквы. Как ведут себя числа. Это маленький мир. Самодостаточный. Логичный.

И все же. Вы снова встретите её. В журнале. На форуме. В классе. Та же логика. Другие слова. Другие числа. То же волнение.

Есть ли предел тому, насколько сложными могут быть эти

Стандартные правила для алфавитных арифметических задач (алфаметик) строгие. Первая буква любого слова не может быть нулём. Две разные буквы не могут обозначать одну и ту же цифру. Нарушение этих правил требует специального указания для оправдания исключения. Некоторые головоломки настолько плотные, что допускают несколько решений. Компьютеры справляются с этими сложностями.

Ловушка ложной логики

Математики веками изучали парадоксы и заблуждения. Парадокс заставляет вас остановиться. Логика безупречна. Каждый шаг корректен. Однако вывод настолько странен, что вы отказываетесь ему верить. Он противоречит интуиции. Кажется неправильным.

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

Затем есть софизмы. Ошибка намеренная. Совершённая специально. По определённой причине. А что, если ошибочный расчёт случайно приводит к правильному ответу? Это называется «счастливая ошибка» (howler). Это искусство совершать правильную ошибку.

Бесконечность создаёт множество проблем. Предельные процессы порождают парадоксы. Возьмём бесконечный ряд.

Бесконечная сумма, которая никогда не достигает 2

У вас есть ряд, который постоянно растет. Чем больше членов вы добавляете в общую сумму, тем выше становится итоговое значение. Это непрерывный, неумолимый подъем. Но вот в чем загвоздка: сумма никогда фактически не достигает 2. Она остается строго ниже этой верхней границы.

Она просто приближается. И приближается. И приближается.

Представьте, что вы бежите к стене. Вы преодолеваете половину расстояния, затем половину от оставшегося, затем снова половину. Вы всегда двигаетесь вперед. Вы всегда становитесь ближе к цели. Но вы никогда не касаетесь её. Такое поведение характерно для сходящегося ряда. В частности, ограниченного сверху числом 2.

«Сумма всегда остается меньше 2, хотя она приближается всё ближе и ближе к 2 по мере включения большего количества членов ряда».

Это не просто математический трюк. Это фундаментальное понятие математического анализа. Речь идет о пределах. Мы не ищем конечное число, потому что его не существует. Мы изучаем поведение функции, когда количество членов стремится к бесконечности.

Почему это важно для поп-культурной математики

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

Или подумайте о кассовых сборах. Фильм зарабатывает всё больше каждую неделю. Темпы роста снижаются. Общая сумма медленно приближается к финальному числу. Но пока не продан последний билет, это всегда оценка. Предел.

Те же правила применяются к количеству подписчиков у знаменитостей. Они набирают больше фанатов каждый день. Но аккаунт никогда по-настоящему не перестает расти, пока человек жив и активен. Даже после этого историческое общее число — это снимок момента. Мгновение во времени.

Другой ряд

С другой стороны, ряд…

Что ж, текст обрывается. Но обычно в таких сравнениях «другой ряд» — это расходящийся ряд. Тот, которому нет дела до пределов. Тот, который просто продолжает расти. Вечно. Без потолка. Без стены.

Просто бесконечное расширение.

Что страшнее? То, чего вы никогда не сможете достичь? Или то, что никогда не перестает приближаться?

Математика всегда любила неожиданные повороты сюжета. Вы думаете, что всё поняли? Подумайте ещё раз. Возьмём ряд, известный как Расходящийся: предел отсутствует. Если продолжать добавлять члены, сумма не просто растёт. Она взрывается. Она становится больше любого значения, которое вы можете выбрать. Это поезд без тормозов, несущийся вперёд.

Затем есть парадокс чётных чисел. Это загадка, ломающая вашу интуицию.

Чётных натуральных чисел столько же, сколько чётных и нечётных чисел вместе взятых.

Подумайте об этом.

Множество чётных чисел является подмножеством всех натуральных чисел. В нашем конечном мире целое всегда больше своих частей. Вы не можете иметь 5 яблок и при этом иметь столько же яблок, если считаете только красные. Но бесконечность? Бесконечность не заботится о ваших правилах.

Это противоречие — не ошибка. Это особенность бесконечных множеств.

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

Это кажется неправильным. Это выглядит неправильно. Но математически, если вы можете сопоставить каждый элемент одного множества с уникальным элементом другого, они имеют одинаковый размер. Вы можете установить взаимно однозначное соответствие между натуральными числами (1, 2, 3…) и чётными числами (2, 4, 6…). Без остатков. Без пробелов.

Целое здесь не больше своих частей. Части и есть целое.

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

Так является ли это парадоксом? Технически да. Оно противоречит древнему представлению о том, что целое больше любой своей части. Но это противоречие возникает только в том случае, если вы настаиваете на применении конечных правил к бесконечному холсту.

Как только вы принимаете тот факт, что бесконечность ведёт себя иначе, «противоречие» исчезает. Это просто другой вид равенства.

Почему это имеет значение для вас? Это не просто академический жаргон. Это основа математического анализа, понимания скоростей изменения, того, как мы моделируем вселенную. Без понимания того, что некоторые вещи не складываются в традиционном смысле, современная физика остаётся в грязи.

Но это всё ещё странно.

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

Как вы примиряете это с тем, как вы перемещаетесь в мире? Вы не примиряете. Вы просто принимаете математику и идёте дальше.

Зенон Элейский вовсе не считал, что Ахиллес никогда не догонит черепаху. Он просто любил логические ловушки.

Около 450 года до н.э. он сформулировал четыре аргумента, призванные запутать ваш разум. Суть проста: Ахиллес бежит с черепахой. Черепаха получает фору. Зенон утверждает, что Ахиллес никогда не обгонит её. Почему? Потому что прежде чем он достигнет того места, где была черепаха, она уже переместилась в новое место. Затем ещё в одно. И ещё. Бесконечное число шагов. Никакой финишной черты.

Это софизм. Уловка. Зенон знал, что его рассуждения ошибочны. Его цель заключалась не в том, чтобы доказать невозможность движения. Он стремился выявить недостатки в нашем понимании пространства и времени.

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

Это были не просто словесные игры. Они исследовали границы пределов и бесконечности. Концепции настолько скользкие, что оставались неразрешёнными на протяжении тысячелетий. Лишь к XIX веку математика смогла догнать их. Появился строгий анализ. Теория трансфинитных чисел получила обоснование. Только тогда мы смогли правильно объяснить, почему бесконечное число шагов Зенона на самом деле не мешает Ахиллесу выиграть гонку.

Но давайте сменим тему. Перейдём от Древней Греции к урокам алгебры в старшей школе.

Распространённые алгебраические ошибки основаны на схожих принципах скрытых ловушек. Они обычно нарушают одно или несколько из этих базовых предположений:

Всё начинается с простого противоречия. Вы думаете, что решаете алгебру. На самом деле нет. Вы строите дом из карт посреди урагана.

Возьмём переменную a. И переменную b. Стандартные вещи. Но затем правила искажаются. Внезапно a должна быть больше b. И одновременно меньше b. В одно и то же время. Это не просто ошибка. Это невозможно. Это нарушение базовой реальности. Вы не можете быть одновременно выше и ниже линии.

Это первый пример логической ошибки. Чистый, жёсткий разрыв.

А затем есть второй вид ошибки. Грязный. «Удачный эрекция».

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

И вы поймёте, что оно поддельное, потому что оно не выдержит проверки. Числа не сойдутся. Логика рухнет. Точно так же, как a не может быть одновременно больше и меньше b.

Это не просто опечатки. Это структурные разрушения. Если строить на них, всё рухнет.

Одержимость пифагорейцев числами в форме

Числа — это не просто абстрактные символы. Для пифагорейцев, живших около 500 года до н. э., они обладали характером. У них была форма.

Этот интерес не был чем-то новым. Древнекитайские учёные, вероятно, знали об этих концепциях. К XV веку они уже появлялись в арифметических книгах. Но древние греки пошли дальше. Они верили, что всё можно объяснить с помощью чисел. И эти числа имели определённые характеристики.

Это привело к открытию многоугольных чисел. Также известных как фигурные числа, они представляют собой количества, расположенные в виде геометрических фигур. Сегодня эта концепция кажется простой. Но тогда она стала откровением.

Числа наделялись определёнными характеристиками и характером.

Возьмём треугольник. Это самая простая фигура. Первое треугольное число — 1. Второе — 3. Третье — 6. Затем 10. Затем 15. Затем 21.

Представьте это.

Точки или точки, расположенные в форме треугольника.

Это не просто список. Это визуальный паттерн.

Но почему это имело такое большое значение для Пифагора и его последователей?

Потому что они видели вселенную как математическую. Если вы можете сопоставить число физической форме, вы нашли часть истины. Речь шла не просто о подсчёте. Речь шла о структуре.

Эта идея стимулировала исследования на протяжении веков. Математики не остановились на треугольниках. Они искали квадраты. Пятиугольники. Шестиугольники. Каждая фигура открывала новые взаимосвязи.

Пифагорейцы поняли, что числа имеют «форму».

Это открытие изменило то, как мы думаем об арифметике. Речь шла не только о сложении и умножении. Речь шла о геометрии.

И всё началось с точек.

Если внимательно посмотреть на последовательность треугольных чисел — 1, 3, 6, 10, — можно обнаружить скрытый геометрический паттерн, который объясняет, почему квадраты так часто встречаются в природе и математике. Эта связь не случайна. Она структурна.

Квадратные числа, являющиеся квадратами натуральных чисел, таких как 1, 4, 9, 16 и 25, имеют наглядное представление. Их можно расположить в виде идеальных квадратных массивов точек. Это визуальное доказательство часто демонстрируется во вводных курсах геометрии, но более глубокая связь заключается в другом.

Связь между треугольниками и квадратами

Настоящая магия происходит, когда вы объединяете соседние треугольные числа. Возьмите первые два треугольных числа: 1 и 3. Сложите их. Результат — 4. Это квадратное число.

Теперь попробуйте следующую пару. Второе треугольное число равно 3. Третье — 6. Сложите их. Вы получите 9. Ещё одно квадратное число.

Это не совпадение. Сумма любых двух соседних треугольных чисел всегда равна квадратному числу.

«Сумма любых двух соседних треугольных чисел всегда является квадратным числом».

Эта геометрическая истина объясняет, почему квадраты так часто встречаются в системах счёта. Речь идёт не просто о возведении переменной в квадрат. Речь идёт о наложении фигур. Если расположить точки в виде треугольника, а затем разместить рядом другой, немного больший треугольник, они идеально сочетаются, образуя больший квадрат.

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

Именно поэтому мы постоянно возвращаемся к этим базовым формам. Они являются строительными блоками для всего остального.

Почему прямоугольные числа важны в математике поп-культуры

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

Последовательность начинается с малых чисел: 2, 6, 12, 20, 30. Всё достаточно просто. Но посмотрите внимательнее. Каждое число является произведением двух последовательных целых чисел. 1 умножить на 2 равно 2. 2 умножить на 3 даёт 6. 3 умножить на 4 даёт 12. Это паттерн, который повторяется с механической точностью.

«Прямоугольные числа образуются удвоением любого треугольного числа.»

Эта связь имеет ключевое значение. Если взять треугольное число — например, 1, 3, 6, 10 — и удвоить его, получится прямоугольное число. 1, удвоенное, даёт 2. 3, удвоенное, даёт 6. 6, удвоенное, даёт 12. Математика подтверждает это. Это прямая связь между двумя фундаментальными фигурами в теории чисел.

Некоторые могут спросить, почему это имеет значение за пределами учебника. На самом деле, не имеет. Но забавно знать, что 20 — это не просто случайный возраст или год. Это 4 умножить на 5. Это также 2 плюс 4 плюс 6 плюс 8. Сумма первых четырёх чётных чисел. Это второй способ построения этих фигур. Можно умножать последовательные пары или складывать чётные числа. Оба пути приводят к одному и тому же прямоугольному результату.

Это не просто о точках на странице. Это о структуре. Прямоугольники повсюду — от соотношения сторон киноэкрана до макета электронной таблицы — опираются на такой тип пропорционального мышления. Прямоугольные числа являются математическим каркасом этой пропорции. Они — скрытый порядок за хаосом повседневных форм.

Геометрия нечётных чисел

Представьте себе гномон как геометрическую фигуру в форме буквы L. Это не просто случайная кривая. Она отражает прямой угол столярного угольника. Пифагорейцы использовали эти фигуры не только для украшения. Они рассматривали их как строительные блоки.

Математика удивительно проста, если уловить закономерность.

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

Рассмотрим последовательность квадратов.

• 1 в квадрате плюс 3 равно 2 в квадрате
• 2 в квадрате плюс 5 равно 3 в квадрате
• 3 в квадрате плюс 7 равно 4 в квадрате

Это цепная реакция. Но есть и другой взгляд на это.

Можно суммировать последовательные нечётные числа, чтобы получить полный квадрат.

• 1 плюс 3 равно 3 в квадрате
• 1 плюс 3 плюс 5 равно 4 в квадрате
• 1 плюс 3 плюс 5 плюс 7 равно 5 в квадрате
• 1 плюс 3 плюс 5 плюс 7 плюс 9 равно 6 в квадрате

Список продолжается. Это элегантно. Это чисто.

Это конкретное свойство гномонов в пифагорейской математике, вероятно, спровоцировало открытие самой знаменитой теоремы в истории. Пифагор не случайно обнаружил соотношение между сторонами прямоугольного треугольника. Он размышлял о квадратных числах.

Он заметил, что сложение нечётного квадрата с чётным квадратом может образовать третий квадрат. Визуальное доказательство было прямо перед ним в L-образных фигурах.

a в квадрате плюс b в квадрате равно c в квадрате.

Геометрия объясняла алгебру. Или, скорее, геометрия и была алгеброй. У них не было символов для переменных. У них были фигуры. И эти фигуры рассказывали историю о числах.

Почему это имело такое большое значение? Потому что это связывало сложение с умножением. Оно связывало линии с площадями. Оно превращало абстрактный подсчёт в осязаемое пространство.

Гномон был ключом. Он открыл дверь к пониманию того, как числа растут. Как они сочетаются друг с другом. Как они создают структуру из хаоса.

Странно думать, что такая простая L-образная фигура таит в себе столько силы. Но, с другой стороны, именно в простоте часто скрываются самые глубокие истины.

Математика здесь становится удивительно конкретной. Мы рассматриваем случай, когда $a^2 + b^2 = c^2$, но с одной оговоркой: $a^2$ равно $b + c$. Это узкая ниша пифагоровых троек. Однако греки не ограничивались только прямоугольными треугольниками. Они одержимо изучали формы. Пентагональные числа. Гексагональные числа. Они напрямую сопоставляли геометрические паттерны с алгеброй. Это не было абстрактным искусством. Это была арифметика с краями.

Эти числа относятся к более широкому классу фигурных чисел. Многоугольные числа — лишь один из подклассов. Список начинается с простых арифметических прогрессий, но паттерн сохраняется.

Суммы этих рядов не образуют простых арифметических прогрессий. Они создают более структурированные объекты. Получаются многоугольные числа. В частности, треугольные и квадратные числа. Но математика не ограничивается двумя измерениями.

От многоугольников к пирамидам

Если сложить эти последовательности еще раз, мы перейдем в трехмерное пространство. Результатом будут фигурные числа. Мы называем их пирамидальными числами.

Это не просто исторический курьез. Эти числа напрямую связаны с современной теорией чисел. Даже базовые свойства целых чисел могут требовать сложного математического аппарата для объяснения.

Рассмотрите это правило. Каждое целое число попадает в одну из трех категорий. Оно является:

1. Треугольным числом.
2. Суммой двух треугольных чисел.
3. Суммой трех треугольных чисел.

Доказательство элегантное, но сложное. Вот как это выглядит на практике.

«8 = 1 + 1 + 6»
«42 = 6 + 36»
«43 = 15 + 28»
«44 = 6 + 10 + 28»

Четыре равно шести. Стоп. Нет. Четырнадцать равно шести плюс восемь. Это два треугольника. Но для сорока четырех требуется три. Шесть плюс десять плюс двадцать восемь.

Тройки Пифагора

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

Найдите три положительных целых числа a, b и c, таких что:

a ² + b ² = c ²

Если эти числа не имеют общего делителя, кроме 1, они образуют первичную пифагорову тройку. Взаимно простые числа. Это ключевое ограничение.

Нам нужен способ генерировать их все. Не просто найти одну или две. Все возможные.

Существует формула. Она работает для генерации всех первичных пифагоровых троек.

Если m и n — положительные целые числа, такие что m > n, и m и n взаимно просты, и одно из них четное, а другое нечетное, то:

a = m ² — n ²
b = 2m n
c = m² + n*²

Попробуйте m = 2, n = 1.

a = 4 — 1 = 3
b = 2(2)(1) = 4
c = 4 + 1 = 5

3, 4, 5. Классическая тройка.

Попробуйте m = 3, n = 2.

a = 9 — 4 = 5
b = 2(3)(2) = 12
c = 9 + 4 = 13

5, 12, 13.

Кажется, что все достаточно просто, пока вы не попытаетесь доказать, что эта формула охватывает все возможные случаи без дубликатов. Условия для m и n строгие. Они отфильтровывают непримитивные наборы. Они обеспечивают статус первичности.

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

Формула для генерации таких троек основывается на выборе двух конкретных целых чисел, p и q, и строгом соблюдении определённых правил. Здесь недостаточно просто взять любые два числа. Нужно быть осторожным.

Первое правило гласит, что p и q должны быть взаимно простыми. Это означает, что у них нет общих делителей, кроме единицы. Второе правило ещё более специфично: они не могут быть оба чётными и не могут быть оба нечётными. Это вынуждает одно из чисел быть чётным, а другое — нечётным. Наконец, вы должны выбрать p таким, чтобы оно было больше q.

Когда все эти условия выполнены, математика складывается в единую картину.

Почему чётность важна при генерации троек

Требование о разной чётности (одно чётное, другое нечётное) не является произвольным. Если бы p и q были оба нечётными, квадраты этих чисел дали бы сумму, делящуюся на 4, что привело бы к тройке, у которой все стороны имеют общий делитель 2. Это нарушает условие «примитивности». То же самое происходит, если они оба чётные, поскольку в этом случае можно просто сократить все двойки.

Принудительно делая одно число чётным, а другое нечётным, вы гарантируете, что стороны результата не имеют общего делителя. В результате получается примитивная пифагорова тройка.

Примеры сгенерированных троек

Правильный выбор p и q даёт классические наборы. Например, если вы выберете p = 2 и q = 1:

• Первая сторона равна $p^2 — q^2 = 3$
• Вторая сторона равна $2pq = 4$
• Гипотенуза равна $p^2 + q^2 = 5$

Вы получаете треугольник 3-4-5. Это самый простой вариант. Все его знают. Но он работает, потому что 2 и 1 взаимно просты и имеют разную чётность.

Попробуйте p = 3 и q = 2.

• Сторона A: $9 — 4 = 5$
• Сторона B: $2(3)(2) = 12$
• Гипотенуза: $9 + 4 = 13$

Это даёт вам тройку 5-12-13. Ещё один примитивный набор.

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

Возможно, вам кажется, что примитивные пифагоровы тройки разбросаны по числовой прямой случайным образом, но это не так. Существует лишь один случай, когда три последовательных целых числа образуют такую тройку. Это классический набор 3, 4, 5. Больше ничего.

Как только вы выйдете за рамки этого единственного исключения, правила становятся интереснее. Даже в стандартной примитивной тройке, где a и b — катеты, а c — гипотенуза, всегда действуют определенные ограничения модульной арифметики. Вы можете на это рассчитывать.

Делимость на 3, 4 и 5

Один из катетов, либо a, либо b, всегда делится на 3. Другой катет всегда делится на 4. А если посмотреть на все три стороны, то одна из них обязательно делится на 5. Это не просто совпадение для небольших чисел. Это структурное правило.

Из-за этого произведение трех сторон (abc ) всегда делится на 60. Это чистая, предсказуемая закономерность в области, которая часто кажется хаотичной.

Число 7

Затем идет 7. Здесь все немного сложнее. Одно из следующих значений должно делиться на 7:
* a
* b
* a + b
* a — b

Это не всегда сами стороны. Иногда это сумма или разность. Но 7 всегда появляется в одной из этих форм.

Существует также формула, которая генерирует допустимые пифагоровы тройки для любого целого числа n. Если подставить в нее число, вы получите:
1. 2n + 1
2. 2n ² + 2n
3. 2n ² + 2n + 1

Они всегда образуют прямоугольный треугольник. Это надежный способ генерировать тройки без необходимости запоминать списки.

Древнегреческие ограничения

Греки знали об этом задолго до того, как у нас появились калькуляторы. Они знали, что гипотенуза примитивной тройки всегда является нечетным целым числом. У них не было полного современного доказательства, но была интуиция.

Сегодня у нас есть точное условие. Нечетное целое число R служит гипотенузой примитивной тройки тогда и только тогда, когда каждый простой множитель R имеет вид 4k + 1. Это ограничивает те нечетные числа, которые вообще могут появиться на этой позиции. Это сразу отсекает половину нечетных чисел.

Совершенные числа и простые числа Мерсенна

Большинство целых чисел либо изобильны, либо недостаточны. Различие простое. Изобильное число имеет собственные делители (исключая само число), сумма которых больше самого числа. Сумма собственных делителей недостаточного числа меньше.

Совершенное число находится ровно посередине. Оно равно сумме своих собственных делителей.

Возьмите 24. Его делители (1, 2, 3, 4, 6, 8, 12) в сумме дают 36. Оно изобильно.
Возьмите 32. Сумма его собственных делителей равна 31. Оно недостаточно.

Затем идет 6. 1 + 2 + 3 = 6. Совершенно.
Затем 28. 1 + 2 + 4 + 7 + 14 = 28. Тоже совершенно.

Следующие два — это 496 и 8 128. Древние знали первые четыре. Они не знали, продолжается ли список бесконечно или следующее число имеет миллион цифр.

Евклид и Эйлер

Евклид выдвинул предположение. Он предположил, что числа вида 2n -1(2n -1) являются совершенными, при условии, что 2n -1 является простым числом. Он был прав в отношении генерации, но не доказал, что это единственный способ.

Это доказание появилось гораздо позже. В 18 веке Леонард Эйлер показал, что каждое четное совершенное число должно соответствовать формуле Евклида. Так что, если вы ищете четное совершенное число, вам нужно искать только среди простых чисел Мерсенна.

Число Мерсенна — это любое число вида 2n -1, названное в честь Марина Мерсенна. Они могут быть простыми или составными. Чтобы 2n -1 было простым, само n должно быть простым. Это необходимое условие, хотя и недостаточное. Просто потому, что n простое, не означает, что 2n -1 тоже простое. Но если 2n -1 простое, то n обязательно должно быть простым.

Это создает взаимно однозначное соответствие. Каждое простое число Мерсенна порождает четное совершенное число. Каждое четное совершенное число происходит от простого числа Мерсенна.

Поиск гигантов

До эпохи компьютеров поиск этих чисел был ручной мукой. Долгое время было известно всего 12 совершенных чисел. Затем Эдуард Люка предложил в 1876 году тест на простоту для чисел Мерсенна.

Рафаэль М. Робинсон использовал этот тест и запустил его на ранних электронных цифровых компьютерах. К 1952 году он нашел простые числа Мерсенна для значений n, равных 521, 607,

Проблема кроликов, которая положила начало всему

Легко забыть, что последовательность Фибоначчи не появилась в аудитории по информатике. Она началась с книги. В 1202 году Леонадо из Пизы, более известный под своим прозвищем Фибоначчи, опубликовал книгу Liber abaci. Это была не просто сухая математическая инструкция. Она стала переломным моментом для европейской торговли, внедрив индо-арабские цифры на континент, который всё ещё использовал римские числа. Но внутри этого серьёзного финансового текста скрывалась забавная маленькая загадка о размножении кроликов.

Вопрос был достаточно простым, чтобы объяснить его за ужином. Представьте, что вы начинаете с одной пары кроликов. Каждый месяц эта пара производит новую пару. Вот загвоздка: новорождённые не начинают размножаться, пока им не исполнится два месяца. Итак, в первый месяц у вас одна пара. Во втором — оригинальная пара плюс их потомство. В третьем — оригинальная пара приносит ещё один помёт, а первое потомство теперь достаточно взрослое, чтобы завести своё собственное.

Сделайте расчёты. Это несложно. Вы получаете определённую последовательность чисел, которая постоянно встречается в природе, коде и искусстве.

Как разворачивается последовательность

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

• Месяц 1: 1 пара (оригинальная)
• Месяц 2: 2 пары (оригинальная плюс первое потомство)
• Месяц 3: 3 пары (оригинальная, первое потомство, второе потомство)
• Месяц 4: 5 пар

Последовательность выглядит так: 1, 1, 2, 3, 5, 8, 13, 21 и так далее. Она чистая. Она логична. И она повсюду, как только вы узнаете, куда смотреть.

Бесконечные свойства чисел Фибоначчи

Эта вторая строка? Это вступление к последовательности, которую мы теперь называем числами Фибоначчи. Каждое число после первых двух — это просто сумма двух предыдущих. Простая математика. x _n = x _n−1 + x _n−2. Но никто не знал, что это правило является ключом, примерно до 1600 года.

Настоящий взрыв интереса произошёл позже. А именно, в середине XX века. Исследователи с энтузиазмом изучали свойства этих чисел, что привело к созданию горы литературных работ. И кажется, что этот колодец бездонен. Тождества продолжают появляться. Возьмём, к примеру, это: x _n+1 · x _n−1 = x _n ² + (−1)ⁿ. Оно элегантно. Оно настойчиво.

Затем появился Эдуар Люка. У него была своя формула для генерации тех же самых чисел. Иной взгляд на ту же бесконечную головоломку.

Математика за волшебным соотношением

Всё начинается с числа, которое отказывается быть простым. Золотое сечение, Фи (Φ), составляет примерно 1,618. Его обратное значение равно 0,618. Оба числа являются корнями уравнения x ² − x − 1 = 0. Это уравнение восходит к Луке Пачоли — итальянскому математику XV века. Он назвал его «Божественной пропорцией». Формула выглядит так: a /b = b /(a + b ), при условии, что a меньше b. Если принять x за b /a, вы придёте к этому результату.

Речь идёт о делении отрезка. Разделите его так, чтобы меньшая часть относилась к большей точно так же, как большая часть относится ко всему отрезку. Древние дизайнеры знали об этом. Современные архитекторы также используют это правило. Прямоугольник со сторонами в соотношении 3:5 выглядит гармонично. Или 8:5. Он эстетически приятен. Некоторые считают его наиболее приятным.

Степени Фи

Возведите Фи в последовательные степени. Последовательность разворачивается. Она начинается с конкретных чисел, которые отражают само это соотношение.

Когда вы смотрите на радикалы, вы вряд ли ожидаете увидеть отсылку к поп-культуре, но в квадратном корне из пяти скрывается скрытая закономерность. Это не магия. Это просто математика, которая делает то, что ей положено.

Коэффициенты в этой последовательности — это знаменитые числа Фибоначчи. Вы их знаете. Один, один, два, три, пять, восемь. Они выстраиваются в ритме сердцебиения.

Посмотрите внимательнее на скобки. Вторые члены следуют другому ритму. Последовательность Люка. Она начинается с единиц и троек. Затем идут четыре, семь, одиннадцать, восемнадцать. Это кажется знакомым. И действительно, это так.

Последовательность Люка имеет то же рекуррентное сердцебиение, что и Фибоначчи. Каждое число является суммой двух предыдущих. Формула проста. $x_n = x_{n-1} + x_{n-2}$.

Это изящный трюк. Математический пасхальный яйцо для всех, кто любит закономерности. В следующий раз, когда вы увидите √5, подумайте о числах, скрывающихся в десятичных знаках. Они там, ожидая, чтобы их посчитали.

Начните с золотого прямоугольника, обозначенного как ABCD. Отрежьте квадрат ABEF. Что осталось? Прямоугольник ECDF. Это еще один золотой прямоугольник. Те же пропорции. Другой размер. Если продолжать этот процесс, квадраты становятся всё меньше. Углы совпадают. Проведите через них дуги окружностей. Результатом является не идеальная окружность, а логарифмическая спираль.

Природа любит эту форму. Вы видите её в раковинах наутилусов. Вы видите её в ураганах. Математика, стоящая за этим, изящна. Уравнение r = k Θ описывает эту кривую в полярных координатах. Константа k определяется как Φ²/π. Фи в квадрате, делённое на пи. Это точное соотношение между ростом и углом.

Но геометрия проявляется не только на бумаге. Она есть и в саду. Числа Фибоначчи объясняют филлотаксис. Это сложный термин, обозначающий способ, которым растения располагают свои части. Посмотрите на шишку. Посчитайте мутовки. Посмотрите на ананас. Спирали пересекаются в числах Фибоначчи. Головки подсолнечника? То же самое. Лепестки растут не случайно. Они следуют определённой последовательности.

Почему растения следуют правилам Фибоначчи

Это не совпадение. Это эффективность. Указанная выше конкретная последовательность дробей помогает семенам плотно упаковываться. Это обеспечивает максимальное воздействие света. Ветки на некоторых стеблях следуют той же логике. Они не затеняют друг друга. Растение оптимизирует свою структуру.

Спираль, показанная на рисунке 4, аппроксимирует этот естественный рост. Она является аппроксимацией, потому что природа несовершенна. Биология не следует чётким линиям. Она следует тенденциям. Золотое сечение проявляется в расположении листьев. Оно проявляется в расположении семян. Это паттерн, повторяющийся среди различных видов.

Некоторые могут утверждать, что это лишь визуальная привлекательность. Но математика выдерживает проверку. Логарифмическая спираль позволяет расширяться, не изменяя формы. Лист растёт. Он не деформируется. Он масштабируется. Последовательность Фибоначчи обеспечивает целочисленные шаги для этого масштабирования. Это дискретный рост в непрерывном мире.

Связь между математикой и биологией

Как семя знает, что нужно расти по спирали? Оно не знает. Физика деления клеток благоприятствует этим углам. Угол расхождения стремится к золотому углу. Это минимизирует перекрытие. Это максимизирует пространство. Результат выглядит как спираль Фибоначчи. Она и есть спираль Фибоначчи.

Вам не нужна степень в области ботаники, чтобы заметить это. Просто посмотрите на следующий ананас, который вы купите. Или на следующий подсолнечник. Числа присутствуют. Они встроены в структуру. Золотой прямоугольник — это лишь геометрическая абстракция. Растение — это физическая реальность. Это две стороны одной медали. Одна нарисована с помощью циркуля. Другая выращена в почве. Обе следуют одному и тому же фундаментальному правилу.

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

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

Геометрия лжи

В геометрии существуют знаменитые «доказательства», которые утверждают, что демонстрируют абсурдные утверждения. Это логические ошибки (софизмы). И они соблазнительны, потому что следуют логической структуре, но содержат фатальный изъян.

Возьмем утверждение, что любой треугольник является равнобедренным. Это звучит неверно. И это действительно неверно. Тем не менее, некоторые «доказательства» убеждают вас в обратном. Затем есть утверждение, что любой угол является прямым. Или идея о том, что если в четырехугольнике ABCD сторона AB равна стороне CD, то AD обязательно параллельна BC. Это ложь. Вы можете построить фигуру, которая соответствует описанию, не являясь параллелограммом. Самое возмутительное утверждение гласит, что каждая точка внутри круга лежит на самом окружности.

Как работают эти софизмы? Они не используют магию. Они используют тонкие ошибки.

Объяснения этих ложных доказательств обычно сводятся к нескольким повторяющимся приемам. Во-первых, это ошибочное построение. Диаграмма нарисована слегка неточно, скрывая противоречие. Во-вторых, это нарушение логических принципов. Одним из распространенных является предположение истинности обратной теоремы. Если A влечет за собой B, это не означает, что B влечет за собой A. Путаница между частичными обратными или обратными утверждениями — это классическая ловушка.

Иногда это неправильное толкование определения. Доказательство игнорирует условия «необходимости и достаточности». Оно берет условие, которое требуется, но недостаточно для доказательства всего утверждения. А затем есть человеческий фактор. Чрезмерная зависимость от диаграмм и интуиции. Мы доверяем своим глазам больше, чем логике. Мы попадаем в ловушку предельных процессов и обманчивых внешних проявлений. Мозг видит то, что ожидает увидеть.

Когда у фигур нет выхода

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

Возьмите треугольник Пенроуза. Три стержня образуют треугольник. Каждый угол выглядит как стандартное соединение под 90 градусов. Если соединить их вместе, они замыкаются в кольцо. Ваш мозг пытается разрешить глубинные сигналы. Он назначает переднюю и заднюю часть каждому ребру. Но ребра не соединяются. Фигура требует топологии, которая нарушает правила евклидовой геометрии.

Эти реконструкции являются топологическим кошмаром. Они заставляют глаз следовать по непрерывной линии, которая при попытке проследить ее в реальном пространстве должна была бы проходить сама через себя или изгибаться способами, противоречащими физическим ограничениям. Художники и математики используют их, чтобы подчеркнуть пределы восприятия. Они показывают, что ваш мозг — это машина предсказаний, а не камера. Он заполняет

Ловушка невозможной геометрии

Посмотрите на рисунок 5. Ваш мозг хочет принять его. Он видит правдоподобные 3D-объекты. Твердые. Реальные. Но присмотритесь ближе, и иллюзия рушится. Эти рисунки лгут. Они построены на ошибочной перспективе, странных сопоставлениях или прямых психологических уловках. Вы не можете их построить. Они не существуют в пространстве.

Это неразрешимые фигуры.

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

Бесконечная лестница и логика парадокса

Всё началось в 1958 году. Британский генетик Л.С. Пенроуз и его сын, математический физик Роджер Пенроуз, представили миру странные петли. Это были не просто визуальные фокусы. Это были неразрешимые фигуры.

Возьмём квадратную лестницу Пенроуза. По ней можно бесконечно идти в любом направлении. Вы никогда не поднимаетесь выше. Вы никогда не опускаетесь ниже. Это бесконечный цикл. М.К. Эшер развил эту концепцию. Его литография 1960 года «Восхождение и спуск» изображает монахов, идущих по этому невозможному пути. «Водопад» (1961) показывает воду, преодолевающую гравитацию и замыкающуюся в петлю. Это не просто искусство. Это визуальные доказательства логических парадоксов.

Странные петли касаются бесконечности. Они отражают самореференциальные утверждения, подобные утверждению Эпименида. Философ заявил, что все критяне — лжецы. Если он прав, он лжёт. Если он лжёт, он прав. Петля замыкается. Логика ломается.

Когда кривые нарушают правила

Математика имеет свою версию этого безумия. Патологические кривые.

Стандартная непрерывная кривая ведёт себя предсказуемо. Она имеет касательные. У неё определена кривизна. Патологические кривые не обладают этими свойствами. Они лишены базовых характеристик. Их касательная может быть не определена в любой точке. Их можно начертить. Можно измерить площадь, которую они ограничивают. Эта площадь конечна. Длина? Бесконечна.

Это не оптические иллюзии. Это реальные математические объекты. Они возникают как пределы последовательностей геометрических построений. Числа сходятся. Фигуры не совсем подходят друг к другу. Их длина стремится к одному пределу. Площадь — к другому. Но сам объект? Это парадокс.

«Их специфические особенности образуют парадоксы, а не оптические иллюзии или заблуждения.»

Здесь математика перестаёт быть интуитивно понятной. Вы проводите линию. Она становится бесконечно изломанной. Она остаётся в небольшом пространстве. У неё нет наклона ни в одной точке. Это кривая, которая отказывается быть кривой.

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

Вопрос не в том, как это исправить. Вопрос в том, что происходит, когда вы принимаете петлю. Продолжаете ли вы идти? Прекращаете ли вы пытаться найти конец?

Кривая продолжается.

Геометрия бесконечного периметра и конечного пространства

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

Вот в чём загвоздка. Периметр растёт неограниченно. Он стремится к бесконечности. Тем не менее площадь, которую он ограничивает, остаётся конечной. Она приближается к определённому пределу. Эта верхняя граница в точности равна 8/5 площади исходного треугольника.

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

Заполнение пространства линией, которая не должна туда помещаться

Это противоречит основам геометрии. Кривая — это одномерный объект. Она имеет длину, но не имеет ширины. Она не может покрывать двумерную область. Однако конструкция на рисунке 8 доказывает обратное. Если продолжать процесс через все стадии, конечный результат охватит каждую точку квадрата.

Это не фокус. Математика выдерживает проверку. Кривая становится заполняющей пространство.

От квадратов к кубам

Эту логику можно распространить дальше. Она не ограничивается плоскими поверхностями. Применяя те же рассуждения, кривая может заполнить весь куб. Три измерения. Одна непрерывная линия. Это звучит невозможным, пока вы не увидите, как это работает математически.

Кривая Серпинского — это странное существо. Она начинается как простой квадрат, но если продолжать процесс построения достаточно долго, она превращается во что-то совершенно иное. Она содержит каждую точку внутри этого квадрата. Она образует замкнутый контур.

Вот в чём загвоздка. Продолжайте. Бесконечно.

Длина кривой стремится к бесконечности. Она никогда не перестаёт расти. При этом площадь, которую она ограничивает, стабилизируется ровно на уровне пяти двенадцатых от общей площади квадрата. Это парадокс геометрии.

«По мере бесконечного продолжения процесса формирования кривой её длина стремится к бесконечности, в то время как площадь, ограниченная ею, стремится к 5/12 площади квадрата».

Затем есть фрактальная кривая. Здесь подойдёт и нестрогое определение. Это фигура, которая сохраняет свой нерегулярный узор независимо от того, насколько сильно вы увеличите масштаб. Вспомните снежинку Коха. Это классический пример.

Посмотрите, что происходит на каждом этапе её построения. Периметр не просто увеличивается. Он растёт в определённом соотношении. Четыре к трём.

Бенуа Мандельброт изменил правила игры в 1950-х годах. Ему не нравилась старая идея размерности. Он хотел новый символ. D.

Он рассматривал размерность как степень. До какой степени нужно возвести 3, чтобы получить 4? Вот в чём вопрос. Ответ не является целым числом. Это логарифм 4, делённый на логарифм 3. Примерно 1,26.

Это и есть размерность снежинки. Это не линия. Это не плоскость. Она находится где-то посередине.

Мандельброт и его коллеги начали изучать эти «патологические» кривые. Их манила самоподобность. Но они не просто созерцали математику. Они смотрели на мир.

Случайные флуктуации в природе создают статистическое самоподобие. Техники Мандельброта помогли расшифровать это. Это работает для гидромеханики. Геоморфологии. Физиологии человека. Экономики. Лингвистики.

Возьмите броуновское движение. Посмотрите на микроскопические поверхности. Увидьте сосудистые сети в вашем теле. Проверьте формы молекул полимеров.

Все это — фракталы. Они разделяют одну и ту же шероховатую, повторяющуюся текстуру.

Лабиринты

Решение неразрешимого

Приложите руку к стене. Держите её там. Если лабиринт имеет только один вход и один выход, это простое правило гарантирует, что вы найдёте выход. Это может быть не самый быстрый маршрут. Вы можете сделать крюк. Но вы доберётесь до цели.

А что, если цель спрятана внутри лабиринта? Тот же приём «рука на стене» работает. Есть одно условие. Никаких замкнутых контуров. Если лабиринт содержит цикл — маршрут, который возвращается в начало, — метод не сработает. Вы просто будете кружиться на месте.

Математики называют лабиринт без циклов «односвязным». Если он содержит циклы, он является «многосвязным». Для навигации по таким сложным структурам вам нужен лучший план.

Обозначьте каждую развилку как узел. Пометьте пути как «новые» или «старые». Вот как пройти лабиринт, не заблудившись:

• Никогда не проходите по одному пути более двух раз.
• Встретили новый узел? Выберите направление.
• Встретили старый узел или тупик через новый путь? Развернитесь и вернитесь назад тем же путём.
• Встретили старый узел через старый путь? Попробуйте новый путь. Если новых путей нет, выберите другой старый.

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

Разрезание фигур на части

Геометрические разрезания отличаются. Они предполагают разрезание фигур на части, которые можно переставить. Возьмите прямоугольник. Разрежьте его. Соберите части в квадрат. Сделайте то же самое в обратном направлении.

Интерес к этой математической головоломке возник в конце 18 века. Монтюкла выделил эту проблему. По мере роста популярности фокус сместился. Речь шла уже не только о прямоугольниках и квадратах. Речь шла о любых многоугольниках. Как разрезать фигуру с n сторонами на другую фигуру с равной площадью?

К началу 20 века вопрос изменился снова. Было недостаточно просто сделать это. Нужно было найти минимальное количество необходимых кусков. Важна была эффективность.

Около 1960 года возникла всеобъемлющая теория. Она определила «равнодекомпозируемые» фигуры. Два многоугольника являются равнодекомпозируемыми, если один можно разрезать на конечное число частей и переставить их так, чтобы получить другой. Их площади должны быть равны. Очевидно.

Обратная теорема ещё сильнее. Если два многоугольника имеют равные площади, они равнодекомпозируемы. Точка.

Существует также метод дополнения. Добавьте равные части к двум фигурам. Сделайте новые фигуры равными. Такие фигуры называются «равнодополняемыми». Их площади также равны.

Теория расширилась. Исследователи изучали, как равнодекомпозируемость связана с движением. Переносы. Центральная симметрия. Группы движений в целом. Исследования в конечном итоге достигли многогранников. Трёхмерных фигур. Гораздо более сложные вопросы. На которые всё ещё ищут ответы.

Механика греческого креста

Практическое применение требует большего, чем просто теория. Превратить греческий крест в квадрат — не такая простая задача, как сделать один простой сгиб. Для этого требуются изобретательные методы, чтобы всё сработало. Геометрия быстро становится сложной.

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

Квадрат в квадрате: решение геометрической головоломки

Забудьте о запыленных учебниках. Идея о том, что невозможно разбить квадрат на меньшие, неравные квадраты, когда-то была упорным мифом. Это не было следствием отсутствия попыток. Математики десятилетиями смотрели на чистый лист. Решение пришло не от циркуля и линейки. Оно пришло из теории сетей.

Речь идет о квадратных прямоугольниках. Прямоугольник, разбитый на конечное число квадратов. Если ни один из этих квадратов не имеет одинакового размера, он называется совершенным. Порядок? Это просто количество этих квадратов.

Вот в чем суть. Не существует совершенных прямоугольников, состоящих менее чем из девяти квадратов. Ноль. Ни одного. Но при порядке девять существуют ровно два таких прямоугольника. Один из них показан на рисунке 12. Разбиение квадрата на неравные квадраты, которое еще в 1907 году считалось невозможным, было впервые описано в 1939 году.

Это не магия. Это топология.

Как графы решают геометрические головоломки

Слово «граф» сбивает с толку. Вы представляете линейный график. Биржевую сводку. Кривую аналитической геометрии. Неверно. Или, по крайней мере, неполно.

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

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

Речь идет не только о красивых формах. Речь идет о логике. Чистой, незамутненной логике.

«Разбиение квадрата на неравные квадраты, которое еще в 1907 году считалось невозможным, было впервые описано в 1939 году.»

Три десятилетия тупиков. Затем — прорыв. Не потому, что кто-то стал умнее. А потому, что они перестали смотреть на квадраты и начали смотреть на линии между ними.

Граф не заботится об углах. Его заботят связи. Вот в чем секрет.

Основы теории графов: от полных графов до планарных головоломок

Конечное множество точек, соединённых линиями, образует граф. Эти точки называются вершинами. Линии, соединяющие их, — рёбрами. Когда каждая вершина соединена с каждой другой вершиной, получается полный граф. Но не все графы такие простые.

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

Рёбра графа не обязательно должны быть прямыми линиями. Это различие имеет значение. Оно означает, что запутанная диаграмма с множеством пересечений может на самом деле быть планарной, если просто раздвинуть рёбра.

Задача о трёх колодцах и идея Жордана

Вот классическая головоломка. Задача о трёх колодцах. Три дома. Три колодца. Нужно провести пути от каждого дома к каждому колодцу. Всего девять путей. Правило? Ни один путь не должен пересекать другой. Это невозможно.

Доказательство опирается на теорему Жордана о кривой. Замкнутая непрерывная кривая делит плоскость на внутреннюю и внешнюю области. Любой путь, соединяющий точку внутри с точкой снаружи, должен пересечь кривую. Эта топологическая реальность делает задачу о трёх колодцах неразрешимой.

Планарные графы полезны не только в головоломках. Они применяются при проектировании электрических сетей. Печатные платы часто используют принципы планарности, чтобы избежать коротких замыканий и управлять связностью.

Связные графы и пути

Связный граф — это просто граф, в котором каждая вершина соединена с каждой другой вершиной через дугу. Дуга — это просто неразрывная последовательность рёбер.

Существует также понятие пути. Путь проходит по графу, не проходя дважды по одному и тому же ребру. Вершину можно посещать несколько раз. Главное — не использовать одно и то же ребро дважды. Это определённый тип обхода.

Корни современной теории графов восходят к головоломке XVIII века, которая казалась достаточно простой для того, чтобы её мог решить любой случайный прохожий, но оказалась математически глубокой. Всё началось с Леонарда Эйлера и знаменитой задачи о кёнигсбергских мостах. Долгое время эта область определялась особым типом маршрута, известным как эйлеров путь. Это фигура, которую можно нарисовать, не отрывая карандаша от бумаги и не проходя по одной и той же линии дважды.

Местом действия был город Кёнигсберг, ныне известный как Калининград. География была запутанной. Река Преголя разделялась на рукава и окружала остров. Семь мостов соединяли различные участки суши. Задача, поставленная перед горожанами, была обманчиво простой. Мог ли кто-нибудь выйти из дома, прогуляться по этим мостам и вернуться домой, пересёк каждый из них ровно один раз?

Эйлер доказал, что это невозможно. Он не просто сказал «нет». Он подарил миру новый способ взглянуть на сети.

Правила сети

Логика Эйлера применима к любой замкнутой сети, а не только к рекам и мостам. Решение кроется в точках, где линии пересекаются.

• Количество чётных точек — узлов, где сходится чётное количество рёбер, — не влияет на возможность существования пути.
• Количество нечётных точек — где сходится нечётное количество рёбер, — всегда должно быть чётным. Это верно даже в случае нуля нечётных точек.
• Если нет нечётных точек, можно начать в любом месте и закончить в той же точке.
• Если ровно две нечётные точки, необходимо начать движение с одной нечётной точки и закончить на другой.
• Если более двух нечётных точек, непрерывный путь невозможен. Сеть с $2n$ нечётными точками можно пройти за $n$ отдельных путей.

Почему мосты не сработали

Посмотрите на рисунок 15F. Он отображает ситуацию в Кёнигсберге. Точки представляют собой участки суши, а рёбра — семь мостов.

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

Другие рисунки из того же набора рассказывают иные истории. Рисунки 15B и 15C работают. Они соответствуют принципам Эйлера. Их можно пройти с помощью эйлеровых путей. Рисунки 15D и 15E не работают. Они нарушают правила чётных и нечётных точек.

Урок был усвоен. Мы перестали обращать внимание на кривые и начали смотреть на связи.

Вы можете думать, что сетевые головоломки — это просто упражнения для мозга, но на самом деле они связаны с объединением или расположением точек в пространстве. Это старше, чем вы думаете.

Ирландский математик сэр Уильям Роуэн Гамильтон придумал одну такую головоломку в 1859 году. Задача заключалась в том, чтобы найти маршрут вдоль ребер правильного додекаэдра. Нужно было пройти через каждую точку ровно один раз. Без повторений. Без сокращений.

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

Это то, что мы называем гамильтоновым контуром. Он посещает каждую вершину один раз. Однако он не покрывает все ребра. На каждом пересечении есть три ребра. Контур использует только два из них. Толстые линии на рисунке 16 показывают один такой путь. Их существует множество.

Теория графов и реальный хаос

Теория графов предназначена не только для складывания бумаги. Она решает комбинаторные проблемы.

Подумайте о соединении городов железными дорогами. Или прокладке телефонных линий. Вам нужна сеть, которая работает. Теория графов помогает спланировать это.

Она также решает задачи с движением транспорта. Она упорядочивает круговые турниры, чтобы каждая команда играла с каждой другой командой. Она сопоставляет рабочие места с кандидатами. Это универсальный ключ к задачам упорядочивания.

Проблема четырех красок для карт

Картографы знали то, над чем математики спорили в течение столетия.

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

В 1852 году кто-то сформулировал «проблему четырех красок для карт». Можно ли построить планарную карту, которая требовала бы пять цветов?

Математики атаковали эту проблему годами. У них не получилось.

Затем, в 1976 году, команда из Иллинойсского университета нанесла решающий удар. Они доказали, что четырех цветов достаточно.

Вот в чем загвоздка. Это было первое крупное доказательство, которое сильно опиралось на компьютер. Они выполнили более 1000 часов вычислений. Диаграммы были созданы машиной. Некоторые математики возненавидели это. Они сказали, что это было недостаточно «человечным». Но это сработало.

Вы можете задать аналогичные вопросы для других поверхностей.

Картам на торе (фигуре в форме бублика) требуется семь цветов. Не больше. Не меньше.

Магия флексагонов

Флексагон — это многоугольник, сделанный из бумаги или фольги. Он выглядит как плоская полоска, пока вы не согнете его.

Затем он меняет грани.

О них впервые заговорили в 1939 году. Теперь они являются неотъемлемой частью математических развлечений.

Тригексафлексагон — это самая простая версия.

Вот как сделать один:
1. Вырежьте полоску материала.
2. Отметьте 10 равносторонних треугольников.
3. Сложите ее соответствующим образом несколько раз.
4. Приклейте последний треугольник к обратной стороне первого.

Согните его. Одна грань исчезает. Другая занимает ее место. Это просто. Это странно. Это работает.

Манипулятивные развлечения

Это не просто игры. Это модели того, как мы структурируем пространство.

Истоки головоломок на перестановку восходят к «Загадке Люка». Представьте ряд из семи клеток. В левые три клетки помещены чёрные фишки. В правые три — белые. Центральная клетка пуста. Ваша цель: поменять их местами. Чёрные двигаются вправо. Белые — влево. Можно перемещать фишку в соседнюю пустую клетку или перепрыгивать через фишку противника. Для n фишек каждого цвета количество ходов равно n (n + 2).

Масштабируйте задачу. Или уменьшите её. Математика остаётся верной.

Существует головоломка-родственница с восемью пронумерованными фишками на девяти клетках. Нужно поменять порядок на противоположный. Разрешены только одиночные ходы и прыжки. Без сокращений пути.

Затем есть игры для двух игроков. Крестики-нолики — это базовый уровень. Но вариации становятся интереснее. Рассмотрим версию, где каждый игрок начинает с тремя фишками. Доска представляет собой сетку 3 × 3. Фишки расставляются по одной. Изначально нельзя использовать центральную клетку. Если после расстановки никто не собрал три в ряд, начинается фаза перемещения. Только в соседние клетки. По горизонтали или вертикали.

Победа достигается путём формирования линии.

Перейдите на доску 4 × 4. По четыре фишки у каждого. Иногда считаются и диагонали. Попробуйте паттерн 5 × 5. Или посмотрите через Атлантику в Европу, где правят бал «Мельница» или «Девять мужей морриса». Три концентрических квадрата. Восемь трансверсалей (пересекающих линий). Соедините три фишки, чтобы убрать фишку противника. Здесь важно не просто выравнивание, а блокировка.

Геометрия соединения

Хекс — это другое. Речь не о линиях. Речь о цепях.

Пьет Хейн изобрёл её в Дании в 1942 году. Доска представляет собой ромб из замощённых шестиугольников. Обычно по 11 клеток на каждом ребре. «Замощённые» просто означает уложенные вместе, как плитки. Без зазоров. Два противоположных ребра — «белые». Два других — «чёрные».

Игроки по очереди расставляют фишки. Цель? Построить неразрывную цепь от своей стороны до противоположной. Белые идут сверху вниз. Чёрные — с боку на бок.

Ничья в этой игре невозможна. Почему? Потому что вы не можете заблокировать противника, не построив сначала свою собственную цепь. Один путь рассекает доску. Игра заканчивается немедленно.

Джон Нэш изобрёл её независимо в США в 1948 году. Спустя годы она вышла на рынок под названием Hex.

Стратегия здесь не сводится к простому выравниванию. Она топологична. Она касается контроля.

Дилемма ферзя

Шахматные доски предлагают свои собственные математические трудности. Самая известная? Разместите восемь ферзей на стандартной доске так, чтобы ни один не атаковал другого. Карл Фридрих Гаусс работал над этой задачей около 1850 года. Он был не одинок в своей одержимости.

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

Другие задачи касаются ценности фигур. Сколько слонов можно разместить, чтобы они не били друг друга? Каково минимальное количество коней, необходимое для шаха каждой клетке доски?

Попробуйте разместить 16 ферзей. Ни три из них не должны стоять на одной прямой. Даже это нетривиальная задача.

Пятнадцатиголоволомка

Сэм Ллойд-старший любил утверждать, что он изобрёл «Пятнашки» около 1878 года. Современные учёные с этим не согласны. Они обнаружили более ранних изобретателей. У головоломки были и другие названия: «Босс», «Драгоценность», «Мистический квадрат». Она стремительно, с пугающей скоростью, распространилась по Европе.

Устройство достаточно простое, чтобы сбить с толку. Небольшой квадратный лоток. Пятнадцать маленьких пронумерованных фишек. Одна пустая клетка. Вы начинаете с того, что числа расположены в случайном порядке. Пустое пространство находится в правом нижнем углу. Цель? Расставить фигуры в числовом порядке. Можно только сдвигать их. Пустое пространство должно в итоге вернуться туда, откуда начинало. В этом и есть подвох.

Масштаб задачи может закружить голову. Существует более 20 миллиардов миллиардов возможных комбинаций расположения фишек, включая пустое пространство. В 1879 году два американских математика доказали нечто поразительное: только половина этих начальных расстановок на самом деле разрешима. Это примерно 10 миллиардов миллиардов. Остальные — тупик.

Математика, стоящая за этим, элегантна и слегка жестока. Подумайте о пути, который проходит любое отдельное число. Пока оно оказывается в правом нижнем углу, оно проходит через чётное количество клеток. Это вопрос чётности.

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

Возьмём последовательность 9, 5, 3, 4. Девятка стоит перед тремя меньшими числами. Пятёрка стоит перед двумя меньшими числами. Всего пять инверсий. Это нечётное число. Если общее количество инверсий в любой данной расстановке чётно, головоломка разрешима. Верните квадраты в исходное состояние. Если количество нечётно, вам конец. У головоломки нет решения.

На рисунке 17B две инверсии. Разрешимо. На рисунке 17C пять. Невозможно. Теоретически эту логику можно применить к лотку любого размера. Сетка размером m на n. С mn минус одной пронумерованной фишкой. Математика остаётся верной.

Ханойская башня

Эдуард Люка не просто изобрёл головоломку в 1883 году. Он подарил нам математический кошмар, упакованный в дерево.

Французский математик. Обязательный атрибут игрушечных магазинов. Три стержня. Восемь дисков.

Это Башня Ханоя. Или по крайней мере, именно её мы всегда винили во всём. Люка получает заслуженную славу, хотя историки спорят, создал ли он её сам или просто популяризировал более старую загадку. Неважно. Эта головоломка повсюду. Пластиковые версии захламляют полки. Деревянные стоят на офисных столах. Правила достаточно просты, чтобы объяснить их за тридцать секунд.

Поместите восемь дисков на один стержень. Самый большой — внизу, самый маленький — наверху. Большой диск никогда не должен лежать на маленьком. Переместите всю стопку на другой стержень.

Вот и всё.

Но это не так.

Математика бьёт вас, как грузовик. Для n дисков требуется ровно $2^n — 1$ ходов.

Восемь дисков? Это $2^8 — 1$. 255 ходов. Достижимо. Немного утомительно. Хорошее испытание терпения.

Но представьте оригинальную легенду.

Башня из шестидесяти четырёх дисков.

Это число не просто большое. Оно космически, пугающе большое. $2^{64} — 1$.

18 446 744 073 709 551 615.

Попробуйте произнести это вслух. На это уйдёт больше времени, чем длится человеческая жизнь. Теперь представьте, что вы делаете по одному ходу в секунду.

Вам потребовалось бы около 585 миллиардов лет.

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

Та же самая абсурдность присутствует в истории о зёрнах пшеницы на шахматной доске. Одно зерно на первой клетке. Два на второй. Четыре. Восемь. Удвоение на каждом шаге. К шестидесять четвёртой клетке вам потребуется каждая мерная мера пшеницы, когда-либо собранная за всю историю человечества. И даже больше.

Башня Ханоя — это не игра. Это урок экспоненциального роста. Предупреждающая этикетка для всех, кто думает, что «ещё один ход» не сложится в нечто огромное.

Полимино

Слово «полимино» появилось в 1953 году как игра слов от «домино». Оно описывает фигуру, составленную из квадратов одинакового размера, соединённых сторонами. Нельзя поднять угол фигуры, не нарушив её связности. Более простые варианты легко представить визуально. Но настоящая игра начинается с пентамино.

Существует ровно двенадцать уникальных форм пентамино. Асимметричные фигуры не считаются дважды, если их перевернуть. Они по-прежнему представляют собой лишь один тип.

Математикам не удавалось найти общую формулу для количества различных полимино в зависимости от числа квадратов. Однако мы знаем точные числа для конкретных порядков. Существует 35 гексамино. Есть 108 гептомино, если считать странный вариант с дыркой в центре.

Можно ли разместить их все?

Задачи, связанные с полимино, относятся к комбинаторной геометрии. Обычно цель состоит в том, чтобы разместить фигуры в определённые формы или покрыть доску без зазоров.

Возьмём 35 гексамино. Вместе они покрывают 210 клеток. Может показаться, что их можно расположить в простой прямоугольник. Математика предлагает варианты, такие как 3 на 70, 5 на 42 или 14 на 15. Но это не работает. Такой прямоугольник составить невозможно.

А что насчёт двенадцати пентамино и одного квадрата-тетрамино? Могут ли они заполнить шахматную доску 8×8?

Да. Эта задача восходит примерно к 1935 году. Мы не знаем общее количество решений, но оценки указывают как минимум на 1 000. Компьютерный расчёт в 1958 году доказал, что существует 65 решений, при которых одиночная квадратная фигура находится точно в центре.

Кубы Сома

Концепция расширяется в трёхмерное пространство. Если полимино — это плоские фигуры, то кубы Сома — это трёхмерные структуры. Они состоят из семи неправильных частей. Каждая часть сделана из четырёх или пяти кубиков, соединённых гранями.

Физик Бенджамин Сеймур Райт и математик Джон Хортон Конвей помогли популяризировать эту головоломку в 1950-х годах. Задача проста. Возьмите семь деталей. Соберите куб 3x3x3.

Существует 240 различных способов решить её. Если игнорировать вращения и отражения, число уменьшается. Но разнообразие ошеломляет. Куб Сома по сути является трёхмерным аналогом задачи о пентамино. Он требует пространственного мышления, а не только плоской геометрии.

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

Пентамино и гексамино остаются популярными, потому что они обманчиво просты. Они выглядят как игрушки. Они ведут себя как сложные алгоритмы.

Дырка в том гептомино всё ещё беспокоит некоторых пуристов. Она нарушает правило «односвязности». Но она существует. И она считается.

Что вам больше нравится: плоский вызов доски 8×8 или трёхмерный поворот куба Сома? Компьютер нашёл 65

Геометрия игры

Пьет Хейн из Дании не просто изобрёл хекс и тактикс. Он наткнулся на нечто более странное. Возьмите три или четыре одинаковых куба. Соедините их гранями. Получившиеся неправильные фигуры? Их ровно семь. Математики называют их кубами Сома. Соберите их обратно, и они образуют больший, идеальный куб. Это факт, который трудно объяснить.

Пятая и шестая фигуры являются зеркальными отражениями друг друга. Ни два куска не похожи друг на друга. Тем не менее, эти семь кусков — всего 27 единичных кубов — складываются обратно в блок 3x3x3 более чем в 230 существенно различных способов.

Разнообразие интересных структур, которые можно создать, кажется бесконечным.

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

Цветные квадраты и кубы

Затем есть цветные головоломки. Плитки. Кубы. Ребра, которые должны совпадать.

Рассмотрим головоломку с прямоугольником 4×6. У вас есть 24 трехцветных паттерна из разбитых квадратных плиток. Расположите их так, чтобы соприкасающиеся края были одного цвета. И вся граница? Один сплошной цвет. Просто в описании. Сложно на практике.

Более известна головоломка «30 цветных кубов». Раскрасьте шесть цветов на гранях кубов. Всего существует 2 226 комбинаций. Выберите только те, где есть все шесть цветов. Вы получите 30 различных кубов. Два куба считаются «разными», если вы не можете поставить их рядом так, чтобы все соответствующие грани совпадали.

Эти головоломки появились в продаже под названиями, такими как Mayblox Puzzle, Tantalizer и Katzenjammer. Но настоящий сдвиг произошел с Instant Insanity.

Четыре куба. Белый, красный, зеленый, синий. Соберите их в призму 1x1x4. Каждая из четырех длинных граней должна показывать все четыре цвета. У каждого куба 24 ориентации. Это оставляет 82 944 возможных расположения. Работают только два.

Затем Instant Insanity была поглощена чем-то большим.

Возвышение кубика Рубика

Эрно Рубик запатентовал его в Венгрии в 1975 году. Тэрутоси Ишиги подал заявку в Японии в 1976 году. Родился кубик Рубика.

Он выглядит как 27 маленьких кубиков. В собранном состоянии каждая из шести граней имеет сплошной цвет. Коммерческие версии используют внутреннюю систему поворота. Поверните слой. Кубики перемешиваются.

Задача заключается в восстановлении порядка. Количество достижимых состояний превышает 10^19. Была создана обширная литература. Математики использовали теорию групп для составления систематических решений. Головоломка была не просто игрушкой. Это было математическое чудовище.

Ним и похожие игры

Ним старше, чем показывают записи. Его происхождение неясно. Но он поддается сложной математике.

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

Каждая позиция либо «безопасна», либо «небезопасна».
Если вы оставляете противника в небезопасной позиции, вы можете вынудить победу.
Если вы оставляете его в безопасной позиции, любой ваш ход передает ему преимущество.

Как узнать, какая позиция какая? Двоичная нотация. Сложите столбцы предметов в каждой куче. Если каждый столбец в сумме дает ноль или четное число, позиция безопасна.

Пример: три кучи с 4, 9 и 15 предметами.

Расчет выглядит так:

4: 0 1 0 0
9: 1 0 0 1
15: 1 1 1 1

---

Сумма: 2 2 1 0

Два — четное. Два — четное. Один — нечетный. Один — четный.

Нечетный столбец нарушает безопасность. Позиция небезопасна.

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

Рассмотрим вариант с двумя кучками. Вы можете брать предметы из любой кучки. Или из обеих. Но если вы берете из обеих, вы должны взять одинаковое количество из каждой. Тот, кто возьмет последний фишку, побеждает.

Игры вроде Нима требуют особой ментальной гибкости. Вам нужно переводить десятичные числа в двоичные и обратно. Для большинства людей это не интуитивно понятно. Однако это идеально подходит для машин. Цифровые компьютеры работают на двоичной системе счисления. Они «родным» языком используют именно её. Благодаря этому возможно запрограммировать компьютер на безупречную игру.

Эдвард Ухлер Кондон и его коллега изобрели именно такую машину. Автоматический Ниматрон. Он дебютировал на Всемирной выставке в Нью-Йорке в 1940 году. Он обыгрывал человеческих игроков за счет чистого расчета.

Глобальные игры со счетом

Эти игры не являются изолированными диковинками. Они популярны по всему миру. Возьмем игру с галькой, также известную как игра на нечетное число. Два человека начинают с нечетного количества гальки в одной кучке. Они по очереди берут по одной, две или три гальки. Когда кучка опустеет, игрок, у которого осталось нечетное количество гальки, побеждает.

Существуют предшественники этих игр. Они старше. Это игры манкала. Игроки распределяют гальку, семена или фишки по рядам ямок. Правила различаются. В них играли веками в Африке и Азии. Механика проста. Стратегия глубока.

Задачи логического вывода

Многие головоломки не связаны с числами. Геометрия в них встречается редко или не встречается вовсе. Они требуют дедуктивного вывода, основанного на логических связях.

Не путайте их с загадками. Загадки опираются на двусмысленность. Они используют игру слов. Их цель — поймать невнимательного. У логических головоломок нет стандартной процедуры. Не существует обобщенного шаблона для их решения. Вы решаете их методом проб и ошибок.

Угадывание не является хаотичным. Данные факты — обычно их минимум — наводят на несколько гипотез. Вы отбрасываете противоречивые. Путем подстановки и исключения решение становится очевидным. Логические техники помогают. Но успех зависит от изобретательности. Это elusive (трудноуловимая) способность.

Логические задачи сгруппированы здесь для удобства.

Кондуктор, кочегар и машинист

Это классика. Версия из книги Освальда Джейкоби и Уильямсона Бэнсона «Математика для удовольствия» (1962) остается канонической.

Имена кондуктора, кочегара и машиниста были Смит, Джонс и Робинсон. Не обязательно в таком порядке. Три пассажира носили эти же имена. Чтобы избежать путаницы, мы будем называть их мистер Смит, мистер Джонс и мистер Робинсон.

Вот факты:
— Мистер Робинсон жил в Детройте.
— Кондуктор жил посередине между Чикаго и Детройтом.
— Мистер Джонс зарабатывал ровно 2000 долларов в год.
— Смит обыграл кочегара в бильярд.
— Сосед кондуктора по дому (пассажир) зарабатывал ровно в три раза больше, чем кондуктор.
— Пассажир, живший в Чикаго, носил то же имя, что и кондуктор.

Как звали машиниста?

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

Пересекающиеся группы

Эта категория имеет дело с множествами. Типичной является задача о школьном языковом клубе.

Среди членов клуба:
— 21 изучал французский.
— 20 изучал немецкий.
— 26 изучал испанский.
— 12 изучали и французский, и испанский.
— 10 изучали и французский, и немецкий.
— 9 изучали и испанский, и немецкий.
— 3 изучали французский, испанский и немецкий.

Сколько всего членов клуба? Сколько изучали только один язык?

Числа пересекаются. Их нельзя просто сложить. Нужно учитывать пересечения. Логика диаграмм Вен здесь подразумевается. Вы вычитаете пересечения из общих сумм. Затем корректируете учет тройного пересечения. Ответ не в сумме. Он в структуре групп.

Истина и ложь

Другой вариант касается надежности утверждений. Рыцари и лжецы.

Жители определенного острова — либо рыцари, либо лжецы. Они выглядят одинаково. Рыцари всегда говорят правду. Лжецы всегда лгут.

Посетитель встречает трех местных жителей. Он спрашивает, являются ли они рыцарями или лжецами. Первый говорит что-то неразборчивое. Второй указывает на первого и говорит: «Он сказал, что он рыцарь». Третий указывает на второго и говорит: «Он лжет».

Посетитель знает, что только один из них — лжец. Он определяет, кем является каждый.

Если бы первый сказал, что он рыцарь, то будучи лжецом, он бы солгал. Будучи рыцарем, он бы сказал правду. Второй местный житель передает это утверждение. Если второй — рыцарь, он передает правду. Если он лжец, он лжет относительно того, что было сказано. Третий называет второго лжецом.

Это цепочка проверки. Одно разрыв в цепи выдает лжеца.

Другой тип задачи включает четырех мужчин. Один из них совершил преступление. Полиция допрашивает их.

• Арчи: Это сделал Дэйв.
• Дэйв: Это сделал Тони.
• Гас: Это не я.
• Тони: Дэйв солгал, когда сказал, что это сделал я.

Если истинно только одно утверждение, кто виновник? Если ложно только одно утверждение, кто виновник?

Источник — книга К.Р. Уайли-младшего «101 головоломка на мышление и логику» (1957). Dover Publications. Парадоксы основаны на противоречии между Дэйвом и Тони. Дэйв обвиняет Тони. Тони говорит, что Дэйв солгал. Они не могут оба говорить правду. Они не могут оба лгать в отношении обвинения таким образом, чтобы легко сохранить правило «одна истина». Вам нужно проверить каждого подозреваемого. Предположим, что виноват Арчи. Проверьте утверждения. Предположим, что виноват Дэйв. Проверьте утверждения. Истина emerges (проявляется) через исключение невозможных сценариев.

Логика либо работает, либо нет. Вам нужно решить, какой вариант подходит.

Как работает головоломка с запятнанным лобом

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

Посмотрите на двух других. Если вы видите хотя бы одно запятнанное лоб, поднимите руку.

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

Спустя мгновение один из мужчин опускает руку. Он понимает, что его лицо запятнано. Вот как он это выяснил.

Если бы его лицо было чистым, то двое других мужчин видели бы только одно запятнанное лоб (у каждого из них). Если человек видит только одно запятнанное лоб, он думает: «Если я чист, то этот человек видит два чистых лба. Он должен был бы сразу понять, что его собственное лицо запятнано, потому что его рука поднята. Он тут же опустил бы руку».

Но они не опустили руки. Они засомневались. Эта нерешительность доказала нашему наблюдательному путешественнику, что двое других тоже что-то увидели. Оба они увидели его запятнанное лицо. Следовательно, он понял, что сам грязный.

Понимание парадокса неожиданной казни

Парадокс неожиданной казни появился благодаря устным пересказам в начале 1940-х годов. Это по-прежнему сложная загадка.

Судья сообщает заключенному, что его повесят на следующей неделе. Казнь произойдет в полдень в один из дней недели. Заключенный не будет знать о ней заранее, пока не наступит утро этого дня.

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

По той же логике пятница тоже становится невозможной. Если он переживет четверг, а суббота исключена, пятница становится единственным вариантом. Он снова узнал бы об этом заранее.

Он идет назад по всей неделе. Понедельник, вторник, среда, четверг, пятница, суббота — все дни исключаются. Заключенный делает вывод, что он в безопасности.

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

История логических парадоксов

Эти головоломки — не просто игры. Они затрагивают основы математики. Они крайне забавны и часто соблазнительны.

Критянский пророк Эпименид создал проблемы еще в VI веке до н. э. Он сказал: «Все критяне — лжецы». Поскольку Эпименид был критянином, он солгал. Если он солгал, то не все критяне — лжецы. Но если он сказал правду, то он лжец. Это самопротиворечие.

В 1913 году математик П.Э.Б. Журден предложил парадокс карточки.
Лицевая сторона: «Предложение на обратной стороне этой карточки — ИСТИННОЕ».
Оборотная сторона: «Предложение на обратной стороне этой карточки — ЛОЖНОЕ».
Если лицевая сторона истинна, то и оборотная истинна. Но оборотная сторона утверждает, что лицевая ложна. Противоречие.

Бертран Рассел добавил парадокс брадобрея. Бритвальщик бреет всех жителей деревни, которые не бреют себя сами. Кто бреет бритвальщика?
Если он бреет себя, то не должен. Если не бреет, то должен. Парадокс бритвальщика основан на утверждении о классе, где объект является частью этого класса. Рассел пытался решить эту проблему с помощью иерархии логических типов. Это не полностью решило проблему. Вопрос лежит в самом сердце философской математики.

«Вся проблема лежит близко к философским основаниям математики».

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

Мы возвращаемся к ним снова и снова. Не потому, что у нас есть все ответы. А потому, что вопросы продолжают менять форму.