Maths Olympiad Prep

Library / /5 of 69

Number theory Difficulty 5.0 AIME, harder Prove it Mongolia

Let nn be a natural number satisfying the condition n>1n > 1, n(6n+7n)n | (6^n + 7^n). Prove that 13n13 | n.

Solution

Since 2n+7n1(modp)2^n + 7^n \equiv 1 \pmod{p}, nn must be odd. Let pp be the least prime divisor of nn. Hence (p,6)=1(p, 6) = 1 and there exists x,yZx, y \in \mathbb{Z} such that px+6y=1px + 6y = 1. Therefore 6y1(modp)6y \equiv 1 \pmod{p}.

Let us consider aa such that a7y(modp)a \equiv 7y \pmod{p}. Then an+1(7y)n+(6y)n(modp)a^n + 1 \equiv (7y)^n + (6y)^n \pmod{p} and 7n+6n(7y)n+(6y)n(modp)7^n + 6^n \equiv (7y)^n + (6y)^n \pmod{p}. Consequently an+10(modp)a^n + 1 \equiv 0 \pmod{p} and an1(modp)a^n \equiv -1 \pmod{p}. Since nn is odd (a)n1(modp)(-a)^n \equiv 1 \pmod{p}.

On the other hand (a)p11(modp)(-a)^{p-1} \equiv 1 \pmod{p} by Fermat's theorem. Therefore (a)(n,p1)1(modp)(-a)^{(n, p-1)} \equiv 1 \pmod{p}. Since pp is least prime divisor of nn we get (n,p1)=1(n, p-1) = 1 and a1(modp)-a \equiv 1 \pmod{p}. From here we deduce 7y1(modp)7y \equiv 1 \pmod{p}.

Finally 76y(mod)76(modp)130(modp)-7 \cdot 6y \equiv (\mod \Rightarrow) -7 \equiv 6 \pmod{p} \Rightarrow 13 \equiv 0 \pmod{p} and 13n13|n.

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

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.