Внекоторой авиакомпании работает 27 пилотов известно что среди любых 3 пилотов хотя бы два летали в одном экипаже. доказать что есть пилот который летал в одном экипаже не менее чем с 13 другими

посмотрим на эту , как на граф: пилоты это вершины, если два пилота летали в одном экипаже, то между соответствующими вершинами проводим ребро. в условии утверждается, что нет "пустых треугольников", то есть нет таких трех вершин, что между этими тремя вершинами нет ни одного ребра. надо доказать, что найдется вершина степени хотя бы 13

будем доказывать от противного. пусть каждая вершина имеет степень не более семи. возьмем любую вершину а, она не соединена хотя бы с девятью вершинами, назовем эти вершины хорошими. среди хороших вершин возьмем любую вершину в. она соединена максимум с семью вершинами, хороших вершин помимо в хотя бы восемь. значит, найдется хотя бы одна хорошая вершина, не соединенная с в. назовем ее с. получается, мы нашли три попарно не соединенные вершины: а, в, с, противоречие.