Find all positive integers such that there exists a prime number , such that
is a power of 3.
Note. A power of 3 is a number of the form where is a positive integer.
Find all positive integers such that there exists a prime number , such that
is a power of 3.
Note. A power of 3 is a number of the form where is a positive integer.
Suppose that the positive integer is such that
for some prime and positive integer .
If , then by , whence , so should be even. Setting we obtain . It follows that and are both powers of 3, but since they are both odd, they are co-prime, and we have , i.e. and . If , then (1) gives , which is impossible.
Let . Then it follows from (1) that we can not have . This means that , so should be even, and let . Then
If , then . However, both numbers are powers of 3, so and .
If , then and we can take . For we have (this inequality is equivalent to , which is obviously true). Then , which is absurd.
It follows that the only solution is .
To solve the problem, we need to find all positive integers such that there exists a prime number for which is a power of 3. Let's go through the solution step-by-step.
1. Initial Considerations:
- We are given that is a power of 3, i.e., for some positive integer .
- Since is not considered a power of 3, we have .
2. Modulo 3 Analysis:
- Consider the expression modulo 3. If , then is divisible by 3, which is not possible since is a prime number.
- If , then , making . Thus, , which is not possible since and .
- Therefore, .
3. Simplifying the Expression:
- Given , we have .
- Thus, and .
- Therefore, , which implies .
4. **Determining :**
- The congruence holds if and only if is even. Let .
5. **Further Analysis for :**
- Consider (i.e., is a multiple of 4). We have:
- Simplifying, we get:
- Since , we have:
- Thus, , which cannot be a power of 3.
6. **Conclusion for :**
- Since is not possible, we must have where is odd.
- If , then must also be a power of 3, which is not possible by our previous analysis.
- Therefore, , and .
7. Verification:
- For , we have:
- We need . For , we get , which is a prime number.
- For , we have , which is indeed a power of 3.
Thus, the only solution is .
The final answer is .