Browse · MathNet
PrintBelorusija 2012
Belarus 2012 algebra
Problem
A cubic trinomial with integer coefficients and is said to be irrational if it has three pairwise distinct real irrational roots , , . Find all irrational cubic trinomials for which the value of is the minimal possible.
Solution
First, for to have three distinct real roots it is necessary that (because the derivative cannot be nonnegative). Let now , then the equation has two real roots , . Now, the condition that has three distinct real roots is equivalent to the inequality , which can be written as Let () be valid; denote by the roots of . Since is irrational, it has no zero roots. By Vieta's formula . Hence we have two possibilities:
i) ; ii) .
Without loss of generality we can assume that case i) holds (if satisfies ii), then satisfies i)).
So, let , then . Further, Hence we need to find satisfying (), , , , and for which is the smallest possible.
First, note that due to , we have which implies . Further, . If , then . Hence, if , then Now, it is easy to see that all satisfying (), () with , are the following: and . The first of them is not irrational since it has as a root. The second trinomial satisfies the condition.
Remark.* One can verify that the value of is equal to for the founded polynomials.
i) ; ii) .
Without loss of generality we can assume that case i) holds (if satisfies ii), then satisfies i)).
So, let , then . Further, Hence we need to find satisfying (), , , , and for which is the smallest possible.
First, note that due to , we have which implies . Further, . If , then . Hence, if , then Now, it is easy to see that all satisfying (), () with , are the following: and . The first of them is not irrational since it has as a root. The second trinomial satisfies the condition.
Remark.* One can verify that the value of is equal to for the founded polynomials.
Final answer
x^3 - 3x - 1 and x^3 - 3x + 1
Techniques
Vieta's formulasIntermediate Value Theorem