Maths Olympiad Prep

Library / /95 of 120

Algebra Difficulty 6.0 National olympiad Prove it Saudi Arabia

Let f=aX2+bX+cZ[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 gZ[X]g \in \mathbb{Z}[X].

Solution

The sequence xn=f(n+1)f(n)x_{n} = \sqrt{f(n+1)} - \sqrt{f(n)}, n1n \geq 1, contains only integers. We have
limnxn=limnf(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)naZ y_{n} = \sqrt{f(n)} - n \sqrt{a} \in \mathbb{Z}
for every n1n \geq 1. We have
limnyn=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 b2aZ\frac{b}{2\sqrt{a}} \in \mathbb{Z}, and yn=b2ay_{n} = \frac{b}{2\sqrt{a}} for any nn0n \geq n_{0}. It follows f(n)=(an+d)2f(n) = (\sqrt{a} n + d)^{2} for any nn0n \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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.