Let be two integers. Prove that if divides then divides .
Preselection Tests for the Full-time Training
Solution
Since , we will prove that for , if divides then divides .
Let , and assume that divides .
If divides , then it divides and . But divides . Then it divides . Since is a prime number, we deduce that it divides and . Therefore, it divides . In a similar way we prove that if divides , then it divides .
Assume now that is relatively prime with . Then, using Fermat,
But divides for . We deduce that
Hence
This proves that divides .
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.