Câu hỏi 3
Gọi $F$ là tập tất cả các dãy $(a_1,a_2,\dots,a_{2020})$ với $a_i\in\{-1,1\}$, $i=1,2,\dots,2020$. Chứng minh rằng tồn tại tập $S\subset F$, $|S|=2020$, sao cho với mỗi $(a_1,a_2,\dots,a_{2020})\in F$, có một dãy $(b_1,b_2,\dots,b_{2020})\in S$ thỏa mãn $\sum_{i=1}^{2020}a_ib_i=0$.