На танцах было
мальчиков и
девочек. Боря танцевал со всеми девочками, Аня танцевала со всеми мальчиками, и для любых двух девочек есть ровно n мальчиков, танцевавших ровно с одной из них. Докажите, что каждый мальчик, кроме Бори, танцевал ровно с
девочками.
Подсказка
Рассмотрите вместе с Аней ещё одну (любую) девочку. Что следует их условия?
Решение
Возьмём Аню и любую другую девочку Д. По условию, ровно с одной девочкой из этих двух танцевало ровно
мальчиков. Так как с Аней танцевали все мальчики, то эти
мальчиков танцевали именно с ней, а остальные
мальчиков танцевали и с ней, и с Д. Итак, с каждой девочкой, кроме Ани, танцевали ровно
мальчиков. Возьмём любых двух таких девочек. Пусть с обеими танцевали
мальчиков. Тогда ровно с одной танцевали
мальчиков, откуда
.
Забудем про Аню и Борю. Тогда каждая из девочек танцевала с
мальчиком, а с каждыми двумя девочками танцевали
мальчиков. Занумеруем мальчиков и пусть
-ый мальчик танцевал с
девочками. Тогда троек, состоящих из мальчика и двух девочек, с которыми он танцевал, будет
. С другой стороны, число таких троек равно
, умноженному на количество пар девочек, то есть
.
Заметим, что
![Rendered by QuickLaTeX.com \[ d_{1}\left(d_{1}-1\right) / 2+\ldots+d_{2 k-1}\left(d_{2 k-1}-1\right) / 2=\left(d_{1}^{2}+\ldots+d_{2 n-1}^{2}\right) / 2-\left(d_{1}+\ldots+d_{2 n-1}\right) / 2 \text {. }\]](https://mathgraphs.ru/wp-content/ql-cache/quicklatex.com-68c7e83a1da9d22458fc9e058a828f3c_l3.png)
Так как
(считаем ту же сумму «со стороны девочек»), то получаем, что
![Rendered by QuickLaTeX.com \[ d_{1}^{2}+\ldots+d_{2 n-1}^{2}=2(n / 2-1)(2 n-1)(n-1)+(n-1)(2 n-1)=(n-1)^{2}(2 n-1) .\]](https://mathgraphs.ru/wp-content/ql-cache/quicklatex.com-f7e064c15f9c54dfac6bda34a518a99f_l3.png)
С другой стороны, по неравенству между средним арифметическим и средним квадратическим
![Rendered by QuickLaTeX.com \[ d_{1}^{2}+\ldots+d_{2 n-1}^{2} \geq\left(d_{1}+\ldots+d_{2 n-1}\right)^{2} /(2 n-1)=(n-1)^{2}(2 n-1)\]](https://mathgraphs.ru/wp-content/ql-cache/quicklatex.com-39dae36d435005c51cda4c4131b8b80f_l3.png)
причём равенство достигается только при
. Итак, все
равны между собой, откуда
, что и (вспомним про Аню!) требовалось доказать.