Maths Olympiad Prep

Library / /32 of 39

, 2012

Algebra Difficulty 6.6 National olympiad Prove it Belarus

A cubic trinomial x3+px+qx^3 + px + q with integer coefficients pp and qq is said to be *irrational* if it has three pairwise distinct real irrational roots α1\alpha_1, α2\alpha_2, α3\alpha_3.
Find all irrational cubic trinomials for which the value of α1+α2+α3|\alpha_1| + |\alpha_2| + |\alpha_3| is the minimal possible.

Solution

First, for R(x)=x3+px+qR(x) = x^3 + px + q to have three distinct real roots it is necessary that p<0p < 0 (because the derivative R(x)=3x2+pR'(x) = 3x^2 + p cannot be nonnegative). Let now p<0p < 0, then the equation R(x)=0R'(x) = 0 has two real roots x1=p/3x_1 = -\sqrt{-p/3}, x2=p/3x_2 = \sqrt{-p/3}. Now, the condition that R(x)R(x) has three distinct real roots is equivalent to the inequality R(x1)R(x2)<0R(x_1) \cdot R(x_2) < 0, which can be written as
4p3+27q2<0.() 4p^3 + 27q^2 < 0. \quad (*)
Let (*) be valid; denote by α1<α2<α3\alpha_1 < \alpha_2 < \alpha_3 the roots of R(x)R(x). Since R(x)R(x) is irrational, it has no zero roots. By Vieta's formula α1+α2+α3=0\alpha_1 + \alpha_2 + \alpha_3 = 0. Hence we have two possibilities:

i) α1<α2<0<α3\alpha_1 < \alpha_2 < 0 < \alpha_3;
ii) α1<0<α2<α3\alpha_1 < 0 < \alpha_2 < \alpha_3.

Without loss of generality we can assume that case i) holds (if x3+px+qx^3 + px + q satisfies ii), then x3+pxqx^3 + px - q satisfies i)).

So, let α1<α2<0<α3\alpha_1 < \alpha_2 < 0 < \alpha_3, then q=α1α2α3<0q = -\alpha_1\alpha_2\alpha_3 < 0. Further,
α1+α2+α3=α1+α2+α3=2α3. |\alpha_1| + |\alpha_2| + |\alpha_3| = |\alpha_1 + \alpha_2| + \alpha_3 = 2\alpha_3.
Hence we need to find R(x)R(x) satisfying (*), p,qZp, q \in \mathbb{Z}, p<0p < 0, q<0q < 0, and for which 2α32\alpha_3 is the smallest possible.

First, note that due to p<0p < 0, q<0q < 0 we have R(1)=1+p+q<0R(1) = 1 + p + q < 0 which implies α3>1\alpha_3 > 1. Further, R(2)=8+2p+qR(2) = 8 + 2p + q. If R(2)0R(2) \le 0, then α32\alpha_3 \ge 2. Hence, if α3<2\alpha_3 < 2, then
8+2p+q>0.() 8 + 2p + q > 0. \quad (**)
Now, it is easy to see that all R(x)R(x) satisfying (*), (**) with p<0p < 0, q<0q < 0 are the following: x32x1x^3 - 2x - 1 and x33x1x^3 - 3x - 1. The first of them is not irrational since it has 1-1 as a root. The second trinomial satisfies the condition.

*Remark.* One can verify that the value of α1+α2+α3|\alpha_1| + |\alpha_2| + |\alpha_3| is equal to 4cos204 \cos 20^\circ for the founded polynomials.

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 and solution reproduced as published; topic and difficulty added by this site.