Maths Olympiad Prep

Library / /31 of 91

, 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=α(β+γ)+βγ=α3cα, b = \alpha(\beta + \gamma) + \beta\gamma = \alpha^3 - \frac{c}{\alpha},
or α4bαc=0\alpha^4 - b\alpha - c = 0. This gives (α+α)2bαc=0(\alpha + \alpha)^2 - b\alpha - c = 0, which simplifies to a(2αb1)=c+a(a1)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(a1)2ab1. \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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

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