Let be integers. Prove that if divides then divides the product .
Solution
Assume that does not divide the product . This means that are relatively prime with . Using Fermat,
But is equivalent to . Since is a prime number, this implies that , for , and therefore for some odd number between and . This is a contradiction. Thus divides the product .
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.