MathDB
Expression is a perfect square implies the polynomial is constant

Source: IMSC Day 2 Problem 3

June 29, 2024
algebrapolynomialnumber theorynumber theory proposedalgebra proposedLifting the ExponentDivisibility

Problem Statement

Let a1(mod4)a\equiv 1\pmod{4} be a positive integer. Show that any polynomial QZ[X]Q\in\mathbb{Z}[X] with all positive coefficients such that Q(n+1)((a+1)Q(n)aQ(n))Q(n+1)((a+1)^{Q(n)}-a^{Q(n)}) is a perfect square for any nNn\in\mathbb{N}^{\ast} must be a constant polynomial.
Proposed by Vlad Matei, Romania