Question

設(shè)n是正整數(shù)，如果1，2，3，…，2n的一個(gè)排列x₁，x₂，x₃，…，x_2n滿足：在{1，2，…2^n-1}中至少有一個(gè)i使得|x_i-x_i+1|=n，則稱排列x₁，x₂，x₃，…，x_2n具有性質(zhì)P．
（Ⅰ）當(dāng)n=2時(shí)，寫出4個(gè)具有性質(zhì)P的排列；
（Ⅱ）求n=3時(shí)不具有性質(zhì)P的排列的個(gè)數(shù)；
（Ⅲ）求證：對(duì)于任意n，具有性質(zhì)P的排列比不具有性質(zhì)P的排列多．

Answer 1

分析：（I）根據(jù)x₁，x₂，x₃，…，x_2n具有性質(zhì)P定義，可得n=2時(shí)，只要1，3或2，4相鄰即可；
（II）當(dāng)n=3時(shí)，1，2，3，4，5，6的全排列數(shù)為

A

6 6

； 1，4；2，5；3，6三對(duì)數(shù)中，至少有一對(duì)相鄰的排列數(shù)為

C

1 3

A

2 2

A

5 5

；至少有兩對(duì)相鄰

C

2 3

A

2 2

A 2 2 A

4 4

；三對(duì)全相鄰

A

3 3

A

2 2

A 2 2 A

2 2

，相減可得答案．
（III）記A={（x₁，x₂，x₃，…，x_2n）|（x₁，x₂，x₃，…，x_2n）具有性質(zhì)P}，B={（x₁，x₂，x₃，…，x_2n）|（x₁，x₂，x₃，…，x_2n）不具有性質(zhì)P}，C={（x₁，x₂，x₃，…，x_2n）|恰有某一個(gè)i使得|x_i-x_i+1|=n，i≠1}，分析A中元素與B中元素個(gè)數(shù)的關(guān)系，可得答案．

解答：解：（I）當(dāng)n=2時(shí)，具有性質(zhì)P的排列有：
（2，1，3，4）；（2，3，1，4）；（4，1，3，2），（4，3，1，2）
（II）當(dāng)n=3時(shí)，1，2，3，4，5，6的全排列數(shù)為

A

6 6

； 1，4；2，5；3，6三對(duì)數(shù)中，至少有一對(duì)相鄰的排列數(shù)為

C

1 3

A

2 2

A

5 5

；至少有兩對(duì)相鄰

C

2 3

A

2 2

A 2 2 A

4 4

；三對(duì)全相鄰

A

3 3

A

2 2

A 2 2 A

2 2

所以，n=3時(shí)不具有性質(zhì)P的排列的個(gè)數(shù)共有：

A

6 6

-

C

1 3

A

2 2

A

5 5

-

C

2 3

A

2 2

A 2 2 A

4 4

-

A

3 3

A

2 2

A 2 2 A

2 2

=240；
證明：（III）記A={（x₁，x₂，x₃，…，x_2n）|（x₁，x₂，x₃，…，x_2n）具有性質(zhì)P}
B={（x₁，x₂，x₃，…，x_2n）|（x₁，x₂，x₃，…，x_2n）不具有性質(zhì)P}
C={（x₁，x₂，x₃，…，x_2n）|恰有某一個(gè)i使得|x_i-x_i+1|=n，i≠1}
顯然C是A的子集，而且（n+1，1，2，…，n，n+2，…，2n）∈A，（n+1，1，2，…，n，n+2，…，2n）∉C，
所以C是A的真子集，所以A中元素個(gè)數(shù)大于C中元素個(gè)數(shù)；
考慮B中任一元素（y₁，y₂，y₃，…，y_2n），則|y₂-y₁|≠n，因此與y₁相差n的數(shù)一定是某個(gè)y_k，（k＞2）
把y₁放到y(tǒng)_k的左邊得到一個(gè)新排列（y₂，y₃，…，y_k-1，y₁，y_k，…，y_2n），這個(gè)排列一定是C的元素，
作映射（y₁，y₂，y₃，…，y_2n），→（y₂，y₃，…，y_k-1，y₁，y_k，…，y_2n），
不難證明這是一一對(duì)應(yīng)，所以C中元素個(gè)數(shù)等于B中元素個(gè)數(shù)
綜上A中元素個(gè)數(shù)大于B中元素個(gè)數(shù)
即對(duì)于任意n，具有性質(zhì)P的排列比不具有性質(zhì)P的排列多

點(diǎn)評(píng)：本題考查的知識(shí)點(diǎn)是排列，組合，正確理解新定義x₁，x₂，x₃，…，x_2n具有性質(zhì)P的含義，是解答的關(guān)鍵．