题面据 IMO 可核档案整理；中文题意为本站自译或改写，正式公式请以原始来源为准。PDF：https://www.imo-official.org/problems/2000/eng.pdf。本站于 2026-05-13 将 IMO 题谱生成范围校验至 2025 年。
C5 (RUS) In the plane we have rectangles with parallel sides. The sides of distinct rectangles lie on distinct lines. The boundaries of the rectangles cut the plane into connected regions. A region is nice if it has at least one of the vertices of the rectangles on its boundary. Prove that the sum of the numbers of the vertices of all nice regions is less than . (There can be nonconvex regions as well as regions with more than one boundary curve.)
C5 (RUS) 在平面上我们有 个边平行的矩形。不同矩形的边位于不同的线上。矩形的边界将平面切割成相连的区域。如果一个区域的边界上至少有 个矩形的顶点之一，则该区域是不错的。证明所有好的区域的顶点数之和小于 。 (可以存在非凸区域以及具有多条边界曲线的区域。)
提示 1
先猜等号，再看每一项的量纲和同次性。
提示 2
试着归一化，或把式子拆成柯西、均值、凸性可处理的块。
提示 3
最后检查等号条件是否和题设完全兼容。
完整解答
题面来自可核来源，本站补原创提示和解法骨架。 先把 2000 年第 5 题归入 inequality：不等式题：先判断等号形状，再选用均值、柯西、凸性、重排或归一化，把表达式压成可控的标准型。 完整解答的主线是先翻译题设，提取一个不变量或标准构型；第二步用提示阶梯里的入口建立关键等式；第三步把剩余情形分完，并回到题目要求检查边界和等号。P5 的题位也给出节奏提示：P1/P4 多半从直接观察起步，P2/P5 需要一个中间引理，P3/P6 则要把两个看似分开的条件接到同一个结构上。