Browse · MathNet
PrintStars of Mathematics Competition
Romania number theory
Problem
Determine the positive integers that satisfy the following property: for every positive divisor of , is a divisor of .
Solution
We prove that the numbers that have the given property are and the odd prime numbers. It is clear that all these numbers do indeed have the desired property and also that does not have it.
Conversely, let us consider a composite number and prove that it does not have the given property. If is composite, then such that . It follows that divides , i.e. there exists such that . We obtain that divides . Obviously, . We deduce that , i.e. . Then , which means that , leading to , which contradicts .
In conclusion, no composite number does satisfy the requirements.
Conversely, let us consider a composite number and prove that it does not have the given property. If is composite, then such that . It follows that divides , i.e. there exists such that . We obtain that divides . Obviously, . We deduce that , i.e. . Then , which means that , leading to , which contradicts .
In conclusion, no composite number does satisfy the requirements.
Final answer
n = 1 or n is an odd prime
Techniques
Prime numbersFactorization techniquesTechniques: modulo, size analysis, order analysis, inequalities