Browse · MathNet
PrintChina Western Mathematical Olympiad
China number theory
Problem
Let (the set of positive integers), and be the number of positive divisors of . Next, denotes the number of integers in the closed interval which are co-prime with . Find all non-negative integers , such that there exists satisfying
Solution
We denote the set of positive divisors of by , and the set of integers in the closed interval which are co-prime with by . Since there is only one number among , we get . Thus or .
(1) If , then implies that there exists only one number among which is not contained in . If is even, and , then all of and are not contained in .
B. In this case, does not satisfy the equation. If is odd, then when is a prime or , (which will be discussed in case (2) below). When is a composite number, we can write , where and are odd and . If , then and are not contained in , so does not satisfy the equation.
From the above discussion, we find that when either and is even, or and is an odd composite number. By direct verification of all the solutions of the above equation, can only be , and .
(2) If , then implies that among every number belongs to . It is easy to find that this time and primes can satisfy the required condition. For the case when is even (not prime), by the same argument as above we have (consider ). If is an odd composite number, write , where and are odd and , then , a contradiction. By direct calculation we find that only satisfies the condition.
Therefore, the solutions of the equation are or primes.
(1) If , then implies that there exists only one number among which is not contained in . If is even, and , then all of and are not contained in .
B. In this case, does not satisfy the equation. If is odd, then when is a prime or , (which will be discussed in case (2) below). When is a composite number, we can write , where and are odd and . If , then and are not contained in , so does not satisfy the equation.
From the above discussion, we find that when either and is even, or and is an odd composite number. By direct verification of all the solutions of the above equation, can only be , and .
(2) If , then implies that among every number belongs to . It is easy to find that this time and primes can satisfy the required condition. For the case when is even (not prime), by the same argument as above we have (consider ). If is an odd composite number, write , where and are odd and , then , a contradiction. By direct calculation we find that only satisfies the condition.
Therefore, the solutions of the equation are or primes.
Final answer
{0, 1}
Techniques
φ (Euler's totient)τ (number of divisors)Inclusion-exclusionPrime numbers