Maths Olympiad Prep

Track / Stage 7 / 69 of 300 #1469 of 1964

Problem 1469

National olympiad second round; IMO P1/P4
Number theory Difficulty 7.1 Prove it

Suppose the positive integers a,b,ca,b,c satisfy an+bn=cna^n+b^n=c^n, where nn is a positive integer greater than 11. Prove that a,b,c>na,b,c>n.
(Note: Fermat's Last Theorem may not be used)

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

1. Assume the contrary: Suppose a,b,ca, b, c are positive integers such that an+bn=cna^n + b^n = c^n and a,b,cna, b, c \leq n.

2. Order the integers: Without loss of generality, assume 1ab<c1 \leq a \leq b < c.

3. Consider the inequality: Suppose nan \geq a. This implies cn(b+1)nc^n \geq (b+1)^n.

4. **Expand (b+1)n(b+1)^n using the binomial theorem**:
(b+1)n=bn+(n1)bn1+(n2)bn2++(nn1)b+1 (b+1)^n = b^n + \binom{n}{1}b^{n-1} + \binom{n}{2}b^{n-2} + \cdots + \binom{n}{n-1}b + 1
Since all terms in the expansion are positive, we have:
(b+1)n>bn+1 (b+1)^n > b^n + 1

5. **Compare cnc^n and an+bna^n + b^n**:
cn(b+1)n>bn+1 c^n \geq (b+1)^n > b^n + 1
Since aba \leq b, we have:
anbn a^n \leq b^n
Therefore:
cn>bn+an c^n > b^n + a^n

6. Contradiction: This contradicts the given equation an+bn=cna^n + b^n = c^n.

7. Conclusion: Hence, our assumption that a,b,cna, b, c \leq n must be false. Therefore, a,b,c>na, b, c > n.

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.