Maths Olympiad Prep

Library / /24 of 39

, 2012

Algebra Difficulty 6.2 National olympiad Prove it Belarus

A quadratic trinomial x2+px+qx^2 + p x + q with integer coefficients pp and qq is said to be *irrational* if it has irrational roots α1\alpha_1 and α2\alpha_2.
Find the smallest value of the sum α1+α2|\alpha_1| + |\alpha_2| among all irrational trinomials.

Solution

Answer: 5\sqrt{5}.
By condition, the trinomial x2+px+qx^2 + p x + q has the roots, so its discriminant D=p24q0D = p^2 - 4q \ge 0. Since p2=4q+Dp^2 = 4q + D and pp and qq are integer, we have D2D \ne 2 and D3D \ne 3 because the square of the integer number is congruent neither to 2 nor to 3 modulo 4.
Moreover, the trinomial x2+px+qx^2 + p x + q has the roots
α1=21(pD)иα2=21(p+D).() \alpha_1 = 2^{-1}(-p - \sqrt{D}) \quad \text{и} \quad \alpha_2 = 2^{-1}(-p + \sqrt{D}). \quad (*)
If the trinomial is irrational, but α1\alpha_1 and α2\alpha_2 are irrational numbers if and only if DD is different from the square of some integer number. Thus, in particular, D0,D1D \ne 0, D \ne 1 and D4D \ne 4. Therefore, D5D \ge 5.
Since the roots α1\alpha_1 and α2\alpha_2 of the irrational trinomial are different from 0, there are only two possibilities:

1) α1α2>0\alpha_1 \cdot \alpha_2 > 0

2) α1α2<0\alpha_1 \cdot \alpha_2 < 0

For case 1) we have q=α1α2>0q = \alpha_1 \cdot \alpha_2 > 0 (the Vieta theorem). So q1q \ge 1. From (*) it follows that α1+α2=p|\alpha_1| + |\alpha_2| = |p|. Since D5D \ge 5, we have p2=4q+D41+5=9p^2 = 4q + D \ge 4 \cdot 1 + 5 = 9, i.e. p3|p| \ge 3. Thus, α1+α23|\alpha_1| + |\alpha_2| \ge 3 for case 1).

For case 2) from (*) it follows that α1+α2=D5|\alpha_1| + |\alpha_2| = \sqrt{D} \ge \sqrt{5}.
It suffices to show that the estimate 5\sqrt{5} is admissible.

We find all irrational trinomials with the discriminants D=5D = 5. By Vieta's theorem, α1α2<0\alpha_1 \cdot \alpha_2 < 0 if and only if q=α1α2<0q = \alpha_1 \cdot \alpha_2 < 0, i.e. case 2) holds if and only if q1q \le -1. If q=1q = -1, then D=5D = 5 only if p2=1p^2 = 1, but if q2q \le -2, then D=p24q4q4(2)=8D = p^2 - 4q \ge -4q \ge -4 \cdot (-2) = 8. Therefore, there exist exactly two irrational trinomials with D=5D = 5 and α1α2<0\alpha_1 \cdot \alpha_2 < 0: x2x1x^2 - x - 1 and x2+x1x^2 + x - 1.

Therefore, the smallest value of the sum of the modules of the roots of the irrational trinomial is equal to 5\sqrt{5}.

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.