题面据 IMO Shortlist 可核档案整理;中文题意为本站自译,公式请以原始来源为准。
Version 1. Let be a fixed positive integer, and let S be the set of points on the Cartesian plane such that both coordinates and are nonnegative integers smaller than (thus ). Assume that is a set consisting of quadrilaterals such that all their vertices lie in , and each point in is a vertex of exactly one of the quadrilaterals in . Determine the largest possible sum of areas of all quadrilaterals in . Version 2. Let be a fixed positive integer, and let S be the set of points on the Cartesian plane such that both coordinates and are nonnegative integers smaller than (thus ). Assume that is a set of polygons such that all vertices of polygons in lie in S , and each point in S is a vertex of exactly one of the polygons in . Determine the largest possible sum of areas of all polygons in .
版本 1. 令 为固定正整数,并令 S 为笛卡尔平面上的点集 ,使得坐标 和 均为小于 的非负整数(因此 )。假设是由个四边形组成的集合,其所有顶点都位于中,并且中的每个点恰好是中的一个四边形的顶点。确定中所有个四边形的最大可能面积总和。版本 2. 令 为固定正整数,并令 S 为笛卡尔平面上的点集 ,使得坐标 和 均为小于 的非负整数(因此 )。假设 是一组多边形,使得 中的多边形的所有顶点都位于 S 中,并且 S 中的每个点恰好是 中的一个多边形的顶点。确定 中所有多边形面积的最大可能总和。
提示 1
先标出固定点、动点、角、圆和长度关系。
提示 2
尝试角追、相似、圆幂、面积比、反演或坐标化中的一种。
提示 3
把关键等式还原成标准定理,或补出一个让结构闭合的辅助点。
完整解答
这页先给题面、题型和提示阶梯,完整证明留给读者逐步展开。2021 年 IMO Shortlist G3 可先归入几何:第一步把题设翻成对象、条件、目标三行;第二步沿提示寻找不变量、标准构型或关键变形;第三步补齐边界情形,并回到题目原要求核对。
这题适合先独立想一轮再打开提示。不要急着搜索完整解答,先问自己:题面里最硬的限制是哪一句?