设 是由任意 个互不相同的正整数组成的集合,令
表示集合 中元素的个数,则 的最大值与最小值之和为 .
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
最大值用所有有向数对的总量作界,并构造不同素数避免比例重复;最小值固定集合最小元得到上下两组比例,再用等比数列取等。
共有 个不同元素的有序数对,所以 。取一百个不同素数组成 ,若两个非单位比例相同,唯一分解迫分子和分母分别相同,因此九千九百个比例互异,最大值为九千九百。 再设 为 的最小元素。其他九十九个元素给出互异且大于一的比例 ,其逆数又给出九十九个互异且小于一的比例。因此 。取 ,比例恰为 ,,正好一百九十八个,达到下界。所以两极值之和为 。
集合 不计比例出现次数,两个构造分别证明全部有序对不重与恰有198种值。未把比例一算入,因为分子分母必须不同。
比例集合的极值可由固定参照元给下界、全部有序对给上界,再分别设计高度重复和完全不重复的结构达到两界。
需分别证明比例值数的统一上下界,再给不同结构各自达到两界,尤其区分比例数值与有序对数。
核心工具:证明不重不漏的表示
已记下,谢谢!