На танцевальном вечере ни один мальчик не танцевал со всеми девочками, но каждая девочка танцевала по крайней мере с одним мальчиком. Докажите, что найдутся две такие пары A1, B1 и A2, B2, что мальчик A1 танцевал с девочкой B1, а A2 танцевал с B2, но A1 не танцевал с B2, а A2 с B1
Answers & Comments
Ответ:
Положим так. Если А1 танцевал с Б1, а А2 танцевал с Б2, то А1 танцевал с Б2, а А2 танцевал с Б1. Есть какое-то множество девочек М1, с которыми танцевал мальчик А1; и множество девочек М2, с которыми танцевал мальчик Б2. Оба множества непусты ввиду первых двух предложений.
Гипотеза указывает, что мальчик А1 танцевал с любой девочкой из М2. Множество М1 можно пополнять до тех пор, пока остаются другие нерассмотренные мальчики помимо А1; и если множество М1 ещё не включает всех девочек, то, ввиду предложения о наличии затанцованного мальчика для каждой девочки, такие мальчики остаются. Значит, А1 танцевал со всеми девочками, противоречие.