Maths Olympiad Prep

Library / Thailand Mathematical Olympiad /4 of 15

Thailand Mathematical Olympiad

Number theory Difficulty 5.6 AIME, harder Prove it Thailand

Determine the largest integer that divides p4−1p^4 - 1 for all primes pp greater than 33.

Solution

We first show that 3∣(p4−1)3 \mid (p^4 - 1). Since p>3p > 3 is a prime, we have 3∤p3 \nmid p, and so p≡±1(mod3)p \equiv \pm 1 \pmod{3}. Thus, p4≡1(mod3)p^4 \equiv 1 \pmod{3}, as required.

We next claim that 24∣(p4−1)2^4 \mid (p^4 - 1). Since pp is odd, we have p≡±1,±3,±5,±7(mod16)p \equiv \pm 1, \pm 3, \pm 5, \pm 7 \pmod{16}. If p≡±1(mod16)p \equiv \pm 1 \pmod{16}, then, clearly, p4≡1(mod16)p^4 \equiv 1 \pmod{16}. The remaining possibilities are similarly checked, and the claim follows.

Since gcd⁡(24,3)=1\gcd(2^4, 3) = 1, we have 24×3∣(p4−1)2^4 \times 3 \mid (p^4 - 1). Let d∈Nd \in \mathbb{N} be a divisor of p4−1p^4 - 1 for all primes p>3p > 3. Thus, d∣(54−1)d \mid (5^4 - 1) and d∣(74−1)d \mid (7^4 - 1) yielding d∣gcd⁡(54−1,74−1)=24×3d \mid \gcd(5^4 - 1, 7^4 - 1) = 2^4 \times 3.

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.