灯下 登录
番外 · 闲灯 / 中国数学奥林匹克 / P6 · combinatorics

2009 CMO 第 6 题

题面据中国数学奥林匹克 / AoPS 可核档案整理;中文题意为本站自译,英文行为来源英译摘要,公式请以原始来源为准。

CMO 2009 P6 combinatorics

Given an integer n>3.n > 3. Prove that there exists a set SS consisting of nn pairwisely distinct positive integers such that for any two different non-empty subset of SS : A,B,xAxAA,B, \frac {\sum_{x\in A}x}{|A|} and xBxB\frac {\sum_{x\in B}x}{|B|} are two composites which share no common divisors.

给定一个整数 n>3.n > 3. 证明存在一个由 nn 两两不同的正整数组成的集合 SS,使得对于 SS 的任何两个不同的非空子集:A,B,xAxAA,B, \frac {\sum_{x\in A}x}{|A|}xBxB\frac {\sum_{x\in B}x}{|B|} 是两个没有共同约数的组合。

提示 1

先决定要数什么对象,或把关系画成图。

提示 2

找一个极端对象、双计数式或不变量。

提示 3

把局部限制累加成全局矛盾或构造。

完整解答

题面已直接收录。先把 2009 年 CMO 第 6 题的条件整理成对象、关系、目标三部分;再沿提示寻找不变量、标准构型或关键变形;最后补齐边界情形,并回到原题要求核对。