Maths Olympiad Prep

Library / /9 of 9

Combinatorics Difficulty 7.8 National olympiad, round 2 Prove it United States

Ten million fireflies are glowing in R3\mathbb{R}^3 at midnight. Some of the fireflies are friends, and friendship is always mutual. Every second, one firefly moves to a new position so that its distance from each one of its friends is the same as it was before moving. This is the only way that the fireflies ever change their positions. No two fireflies may ever occupy the same point.

Initially, no two fireflies, friends or not, are more than a meter away. Following some finite number of seconds, all fireflies find themselves at least ten million meters away from their original positions. Given this information, find the greatest possible number of friendships between the fireflies.

In general, we show that when n70n \ge 70, the answer is f(n)=n23f(n) = \lfloor \frac{n^2}{3} \rfloor.

Solution

Construction: Choose three pairwise parallel lines lA,lB,lCl_A, l_B, l_C forming an infinite equilateral triangle prism (with side larger than 1). Split the nn fireflies among the lines as equally as possible, and say that two fireflies are friends iff they lie on different lines.
To see this works:
1. Reflect lAl_A and all fireflies on lAl_A in the plane containing lBl_B and lCl_C.
2. Reflect lBl_B and all fireflies on lBl_B in the plane containing lCl_C and lAl_A.
3. Reflect lCl_C and all fireflies on lCl_C in the plane containing lAl_A and lBl_B.
...

Proof: Consider a valid configuration of fireflies. If there is no 4-clique of friends, then by Turán's theorem, there are at most f(n)f(n) pairs of friends.
Let g(n)g(n) be the answer, given that there exist four pairwise friends (say a,b,c,da, b, c, d). Note that for a firefly to move, all its friends must be coplanar.

**Claim (No coplanar K4K_4) —** We can't have four coplanar fireflies which are pairwise friends.
Proof. If we did, none of them could move (unless three are collinear, in which case they can't move). □

Claim (Key claim — tetrahedrons don't share faces often) — There are at most 12 fireflies ee which are friends with at least three of a,b,c,da, b, c, d.
Proof. First denote by A,B,C,DA, B, C, D the locations of fireflies a,b,c,da, b, c, d. These four positions change over time as fireflies move, but the tetrahedron ABCDABCD always has a fixed shape, and we will take this tetrahedron as our reference frame for the remainder of the proof.
WLOG, will assume that ee is friends with a,b,ca, b, c. Then ee will always be located at one of two points E1E_1 and E2E_2 relative to ABCABC, such that E1ABCE_1ABC and E2ABCE_2ABC are two congruent tetrahedrons with fixed shape. We note that points D,E1D, E_1, and E2E_2 are all different: clearly DE1D \neq E_1 and E1E2E_1 \neq E_2. (If D=E2D = E_2, then some fireflies won't be able to move.)
Consider the moment where firefly aa moves. Its friends must be coplanar at that time, so one of E1,E2E_1, E_2 lies in plane BCDBCD. Similar reasoning holds for planes ACDACD and ABDABD.
So, WLOG E1E_1 lies on both planes BCDBCD and ACDACD. Then E1E_1 lies on line CDCD, and E2E_2 lies in plane ABDABD. This uniquely determines (E1,E2)(E_1, E_2) relative to ABCDABCD:

* E1E_1 is the intersection of line CDCD with the reflection of plane ABDABD in plane ABCABC.
* E2E_2 is the intersection of plane ABDABD with the reflection of line CDCD in plane ABCABC.
Accounting for WLOGs, there are at most 12 possibilities for the set {E1,E2}\{E_1, E_2\}, and thus at most 12 possibilities for EE. (It's not possible for both elements of one pair {E1,E2}\{E_1, E_2\} to be occupied, because then they couldn't move.) □
Thus, the number of friendships involving exactly one of a,b,c,da, b, c, d is at most (n16)2+123=2n+4(n-16) \cdot 2+12 \cdot 3 = 2n+4, so removing these four fireflies gives
g(n)6+(2n+4)+max{f(n4),g(n4)}. g(n) \le 6 + (2n + 4) + \max\{f(n-4), g(n-4)\}.
The rest of the solution is bounding. When n24n \ge 24, we have (2n+10)+f(n4)f(n)(2n+10)+f(n-4) \le f(n), so
g(n)max{f(n),(2n+10)+g(n4)}n24. g(n) \le \max\{f(n), (2n+10) + g(n-4)\} \quad \forall n \ge 24.
By iterating the above inequality, we get
g(n)max{f(n),(2n+10)+(2(n4)+10)++(2(n4r)+10)+g(n4r4)}, g(n) \le \max \left\{ f(n), (2n+10) + (2(n-4)+10) \right. \\ \left. \qquad + \cdots + (2(n-4r)+10) + g(n-4r-4) \right\},
where rr satisfies n4r4<24n4rn - 4r - 4 < 24 \le n - 4r.
Now
(2n+10)+(2(n4)+10)++(2(n4r)+10)+g(n4r4)=(r+1)(2n4r+10)+g(n4r4)(n45)(n+37)+(242). \begin{aligned} & (2n + 10) + (2(n - 4) + 10) + \dots + (2(n - 4r) + 10) + g(n - 4r - 4) \\ &= (r + 1)(2n - 4r + 10) + g(n - 4r - 4) \\ &\le \left(\frac{n}{4} - 5\right) (n + 37) + \binom{24}{2}. \end{aligned}
This is less than f(n)f(n) for n70n \ge 70, which concludes the solution.

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.