Browse · MathNet
PrintSELECTION TESTS FOR THE 2019 BMO AND IMO
Romania 2019 number theory
Problem
A positive integer is perfect if the sum of all its positive divisors, and inclusive, is equal to . Determine the positive integers such that is a perfect number.
Solution
There is only one such integer, namely, ; it is readily checked that is perfect.
If is odd, then is even, so it is of the form , where and are both prime (Euler's theorem on the structure of perfect even integers). Rule out the trivial case , to assume , and write . Since is odd, the first factor is even and the second is odd; and since , the latter is greater than (simply rewrite it in the form ). It follows that , so , and which forces .
We now rule out the other parity of ; recall that the existence of perfect odd numbers is still an open question.
If is odd, then is even, so it is of the form , where and are both prime (Euler's theorem on the structure of perfect even integers). Rule out the trivial case , to assume , and write . Since is odd, the first factor is even and the second is odd; and since , the latter is greater than (simply rewrite it in the form ). It follows that , so , and which forces .
We now rule out the other parity of ; recall that the existence of perfect odd numbers is still an open question.
Final answer
n = 3
Techniques
σ (sum of divisors)Factorization techniquesPolynomial operations