Maths Olympiad Prep

Library / /7 of 39

Number theory Difficulty 5.6 AIME, harder Prove it Croatia

Let n2n \ge 2 be a positive integer and pp a prime number. If the number p1p-1 is divisible by nn, and the number n31n^3-1 is divisible by pp, prove that 4p34p-3 is a square of an integer.

Solution

Since nn divides p1p-1, there exists a positive integer aa such that p1=anp-1 = an. We also have p1np-1 \ge n.

From the condition that n31=(n1)(n2+n+1)n^3-1 = (n-1)(n^2+n+1) is divisible by the prime number pp, it follows that n2+n+1n^2+n+1 is divisible by pp. Indeed, 1n1<n+1p1 \le n-1 < n+1 \le p, so n1n-1 cannot be divisible by pp.

Hence an+1n2+n+1an+1 \mid n^2+n+1. This implies that 1an+11 \le a \le n+1 (because if an+2a \ge n+2, then an+1(n+2)n+1=n2+2n+1>n2+n+1an+1 \ge (n+2) \cdot n+1 = n^2+2n+1 > n^2+n+1, which is impossible).

From the same divisibility it follows that an+1a(n2+n+1)n(an+1)=(a1)n+aan+1 \mid a \cdot (n^2+n+1) - n \cdot (an+1) = (a-1)n+a, which is positive, so we must have (a1)n+aan+1(a-1)n+a \ge an+1, i.e. an+1a \ge n+1.

It follows that a=n+1a = n+1 and p=n2+n+1p = n^2+n+1.

Hence 4p3=4n2+4n+1=(2n+1)24p-3 = 4n^2+4n+1 = (2n+1)^2, which finishes the proof.

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.