MathDB
Derangements

Source: Indian IMOTC 2013, Team Selection Test 1, Problem 1

July 30, 2013
countingderangementfunctioncombinatorics proposedcombinatoricspermutationsPermutation cycles

Problem Statement

Let n2n \ge 2 be an integer. There are nn beads numbered 1,2,,n1, 2, \ldots, n. Two necklaces made out of some of these beads are considered the same if we can get one by rotating the other (with no flipping allowed). For example, with n5n \ge 5, the necklace with four beads 1,5,3,21, 5, 3, 2 in the clockwise order is same as the one with 5,3,2,15, 3, 2, 1 in the clockwise order, but is different from the one with 1,2,3,51, 2, 3, 5 in the clockwise order.
We denote by D0(n)D_0(n) (respectively D1(n)D_1(n)) the number of ways in which we can use all the beads to make an even number (resp. an odd number) of necklaces each of length at least 33. Prove that n1n - 1 divides D1(n)D0(n)D_1(n) - D_0(n).