Como estoy seguro de que eres consciente, puede representar un polinomio como $p(x)=a_0+a_1x+a_2x^2+\ldots$ o $p(x)=(x-r_1)(x-r_2)\ldots$ donde cada una de las $r_k$ es una raíz de $p(x)$. En otras palabras, como una suma de potencias de $x$, o como un producto de las raíces.
Así que, en mi opinión, hay un par de preguntas interesantes aquí, enumerados en orden de dificultad.
- ¿Por qué se $r_k$ raíces de $p(x)$?
- ¿Por qué escribimos $p(x)$ como un producto y una suma, simultáneamente?
- Son el producto y la suma de las fórmulas de la igualdad?
- Podemos escribir cada polinomio como un producto de las raíces?
$r_k$ son raíces de $p(x)$
Empezando con una fácil, cada una de las $r_k$ debe ser una raíz de $(x-r_1)(x-r_2)\ldots$ dado que se puede sustituir en $r_k$ y encontrar que uno de los términos entre corchetes se $(r_k-r_k)=0$, de modo que toda la expresión debe ser $0$. Por lo tanto, cada una de las $r_k$ es una raíz de $p(x)$.
$p(x)$ puede ser expresado como producto y como una suma
Se demuestra de esta manera algebraica multiplicando todos los factores. Note que al multiplicar todo, hemos de elegir bien $x$ o $r_k$ de cada soporte. Así que un término será el producto de $x$, un plazo serán sólo $r_k$, y todas las demás combinaciones entre estos.
$$\begin{aligned}(x-r_1)(x-r_2)\ldots(x-r_n)
&=(\underbrace{x\times x\ldots}_n)+\ldots+(-1)^n(r_1r_2\ldots r_n)
\\&=x^n+b_{n-1}x^{n-1}+\ldots+b_1x+b_0\end{aligned}$$
En donde, cada una de las $b_k$ es una constante, hecho de una combinación de $r_k$. Así que ahora, tenemos una representación de $p(x)$ como una suma de potencias de $x$, como se desee. De hecho, el valor de cada coeficiente, $b_k$, está dada por Vietas Fórmulas. Usted puede preguntar por qué no hay ningún coeficiente, $b_k$$x^n$; es que es más fácil de leer esta manera, pero usted podría multiplicar ambos lados por $b_k$.
El producto y la suma de las fórmulas son las mismas: $\sum a_kx^k=\prod(x-r_k)$
(Igualación de coeficientes polinomiales)
Sabemos que $p(x)=a_0+a_1x+\ldots$, pero hemos demostrado que $p(x)=b_0+b_1x+\ldots$. Para mí, la siguiente pregunta que me gustaría plantear es si $a_k$ $b_k$ son los mismos coeficientes. Seguro, que hemos demostrado que el polinomio es igual a una suma de potencias de $x$ pero es el único posible de la suma?
Bien para nuestra primera representación, $p(0)=a_0$ y en la segunda representación, $p(0)=b_0$. Por lo $p(0)=a_0=b_0$, por lo que podemos restar $a_0$ o $b_0$ de cada representación, la división a través de por $x$ a ver que $a_1+a_2x+\ldots=b_1+b_2x+\ldots$. Así entonces, podemos sustituir el $x=0$ nuevo para ver que $a_1=b_1$. Podemos repetir este método a ver que cada una de las $a_k=b_k$, por lo que las dos representaciones son idénticos.
Esto significa que nuestro producto es exactamente lo mismo como la suma de $a_0+a_1x+\ldots$. Así que también podría haber sido al revés, y factorizados $a_0+a_1x+\ldots$ a $(x-r_1)(x-r_2)\ldots$, lo que puede responder a su pregunta. Pero todo esto es suponiendo que esas raíces existen en la realidad. ¿Cómo sabemos que hacer?
Polinomios de grado $n$, tienen exactamente $n$ raíces complejas
Esta es la parte más difícil de probar y me imagino que es lo que más les interesa. ¿Por qué es válido decir que el $p(x)=(x-r_1)(x-r_2)\ldots$? ¿Por qué debería de $p(x)$ tiene raíces, de todos modos? Hemos asumido que hizo, pero no nos lo demuestran.
Como @flawr y @user357980 han señalado, lo que estamos buscando ahora es el Teorema Fundamental del Álgebra. Este teorema nos dice que todos los $n$th grado del polinomio, ha $n$ raíces.*
Lo que tenemos que tener en cuenta es que las raíces del polinomio pueden ser Números Complejos. Podríamos tener un polinomio como $p(x)=x^2+1$, donde el camino a la factorise es como $p(x)=(x+i)(x-i)$. Sin embargo, a pesar de que puede tener el uso de números complejos, este teorema nos da el conocimiento que se puede factorizar polinomios.
Por favor, hágamelo saber si usted piensa que he cometido algún error.
* Para ser más precisos, los polinomios deben ser no=constante y con coeficientes y raíces en $\mathbb{C}$