Maths Olympiad Prep

Library / /14 of 80

Algebra Difficulty 4.2 AIME Prove it North Macedonia

Prove that for every real root xx of x2+px+q=0x^2 + p x + q = 0, where p,qRp, q \in \mathbb{R} and a>0a > 0 we have x4q(p+a)24ax \ge \frac{4q - (p + a)^2}{4a}.

Solution

The equation x2+px+q=0x^2 + p x + q = 0 has real roots, therefore p24q0p^2 - 4q \ge 0. Let one of the roots be p±p24q2\frac{-p \pm \sqrt{p^2 - 4q}}{2}.
Then
p±p24q24q(p+a)24a2a(p±p24q)4q(p+a)22ap±2ap24q4qp22apa2p24q±2ap24q+a20(p24q±a)20. \begin{aligned} \frac{-p \pm \sqrt{p^2 - 4q}}{2} &\ge \frac{4q - (p + a)^2}{4a} \\ &\Leftrightarrow 2a(-p \pm \sqrt{p^2 - 4q}) \ge 4q - (p + a)^2 \\ &\Leftrightarrow -2a p \pm 2a \sqrt{p^2 - 4q} \ge 4q - p^2 - 2a p - a^2 \\ &\Leftrightarrow p^2 - 4q \pm 2a \sqrt{p^2 - 4q} + a^2 \ge 0 \\ &\Leftrightarrow (\sqrt{p^2 - 4q} \pm a)^2 \ge 0. \end{aligned}

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.