Maths Olympiad Prep

Library / /31 of 45

, 2008

Combinatorics Difficulty 6.0 National olympiad Prove it Slovenia

In a village with 12k12k inhabitants each person knows 3k+63k + 6 other people and the acquaintances are mutual. There exists a positive integer nn, such that for any two villagers the number of villagers who know both is nn. How many villagers are there in the village?

Solution

Consider an arbitrary villager aa. Let AA denote the set of all villagers who know aa and let BB contain all the rest. There are 3k+63k + 6 villagers in AA and 9k79k - 7 villagers in BB. Let xx be a villager from aa. The villagers who know aa as well as xx form a subset of AA. Let nn be the number of villagers in AA who know xx. Then 3k+5n3k + 5 - n villagers from BB know xx. Let yy be any villager from BB. Those villagers who know both aa and yy also form a subset of AA and there are nn of them.

Now, let us count the number of acquaintances amongst the villagers in AA and villagers in BB. There are 3k+63k + 6 villagers in AA and each of them knows 3k+5n3k + 5 - n villagers from BB. On the other hand there are 9k79k - 7 villagers in BB and each knows nn villagers from AA. So,
(3k+6)(3k+5n)=(9k7)n. (3k + 6)(3k + 5 - n) = (9k - 7)n.
We can see right away that nn is divisible by 3, so we can write n=3mn = 3m. Thus,
m=3k2+11k+1012k1. m = \frac{3k^2 + 11k + 10}{12k - 1}.
For mm to be a positive integer we must have
4m=k+3+9k+4312k1. 4m = k + 3 + \frac{9k + 43}{12k - 1}.
Hence, 9k+4312k1\frac{9k+43}{12k-1} is an integer, which implies that 49k+4312k1=3+17512k14 \cdot \frac{9k+43}{12k-1} = 3 + \frac{175}{12k-1} is an integer as well. So, 12k112k - 1 is a divisor of 175 and since 12k1112k - 1 \ge 1, it can only be equal to 25, 35 or 175. We find only one integer solution, k=3k = 3. It is easy to see that in this case we have n=6n = 6, which is an integer and we conclude that there are 36 people in the village.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.