Skip to main content
OlympiadHQ

Browse · MathNet

Print

Dutch Mathematical Olympiad

Netherlands number theory

Problem

We consider an integer with the following property: for every positive divisor of we have that is a divisor of . Prove that is a prime number.
Solution
Suppose by contradiction that is not prime. Now consider the greatest divisor of . Then we can write as . Since is not prime, we have and hence also . Now must satisfy and (because is the greatest divisor satisfying ). Now must be a divisor of . Moreover, is a divisor of . This means that must also be a divisor of the difference . This, however, is impossible, because is a number between 1 and . Therefore, our assumption that is not prime must be false, and must actually be a prime number.

Techniques

Divisibility / Factorization