Maths Olympiad Prep

Library / Saudi Arabian Mathematical Competitions /251 of 395

Saudi Arabian Mathematical Competitions

Algebra Difficulty 6.0 National Olympiad Prove it Saudi Arabia

Let f=aX2+bX+c∈Z[X]f = a X^{2} + b X + c \in \mathbb{Z}[X] be a polynomial such that for every positive integer nn, f(n)f(n) is a perfect square. Prove that f=g2f = g^{2} for some polynomial g∈Z[X]g \in \mathbb{Z}[X].

Solution

The sequence xn=f(n+1)−f(n)x_{n} = \sqrt{f(n+1)} - \sqrt{f(n)}, n≥1n \geq 1, contains only integers. We have
lim⁡n→∞xn=lim⁡n→∞f(n+1)−f(n)f(n+1)+f(n)=2a2a=a \lim_{n \rightarrow \infty} x_{n} = \lim_{n \rightarrow \infty} \frac{f(n+1) - f(n)}{\sqrt{f(n+1)} + \sqrt{f(n)}} = \frac{2a}{2\sqrt{a}} = \sqrt{a}
It follows that a\sqrt{a} is an integer, hence
yn=f(n)−na∈Z y_{n} = \sqrt{f(n)} - n \sqrt{a} \in \mathbb{Z}
for every n≥1n \geq 1. We have
lim⁡n→∞yn=bn+cf(n)+na=b2a \lim_{n \rightarrow \infty} y_{n} = \frac{b n + c}{\sqrt{f(n)} + n \sqrt{a}} = \frac{b}{2\sqrt{a}}
hence b2a∈Z\frac{b}{2\sqrt{a}} \in \mathbb{Z}, and yn=b2ay_{n} = \frac{b}{2\sqrt{a}} for any n≥n0n \geq n_{0}. It follows f(n)=(an+d)2f(n) = (\sqrt{a} n + d)^{2} for any n≥n0n \geq n_{0}, and we get f=g2f = g^{2}, where g=aX+dg = \sqrt{a} X + d.

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

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