Gọi $T$ là tập các hoán vị của $1,2,...,2n$ là $(x_1;x_2;...;x_{2n})$ thoả mãn tồn tại đúng $1$ chỉ số $i$ sao cho $\left | x_i-x_{i+1} \right |=n$ và $I$ là số hoán vị không có tính chất $P$.Ta lập $1$ đơn ánh từ $T$ vào $I$:
$T\rightarrow I$
$(x_1;x_2;...;x_i;x_{i+1};...;x_{2n})\rightarrow (x_1;x_2;...;x_i;x_{2n};x_{2n-1};...x_{i+1})$
Với số $i$ là chỉ số đã nói ở trên và tồn tại duy nhất, dễ thấy ánh xạ trên là song ánh do ta có thể tạo một ánh xạ ngược như sau
$I\rightarrow T$
$(x_1;x_2;...;x_i;x_{i+1};...;x_{2n})\rightarrow (x_1;x_2;...;x_{i};x_{2n};x_{2n-1};...;x_{i+1})$
Trong đó $(x_1;x_2;...;x_{2n})$ không có tính chất $P$ và $i$ là số thảo mãn $\left | x_i-x_{2n} \right |=n$
Vậy tồn tại $1$ song ánh từ $T$ vào $I$, vậy $\left | T \right |=\left | I \right |$. Nhưng $T$ chỉ là $1$ tập con trong tập các hoán vị có tính chất $P$ nên có dpcm
Bài viết đã được chỉnh sửa nội dung bởi JUV: 28-08-2016 - 11:26