已知集合A=a1，a2，a3，…，an，其中ai∈R（1≤i≤n，n＞2），l（A）表示和ai+aj（1≤i＜j≤n）中所有不同值的个数．（Ⅰ）设集合P=2，4

题型：怀柔区一模难度：来源：

已知集合A=a₁，a₂，a₃，…，a_n，其中a_i∈R（1≤i≤n，n＞2），l（A）表示和a_i+a_j（1≤i＜j≤n）中所有不同值的个数．
（Ⅰ）设集合P=2，4，6，8，Q=2，4，8，16，分别求l（P）和l（Q）；
（Ⅱ）若集合A=2，4，8，…，2ⁿ，求证：l(A)=

n(n-1)

2

；
（Ⅲ）l（A）是否存在最小值？若存在，求出这个最小值；若不存在，请说明理由？

答案

（Ⅰ）根据题中的定义可知：由2+4=6，2+6=8，2+8=10，4+6=10，4+8=12，6+8=14，得l（P）=5．
由2+4=6，2+8=10，2+16=18，4+8=12，4+16=20，8+16=24，得l（Q）=6．（5分）
（Ⅱ）证明：因为a_i+a_j（1≤i＜j≤n）最多有

C

2n

=

n(n-1)

2

个值，所以l(A)≤

n(n-1)

2

．
又集合A=2，4，8，，2ⁿ，任取a_i+a_j，a_k+a_l（1≤i＜j≤n，1≤k＜l≤n），
当j≠l时，不妨设j＜l，则a_i+a_j＜2a_j=2^j+1≤a_l＜a_k+a_l，
即a_i+a_j≠a_k+a_l．当j=l，i≠k时，a_i+a_j≠a_k+a_l．
因此，当且仅当i=k，j=l时，a_i+a_j=a_k+a_l．
即所有a_i+a_j（1≤i＜j≤n）的值两两不同，
所以l(A)=

n(n-1)

2

．（9分）
（Ⅲ）l（A）存在最小值，且最小值为2n-3．
不妨设a₁＜a₂＜a₃＜…＜a_n，可得a₁+a₂＜a₁+a₃＜…＜a₁+a_n＜a₂+a_n＜…＜a_n-1+a_n，
所以a_i+a_j（1≤i＜j≤n）中至少有2n-3个不同的数，即l（A）≥2n-3．
事实上，设a₁，a₂，a₃，，a_n成等差数列，
考虑a_i+a_j（1≤i＜j≤n），根据等差数列的性质，
当i+j≤n时，a_i+a_j=a₁+a_i+j-1；
当i+j＞n时，a_i+a_j=a_i+j-n+a_n；
因此每个和a_i+a_j（1≤i＜j≤n）等于a₁+a_k（2≤k≤n）中的一个，
或者等于a_l+a_n（2≤l≤n-1）中的一个．
所以对这样的A，l（A）=2n-3，所以l（A）的最小值为2n-3．（13分）