Maths Olympiad Prep

Library / /8 of 24

Number theory Difficulty 6.1 National Olympiad Prove it Canada

Problem:
Let pp be a prime number for which p12\frac{p-1}{2} is also prime, and let aa, bb, cc be integers not divisible by pp. Prove that there are at most 1+2p1+\sqrt{2 p} positive integers nn such that n<pn<p and pp divides an+bn+cna^{n}+b^{n}+c^{n}.

Solution

Solution:
First suppose b±a(modp)b \equiv \pm a \pmod{p} and c±b(modp)c \equiv \pm b \pmod{p}. Then, for any nn, we have an+bn+cn±ana^{n}+b^{n}+c^{n} \equiv \pm a^{n} or ±3an(modp)\pm 3 a^{n} \pmod{p}. We are given that p3p \neq 3 (since 312\frac{3-1}{2} is not prime) and pap \nmid a, so it follows that an+bn+cn≢0(modp)a^{n}+b^{n}+c^{n} \not\equiv 0 \pmod{p}. The claim is trivial in this case.

Otherwise, we may assume without loss of generality that b≢±a(modp)ba1≢±1(modp)b \not\equiv \pm a \pmod{p} \Longrightarrow b a^{-1} \not\equiv \pm 1 \pmod{p}.

Now let q=p12q=\frac{p-1}{2}. By Fermat's little theorem, we know that the order of ba1modpb a^{-1} \bmod p divides p1=2qp-1=2 q. However, since ba1≢±1(modp)b a^{-1} \not\equiv \pm 1 \pmod{p}, the order of ba1b a^{-1} does not divide 22. Thus, the order must be either qq or 2q2 q.

Next, let SS denote the set of positive integers n<pn<p such that an+bn+cn0(modp)a^{n}+b^{n}+c^{n} \equiv 0 \pmod{p}, and let sts_{t} denote the number of ordered pairs (i,j)S(i, j) \subset S such that ijt(modp1)i-j \equiv t \pmod{p-1}.

Lemma: If tt is a positive integer less than 2q2 q and not equal to qq, then st2s_{t} \leq 2.

Proof: Consider i,jSi, j \in S with jit(modp1)j-i \equiv t \pmod{p-1}. Then we have
ai+bi+ci0(modp)aicji+bicji+cj0(modp)aicji+bicjiajbj0(modp)ai(ctat)bi(btct)(modp). \begin{aligned} & a^{i}+b^{i}+c^{i} \equiv 0 \pmod{p} \\ \Longrightarrow & a^{i} c^{j-i}+b^{i} c^{j-i}+c^{j} \equiv 0 \pmod{p} \\ \Longrightarrow & a^{i} c^{j-i}+b^{i} c^{j-i}-a^{j}-b^{j} \equiv 0 \pmod{p} \\ \Longrightarrow & a^{i} \cdot\left(c^{t}-a^{t}\right) \equiv b^{i} \cdot\left(b^{t}-c^{t}\right) \pmod{p} . \end{aligned}
If ctat(modp)c^{t} \equiv a^{t} \pmod{p}, then this implies ctbt(modp)c^{t} \equiv b^{t} \pmod{p} as well, so (ab1)t1(modp)\left(a b^{-1}\right)^{t} \equiv 1 \pmod{p}. However, we know the order of ab1a b^{-1} is qq or 2q2 q, and qtq \nmid t, so this is impossible. Thus, we can write
(ab1)i(btct)(ctat)1(modp) \left(a b^{-1}\right)^{i} \equiv\left(b^{t}-c^{t}\right) \cdot\left(c^{t}-a^{t}\right)^{-1} \pmod{p}
For a fixed tt, the right-hand side of this equation is fixed, so (ab1)i\left(a b^{-1}\right)^{i} is also fixed. Since the order of ab1a b^{-1} is either qq or 2q2 q, it follows that there are at most 22 solutions for ii, and the lemma is proven.

Now, for each element ii in SS, there are at least S2|S|-2 other elements that differ from ii by a quantity other than q(modp1)q \pmod{p-1}. Therefore, the lemma implies that
S(S2)tqst2(p2)(S1)22p3S<2p+1. \begin{aligned} |S| \cdot(|S|-2) & \leq \sum_{t \neq q} s_{t} \leq 2 \cdot(p-2) \\ \Longrightarrow \quad(|S|-1)^{2} & \leq 2 p-3 \\ \Longrightarrow \quad|S| & <\sqrt{2 p}+1 . \end{aligned}

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 reproduced verbatim; metadata (topic, difficulty) added by this project.