Maths Olympiad Prep

Library / Irish Mathematical Olympiad /16 of 236

Irish Mathematical Olympiad

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
pm−n3=27. p^m - n^3 = 27.

Solution

Because pn=n3+27=(n+3)(n2−3n+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=n2−3n+9p^y = n^2 - 3n + 9. As n2−3n+9−(n+3)=n2−4n+6=(n−2)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 px∣pyp^x|p^y. Hence (n+3)∣(n2−3n+9)(n+3)|(n^2 - 3n + 9). But n2−3n+9=(n+3)(n−6)+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)=36⋅19n^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,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.