Maths Olympiad Prep

Library / /6 of 48

Algebra Difficulty 4.4 AIME Prove it Baltic Way

Problem:
Prove that any real solution of
x3+px+q=0 x^{3}+p x+q=0
satisfies the inequality 4qxp24 q x \leq p^{2}.

Solutions — 2

Solution 1

Solution:
Let x0x_{0} be a root of the cubic, then x3+px+q=(xx0)(x2+ax+b)=x3+(ax0)x2+(bax0)xbx0x^{3}+p x+q=(x-x_{0})(x^{2}+a x+b)=x^{3}+(a-x_{0}) x^{2}+(b-a x_{0}) x-b x_{0}. So a=x0a=x_{0}, p=bax0=bx02p=b-a x_{0}=b-x_{0}^{2}, q=bx0-q=b x_{0}. Hence p2=b22bx02+x04p^{2}=b^{2}-2 b x_{0}^{2}+x_{0}^{4}. Also 4x0q=4x02b4 x_{0} q=-4 x_{0}^{2} b. So p24x0q=b2+2bx02+x04=(b+x02)20p^{2}-4 x_{0} q=b^{2}+2 b x_{0}^{2}+x_{0}^{4}=(b+x_{0}^{2})^{2} \geq 0.

Solution 2

Solution:
As the equation x0x2+px+q=0x_{0} x^{2}+p x+q=0 has a root (x=x0)(x=x_{0}), we must have D0p24qx00D \geq 0 \Leftrightarrow p^{2}-4 q x_{0} \geq 0. (Also the equation x2+px+qx0=0x^{2}+p x+q x_{0}=0 having the root x=x02x=x_{0}^{2} can be considered.)

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.