Browse · MathNet
PrintJapan Mathematical Olympiad
Japan number theory
Problem
Determine all the positive integers for which the product of all positive factors equals .
Solution
If a positive integer is a factor of a positive integer , then is also a factor of and vice versa. Hence, if is a listing of all the positive factors of , then so is . So, if we denote by the product of all the positive factors of , we obtain from which we conclude that holds.
Now, suppose that the product of all the positive factors of equals , then since the prime factors of are and , we see that the prime factors of must also be and . Hence, we can write for some pair of non-negative integers and . Then, we can conclude that all of the positive factors of can be listed as and there are exactly numbers in this list. Hence, from the observation made above, we get that the product of all the factors of equals and this number should equal . So, it remains for us to solve the simultaneous equations
Dividing both sides of the first equation by the corresponding sides of the second equation, we get , and substituting this into the second equation, we obtain , from which it follows that As the equation does not have a real root, we conclude that must hold, and therefore, . Thus, is the desired solution for this problem.
Now, suppose that the product of all the positive factors of equals , then since the prime factors of are and , we see that the prime factors of must also be and . Hence, we can write for some pair of non-negative integers and . Then, we can conclude that all of the positive factors of can be listed as and there are exactly numbers in this list. Hence, from the observation made above, we get that the product of all the factors of equals and this number should equal . So, it remains for us to solve the simultaneous equations
Dividing both sides of the first equation by the corresponding sides of the second equation, we get , and substituting this into the second equation, we obtain , from which it follows that As the equation does not have a real root, we conclude that must hold, and therefore, . Thus, is the desired solution for this problem.
Final answer
n = 2^15 · 3^5
Techniques
τ (number of divisors)Factorization techniques