Maths Olympiad Prep

Library / /5 of 32

Algebra Difficulty 5.1 AIME, harder Prove it Estonia

The polynomial x3+px+qx^3 + px + q, where pp and qq are real numbers and at least one of them is non-zero, has a real root aa that satisfies
a243p. a^2 \le -\frac{4}{3}p.
Prove that this polynomial has a real root different from aa.

Solution

The assumption a3+pa+q=0a^3 + pa + q = 0 implies q=a(a2+p)q = -a(a^2 + p), whence x3+px+q=(xa)(x2+ax+a2+p)x^3 + px + q = (x-a)(x^2 + ax + a^2 + p). The discriminant of x2+ax+a2+px^2 + ax + a^2 + p is D=a24(a2+p)=(3a2+4p)D = a^2 - 4(a^2 + p) = -(3a^2 + 4p); the assumption a243pa^2 \le -\frac{4}{3}p implies D0D \ge 0. Hence there are real numbers bb and cc such that x2+ax+a2+p=(xb)(xc)x^2 + ax + a^2 + p = (x-b)(x-c), so the polynomial x3+px+qx^3 + px + q has roots bb and cc. If a=b=ca = b = c then x3+px+q=(xa)3=x33ax2+3a2x+a3x^3 + px + q = (x-a)^3 = x^3 - 3ax^2 + 3a^2x + a^3. Hence 3a=0-3a = 0, 3a2=p3a^2 = p and a3=qa^3 = q, implying p=q=0p = q = 0. This contradicts the assumption. Consequently, x3+px+qx^3 + px + q has a real root different from aa.

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.