Let be a prime number which is greater than . Then prove that there exist natural numbers such that and is divisible by .
Mongolian National Mathematical Olympiad
Solution
We consider the numbers for . There are numbers, so by Dirichlet's principle, there exist different pairs and such that and .
By Fermat's theorem we have . Hence we have so there exist such that .
If , then we can choose and and if then choose and .
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.