Let be a prime and let and be positive integers such that .
Prove that .
Solution
We have . Since is a prime, the number has the divisors , and . Since the two factors and are distinct, they cannot be both equal to . Furthermore, is smaller than , therefore, , i.e. .
We find
This immediately implies that is odd, therefore . We find ,
which gives as desired.
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.