MathDB
Problem 6

Source: 21-st Iberoamerican Mathematical Olympiad

May 6, 2007
functionalgebradomaininductiongeometryperpendicular bisectorstrong induction

Problem Statement

Consider a regular nn-gon with nn odd. Given two adjacent vertices A1A_{1} and A2,A_{2}, define the sequence (Ak)(A_{k}) of vertices of the nn-gon as follows: For k3,Akk\ge 3,\, A_{k} is the vertex lying on the perpendicular bisector of Ak2Ak1.A_{k-2}A_{k-1}. Find all nn for which each vertex of the nn-gon occurs in this sequence.