MathLabs

第5题

给定平面上 n>4n>4 个点且任意三点不共线。证明:以这些点为顶点的凸四边形至少有 (n−32)\binom{n-3}{2} 个。
第 5/6 步:与目标比较
n(n−1)(n−2)(n−3)120≥(n−3)(n−4)2\frac{n(n-1)(n-2)(n-3)}{120}\ge\frac{(n-3)(n-4)}2
详细分析

约去正因子 n−3n-3 后,这等价于 n(n−1)(n−2)≥60(n−4)n(n-1)(n-2)\ge60(n-4)。