2006 USAMO Problems/Problem 1
Let be a prime number and let be an integer with . Prove that there exists integers and with and
if and only if is not a divisor of .
Note: For a real number, let denote the greatest integer less than or equal to , and let denote the fractional part of x.