2007 IMO Shortlist C7

Let $\alpha<\frac{3-\sqrt{5}}{2}$ be a positive real number. Prove that there exist positive integers $n$ and $p>\alpha \cdot 2^{n}$ for which one can select $2 p$ pairwise distinct subsets $S_{1}, \ldots, S_{p}, T_{1}, \ldots, T_{p}$ of the set $\{1,2, \ldots, n\}$ such that $S_{i} \cap T_{j} \neq \varnothing$ for all $1 \leq i, j \leq p$. (Austria)

设 $\alpha<\frac{3-\sqrt{5}}{2}$ 为正实数。证明存在正整数 $n$ 和 $p>\alpha \cdot 2^{n}$，可以选择集合 $\{1,2, \ldots, n\}$ 的 $2 p$ 成对不同子集 $S_{1}, \ldots, S_{p}, T_{1}, \ldots, T_{p}$ 使得 $S_{i} \cap T_{j} \neq对于所有$1 \leq i, j \leq p$，\varnothing$。 (奥地利)