MathLabs

Problem 6

A permutation (x1,x2,…,x2n)(x_1,x_2,\ldots,x_{2n}) of {1,2,…,2n}\{1,2,\ldots,2n\} has property PP if ∣xi−xi+1∣=n|x_i-x_{i+1}|=n for at least one i∈{1,…,2n−1}i\in\{1,\ldots,2n-1\}. Prove that for every positive integer nn there are more permutations with property PP than without it.
Step 1 of 5: Encode property P by events
In plain words

Each possible difference-nn adjacency is one event; property PP is their union.

Ak={π:k and k+n are adjacent},P=⋃k=1nAkA_k=\{\pi: k\text{ and }k+n\text{ are adjacent}\},\qquad P=\bigcup_{k=1}^{n}A_k
Detailed analysis

For 1≤k≤n1\le k\le n, let AkA_k consist of permutations in which the two numbers kk and k+nk+n occupy neighboring positions. Having property PP means belonging to at least one such set, so the desired permutations form A=⋃k=1nAkA=\bigcup_{k=1}^n A_k.