Maths Olympiad Prep

Library / /461 of 520

Algebra Difficulty 7.4 National olympiad, round 2 Prove it

5. 105 For all x>0x>0, the real-coefficient polynomial P(x)P(x) satisfies P(x)>0P(x)>0. Prove: There exist non-negative coefficient polynomials Q(x)Q(x) and R(x)R(x), such that
P(x)=Q(x)R(x)P(x)=\frac{Q(x)}{R(x)}

Solution

[Proof] Represent the polynomial P(x)P(x) as
P(x)=aF1(x)Fm(x)G1(x)Gk(x)P(x)=a F_{1}(x) \cdots F_{m}(x) G_{1}(x) \cdots G_{k}(x)

where Fi(x)F_{i}(x) and Gj(x)G_{j}(x) are
Fi(x)=xαi;αi0,i=1,2,,mGj(x)=(xβj)(xβj),βjC\R,j=1,2,,k\begin{array}{l} F_{i}(x)=x-\alpha_{i} ; \alpha_{i} \leqslant 0, i=1,2, \cdots, m \\ G_{j}(x)=\left(x-\beta_{j}\right)\left(x-\overline{\beta_{j}}\right), \beta_{j} \in C \backslash R, j=1,2, \cdots, k \end{array}

and a>0a>0. Note that the product of polynomials with non-negative coefficients is still a polynomial with non-negative coefficients. Therefore, it suffices to prove that each polynomial Fi(x)F_{i}(x) and Gj(x)G_{j}(x) can be expressed as the quotient Q(x)R(x)\frac{Q(x)}{R(x)} of polynomials with non-negative coefficients. For the polynomial F(x)=xα,α0F(x)=x-\alpha, \alpha \leqslant 0, take
Q(x)=F(x)=x+α,R(x)=1Q(x)=F(x)=x+|\alpha|, R(x)=1

Next, if Reβ0\operatorname{Re} \beta \leqslant 0, then for the polynomial
G(x)=(xβ)(xβˉ),G(x)=(x-\beta)(x-\bar{\beta}),

let Q(x)=G(x)=x2+2Reβx+β2,R(x)=1\quad Q(x)=G(x)=x^{2}+2|\operatorname{Re} \beta| x+|\beta|^{2}, R(x)=1;
if Reβ>0\operatorname{Re} \beta>0, then assume argβ(0,π2)\arg \beta \in\left(0, \frac{\pi}{2}\right), take nNn \in N, such that
2nargβ(π2,π)2^{n} \arg \beta \in\left(\frac{\pi}{2}, \pi\right)

and when S=0,1,,n1S=0,1, \cdots, n-1,
2Sargβ(0,π2)2^{S} \arg \beta \in\left(0, \frac{\pi}{2}\right)

Since arg(β2r)=2rargβ(0rn)\quad \arg \left(\beta^{2^{r}}\right)=2^{r} \arg \beta \quad(0 \leqslant r \leqslant n),
it follows that Re(β22)0\operatorname{Re}\left(\beta^{2^{2}}\right) \leqslant 0; and when S=0,1,,n1S=0,1, \cdots, n-1, Re(β2)>0\operatorname{Re}\left(\beta^{2^{*}}\right)>0, thus we have
G(x)(xβ)(xβˉ)(x2β2)(x2βˉ2)(x+β)(x+βˉ)(x4β4)(x4βˉ4)(x+β)(x+βˉ)(x2+β2)(x2+βˉ2)(x2nβ2n)(x2nβˉ2n)(x+β)(x+βˉ)(x2n1+β2n1)(x2n1+βˉ2n1)Q(x)R(x)\begin{aligned} G(x) & \equiv(x-\beta)(x-\bar{\beta}) \\ & \equiv \frac{\left(x^{2}-\beta^{2}\right)\left(x^{2}-\bar{\beta}^{2}\right)}{(x+\beta)(x+\bar{\beta})} \\ & \equiv \frac{\left(x^{4}-\beta^{4}\right)\left(x^{4}-\bar{\beta}^{4}\right)}{(x+\beta)(x+\bar{\beta})\left(x^{2}+\beta^{2}\right)\left(x^{2}+\bar{\beta}^{2}\right)} \\ & \equiv \cdots \\ & \equiv \frac{\left(x^{2^{n}}-\beta^{2^{n}}\right)\left(x^{2^{n}}-\bar{\beta}^{2^{n}}\right)}{(x+\beta)(x+\bar{\beta}) \cdots\left(x^{2^{n-1}}+\beta^{2^{n-1}}\right)\left(x^{2^{n-1}}+\bar{\beta}^{2^{n-1}}\right)} \\ & \equiv \frac{Q(x)}{R(x)} \end{aligned}

where
Q(x)=(x2nβ2n)(x2nβˉ2n)R(x)=(x+β)(x+βˉ)(x2n1+β2n1)(x2n1+βˉ2n1)\begin{array}{l} Q(x)=\left(x^{2^{n}}-\beta^{2^{n}}\right)\left(x^{2^{n}}-\bar{\beta}^{2^{n}}\right) \\ R(x)=(x+\beta)(x+\bar{\beta}) \cdots\left(x^{2^{n-1}}+\beta^{2^{n-1}}\right)\left(x^{2^{n-1}}+\bar{\beta}^{2^{n-1}}\right) \end{array}

are polynomials with non-negative coefficients, because all polynomials
(xl+γ)(xl+γˉ)x2l+(2Reγ)xl+r2,lN,Rer>0\begin{aligned} & \left(x^{l}+\gamma\right)\left(x^{l}+\bar{\gamma}\right) \\ \equiv & x^{2 l}+(2 \operatorname{Re} \gamma) x^{l}+|r|^{2}, l \in N, \operatorname{Re} r>0 \end{aligned}

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.