Какое максимальное количество подмножеств из 4 элементов можно выбрать во множестве из 8 элементов так, чтобы пересечение любых трёх из выбранных подмножеств содержало не более одного элемента?
Приведём два различных примера выбора восьми 4-х элементных подмножеств во множестве X из восьми элементов, удовлетворяющих условию задачи. Оба примера строятся, как геометрические объекты.
Пример 1. Будем считать элементы X вершинами единичного куба, шесть из выбранных множеств будут гранями этого куба, а оставшиеся два вершинами двух вписанных в этот куб правильных тетраэдров с ребром Никакие две вершины этих тетраэдров не лежат на одном ребре куба. Если среди любых трёх из выбранных подмножеств содержатся оба тетраэдра, либо две параллельных грани, пересечение пусто. Если это две смежных грани и тетраэдр, то пересечение граней даст ребро, которое пересекается с тетраэдром ровно по одной вершине. Если это три попарно смежных грани, то их пересечение содержит единственную вершину вершину трёхгранного угла, образуемого этими гранями.
Пример 2. Будем считать элементы X вершинами правильного восьмиугольника. Занумеруем его вершины по часовой стрелке от 1 до 8, отметим четырёхугольник M c вершинами под номерами 1, 2, 3, 5. Выбранными подмножествами будем считать M и ещё семь четырёхугольников, получаемых из M поворотами на углы Если бы пересечение каких-то трёх из них содержало не меньше двух вершин, то есть некоторую сторону или диагональ восьмиугольника, отличную от главных, то, повернув все эти три четырёхугольника обратно до совмещения с M, получим три различных отрезка одинаковой длины, соединяющие вершины М. Последнее невозможно, потому, что длины сторон и диагоналей M, измеренных в сторонах, равны 1, 1, 2, 2, 3, 4, среди них не более двух равных. Если речь идёт о главной диагонали длины 4, то очевидно, что она содержится только в двух из восьми рассматриваемых четырёхугольниках.
Докажем, что, если в 8-ми элементном множестве X произвольно выбраны девять 4-х элементных подмножеств, то пересечение некоторых трёх из них содержит больше одного элемента. Сумма мощностей выбранных подмножеств равна 36, поэтому один из элементов X, обозначим его за x, содержится не менее, чем в из них. Удалим из этих k подмножеств x и рассмотрим полученных 3-ёх элементных подмножеств в 7-элементном множестве Y, равном X без x. Сумма мощностей полученных множеств больше, либо равна 15, поэтому один из элементов Y, обозначим его за y, содержится не менее, чем в трёх из k полученных 3-ёх элементных множеств. Следовательно, пара элементов и y содержится не менее, чем в трёх из девяти выбранных 4-х элементных подмножеств из X.
Ответ: восемь.