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.
, 2012
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.