MathDB
USAMO Inequality chain for getting started on the contest

Source: USAMO 2006, Problem 1, proposed by Kiran Kedlaya

April 20, 2006
USA(J)MOUSAMOinequalitiesfloor functionmodular arithmeticpigeonhole principleHi

Problem Statement

Let pp be a prime number and let ss be an integer with 0<s<p.0 < s < p. Prove that there exist integers mm and nn with 0<m<n<p0 < m < n < p and {smp}<{snp}<sp \left \{\frac{sm}{p} \right\} < \left \{\frac{sn}{p} \right \} < \frac{s}{p} if and only if ss is not a divisor of p1p-1. Note: For xx a real number, let x\lfloor x \rfloor denote the greatest integer less than or equal to xx, and let {x}=xx\{x\} = x - \lfloor x \rfloor denote the fractional part of x.