IMC 2003 · Problem 4

Day 210th IMC · Cluj-Napoca, Romania

Statement

Find all positive integers nn for which there exists a family F\mathcal{F} of three-element subsets of S={1,2,,n}S = \{1, 2, \dots, n\} satisfying the following two conditions:

(i) for any two different elements a,bSa, b \in S, there exists exactly one AFA \in \mathcal{F} containing both aa, bb;

(ii) if a,b,c,x,y,za, b, c, x, y, z are elements of SS such that if {a,b,x},{a,c,y},{b,c,z}F\{a,b,x\}, \{a,c,y\}, \{b,c,z\} \in \mathcal{F}, then {x,y,z}F\{x,y,z\} \in \mathcal{F}.

Official solution

Hidden so you can work on the problem first.