Maths Olympiad Prep

Library / /42 of 64

Algebra Difficulty 8.0 National olympiad, round 2 Find the answer

Find all pairs of polynomials p(x)p(x) and q(x)q(x) with real coefficients for which
p(x)q(x+1)p(x+1)q(x)=1. p(x) q(x+1) - p(x+1) q(x) = 1.

A number or a short expression. Spacing and $ signs are ignored.

Solution

The pairs (p,q)(p,q) satisfying the given equation are those of the form p(x)=ax+b,q(x)=cx+dp(x) = ax+b, q(x) = cx+d
for a,b,c,d\RRa,b,c,d \in \RR such that bcad=1bc- ad = 1. We will see later that these indeed give solutions.

Suppose pp and qq satisfy the given equation; note that neither pp nor qq can be identically zero.
By subtracting the equations
\begin{align*}
p(x) q(x+1) - p(x+1) q(x) &= 1 \\
p(x-1) q(x) - p(x) q(x-1) &= 1,
\end{align*}
we obtain the equation
p(x)(q(x+1)+q(x1))=q(x)(p(x+1)+p(x1)). p(x) (q(x+1) + q(x-1)) = q(x) (p(x+1) + p(x-1)).
The original equation implies that p(x)p(x) and q(x)q(x) have no common nonconstant factor,
so p(x)p(x) divides p(x+1)+p(x1)p(x+1) + p(x-1). Since each of p(x+1)p(x+1) and p(x1)p(x-1) has the same degree and leading
coefficient as pp, we must have
p(x+1)+p(x1)=2p(x). p(x+1) + p(x-1) = 2p(x).
If we define the polynomials r(x)=p(x+1)p(x)r(x) = p(x+1) - p(x), s(x)=q(x+1)q(x)s(x) = q(x+1) - q(x),
we have r(x+1)=r(x)r(x+1) = r(x), and similarly s(x+1)=s(x)s(x+1) = s(x).
Put
a=r(0),b=p(0),c=s(0),d=q(0). a = r(0), b = p(0), c = s(0), d = q(0).
Then r(x)=a,s(x)=cr(x) = a, s(x) = c for all x\ZZx \in \ZZ, and hence identically;
consequently, p(x)=ax+b,q(x)=cx+dp(x) = ax + b, q(x) = cx + d for all x\ZZx \in \ZZ, and hence identically.
For pp and qq of this form,
p(x)q(x+1)p(x+1)q(x)=bcad, p(x) q(x+1) - p(x+1) q(x) = bc - ad,
so we get a solution if and only if bcad=1bc-ad=1, as claimed.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

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