Maths Olympiad Prep

Library / /26 of 462

Number theory Difficulty 4.5 AIME Prove it Ireland

Determine all triples (p,m,n)(p, m, n) where pp is prime and mm and nn are non-negative integers satisfying the equation
pmn3=27. p^m - n^3 = 27.

Solution

Because pn=n3+27=(n+3)(n23n+9)p^n = n^3 + 27 = (n+3)(n^2 - 3n + 9), there are positive integers x,yx, y such that px=n+3p^x = n+3 and py=n23n+9p^y = n^2 - 3n + 9. As n23n+9(n+3)=n24n+6=(n2)2+2>0n^2 - 3n + 9 - (n+3) = n^2 - 4n + 6 = (n-2)^2 + 2 > 0 we have px<pyp^x < p^y and so pxpyp^x|p^y. Hence (n+3)(n23n+9)(n+3)|(n^2 - 3n + 9). But n23n+9=(n+3)(n6)+27n^2 - 3n + 9 = (n+3)(n-6) + 27, thus (n+3)27(n+3)|27, which gives n+3{3,9,27}n+3 \in \{3, 9, 27\}.
The case n=24n = 24 is impossible, because n3+27=243+27=33(83+1)=3619n^3+27 = 24^3+27 = 3^3(8^3+1) = 3^6 \cdot 19 is not a power of a prime. For n=0n = 0 and n=6n = 6 we obtain the following solutions (p,m,n)(p, m, n): (3,3,0)(3, 3, 0) and (3,5,6)(3, 5, 6).

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.