题目

题型：不详难度：来源：

设a₁，a₂，…，a_2n+1均为整数，性质P为：对a₁，a₂，…，a_2n+1中任意2n个数，存在一种分法可将其分为两组，每组n个数，使得两组所有元素的和相等求证：a₁，a₂，…，a_2n+1全部相等当且仅当a₁，a₂，…，a_2n+1具有性质P．

答案

证明：①当a₁，a₂，…，a_2n+1全部相等时，从中任意2n个数，将其分为两组，每组n个数，两组所有元素的和相等，
故性质P成立．
②下面证明：当a₁，a₂，…，a_2n+1具有性质P时，a₁，a₂，…，a_2n+1全部相等．反证法：
假设a₁，a₂，…，a_2n+1不全部相等，则其中至少有一个整数和其它的整数不同，不妨设此数为a₁，
若a₁在取出的2n个数中，将其分为两组，每组n个数，则a₁在的那个组所有元素的和与另一个组所有元素的和不相等，
这与性质P 矛盾，故假设不成立，
所以，当a₁，a₂，…，a_2n+1具有性质P时，a₁，a₂，…，a_2n+1全部相等．
综上，a₁，a₂，…，a_2n+1全部相等当且仅当a₁，a₂，…，a_2n+1具有性质P．