Maths Olympiad Prep

Track / Stage 4 / 303 of 340 #1043 of 2444

Problem 1043

AMC 12 late, AIME early
Number theory Difficulty 5.0 Prove it Irish Mathematical Olympiad · Ireland

Find all pairs (x,y)(x, y) of non-negative integers such that x3+7x2+35x+27=y3x^3 + 7x^2 + 35x + 27 = y^3.

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.

Next problem →

Official solution

Observe that for non-negative integers xx and yy that satisfy the equation x3+7x2+35x+27=y3x^3 + 7x^2 + 35x + 27 = y^3, we obtain
y3(x+2)3=x3+7x2+35x+27x36x212x8=x2+23x+19>0 \begin{aligned} y^3 - (x+2)^3 &= x^3 + 7x^2 + 35x + 27 - x^3 - 6x^2 - 12x - 8 \\ &= x^2 + 23x + 19 > 0 \end{aligned}
and similarly
(x+4)3y3=5x2+13x+37>0 (x+4)^3 - y^3 = 5x^2 + 13x + 37 > 0
Thus x+2<y<x+4x+2 < y < x+4, and since xx and yy are integers, y=x+3y = x+3. Substitution in the original equation yields
x3+7x2+35x+27=x3+9x2+27x+27 x^3 + 7x^2 + 35x + 27 = x^3 + 9x^2 + 27x + 27
and so x2=4xx^2 = 4x. Hence x=0x = 0 or x=4x = 4, and the corresponding values of yy are 33 and 77. The pairs (0,3)(0, 3) and (4,7)(4, 7) are easily seen to satisfy the equation.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.