题面据 APMO 可核档案整理;中文题意为本站自译,公式请以原始来源为准。
Two equal-sized regular -gons intersect to form a -gon . Prove that the sum of the sides of which form part of one -gon equals half the perimeter of .
*Alternative formulation:*
Let two equal regular -gons and be located in the plane such that their intersection is a -gon (with ). The sides of the polygon are coloured in red and the sides of in blue.
Prove that the sum of the lengths of the blue sides of the polygon is equal to the sum of the lengths of its red sides.
两个大小相等的常规 边形相交形成 边形 。证明构成 边形一部分的 的边的总和等于 周长的一半。
*替代配方:*
让两个相等的规则边形和位于平面中,使得它们的交集是边形(与)。多边形 的边为红色, 的边为蓝色。
证明多边形 的蓝色边的长度之和等于其红色边的长度之和。
提示 1
先猜等号形状,再看同次性、归一化和每一项的量纲。
提示 2
试着把式子拆成均值、柯西、凸性、重排或切线法可处理的块。
提示 3
最后检查等号条件和边界情形是否都与题设兼容。
完整解答
这页先给题面、题型和提示阶梯,完整证明留给读者逐步展开。2001 年 APMO P1 可先归入不等式:第一步把题设翻成对象、条件、目标三行;第二步沿提示寻找不变量、标准构型或关键变形;第三步补齐边界情形,并回到题目原要求核对。
这题适合先独立想一轮再打开提示。不要急着搜索完整解答,先问自己:题面里最硬的限制是哪一句?