"Математика (в 2 частях)", Муравин Г.К., Муравина О.В.
Математические головоломки учат находить решение там, где обычный перебор слишком долог или не помогает. Для этого ищут закономерности, используют инварианты и принцип Дирихле, переводят условие в таблицу или схему. Такие приёмы позволяют не только получить ответ, но и доказать, почему он верен или почему нужный результат невозможен. А проверка каждого шага помогает разоблачать софизмы — рассуждения со скрытой ошибкой.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Математическая головоломка — задача с необычной формулировкой, решение которой требует догадки и нестандартного рассуждения. В ней привычный способ может не сработать, поэтому приходится искать скрытое правило или удачно представить условие. Головоломки помогают тренироваться замечать связи между числами и предметами.
Инвариант — величина или свойство, не изменяющееся при выполнении разрешённых действий. Например, после некоторых ходов меняются отдельные числа, но их общая сумма остаётся прежней. Инвариант нужен, чтобы понять, какие результаты возможны, а какие исключены.
Принцип Дирихле — утверждение о том, что при размещении большего числа объектов, чем ящиков, хотя бы в одном ящике окажутся два объекта. Ящиками могут быть не только настоящие ёмкости, но и группы, например месяцы рождения. Этот принцип позволяет доказать, что совпадение обязательно есть, даже если неизвестно, где именно.
Математический софизм — внешне убедительное рассуждение с незаметной ошибкой. Его вывод может казаться очевидным, хотя один из переходов незаконен, например деление на ноль. Понятие нужно, чтобы не доверять красивому доказательству, пока не проверен каждый шаг.
Перебирать все варианты часто невыгодно: их может быть очень много, и список легко сделать неполным. Вместо этого ищут закономерность или ограничение, которое сразу охватывает все случаи. Например, если задача спрашивает о возможности получить число, иногда достаточно показать, что каждый разрешённый ход сохраняет чётность или сумму.
Инвариант ищут сравнением двух состояний: что было до хода и что стало после него? Затем проверяют найденное свойство для каждого разрешённого действия, а не только для одного примера. Если оно действительно сохраняется, начальное значение ограничивает все дальнейшие состояния — так можно доказать невозможность результата или подтвердить, что он достижим.
Принцип Дирихле работает потому, что объектов больше, чем доступных групп. Если бы в каждой группе было не больше одного объекта, всего объектов оказалось бы не больше, чем групп, что противоречит условию. Значит, хотя бы одна группа содержит несколько объектов; иногда подсчёт позволяет доказать даже наличие трёх или большего числа.
Софизм кажется правдоподобным, потому что большинство его шагов может быть правильным, а ошибка спрятана в коротком переходе. Проверяй, не делили ли на выражение, которое может быть нулём, не извлекали ли корень без учёта знака и не меняли ли знак неравенства неверно. Полезно подставить простые числа и отдельно проверить спорный шаг: это часто обнаруживает противоречие.
Перевод условия в числа, таблицу, схему или последовательность делает связи заметнее. Таблица помогает сравнить случаи, схема показывает, что с чем связано, а запись чисел упрощает поиск повторяющегося правила. Выбирай представление, которое сохраняет важные сведения, но убирает лишние слова; тогда легче увидеть и закономерность, и возможное ограничение.
| Приём | Главный вопрос | Как распознать в задаче | Что получить в результате |
|---|---|---|---|
| Поиск закономерности | Что повторяется или изменяется по правилу? | Даны последовательность, рисунок или несколько примеров | Правило построения и ответ |
| Инвариант | Что не меняется после каждого действия? | Разрешены одинаковые ходы или перестановки | Доказательство невозможности или достижимости |
| Принцип Дирихле | Какие объекты неизбежно попадут в одну группу? | Объектов больше, чем групп или ящиков | Доказательство существования совпадения |
| Проверка рассуждения | На каком шаге нарушено условие или выполнено недопустимое деление? | Дано готовое, но подозрительно убедительное доказательство | Обнаружение ошибки в софизме |
Сначала определи, что требуется получить: правило, доказательство невозможности, совпадение или ошибку в готовом рассуждении. Затем выбери подходящий приём и проверь, что его условия действительно выполнены. Если подход не виден сразу, запиши несколько случаев в таблицу или изобрази ситуацию схемой.
Задача 1. На доске написаны числа 1, 2, 3, …, 10. За один ход два числа заменяют их суммой. Можно ли получить в конце число 100? Перебирать последовательности ходов не нужно: они могут быть разными и длинными. Вместо этого проследим за суммой всех чисел.
Ответ: получить 100 нельзя. Сохранённая сумма — инвариант задачи.
Задача 2. Шахматную доску 8×8 с двумя удалёнными угловыми клетками пытаются замостить домино 1×2. Возможно ли это? Каждая костяшка закрывает две соседние клетки, а соседние клетки шахматной раскраски имеют разные цвета. Поэтому сравним количество клеток двух цветов после удаления.
Ответ: замостить доску невозможно. Раскраска выявляет инвариант для каждой костяшки — она всегда закрывает по одной клетке каждого цвета.
Задача 3. В классе 25 учеников. Докажите, что среди них найдутся трое, родившиеся в одном месяце. Не требуется выяснять, кто именно это; надо показать, что совпадение неизбежно. Для этого распределим учеников по месяцам рождения.
Ответ: такие трое обязательно найдутся. Это усиленное применение принципа Дирихле: 25 объектов распределены по 12 группам.
Перебирать все варианты, не оценивая их число, — значит рисковать потратить время и пропустить случай. Так делают, когда пытаются сразу выполнить все возможные ходы вместо поиска общего свойства. Перед перебором спроси, можно ли сгруппировать случаи или найти закономерность; если вариантов много, переходи к такому общему рассуждению.
Называть инвариантом величину, которая меняется после разрешённого действия, — ошибка в самом основании доказательства. Иногда свойство сохраняется лишь при нескольких проверенных ходах, но не при всех. Проверь его на каждом типе разрешённого действия, подставив простые значения; если хотя бы один ход меняет величину, это не инвариант.
Принцип Дирихле нельзя применять, не сравнив число объектов и число групп. Если объектов не больше, совпадение не обязательно: каждый может попасть в отдельную группу. Сначала явно назови объекты и группы, затем проверь их количество; для доказательства наличия трёх объектов в группе также оцени, сколько учеников поместилось бы при двух в каждой.
Софизм легко принять за доказательство, если читать его быстро и следить только за итогом. Ошибка часто скрывается в делении на ноль, извлечении корня или неверном переходе от равенства к неравенству. Проверяй преобразования по одному: выясняй, допустима ли операция при данных значениях, и подставляй подходящий простой пример.
Для таких задач полезно знать свойства чётных и нечётных чисел, делимость, уметь составлять таблицы и приводить простейшие доказательства. Эти знания помогают проверять, что сохраняется после хода, и считать возможные группы. Позже подобные приёмы пригодятся в олимпиадных задачах, комбинаторике, логике и доказательствах невозможности. Построение схем и таблиц связывает головоломки с математическим моделированием: текст превращается в удобное представление отношений между объектами.
Как понять, какой приём выбрать для решения головоломки?
Сначала выясни, что именно нужно доказать или найти, и какие действия разрешены. Если даны примеры или последовательность, ищи правило; если разрешены повторяющиеся ходы — попробуй найти неизменное свойство. Когда объектов больше, чем возможных групп, проверь, подходит ли принцип Дирихле.
Как найти инвариант в задаче?
Сравни состояние до и после одного разрешённого хода и проверь, какие свойства сохраняются. Часто полезно рассмотреть чётность, сумму или число объектов определённого вида. Найденное свойство должно оставаться неизменным после каждого возможного хода.
Всегда ли принцип Дирихле требует буквального размещения предметов по ящикам?
Нет, «ящики» могут быть любыми группами, категориями или возможными значениями. Нужно только распределить объекты по этим группам и убедиться, что объектов больше, чем групп. Тогда хотя бы в одной группе окажется не менее двух объектов.
Почему в математическом софизме ошибка бывает незаметной?
Обычно почти все шаги выглядят привычно и верно, а ошибка скрыта в одном переходе. Например, могли разделить на ноль или применить действие, которое не сохраняет равенство. Поэтому проверяй не только вывод, но и допустимость каждого преобразования.
Нужно ли проверять все варианты, если найдено подходящее решение?
Если требуется привести один пример, достаточно проверить, что он удовлетворяет условию. Но если нужно доказать, что решение единственное или что других решений нет, варианты необходимо охватить рассуждением. Вместо полного перебора часто помогает закономерность или инвариант.
Познавательно и занимательно