Relaciones de Cardano-Vieta

Sea el polinomio $P(z)=a_0+a_{1}z+a_2{z}^2+a_3{z}^3+...+a_k{z}^k$ perteneciente a C[z], de grado k y coeficientes en el cuerpo ℂ de los números complejos, y sean sus k raíces $z_1,z_2,z_3,...,z_k$ (pertenecientes a C ), entonces se satisfacen exactamente las siguientes k distintas igualdades :

$z_1*z_2*z_3*...*z_k=(-1{)}^k*\frac{a_0}{a_k}$

$z_1*z_2*z_3*...*z_{k-1}+...+z_2*z_3*...z_k=(-1{)}^{k-1}*\frac{a_1}{a_k}$

.

.

.

$z_1*z_2*z_3*...*z_j+...+z_{k-j+1}*z_{k-j+2}*...z_k=(-1{)}^j*\frac{a_{k-j}}{a_k}$

.

.

.

$z_1*z_2+z_1*z_3+...+z_{k-1}*z_k=(-1{)}^2*\frac{a_{k-2}}{a_k}=\frac{a_{k-2}}{a_k}$

$z_1+z_2+z_3+...+z_k=\frac{(-1{)}^1*a_{k-1}}{a_k}=-\frac{a_{k-1}}{a_k}$

Cada ecuación sumará todos los posibles productos que se formarán con j raíces y lo igualará el cociente (con su signo correspondiente) entre el coeficiente j-ésimo del polinomio y el coeficiente principal del polinomio.

Estas relaciones sirven sobre todo para obtener determinados polinomios conocidas sus raíces. Cabe destacar que si conocemos k raíces de un polinomio de grado k, podremos encontrar a partir de estas relaciones un único polinomio de grado k que posea estas raíces (a menos de una constante multiplicativa).

Demostración

Factorizamos el polinomio:

$P(z)=a_0+a_{1}z+a_2{z}^2+a_3{z}^3+...+a_k{z}^k=a_k(z-z_1)(z-z_2)(z-z_3)\cdots (z-z_k)$

Y realizamos el producto del miembro de la derecha y comparamos los coeficientes de cada término $z^j$, donde $0\le j<k$:

$a_{k-1}=(-1{)}^1*a_k*(z_1+z_2+z_3+...+z_k)$

$a_{k-2}=(-1{)}^2*a_k*(z_1*z_2+z_1*z_3+...+z_{k-1}*z_k)$

$\dots$

$a_j=(-1{)}^{k-j}*a_k*(z_1*z_2*z_3*...*z_j+...+z_{k-j+1}*z_{k-j+2}*...z_k)$

$\dots$

$a_1=(-1{)}^{k-1}*a_k*(z_1*z_2*z_3*...*z_{k-1}+...+z_2*z_3*...z_k)$

$a_0=(-1{)}^k*a_k*(z_1*z_2*z_3*...*z_k)$

De aquí ya se obtienen de inmediato las fórmulas de Cardano-Vieta.