MathLabs

第6题

平面上有 100100 个点,任意三点不共线。考虑顶点取自这些点的所有三角形。证明其中锐角三角形不超过 70%70\%。
第 3/4 步:计数100点集的五点子集
A100(972)≤7(1005)A_{100}\binom{97}{2}\le7\binom{100}{5}
详细分析

设 A100A_{100} 为 100100 个点中锐角三角形的数目。每个五点子集至多含 77 个锐角三角形,所以总出现次数至多为 7(1005)7\binom{100}{5}。每个固定的锐角三角形恰包含在 (972)\binom{97}{2} 个五点子集中。因此 A100(972)≤7(1005)A_{100}\binom{97}{2}\le7\binom{100}{5}。