Maths Olympiad Prep

Library / Junior Balkan Mathematics Olympiad /2 of 15

Junior Balkan Mathematics Olympiad

Number theory Difficulty 5.2 AIME, harder Prove it JBMO

Problem:
Determine the largest positive integer nn that divides p6−1p^{6}-1 for all primes p>7p>7.

Solution

Solution:
Note that
p6−1=(p−1)(p+1)(p2−p+1)(p2+p+1) p^{6}-1=(p-1)(p+1)\left(p^{2}-p+1\right)\left(p^{2}+p+1\right)
For p=11p=11 we have
p6−1=1771560=23⋅32⋅5⋅7⋅19⋅37 p^{6}-1=1771560=2^{3} \cdot 3^{2} \cdot 5 \cdot 7 \cdot 19 \cdot 37
For p=13p=13 we have
p6−1=23⋅32⋅7⋅61⋅157 p^{6}-1=2^{3} \cdot 3^{2} \cdot 7 \cdot 61 \cdot 157
From the last two calculations we find evidence to try showing that p6−1p^{6}-1 is divisible by 23⋅32⋅7=5042^{3} \cdot 3^{2} \cdot 7=504 and this would be the largest positive integer that divides p6−1p^{6}-1 for all primes greater than 7.
By Fermat's theorem, 7∣p6−17 \mid p^{6}-1.
Next, since pp is odd, 8∣p2−1=(p−1)(p+1)8 \mid p^{2}-1=(p-1)(p+1), hence 8∣p6−18 \mid p^{6}-1.
It remains to show that 9∣p6−19 \mid p^{6}-1.
Any prime number p,p>3p, p>3 is 1 or -1 modulo 3.
In the first case both p−1p-1 and p2+p+1p^{2}+p+1 are divisible by 3, and in the second case, both p+1p+1 and p2−p+1p^{2}-p+1 are divisible by 3.
Consequently, the required number is indeed 504

Let qq be a (positive) prime factor of nn. Then q≤7q \leq 7, as q∤q6−1q \nmid q^{6}-1. Also, qq is not 5, as the last digit of 136−113^{6}-1 is 8.
Hence, the prime factors of nn are among 2, 3, and 7.
Next, from 116−1=23⋅32⋅5⋅7⋅19⋅3711^{6}-1=2^{3} \cdot 3^{2} \cdot 5 \cdot 7 \cdot 19 \cdot 37 it follows that the largest integer nn such that n∣p6−1n \mid p^{6}-1 for all primes pp greater than 7 is at most 23⋅32⋅72^{3} \cdot 3^{2} \cdot 7, and it remains to prove that 504 divides p6−1p^{6}-1 for all primes greater than 7.

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