Question

設(shè)數(shù)組A：{a₁，a₂，…，a_n}與數(shù)組B：{b₁，b₂，…，b_n}，A與B中的元素不完全相同，分別從A、B中的n個(gè)元素中任取m（m≤n）個(gè)元素作和，各得C_n^m個(gè)和．若由A得到的C_n^m個(gè)和與由B得到的C_n^m個(gè)和恰好完全相同，則稱(chēng)數(shù)組A與B是n元中取m的全等和數(shù)組，簡(jiǎn)記為DH_n^m數(shù)組．
（1）判斷數(shù)組A：{5，15，25，45}與B：{0，20，30，40}是否為DH₄²數(shù)組？
（2）若數(shù)組A：{a₁，a₂，…，a_n}與數(shù)組B：{b₁，b₂，…，b_n}是DH_n^m數(shù)組（m≤n），求證：數(shù)組A與B一定是DH_nⁿ數(shù)組
（3）給定數(shù)組A：{a₁，a₂，a₃，a₄}，其中a₁≤a₂≤a₃≤a₄，問(wèn)是否存在數(shù)組B，使得數(shù)組A與B為DH₄²數(shù)組？若存在，則求出數(shù)組B；若不存在，請(qǐng)說(shuō)明理由．

Answer 1

分析：（1）在數(shù)組A：{5，15，25，45}中任取兩個(gè)數(shù)求和，可得20，30，40，50，60，70，同樣在B：{0，20，30，40}中任取兩個(gè)數(shù)求和，可得20，30，40，50，60，70，故A與B為DH₄²數(shù)組
（2）求證數(shù)組A與B一定是DH_nⁿ數(shù)組，即求證a₁+a₂+…a_n=b₁+b₂+…b_n，由數(shù)組A：{a₁，a₂，…，a_n}與數(shù)組B：{b₁，b₂，…，b_n}是DH_n^m數(shù)組，則由A得到的C_n^m個(gè)和與由B得到的C_n^m個(gè)和恰好完全相同，由此可證
（3）假設(shè)存在數(shù)組B：{b₁，b₂，b₃，b₄}（不妨設(shè)b₁≤b₂≤b₃≤b₄）與A是DH₄²數(shù)組，則有a₁+a₂=b₁+b₂、a₁+a₃=b₁+b₃、a₂+a₄=b₂+b₄、a₃+a₄=b₃+b₄不妨設(shè)b₁=a₁-q則b₂=a₂+q，b₃=a₃+q，b₄=a₄-q   故q=

1

2

(a1+a4-a2-a3)，若q=0，則存在唯一數(shù)組B，否則不存在

解答：解：（1）A中C₄²個(gè)和為：20，30，40，50，60，70B中C₄²個(gè)和為：20，30，40，50，60，70
∴A與B為DH₄²數(shù)組
（2）證明：從A中任取m個(gè)元素作和共得C_n^m個(gè)數(shù)，再將C_n^m個(gè)數(shù)作和記為S，
在C_n^m個(gè)數(shù)中a₁、a₂、…、a_n都分別出現(xiàn)了C_n-1^m-1次，故S=C_n-1^m-1（a₁+a₂+…a_n）
同樣從B中任取m個(gè)元素作和共得C_n^m個(gè)數(shù)，這些數(shù)的和為S'，S'=C_n-1^m-1（b₁+b₂+…b_n）
顯然S=S'∴a₁+a₂+…a_n=b₁+b₂+…b_n
即A與B為DH_nⁿ數(shù)組
（3）假設(shè)存在數(shù)組B：{b₁，b₂，b₃，b₄}（不妨設(shè)b₁≤b₂≤b₃≤b₄）與A是DH₄²數(shù)組，
則有a₁+a₂=b₁+b₂、a₁+a₃=b₁+b₃、a₂+a₄=b₂+b₄、a₃+a₄=b₃+b₄
不妨設(shè)b₁=a₁-q則b₂=a₂+q，b₃=a₃+q，b₄=a₄-q
從而a₂+a₃=b₁+b₄（不能等于b₂+b₃否則q=0與題意不符）
故q=

1

2

(a1+a4-a2-a3)
①a₁+a₄≠a₂+a₃，則一定存在唯一數(shù)組B：{a₁-q，a₂+q，a₃+q，a₄-q}
（其中q=

1

2

(a1+a4-a2-a3)）與A是DH₄²數(shù)組
②a₁+a₄=a₂+a₃，則不存在數(shù)組B與A是DH₄²數(shù)組．

點(diǎn)評(píng)：本題考查了排列與組合的應(yīng)用，屬新定義型創(chuàng)新題，解答難度較大，解題時(shí)首先要理解題意，然后根據(jù)要求用分析法分析，綜合法寫(xiě)出解題過(guò)程