Olympiad Maths Prep

Track / Stage 6 / 290 of 400 #1290 of 2000

Problem 1290

National olympiad, first round
Algebra Difficulty 6.5 Prove it

2. Let pp be a polynomial of degree 2, at least one of whose coefficients is not an integer. Suppose that for every integer nn, the number p(n)p(n) is also an integer. Prove that the polynomial q(x)=p(x)12x(x+1)q(x)=p(x)-\frac{1}{2} x(x+1) has only integer coefficients.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

III/2. Let P(x)=αx2+βx+γP(x)=\alpha x^{2}+\beta x+\gamma. Then the numbers P(0)=γ,P(1)P(0)=P(0)=\gamma, P(1)-P(0)= (α+β+γ)γ=α+β(\alpha+\beta+\gamma)-\gamma=\alpha+\beta and P(2)2P(1)+P(0)=(4α+2β+γ)2(α+β+γ)+γ=2αP(2)-2 P(1)+P(0)=(4 \alpha+2 \beta+\gamma)-2(\alpha+\beta+\gamma)+\gamma=2 \alpha must be integers. Let 2α=aZ2 \alpha=a \in \mathbb{Z}, so α=a2\alpha=\frac{a}{2}. If aa is even, the number α\alpha is an integer, so the number β\beta must also be an integer, which is in contradiction with the assumption of the problem, since all coefficients of the polynomial PP are integers. Therefore, aa must be odd, i.e., of the form a=2a+1,aZa=2 a^{\prime}+1, a^{\prime} \in \mathbb{Z}. Thus, α=a+12\alpha=a^{\prime}+\frac{1}{2}. From this, it follows that β\beta must also be of the form β=b+12,bZ\beta=b+\frac{1}{2}, b \in \mathbb{Z}. Therefore, P(x)=ax2+12x2+bx+12x+γP(x)=a^{\prime} x^{2}+\frac{1}{2} x^{2}+b x+\frac{1}{2} x+\gamma, so the polynomial Q(x)=ax2+bx+γQ(x)=a^{\prime} x^{2}+b x+\gamma has only integer coefficients.

2nd method. Let P(x)=αx2+βx+γP(x)=\alpha x^{2}+\beta x+\gamma. Then the numbers P(0)=γ,P(1)P(0)=P(0)=\gamma, P(1)-P(0)= (α+β+γ)γ=α+β(\alpha+\beta+\gamma)-\gamma=\alpha+\beta and P(1)P(0)=(αβ+γ)γ=αβP(-1)-P(0)=(\alpha-\beta+\gamma)-\gamma=\alpha-\beta must be integers. Thus, we know that
α+β,αβZ\alpha+\beta, \alpha-\beta \in \mathbb{Z}. If we add and subtract the last two numbers, we find that the numbers 2α2 \alpha and 2β2 \beta must also be integers. If 2α2 \alpha is an even number, α\alpha is an integer. Since α+βZ\alpha+\beta \in \mathbb{Z}, β\beta is also an integer - the condition of the problem is therefore not met. Thus, 2α2 \alpha must be an odd number. By a similar argument, we find that 2β2 \beta must also be an odd number.

Thus, we can write 2α=2a+1,aZ2 \alpha=2 a+1, a \in \mathbb{Z} and 2β=2b+1,bZ2 \beta=2 b+1, b \in \mathbb{Z}. We substitute these into the polynomial QQ and get Q(x)=ax2+bx+γQ(x)=a x^{2}+b x+\gamma. All its coefficients are indeed integers.
Conclusion γZ\gamma \in \mathbb{Z} ..... 1 point
Conclusion α+βZ\alpha+\beta \in \mathbb{Z} ..... 1 point
Conclusion 2α2 \alpha or 2βZ2 \beta \in \mathbb{Z} ..... 1 point
Use of the assumption and conclusion that two coefficients are not integers ..... 1 point
Conclusion that α\alpha is of the form a+12a+\frac{1}{2} for some aZa \in \mathbb{Z} ..... 1 point
Conclusion that β\beta is of the form b+12b+\frac{1}{2} for some bZb \in \mathbb{Z} ..... 1 point
Final conclusion that the coefficients of the polynomial QQ are integers ..... 1 point

The last point is awarded only for completely irrefutable reasoning throughout the ENTIRE solution. If the contestant assumes from the start that the coefficients are rational numbers (and immediately writes the coefficients in the form xy\frac{x}{y}), the conclusions drawn by this method are NOT RECOGNIZED.

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