Deje $P$ ser un polinomio, se ha $n$ distintas raíces reales y todas estas raíces son más grandes que 1. Vamos $$ Q(x)=(x^2+1)P(x)P'(x)+x[(P(x))^2+(P'(x))^2]. $$
Demostrar $Q(x)$ tiene al menos $2n-1$ distintas raíces reales.
Me empiezo a encontrar $Q(x)=0$ entre los dos raíces. Suponga $P(x)<0$$(x_1,x_2)$$P(x_1)=P(x_2)=0$. Existe un valor mínimo en $\xi\in(x_1,x_2)$ s.t. $$ P(\xi)<0, P'(\xi)=0, P"(\xi)>0. $$ Luego me $P(\xi)+P'(\xi)<0$.
Se puede deducir por la contradicción de que no todos los $x\in (x_1,x_2)$ satisfacer $P(x)+P'(x)\leq 0$. Por lo tanto, no existe $\eta$ s.t. $P(\eta)+P'(\eta)>0$, entonces no existe $\alpha$ s.t. $$P(\alpha)+P'(\alpha)=0.$$ $Q(\alpha)<2xP(\alpha)P'(\alpha)+x[((P(\alpha))^2+(P'(\alpha))^2]\leq 0$, es decir, $$Q(\alpha)<0.$$ Si he a$Q(x_1)>0$$Q(x_2)>0$, a continuación, por medio del teorema del valor hay dos raíces en $(x_1,x_2)$.
Los problemas de este pensamiento son:
(1) Incluso tengo dos raíces en cada intervalo, sólo $2n-2$ raíces se encuentran;
(2) $Q(x_1)>0$ $Q(x_2)>0$ puede ser cero y mi proceso sería inútil?
Espero que alguien me dé una respuesta o una sugerencia.