Maths Olympiad Prep

Library / Belorusija /23 of 37

Belorusija, 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=p2−4q≥0D = p^2 - 4q \ge 0. Since p2=4q+Dp^2 = 4q + D and pp and qq are integer, we have D≠2D \ne 2 and D≠3D \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=2−1(−p−D)иα2=2−1(−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, D≠0,D≠1D \ne 0, D \ne 1 and D≠4D \ne 4. Therefore, D≥5D \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 q≥1q \ge 1. From (*) it follows that ∣α1∣+∣α2∣=∣p∣|\alpha_1| + |\alpha_2| = |p|. Since D≥5D \ge 5, we have p2=4q+D≥4⋅1+5=9p^2 = 4q + D \ge 4 \cdot 1 + 5 = 9, i.e. ∣p∣≥3|p| \ge 3. Thus, ∣α1∣+∣α2∣≥3|\alpha_1| + |\alpha_2| \ge 3 for case 1).

For case 2) from (*) it follows that ∣α1∣+∣α2∣=D≥5|\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 q≤−1q \le -1. If q=−1q = -1, then D=5D = 5 only if p2=1p^2 = 1, but if q≤−2q \le -2, then D=p2−4q≥−4q≥−4⋅(−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: x2−x−1x^2 - x - 1 and x2+x−1x^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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.