Number theoryDifficulty 6.1National OlympiadProve itCanada
Problem: Let p be a prime number for which 2p−1 is also prime, and let a, b, c be integers not divisible by p. Prove that there are at most 1+2p positive integers n such that n<p and p divides an+bn+cn.
Solution
Solution: First suppose b≡±a(modp) and c≡±b(modp). Then, for any n, we have an+bn+cn≡±an or ±3an(modp). We are given that p=3 (since 23−1 is not prime) and p∤a, so it follows that an+bn+cn≡0(modp). The claim is trivial in this case.
Otherwise, we may assume without loss of generality that b≡±a(modp)⟹ba−1≡±1(modp).
Now let q=2p−1. By Fermat's little theorem, we know that the order of ba−1modp divides p−1=2q. However, since ba−1≡±1(modp), the order of ba−1 does not divide 2. Thus, the order must be either q or 2q.
Next, let S denote the set of positive integers n<p such that an+bn+cn≡0(modp), and let st denote the number of ordered pairs (i,j)⊂S such that i−j≡t(modp−1).
Lemma: If t is a positive integer less than 2q and not equal to q, then st≤2.
Proof: Consider i,j∈S with j−i≡t(modp−1). Then we have ⟹⟹⟹ai+bi+ci≡0(modp)aicj−i+bicj−i+cj≡0(modp)aicj−i+bicj−i−aj−bj≡0(modp)ai⋅(ct−at)≡bi⋅(bt−ct)(modp). If ct≡at(modp), then this implies ct≡bt(modp) as well, so (ab−1)t≡1(modp). However, we know the order of ab−1 is q or 2q, and q∤t, so this is impossible. Thus, we can write (ab−1)i≡(bt−ct)⋅(ct−at)−1(modp) For a fixed t, the right-hand side of this equation is fixed, so (ab−1)i is also fixed. Since the order of ab−1 is either q or 2q, it follows that there are at most 2 solutions for i, and the lemma is proven.
Now, for each element i in S, there are at least ∣S∣−2 other elements that differ from i by a quantity other than q(modp−1). Therefore, the lemma implies that ∣S∣⋅(∣S∣−2)⟹(∣S∣−1)2⟹∣S∣≤t=q∑st≤2⋅(p−2)≤2p−3<2p+1.
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.