Maths Olympiad Prep

Library / India — Team Selection Test /29 of 77

India — Team Selection Test, 2010

Algebra Difficulty 5.6 AIME, harder Prove it India

Let aa, bb, cc be integers such that bb is even. Suppose the equation x3+ax2+bx+c=0x^3 + a x^2 + b x + c = 0 has roots α\alpha, β\beta, γ\gamma such that α2=β+γ\alpha^2 = \beta + \gamma. Prove that α\alpha is an integer and β≠γ\beta \neq \gamma.

Solution

Let α\alpha, β\beta, γ\gamma be the roots of the cubic. Then we have
α+β+γ=−a,αβ+βγ+γα=b,αβγ=−c. \alpha + \beta + \gamma = -a, \quad \alpha\beta + \beta\gamma + \gamma\alpha = b, \quad \alpha\beta\gamma = -c.
Thus α2=β+γ=−a−α\alpha^2 = \beta + \gamma = -a - \alpha. We also observe that α≠0\alpha \neq 0; otherwise c=0c = 0 contradicting that cc is odd. Hence βγ=−c/α\beta\gamma = -c/\alpha and
b=α(β+γ)+βγ=α3−cα, b = \alpha(\beta + \gamma) + \beta\gamma = \alpha^3 - \frac{c}{\alpha},
or α4−bα−c=0\alpha^4 - b\alpha - c = 0. This gives (α+α)2−bα−c=0(\alpha + \alpha)^2 - b\alpha - c = 0, which simplifies to a(2α−b−1)=c+a(a−1)a(2\alpha - b - 1) = c + a(a - 1). Note that the right side is odd and hence is not equal to 0. We thus get
α=c+a(a−1)2a−b−1. \alpha = \frac{c + a(a - 1)}{2a - b - 1}.
This shows that α\alpha is a rational number. Now α\alpha is a rational root of a monic polynomial with integer coefficients. Hence it must be an integer. Since a=−α(α+1)a = -\alpha(\alpha + 1), aa is even.
Suppose β=γ\beta = \gamma. Then 2β=β+γ=−a−α2\beta = \beta + \gamma = -a - \alpha, so that β\beta is a rational number. Hence β(=γ)\beta(= \gamma) is an integer. Again 2β=−a−α2\beta = -a - \alpha shows that α\alpha is even. But then c=−αβγc = -\alpha\beta\gamma shows that cc is even. Hence β=γ\beta = \gamma is not possible.

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.