Suppose the positive integers satisfy , where is a positive integer greater than . Prove that .
(Note: Fermat's Last Theorem may not be used)
Problem 1469
Official solution
1. Assume the contrary: Suppose are positive integers such that and .
2. Order the integers: Without loss of generality, assume .
3. Consider the inequality: Suppose . This implies .
4. **Expand using the binomial theorem**:
Since all terms in the expansion are positive, we have:
5. **Compare and **:
Since , we have:
Therefore:
6. Contradiction: This contradicts the given equation .
7. Conclusion: Hence, our assumption that must be false. Therefore, .