将 的所有非空子集各写在一张卡上。每张卡的得分等于其最大元素加最小元素。求所有卡的总分。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
把每个元素x换成601-x,最大与最小交换,两个记录值相加为1202。
定义 ,它是非空子集间的双射,且 、,因此 。设总和为 ,对所有非空子集求和并用双射得 ,从而 。
不动子集也满足w=601,无需删除或额外除2。用较小全集1,2核对:三个非空子集记录2、4、3,总和9,符合3(2²-1)。
对称计数要在实际样本空间上建立双射;配对恒等式也自然处理不动对象。
须对子集整体构造反射双射;不必各个最值等频,也要覆盖反射不动子集。
已记下,谢谢!