In a group of people there are three that are familiar to each other and any of them is familiar with more than half of the people in the group. Find the minimum possible triples of familiar people?
Problem 1628
Official solution
Solution:
Denote by , and the three familiar people in the group.
Let be an odd integer. Then any of , and has at least familiar ( of them are not , or ). Denote by the set of all people except , and and let , , be the set of the people in who have exactly familiar among , and .
Then is the number of all members of , i.e. we have
On the other hand, is the number of all familiar to , and , i.e. we have
Hence
and therefore .
Since any familiar to two of , and is a member of a triple of familiar people and any familiar to , and is member of three such triples, then the number of these triples is at least . Thus , which means that the number of the triples is not less than .
It remains to construct an example with triples of familiar people. Let there be no familiar people in . If is familiar to exactly people of , and and to the remaining , then the number of the triples is .
Let be even. As in the previous case, we get that the number of the triples of familiar people is at least . If and have exactly one common familiar person from (it is possible, since and the familiar to and are at least ) who is not familiar to , then the number of the triples is exactly .
So the answer of the problem is for and for .