Problem

Source: JBMO Shortlist 2022

Tags: number theory, Sequence, recursive, Junior, Balkan, shortlist



Consider the sequence $u_0, u_1, u_2, ...$ defined by $u_0 = 0, u_1 = 1,$ and $u_n = 6u_{n - 1} + 7u_{n - 2}$ for $n \ge 2$. Show that there are no non-negative integers $a, b, c, n$ such that $$ab(a + b)(a^2 + ab + b^2) = c^{2022} + 42 = u_n.$$