Пусть в нашем графе
ребер из
возможных.
Пусть вершины
не соединены,
- степень вершины
. Тогда
(ибо для любой прочей вершины
она соединена либо с
, либо с
, либо с обоими двумями). Сложив все эти неравенства (их -
штук), получим здоровенную сумму
, которая не меньше
.
В эту сумму каждое число
входит ровно
раз. Но
, так что
.
Из этих неравенств имеем
.
Пример (по мотивам
staric): 25 мальчиков и 25 девочек, все однополые дружат друг с другом. Тогда ровно стоко ребер, а из любых трех есть два однополых...