Условие
В классе учится чётное число учеников, все они разного роста. На каждом уроке они садятся за парты по двое. На уроках алгебры, геометрии и искусственного интеллекта оказалось, что для каждой парты сумма ростов сидящих за ней учеников равна м, м или м. Докажите, что какие-то двое сидели за одной партой хотя бы на двух из этих трёх уроков.
Второй вариант этой задачи
На олимпиаде соседи по парте получают разные варианты. Условие второго варианта:
В турнире по сумо участвует чётное количество участников, все они разного веса. В каждом из трёх раундов они разбиваются на пары и проводят схватки. Оказалось, что в каждой схватке суммарный вес двоих её участников был равен , или килограммов. Докажите, что какие-то двое боролись друг с другом минимум дважды.
Его решение и ответ — в последнем шаге разбора.
О задаче · 8 класс
Попробуй собрать такой класс сам: придумай несколько разных ростов, у которых суммы по двое дают ровно м, м или м, и рассади всех на три урока так, чтобы ни одна пара не повторилась. В модели «Три раза по двое» можно задать рост каждого ученика с точностью до сантиметра и рассаживать класс самому: модель точно считает каждую сумму, не пускает за парту пару с неподходящей суммой и сразу отмечает пару, которая встретилась дважды. Посмотри, сколько уроков удаётся пройти без повтора и на чём всё ломается.
Задача на доказательство: нужно доказать, что повторная пара найдётся при любом чётном числе учеников и любых трёх рассадках, удовлетворяющих условию.
Записать идеюЕсть запись
Личный черновик для заметок и расчётов. Он никуда не отправляется и не проверяется.
Черновик не сохраняется: текст только в этой вкладке.
Черновик изменён в другой вкладке. Твой текущий текст пока сохранён здесь, автоматическая запись остановлена.
Исследуй задачу
Самостоятельное исследованиеТри раза по двое
Пробуй свои варианты. Разбор останется закрытым.
Исследуй задачу
Три раза по двое
Составь свой класс и рассади его на три урока так, чтобы за каждой партой сумма ростов была 3 м, 3,3 м или 3,5 м, — и попробуй обойтись без единой повторной пары. Во втором варианте то же самое с борцами сумо: три раунда, свои суммы веса.
Если модель не открылась (выключен JavaScript или страница загрузилась не полностью), условие, подсказки и разбор доступны и без неё.
Подсказка для решения без модели
Без JavaScript модель не работает. Попробуй на бумаге: возьми шестерых ростом 1,39; 1,41; 1,59; 1,61; 1,89 и 1,91 м, выпиши все пары с суммой 3; 3,3 или 3,5 м и попробуй составить из них три рассадки без повторной пары.
Подсказка 1
Посмотри, кто вообще может оказаться соседом данного ученика. Если известна сумма за партой, рост соседа восстанавливается сразу. А сумм в условии всего три — значит, и выбор соседей у каждого ученика небогатый. Подумай, у кого этот выбор самый бедный.
Подсказка 2
Возьми самого высокого и самого низкого ученика и сложи их рост: получится число . Сумма за любой партой самого высокого не меньше , а за любой партой самого низкого — не больше . Сравни с м и с м.
Разобрать решение по шагам
Сосед определяется суммой
Посмотрим на одного ученика; пусть его рост равен . Если он сидит за партой, сумма за которой равна , то рост его соседа — это
Значит, по сумме рост соседа восстанавливается однозначно. А все ученики разного роста, поэтому ученик такого роста в классе не больше одного.
Сумм в условии всего три: м, м и м. Поэтому у каждого ученика не больше трёх возможных соседей — по одному на каждую сумму.
Зачем это нужно: уроков тоже три. Если у кого-то возможных соседей окажется меньше трёх, то за три урока какой-то сосед достанется ему дважды — вот и нужная пара. Осталось найти такого ученика.
Самый высокий и самый низкий
У кого выбор соседей самый бедный? Разумно посмотреть на тех, кто «с краю»: на самого высокого и самого низкого. Обозначим их рост через и и сложим:
Это разные ученики: их чётное число, значит, не меньше двух, а ростом они все различны.
Сосед самого высокого — кто-то из класса, и он не ниже самого низкого. Поэтому сумма за любой партой самого высокого не меньше .
Точно так же сосед самого низкого не выше самого высокого, поэтому сумма за любой партой самого низкого не больше .
Одно число — и два случая
Число у класса одно, поэтому либо м, либо м — третьего не дано.
Почему граница именно м? Чтобы у самого высокого осталась сумма м, нужно м. А чтобы у самого низкого остались суммы м и м, нужно м. Сразу и то и другое не бывает, так что кто-то из двоих обязательно теряет часть сумм. Разберём оба случая.
Случай 1: м. Сумма за любой партой самого высокого не меньше , то есть больше м. Значит, сумма м ему недоступна, остаются только м и м — по шагу 1 это не больше двух возможных соседей.
Случай 2: м. Сумма за любой партой самого низкого не больше , то есть не больше м. Значит, суммы м и м ему недоступны и остаётся только сумма м — не больше одного возможного соседа. (Если бы подходящего соседа не нашлось совсем, самого низкого вообще нельзя было бы посадить за парту, а по условию он сидел за партой на каждом уроке.)
Принцип Дирихле — и всё доказано
В обоих случаях нашёлся ученик, у которого возможных соседей меньше трёх, а уроков три. Значит, на каких-то двух уроках его соседом был один и тот же человек: разложить три урока по двум (а то и по одному) вариантам соседа без совпадения нельзя.
Эти двое и сидели за одной партой хотя бы на двух уроках из трёх. Доказано.
Обрати внимание, чем мы пользовались: сами числа , и почти не участвовали. Важно было только, что разрешённых сумм ровно три — столько же, сколько уроков, — и что все ученики разного роста. Убери любое из этих условий, и утверждение сломается (примеры — в проверке).
Второй вариант
Рассуждение дословно то же, меняются только числа и герои.
Соперник определяется суммой: если вес участника равен , а суммарный вес схватки равен , то соперник весит . Все участники разного веса, поэтому на каждое значение веса приходится не больше одного человека, и у каждого участника не больше трёх возможных соперников — по одному на каждую сумму.
Пусть — вес самого тяжёлого, — вес самого лёгкого, . Любая схватка самого тяжёлого имеет сумму не меньше , любая схватка самого лёгкого — не больше . Дальше два случая: либо кг, либо кг — третьего не дано.
Если кг, самому тяжёлому недоступна сумма кг: остаются кг и кг — не больше двух возможных соперников. Если кг, самому лёгкому недоступны суммы кг и кг: остаётся только кг — не больше одного возможного соперника.
Раундов три, а вариантов соперника у этого участника меньше трёх, поэтому в каких-то двух раундах соперник у него совпадёт. Эти двое и боролись друг с другом минимум дважды.
В модели второй вариант включается кнопкой «2 вариант»: те же правила, веса задаются с точностью до половины килограмма.
Проверка
Проверим разбор на конкретном классе из шести человек: ; ; ; ; ; м. Подходящих пар ровно шесть: , , , , , (в метрах). Из них складываются ровно две полные рассадки, и они не имеют общей пары: два урока без повтора провести можно, а третий урок обязан повторить одну из этих двух рассадок целиком. Разбор говорит то же самое: , , , случай 1, и у самого высокого ровно два возможных соседа — ростом и м.
Условия задачи существенны. Если разрешить одинаковый рост, четверо ростом м рассаживаются на три урока без единого повтора (все суммы равны м). Если разрешённых сумм пять — ; ; ; ; м, — то и при разных ростах ; ; ; м три урока без повтора существуют. Значит, в доказательстве должны были участвовать и «все разного роста», и «сумм ровно три» — так и вышло.
Компьютерная проверка (скрипт `review/calc/spb-olympiad-2024-2025-mathematics-8-district-task-4.py`, только целые числа и дроби, без округлений): для , и участников перебраны все тройки рассадок без повторной пары и все способы приписать партам три суммы; система «сумма за партой» решена точно, и ни одного набора попарно разных положительных ростов не нашлось. Контроль: тот же поиск находит рассадки для двух уроков при шести учениках — значит, он не «слеп». Отдельно перебраны все классы из и человек с целыми ростами от до м: в каждом из них любые три верные рассадки дают повтор, у каждого ученика не больше трёх возможных соседей, а оба случая шага 3 действительно встречаются.
1 вариант. Доказано: какие-то двое сидели за одной партой хотя бы на двух из трёх уроков. Более того, такая пара обязательно есть у самого высокого или у самого низкого ученика.
2 вариант. Доказано: какие-то двое боролись друг с другом хотя бы в двух раундах из трёх — и такая пара есть у самого тяжёлого или у самого лёгкого участника.
Ответ
1 вариант. Доказано: какие-то двое сидели за одной партой хотя бы на двух из трёх уроков. Более того, такая пара обязательно есть у самого высокого или у самого низкого ученика.
2 вариант. Доказано: какие-то двое боролись друг с другом хотя бы в двух раундах из трёх — и такая пара есть у самого тяжёлого или у самого лёгкого участника.
Главная идея
Сосед однозначно определяется суммой за партой, поэтому возможных соседей у каждого не больше трёх — столько же, сколько сумм. У самого высокого любая парта даёт сумму не меньше , у самого низкого — не больше . Число одно, а м м, поэтому у одного из этих двоих возможных соседей меньше трёх; уроков три — по принципу Дирихле сосед повторится.
Признак: объекты несколько раз разбивают на пары, а сумма (или другая характеристика) пары принимает мало значений. Тогда по значению второй в паре восстанавливается однозначно, и у каждого не больше стольких возможных соседей, сколько этих значений. Дальше смотри на крайних — самого большого и самого маленького: часть значений для них недостижима, и принцип Дирихле заканчивает решение.
Где легко ошибиться
Перебирать рассадки и делать вывод «у меня не получилось — значит, нельзя»: один класс не доказывает утверждение про все. Ещё ошибка — разобрать только случай м и забыть про м (например, класс ростом ; ; ; м даёт ровно м). И третья — считать, что у каждого ученика ровно три возможных соседа: ученика нужного роста в классе может просто не быть, соседей бывает и меньше (для доказательства это только на руку).
Источник и авторство
Санкт-Петербургская олимпиада школьников по математике · 91-я олимпиада (2025 год) · I тур (районный), 16 ноября 2024 г. · 8 класс, задача 4. Листки 7 и 8 классов этого тура озаглавлены также «Районный этап Всероссийской олимпиады школьников».
Условия (PDF организатора, первый вариант) ↗ · Листки олимпиады, оба варианта (ZIP организатора) ↗ · Страница олимпиады 2025 года ↗ · Сайт олимпиады ↗
Условие первого варианта — из файла организатора, второй вариант переписан с листка. Подсказки, решение и модель — Popov Academy. Организатор не публикует решений районного тура. Ответы обоих вариантов получены двумя независимыми решениями и совпали; где можно, проверены перебором или вычислением.
На сайте олимпиады: «Распространение представленных материалов разрешается и приветствуется.»
Тема, знания и приёмы
Гарантии и принцип Дирихле · Начальный вход
- Если известна сумма двух чисел и одно из них, второе находится вычитанием
- Все росты разные: ученик каждого роста в классе не больше одного
- Принцип Дирихле: три урока и меньше трёх вариантов соседа — какой-то вариант повторится
- В конечном классе есть самый высокий и самый низкий, и это разные ученики
Приёмы решения: Принцип Дирихле или худший случай · Оценка и достижимость · Разбор случаев