Skip to main content
OlympiadHQ

Browse · MathNet

Print

European Mathematical Cup

North Macedonia algebra

Problem

In each vertex of a regular -gon there is a unique pawn. In each step it is allowed: 1. to move all pawns one step in the clockwise direction or 2. to swap the pawns at vertices and . Prove that by a finite series of such steps it is possible to swap the pawns at vertices: a) and for any while leaving all other pawns in their initial place b) and for any leaving all other pawns in their initial place.
Solution
We denote a pawn that was initially at point as . We will prove that a) and then use it to show part b).

a) We apply first operation times which will bring and as they are at points and and move every other pawn steps in clockwise direction. We can now apply second operation to swap and as they are at points and . This does not affect the position of any other pawn. We now apply first operation times returning pawn to point while moving pawn to and pawn to which is exactly what we wanted.

b) We present 2 possible solutions, one using induction and one not using induction.

Solution not using induction By using the previous problem we can swap pawns as they are at points then as they are at points and carry on until we swap as they were at points . This brings us to the state where is at and each is at point . We can now apply part a) to swap with and similarly carry on till we swap with . This will place at and move each to . This brings us to the state we swapped pawns and leaving others where they were just as was desired.

Solution using induction We use induction on for the following claim: We can swap any two pawns . We note that the basis is exactly part a). We assume the claim holds for some . Hence we can swap any pawns and only need to show that we can swap and for any . This follows as we can swap and then and by part a). Then again and as they are now on points and .

Techniques

Permutations / basic group theoryInduction / smoothing