MathLabs

第6题

平面上有 100100 个点,任意三点不共线。考虑顶点取自这些点的所有三角形。证明其中锐角三角形不超过 70%70\%。
第 2/4 步:估计五点配置
5⋅3=15 acute-triangle incidences in 4-subsets,2A5≤15  ⟹  A5≤75\cdot3=15\text{ acute-triangle incidences in 4-subsets},\quad 2A_5\le15\implies A_5\le7
详细分析

五点集有五个四点子集,每个至多含三个锐角三角形,故出现次数至多为 1515。每个三角形恰属于其中两个四点子集。若锐角三角形数为 A5A_5,则 2A5≤152A_5\le15,因 A5A_5 为整数得 A5≤7A_5\le7。