Maths Olympiad Prep

Library / Serbian Mathematical Olympiad /6 of 80

Serbian Mathematical Olympiad

Number theory Difficulty 5.0 AIME, harder Prove it Serbia

Problem:

Let nn be a natural number greater than 1. Prove that there exists a natural number mm greater than nnn^{n} such that
nm−mnn+m \frac{n^{m}-m^{n}}{n+m}
is a natural number.

Solution

Solution:

First let us notice that for m>n⩾3m>n \geqslant 3 we have nm>mnn^{m}>m^{n}, so nm−mnm+n>0\frac{n^{m}-m^{n}}{m+n}>0. Indeed, the function f(x)=ln⁡xxf(x)=\frac{\ln x}{x} is decreasing for x>ex>e since f′(x)=1−ln⁡xx2<0f^{\prime}(x)=\frac{1-\ln x}{x^{2}}<0, so ln⁡nn>ln⁡mm\frac{\ln n}{n}>\frac{\ln m}{m}, i.e. mln⁡n>nln⁡mm \ln n>n \ln m, and from there nm=emln⁡n>enln⁡m=mnn^{m}=e^{m \ln n}>e^{n \ln m}=m^{n}.

For n=2n=2 we may take m=10m=10. Suppose that n>2n>2. We have
nm−mn≡nm−(−n)n=nn(nm−n−(−1)n)( mod m+n) n^{m}-m^{n} \equiv n^{m}-(-n)^{n}=n^{n}\left(n^{m-n}-(-1)^{n}\right) \quad(\bmod m+n)
We will look for mm in the form m=knn−n (k∈N)m=k n^{n}-n\ (k \in \mathbb{N}). Then m+n=knn∣nm−mnm+n=k n^{n} \mid n^{m}-m^{n} if and only if k∣nm−n−(−1)nk \mid n^{m-n}-(-1)^{n}.

(1∘)(1^{\circ}) If nn is odd, then nm−n−(−1)nn^{m-n}-(-1)^{n} is even, so we can take k=2k=2, i.e. m=2nn−nm=2 n^{n}-n.

(2∘)(2^{\circ}) If nn is even, then nm−n−(−1)n=nm−n−1n^{m-n}-(-1)^{n}=n^{m-n}-1 is divisible by n−1n-1, so we can take k=n−1k=n-1, i.e. m=(n−1)nn−nm=(n-1) n^{n}-n.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from sr; metadata (topic, difficulty) added by this project.