Question

【題目】已知由n（n∈N*）個(gè)正整數(shù)構(gòu)成的集合A＝{a1，a2，…，an}（a1＜a2＜…＜an，n≥3），記SA＝a1+a2+…+an，對(duì)于任意不大于SA的正整數(shù)m，均存在集合A的一個(gè)子集，使得該子集的所有元素之和等于m.

（1）求a1，a2的值；

（2）求證：“a1，a2，…，an成等差數(shù)列”的充要條件是“”；

（3）若SA＝2020，求n的最小值，并指出n取最小值時(shí)an的最大值.

Answer 1

【答案】（1）a1＝1，a2＝2；（2）證明見(jiàn)解析；（3）n最小值為11，an的最大值1010

【解析】

（1）考慮元素1，2，結(jié)合新定義SA，可得所求值；

（2）從兩個(gè)方面證明，結(jié)合等差數(shù)列的性質(zhì)和求和公式，即可得證；

（3）由于含有n個(gè)元素的非空子集個(gè)數(shù)有2n﹣1，討論當(dāng)n＝10時(shí)，n＝11時(shí)，結(jié)合條件和新定義，推理可得所求.

（1）由條件知1≤SA，必有1∈A，又a1＜a2＜…＜an均為整數(shù)，a1＝1，

2≤SA，由SA的定義及a1＜a2＜…＜an均為整數(shù)，必有2∈A，a2＝2；

（2）證明：必要性：由“a1，a2，…，an成等差數(shù)列”及a1＝1，a2＝2，

得ai＝i（i＝1，2，…，n）此時(shí)A＝{1，2，3，…，n}滿足題目要求，

從而；

充分性：由條件知a1＜a2＜…＜an，且均為正整數(shù)，可得ai≥i（i＝1，2，3，…，n），

故，當(dāng)且僅當(dāng)ai＝i（i＝1，2，3，…，n）時(shí)，上式等號(hào)成立.

于是當(dāng)時(shí)，ai＝i（i＝1，2，3，…，n），從而a1，a2，…，an成等差數(shù)列.

所以“a1，a2，…，an成等差數(shù)列”的充要條件是“”；

（Ⅲ）由于含有n個(gè)元素的非空子集個(gè)數(shù)有2n-1，故當(dāng)n＝10時(shí)，210﹣1＝1023，

此時(shí)A的非空子集的元素之和最多表示1023個(gè)不同的整數(shù)m，不符合要求.

而用11個(gè)元素的集合A＝{1，2，4，8，16，32，64，128，256，512，1024}的非空子集的元素之和

可以表示1，2，3，…，2046，2047共2047個(gè)正整數(shù).

因此當(dāng)SA＝2020時(shí)，n的最小值為11.

記S10＝a1+a2+…+a10，則S10+a11＝2020并且S10+1≥a11.

事實(shí)上若S10+1＜a11，2020＝S10+a11＜2a11，則a11＞1010，S10＜a11＜1010，

所以m＝1010時(shí)無(wú)法用集合A的非空子集的元素之和表示，與題意不符.

于是2020＝S10+a11≥2a11﹣1，得，，所以a11≤1010.

當(dāng)a11＝1010時(shí)，A＝{1，2，4，8，16，32，64，128，256，499，1010}滿足題意，

所以當(dāng)SA＝2020時(shí)，n的最小值為11，此時(shí)an的最大值1010.