Maths Olympiad Prep

Track / Stage 6 / 152 of 400 #1152 of 1964

Problem 1152

National olympiad, first round
Algebra Difficulty 6.2 Prove it

5. Let nn be a natural number such that n5+n3+2n2+2n+2n^{5}+n^{3}+2 n^{2}+2 n+2 is a perfect cube. Prove that 2n2+n+22 n^{2}+n+2 is not a perfect cube.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

Solution. Let us assume that n5+n3+2n2+2n+2n^{5}+n^{3}+2 n^{2}+2 n+2 and 2n2+n+22 n^{2}+n+2 are perfect cubes, i.e., there exist natural numbers xx and yy such that

n5+n3+2n2+2n+2=x32n2+n+2=y3 \begin{aligned} & n^{5}+n^{3}+2 n^{2}+2 n+2=x^{3} \\ & 2 n^{2}+n+2=y^{3} \end{aligned}

Then

x3y3=n5+n3+n=n(n4+2n2+1n2)=n(n2+n+1)(n2n+1) x^{3}-y^{3}=n^{5}+n^{3}+n=n\left(n^{4}+2 n^{2}+1-n^{2}\right)=n\left(n^{2}+n+1\right)\left(n^{2}-n+1\right)

so

(xy)(x2+xy+y2)=n(n2+n+1)(n2n+1) (x-y)\left(x^{2}+x y+y^{2}\right)=n\left(n^{2}+n+1\right)\left(n^{2}-n+1\right)

The product on the right side of the last equation is divisible by 3. Indeed, if n=3kn=3 k then the first factor is divisible by 3, if n=3k+1n=3 k+1, then the second factor is divisible by 3, and for n=3k+2n=3 k+2 the third factor is divisible by 3. Therefore, 3xy3 \mid x-y or 3x2+xy+y23 \mid x^{2}+x y+y^{2}. However, from x2+xy+y2=(xy)2+3xyx^{2}+x y+y^{2}=(x-y)^{2}+3 x y it follows that 3x2+xy+y23 \mid x^{2}+x y+y^{2} if and only if 3xy3 \mid x-y. Therefore, in this case, 3xy3 \mid x-y and also 3x2+xy+y23 \mid x^{2}+x y+y^{2}, which means that 9x3y39 \mid x^{3}-y^{3}.

From the above considerations, it follows that 9n(n2+n+1)(n2n+1)9 \mid n\left(n^{2}+n+1\right)\left(n^{2}-n+1\right). Furthermore, no two of the numbers n,n2+n+1n, n^{2}+n+1, and n2n+1n^{2}-n+1 are simultaneously divisible by 3 (Why?), so the following cases are possible.

Case 1. If 9n9 \mid n, then x3=n5+n3+2n2+2n+22(mod9)x^{3}=n^{5}+n^{3}+2 n^{2}+2 n+2 \equiv 2(\bmod 9), which is not possible since the cube of a natural number when divided by 9 does not give a remainder of 2.

Case 2. If 9n2+n+19 \mid n^{2}+n+1, then a(a+1)=a2+a8(mod9)a(a+1)=a^{2}+a \equiv 8(\bmod 9), but a direct check shows that the product of two consecutive natural numbers when divided by 9 does not give a remainder of 8.

Case 3. If 9n2n+19 \mid n^{2}-n+1, then a(a1)=a2a8(mod9)a(a-1)=a^{2}-a \equiv 8(\bmod 9), but a direct check shows that the product of two consecutive natural numbers when divided by 9 does not give a remainder of 8.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.