Let \(n \ge 2k \ge 4\) be integers, \({[n]\atopwithdelims ()k}\) the collection of k-subsets of \([n] = \{1, \ldots , n\}\). Two families \({\mathcal {F}}, {\mathcal {G}} \subset {[n]\atopwithdelims ()k}\) are said to be cross-intersecting if \(F \cap G \ne \emptyset \) for all \(F \in {\mathcal {F}}\) and \(G \in {\mathcal {G}}\). A family is called non-trivial if the intersection of all its members is empty. The best possible bound \(|{\mathcal {F}}| + |{\mathcal {G}}| \le {n \atopwithdelims ()k} - 2 {n - k\atopwithdelims ()k} + {n - 2k \atopwithdelims ()k} + 2\) is established under the assumption that \({\mathcal {F}}\) and \({\mathcal {G}}\) are non-trivial and cross-intersecting. For the proof a strengthened version of the so-called shifting technique is introduced. The most general result is Theorem 4.1.

设\(n \ge 2k \ge 4\)为整数，\({[n]\atopwithdelims ()k}\)的k个子集的集合\([n] = \{1, \ldots , n \}\)。如果\ ( F \ cap G \ne \空集 \)对于所有\(F \in {\mathcal {F}}\)和\(G \in {\mathcal {G}}\)。如果一个族的所有成员的交集都是空的，则该族被称为非平凡族。最佳可能边界\(|{\mathcal {F}}| + |{\mathcal {G}}| \le {n \atopwithdelims ()k} - 2 {n - k\atopwithdelims ()k} + {n - 2k \atopwithdelims ()k} + 2\)是在假设\({\mathcal {F}}\)和\({\mathcal {G}}\)非平凡且交叉的情况下建立的。为了证明，引入了所谓的移位技术的增强版本。最一般的结果是定理 4.1。