Consider the following polynomial f(x)=x2−αx+1 with α∈R.
a) For α=215, express f(x) as the quotient of two polynomials with non-negative coefficients.
b) Find all values of α such that f(x) can be written as the quotient of two polynomials with non-negative coefficients.
Solution
a. We consider the following transformation (x2−215x+1)(x2+215x+1)=x4−47x2+1, (x4−47x2+1)(x4+47x2+1)=x8−1617x4+1, (x8−1617x4+1)(x8+1617x4+1)=x16+256223x8+1. It follows that f(x) is the quotient of x16+256223x8+1 and (x2+215x+1)(x4+47x2+1)(x8+1617x4+1).
b. Suppose Q(x)P(x)=x2−αx+1 where P,Q are polynomials with non-negative coefficients. Substituting x=1, we have 2−α=Q(1)P(1)>0 so α<2. We will prove that every real number α<2 satisfies the problem. Indeed, if α≤0 then the polynomial f(x) itself is satisfied, so we can choose P(x)=f(x), Q(x)=1. If α∈(0;2), let us consider the multiplication (x2−αx+1)(x2+αx+1)=x4+(2−α2)x2+1. Continuing like that, we find that the coefficients of the first and last terms of the polynomial are always 1, and the middle coefficient is determined by the sequence (un) as follows {u0=α,un+1=2−un2,n≥0. We will prove that there exists a positive term in this sequence. Suppose that for every n≥1, un<0. Then, since α∈(0;2) so by induction, we can show that −2<un<0,∀n≥1. Note that un+1−un=2−un−un2=(2+un)(1−un)>0, so un+1−un>0,∀n≥1; shows that this sequence increases. Since the sequence is bounded by 0 so it has a limit L∈(−2;0]. By letting n tend to infinity, we have L=2−L2 so L∈{1;−2}. This contradiction shows that there exists n=N so that uN≥0. Consider the polynomials sequence fn(x)=x2n+1+unx2n+1 with n=1,2,3,…,N it is easy to see that f(x) is the quotient of two polynomials fN(x) and f1(x)f2(x)…fN−1(x). Clearly, these polynomials have non-negative coefficients. □
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.