Maths Olympiad Prep

Library / Indian National Mathematical Olympiad /12 of 103

Indian National Mathematical Olympiad

Algebra Difficulty 5.3 AIME, harder Prove it India

Problem:
Let a,b,ca, b, c be three real numbers such that 1≥a≥b≥c≥01 \geq a \geq b \geq c \geq 0. Prove that if λ\lambda is a root of the cubic equation x3+ax2+bx+c=0x^{3}+a x^{2}+b x+c=0 (real or complex), then ∣λ∣≤1|\lambda| \leq 1.

Solution

Solution:
Since λ\lambda is a root of the equation x3+ax2+bx+c=0x^{3}+a x^{2}+b x+c=0, we have
λ3=−aλ2−bλ−c \lambda^{3} = -a \lambda^{2} - b \lambda - c
This implies that
λ4=−aλ3−bλ2−cλ=(1−a)λ3+(a−b)λ2+(b−c)λ+c \begin{aligned} \lambda^{4} & = -a \lambda^{3} - b \lambda^{2} - c \lambda \\ & = (1-a) \lambda^{3} + (a-b) \lambda^{2} + (b-c) \lambda + c \end{aligned}
where we have used again
−λ3−aλ2−bλ−c=0 -\lambda^{3} - a \lambda^{2} - b \lambda - c = 0
Suppose ∣λ∣≥1|\lambda| \geq 1. Then we obtain
∣λ∣4≤(1−a)∣λ∣3+(a−b)∣λ∣2+(b−c)∣λ∣+c≤(1−a)∣λ∣3+(a−b)∣λ∣3+(b−c)∣λ∣3+c∣λ∣3≤∣λ∣3 \begin{aligned} |\lambda|^{4} & \leq (1-a)|\lambda|^{3} + (a-b)|\lambda|^{2} + (b-c)|\lambda| + c \\ & \leq (1-a)|\lambda|^{3} + (a-b)|\lambda|^{3} + (b-c)|\lambda|^{3} + c|\lambda|^{3} \\ & \leq |\lambda|^{3} \end{aligned}
This shows that ∣λ∣≤1|\lambda| \leq 1. Hence the only possibility in this case is ∣λ∣=1|\lambda|=1. We conclude that ∣λ∣≤1|\lambda| \leq 1 is always true.

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.