Identidades de Newton

En matemáticas, las identidades de Newton, también conocidas como las fórmulas Newton-Girard, son dos maneras diferentes de describir la raíz de un polinomio. Concretamente, relacionan las sumas de potencias con los polinomios simétricos elementales. Evaluada en las raíces de un polinomio mónico P en una variable, permiten expresar las sumas de la potencia k-n de todas las raíces de P (contadas con su multiplicidad) en términos de los coeficientes de P, sin encontrar en realidad aquellas raíces. Estas identidades fueron encontradas por Isaac Newton alrededor de 1666, aparentemente ignorando el trabajo anterior (1629) de Albert Girard.

Estas identidades tienen aplicaciones en muchas áreas de matemática, incluyendo la teoría de Galois, teoría de invariantes, teoría de grupos, combinatoria, así como más aplicaciones fuera de la matemática, incluyendo la relatividad general.

Enunciado matemático

Formulación en términos de polinomios simétricos

Sean x₁, ..., x_n variables, denotar k ≥ 1 por p_k(x₁, . .., x_n) la k-ésima suma de potencias:

$p_k(x_1,\dots ,x_n)=\sum _{i=1}^n{x}_i^k=x_1^k+\cdots +x_n^k,$

y para k ≥ 0 denote por e_k(x₁, ..., x_n) el polinomio simétrico elemental (es decir, la suma de todos productos distintos de k variables distintas), por lo que

$\begin{array}{cc}{e}_0(x_1,\dots ,x_n)& =1,\\ e_1(x_1,\dots ,x_n)& =x_1+x_2+\cdots +x_n,\\ e_2(x_1,\dots ,x_n)& =\sum _{1\le i<j\le n}{x}_i{x}_j,\\ & ⋮\\ e_n(x_1,\dots ,x_n)& =x_1{x}_2\cdots x_n,\\ e_k(x_1,\dots ,x_n)& =0,\text{ para }k>n.\\ \end{array}$

Entonces las identidades de Newton se pueden establecer como

$k{e}_k(x_1,\dots ,x_n)=\sum _{i=1}^k(-1{)}^{i-1}{e}_{k-i}(x_1,\dots ,x_n)p_i(x_1,\dots ,x_n),$

expresión válida para todos los Plantilla:Math y Plantilla:Math.

Además,

$0=\sum _{i=k-n}^k(-1{)}^{i-1}{e}_{k-i}(x_1,\dots ,x_n)p_i(x_1,\dots ,x_n),$

para todos los Plantilla:Math.

Concretamente, se obtiene para los primeros valores de k:

$\begin{array}{cc}{e}_1(x_1,\dots ,x_n)& =p_1(x_1,\dots ,x_n),\\ 2e_2(x_1,\dots ,x_n)& =e_1(x_1,\dots ,x_n)p_1(x_1,\dots ,x_n)-p_2(x_1,\dots ,x_n),\\ 3e_3(x_1,\dots ,x_n)& =e_2(x_1,\dots ,x_n)p_1(x_1,\dots ,x_n)-e_1(x_1,\dots ,x_n)p_2(x_1,\dots ,x_n)+p_3(x_1,\dots ,x_n).\end{array}$

La forma y la validez de estas ecuaciones no dependen del número n de variables (aunque sí lo hace el punto donde el lado izquierdo se convierte en 0, es decir, después de la identidad n-ésima), lo que hace es posible enunciarlos como identidades en el anillo de funciones simétricas. En ese anillo se tiene que:

$\begin{array}{cc}{e}_1& =p_1,\\ 2e_2& =e_1{p}_1-p_2=p_1^2-p_2,\\ 3e_3& =e_2{p}_1-e_1{p}_2+p_3=\frac{1}{2}{p}_1^3-\frac{3}{2}{p}_1{p}_2+p_3,\\ 4e_4& =e_3{p}_1-e_2{p}_2+e_1{p}_3-p_4=\frac{1}{6}{p}_1^4-p_1^2{p}_2+\frac{4}{3}{p}_1{p}_3+\frac{1}{2}{p}_2^2-p_4,\\ \end{array}$

y así; aquí los lados izquierdos nunca se vuelven cero. Estas ecuaciones permiten expresar recursivamente la e_i en términos de la p_k; para poder hacer lo contrario, se puede reescribirlos como

$\begin{array}{cc}{p}_1& =e_1,\\ p_2& =e_1{p}_1-2e_2=e_1^2-2e_2,\\ p_3& =e_1{p}_2-e_2{p}_1+3e_3=e_1^3-3e_1{e}_2+3e_3,\\ p_4& =e_1{p}_3-e_2{p}_2+e_3{p}_1-4e_4=e_1^4-4e_1^2{e}_2+4e_1{e}_3+2e_2^2-4e_4,\\ & ⋮\end{array}$

En general, se tiene que

$p_k(x_1,\dots ,x_n)=(-1{)}^{k-1}k{e}_k(x_1,\dots ,x_n)+\sum _{i=1}^{k-1}(-1{)}^{k-1+i}{e}_{k-i}(x_1,\dots ,x_n)p_i(x_1,\dots ,x_n),$

enunciado válido para todo n ≥ 1 y n ≥k ≥ 1.

Además,

$p_k(x_1,\dots ,x_n)=\sum _{i=k-n}^{k-1}(-1{)}^{k-1+i}{e}_{k-i}(x_1,\dots ,x_n)p_i(x_1,\dots ,x_n),$

para todo k > n ≥ 1.

Aplicación a las raíces de un polinomio

El polinomio con raíces x_i se puede expandir como

$\prod _{i=1}^n(x-x_i)=\sum _{k=0}^n(-1{)}^k{e}_k{x}^{n-k},$

donde los coeficientes $e_k(x_1,\dots ,x_n)$ son los polinomios simétricos definidos anteriormente. Dadas las sumas de potencias de las raíces

$p_k(x_1,\dots ,x_n)=\sum _{i=1}^n{x}_i^k,$

los coeficientes del polinomio con raíces $x_1,\dots ,x_n$ pueden expresarse recursivamente en términos de las sumas de potencias como

$\begin{array}{cc}{e}_0& =1,\\ -e_1& =-p_1,\\ e_2& =\frac{1}{2}(e_1{p}_1-p_2),\\ -e_3& =-\frac{1}{3}(e_2{p}_1-e_1{p}_2+p_3),\\ e_4& =\frac{1}{4}(e_3{p}_1-e_2{p}_2+e_1{p}_3-p_4),\\ & ⋮\end{array}$

Formular polinomios de esta manera es útil para usar el método de Delves y Lyness para encontrar los ceros de una función analítica.

Aplicación al polinomio característico de una matriz

Cuando el polinomio anterior es el polinomio característico de una matriz A (en particular cuando A es la matriz compañera del polinomio), las raíces $x_i$ son los valores propios de la matriz, contados con su multiplicidad algebraica. Para cualquier entero positivo k, la matriz A^k tiene como valores propios las potencias x_i^k, y cada valor propio $x_i$ de A aporta su multiplicidad a la del valor propio x_i^k de A^k. Entonces, los coeficientes del polinomio característico de A^k están dados por los polinomios simétricos elementales en esas potencias x_i^k. En particular, la suma de x_i^k, que es la k-ésima suma de potencias p_k de las raíces del polinomio característico de A, viene dada por su traza:

$p_k=\mathrm{tr}(A^k).$

Las identidades de Newton ahora relacionan las trazas de las potencias A^k con los coeficientes del polinomio característico de A. Usándolas a la inversa para expresar los polinomios simétricos elementales en términos de sumas de potencias, se pueden utilizar para encontrar el polinomio característico calculando solo las potencias A^k y sus trazas.

Este cálculo requiere obtener las trazas de las potencias de la matriz A^k y resolver un sistema triangular de ecuaciones. Ambos se pueden hacer en la clase de complejidad NC (la resolución de un sistema triangular se puede hacer por el procedimiento de divide y vencerás). Por lo tanto, el polinomio característico de una matriz se puede calcular en NC. Por el teorema de Cayley-Hamilton, toda matriz satisface su polinomio característico, y una transformación simple permite encontrar la matriz de adjuntos en NC.

La reorganización de los cálculos en una forma eficiente conduce al "algoritmo de Faddeev-LeVerrier" (1840). Una versión rápida del mismo con cálculos en paralelo se debe a L. Csanky (1976). Su desventaja es que requiere división por enteros, por lo que en general el cuerpo debe tener la característica 0.

Relación con la teoría de Galois

Para un n dado, los polinomios simétricos elementales e_k(x₁,...,x_n) para k = 1 ,..., n forman una base algebraica para el espacio de polinomios simétricos en x₁,.... x_n: toda expresión polinomial en x_i que es invariante bajo todas las permutaciones de esas variables está dada por una expresión polinómica en esos polinomios simétricos elementales, y esta expresión es única hasta la equivalencia de expresiones polinómicas. Este es un hecho general conocido como teorema fundamental de los polinomios simétricos, y las identidades de Newton proporcionan fórmulas explícitas en el caso de polinomios simétricos de suma de potencias. Aplicado al polinomio mónico $t^n+{\sum }_{k=1}^n(-1{)}^k{a}_k{t}^{n-k}$ con todos los coeficientes a_k considerados como parámetros libres, esto significa que toda expresión polinomial simétrica S(x₁,...,x_n) en sus raíces puede expresarse en cambio como una expresión polinomial P(a₁,...,a_n) en términos de sus coeficientes solamente, en otras palabras, sin requerir conocimiento de las raíces. Este hecho también se deriva de consideraciones generales en la teoría de Galois (donde los a_k se consideran como elementos de un cuerpo base con raíces en un cuerpo de extensión cuyo grupo de Galois las permuta de acuerdo con el grupo simétrico completo, y el cuerpo fijo bajo todos los elementos del grupo de Galois es el cuerpo base).

Las identidades de Newton también permiten expresar los polinomios simétricos elementales en términos de los polinomios simétricos de suma de potencias, mostrando que cualquier polinomio simétrico también se puede expresar en sumas de potencias. De hecho, las primeras sumas de potencias n también forman una base algebraica para el espacio de polinomios simétricos.

Identidades relacionadas

Hay una serie de (familias de) identidades que, si bien deben distinguirse de las identidades de Newton, están muy estrechamente relacionadas con ellas.

Variante que utiliza polinomios simétricos homogéneos completos

Denotando como h_k el polinomio simétrico homogéneo completo que es la suma de todos los monomios de grado k, los polinomios de suma de potencias también satisfacen identidades similares a las identidades de Newton, pero sin incluir ningún signo menos. Expresados como identidades en un anillo de funciones simétricas, se leen como

$k{h}_k=\sum _{i=1}^k{h}_{k-i}{p}_i,$

expresión válida para todos los n ≥ k ≥ 1. Al contrario de las identidades de Newton, los lados de la izquierda no se vuelven cero para valores de k grandes, y los lados de la derecha contienen cada vez más términos distintos de cero. Para los primeros valores de k, se tiene que

$\begin{array}{cc}{h}_1& =p_1,\\ 2h_2& =h_1{p}_1+p_2,\\ 3h_3& =h_2{p}_1+h_1{p}_2+p_3.\\ \end{array}$

Estas relaciones pueden justificarse mediante un argumento análogo al de la comparación de coeficientes en series de potencias dado anteriormente, basado en este caso en la función generadora identidad

$\sum _{k=0}^{\mathrm{\infty }}{h}_k(x_1,\dots ,x_n)t^k=\prod _{i=1}^n\frac{1}{1-x_{i}t}.$

Las pruebas de las identidades de Newton, como las que se dan a continuación, no se pueden adaptar fácilmente para probar estas variantes de esas identidades.

Expresión de polinomios simétricos elementales en términos de sumas de potencias

Como ya se ha mencionado, las identidades de Newton se pueden usar para expresar polinomios simétricos elementales recursivamente en términos de sumas de potencias. Hacerlo requiere la introducción de denominadores enteros, lo que se puede hacer en el anillo Λ_Q de funciones simétricas con coeficientes racionales:

$\begin{array}{cc}{e}_1& =p_1,\\ e_2& =\frac{1}{2}{p}_1^2-\frac{1}{2}{p}_2& & =\frac{1}{2}(p_1^2-p_2),\\ e_3& =\frac{1}{6}{p}_1^3-\frac{1}{2}{p}_1{p}_2+\frac{1}{3}{p}_3& & =\frac{1}{6}(p_1^3-3p_1{p}_2+2p_3),\\ e_4& =\frac{1}{24}{p}_1^4-\frac{1}{4}{p}_1^2{p}_2+\frac{1}{8}{p}_2^2+\frac{1}{3}{p}_1{p}_3-\frac{1}{4}{p}_4& & =\frac{1}{24}(p_1^4-6p_1^2{p}_2+3p_2^2+8p_1{p}_3-6p_4),\\ & ⋮\\ e_n& =(-1{)}^n\sum _{\genfrac{}{}{0ex}{}{m_1+2m_2+\cdots +n{m}_n=n}{m_1\ge 0,\dots ,m_n\ge 0}}\prod _{i=1}^n\frac{(-p_i{)}^{m_i}}{m_i!i^{m_i}}\\ \end{array}$

etcétera. La fórmula general se puede expresar convenientemente como

$e_k=\frac{(-1{)}^k}{k!}{B}_k(-p_1,-1!p_2,-2!p_3,\dots ,-(k-1)!p_k),$

donde B_n es la exponencial completa de los polinomios de Bell. Esta expresión también conduce a la siguiente identidad para generar funciones:

$\sum _{k=0}^{\mathrm{\infty }}{e}_k{t}^k=\exp \left(\sum _{k=1}^{\mathrm{\infty }}\frac{(-1{)}^{k+1}}{k}{p}_k{t}^k\right).$

Aplicadas a un polinomio mónico, estas fórmulas expresan los coeficientes en términos de las sumas de potencias de las raíces: reemplaza cada e_i por a_i y cada p_k por s _k.

Expresión de polinomios simétricos homogéneos completos en términos de sumas de potencias

Las relaciones análogas que involucran polinomios simétricos homogéneos completos se pueden desarrollar de manera similar, dando las ecuaciones

$\begin{array}{cc}{h}_1& =p_1,\\ h_2& =\frac{1}{2}{p}_1^2+\frac{1}{2}{p}_2& & =\frac{1}{2}(p_1^2+p_2),\\ h_3& =\frac{1}{6}{p}_1^3+\frac{1}{2}{p}_1{p}_2+\frac{1}{3}{p}_3& & =\frac{1}{6}(p_1^3+3p_1{p}_2+2p_3),\\ h_4& =\frac{1}{24}{p}_1^4+\frac{1}{4}{p}_1^2{p}_2+\frac{1}{8}{p}_2^2+\frac{1}{3}{p}_1{p}_3+\frac{1}{4}{p}_4& & =\frac{1}{24}(p_1^4+6p_1^2{p}_2+3p_2^2+8p_1{p}_3+6p_4),\\ & ⋮\\ h_k& =\sum _{\genfrac{}{}{0ex}{}{m_1+2m_2+\cdots +k{m}_k=k}{m_1\ge 0,\dots ,m_k\ge 0}}\prod _{i=1}^k\frac{p_i^{m_i}}{m_i!i^{m_i}}\end{array}$

y así sucesivamente, en las que solo hay signos más. En términos del polinomio de Bell completo,

$h_k=\frac{1}{k!}{B}_k(p_1,1!p_2,2!p_3,\dots ,(k-1)!p_k).$

Estas expresiones corresponden exactamente a los polinomios de índice cíclico de los grupos simétricos, si se interpretan las sumas de potencias p_i como indeterminadas: el coeficiente en la expresión para h_k de cualquier monomio p₁^m₁ p₂^m₂...p_l^m_l es igual a la fracción de todas las permutaciones de k que tienen m₁ puntos fijos, m₂ ciclos de longitud 2, ..., y m_l ciclos de longitud l. Explícitamente, este coeficiente se puede escribir como $1/N$ donde $N={\prod }_{i=1}^l(m_i!i^{m_i})$; esta N es el número de permutaciones que conmutan con cualquier permutación dada π del tipo de ciclo dado. Las expresiones para las funciones simétricas elementales tienen coeficientes con el mismo valor absoluto, pero un signo igual al signo de π, a saber (−1)^{m₂+m₄+...}.

Se puede probar considerando el siguiente paso inductivo:

$\begin{array}{cc}mf(m;m_1,\dots ,m_n)& =f(m-1;m_1-1,\dots ,m_n)+\cdots +f(m-n;m_1,\dots ,m_n-1)\\ m_1\prod _{i=1}^n\frac{1}{i^{m_i}{m}_i!}+\cdots +n{m}_n\prod _{i=1}^n\frac{1}{i^{m_i}{m}_i!}& =m\prod _{i=1}^n\frac{1}{i^{m_i}{m}_i!}\end{array}$

Por analogía con la derivación de la función generadora del $e_n$, también podemos obtener la función generadora del $h_n$, en términos de las sumas de potencias, como:

$\sum _{k=0}^{\mathrm{\infty }}{h}_k{t}^k=\exp \left(\sum _{k=1}^{\mathrm{\infty }}\frac{p_k}{k}{t}^k\right).$

Esta función generadora es, por tanto, la exponencial plethystica de $p_{1}t=(x_1+\cdots +x_n)t$.

Expresión de sumas de potencias en términos de polinomios simétricos elementales

También se pueden usar las identidades de Newton para expresar sumas de potencias en términos de polinomios simétricos elementales, lo que no introduce denominadores:

$\begin{array}{cc}{p}_1& =e_1,\\ p_2& =e_1^2-2e_2,\\ p_3& =e_1^3-3e_2{e}_1+3e_3,\\ p_4& =e_1^4-4e_2{e}_1^2+4e_3{e}_1+2e_2^2-4e_4,\\ p_5& =e_1^5-5e_2{e}_1^3+5e_3{e}_1^2+5e_2^2{e}_1-5e_4{e}_1-5e_3{e}_2+5e_5,\\ p_6& =e_1^6-6e_2{e}_1^4+6e_3{e}_1^3+9e_2^2{e}_1^2-6e_4{e}_1^2-12e_3{e}_2{e}_1+6e_5{e}_1-2e_2^3+3e_3^2+6e_4{e}_2-6e_6.\end{array}$

Las primeras cuatro fórmulas fueron obtenidas por Albert Girard en 1629 (por lo tanto, antes que Newton).

La fórmula general (para todos los enteros positivos m) es:

$p_m=(-1{)}^{m}m\sum _{\genfrac{}{}{0ex}{}{r_1+2r_2+\cdots +m{r}_m=m}{r_1\ge 0,\dots ,r_m\ge 0}}\frac{(r_1+r_2+\cdots +r_m-1)!}{r_1!r_2!\cdots r_m!}\prod _{i=1}^m(-e_i{)}^{r_i}.$

Esto puede expresarse convenientemente en términos de polinomios de Bell ordinarios como

$p_m=(-1{)}^{m}m\sum _{k=1}^m\frac{1}{k}{\hat{B}}_{m,k}(-e_1,\dots ,-e_{m-k+1}),$

o equivalentemente como función generadora:

$\begin{array}{cc}\sum _{k=1}^{\mathrm{\infty }}(-1{)}^{k-1}{p}_k\frac{t^k}{k}& =\ln (1+e_{1}t+e_2{t}^2+e_3{t}^3+\cdots )\\ & =e_{1}t-\frac{1}{2}(e_1^2-2e_2)t^2+\frac{1}{3}(e_1^3-3e_1{e}_2+3e_3)t^3+\cdots ,\end{array}$

que es análoga a la función generadora exponencial de los polinomios de Bell dada en la subsección previa.

La fórmula de suma múltiple anterior se puede probar considerando el siguiente paso inductivo:

$\begin{array}{cc}f(m;r_1,\dots ,r_n)=& f(m-1;r_1-1,\cdots ,r_n)+\cdots +f(m-n;r_1,\dots ,r_n-1)\\ =& \frac{1}{(r_1-1)!\cdots r_n!}(m-1)(r_1+\cdots +r_n-2)!+\cdots \\ & \cdots +\frac{1}{r_1!\cdots (r_n-1)!}(m-n)(r_1+\cdots +r_n-2)!\\ =& \frac{1}{r_1!\cdots r_n!}[r_1(m-1)+\cdots +r_n(m-n)][r_1+\cdots +r_n-2]!\\ =& \frac{1}{r_1!\cdots r_n!}[m(r_1+\cdots +r_n)-m][r_1+\cdots +r_n-2]!\\ =& \frac{m(r_1+\cdots +r_n-1)!}{r_1!\cdots r_n!}\end{array}$

Expresión de sumas de potencias en términos de polinomios simétricos homogéneos completos

Finalmente, se pueden usar las identidades variantes que involucran polinomios simétricos homogéneos completos de manera similar para expresar sumas de potencias en términos de ellos:

$\begin{array}{cc}{p}_1& =+h_1,\\ p_2& =-h_1^2+2h_2,\\ p_3& =+h_1^3-3h_2{h}_1+3h_3,\\ p_4& =-h_1^4+4h_2{h}_1^2-4h_3{h}_1-2h_2^2+4h_4,\\ p_5& =+h_1^5-5h_2{h}_1^3+5h_2^2{h}_1+5h_3{h}_1^2-5h_3{h}_2-5h_4{h}_1+5h_5,\\ p_6& =-h_1^6+6h_2{h}_1^4-9h_2^2{h}_1^2-6h_3{h}_1^3+2h_2^3+12h_3{h}_2{h}_1+6h_4{h}_1^2-3h_3^2-6h_4{h}_2-6h_1{h}_5+6h_6,\\ \end{array}$

y así sucesivamente. Aparte de la sustitución de cada e_i por la correspondiente h_i, el único cambio respecto a la anterior familia de identidades está en los signos de los términos, que en este caso dependen únicamente del número de factores presentes: el signo del monomio ${\prod }_{i=1}^l{h}_i^{m_i}$ es −(−1)^{m₁+m₂+m₃+...}. En particular, la descripción anterior del valor absoluto de los coeficientes también se aplica aquí.

La fórmula general (para todos los enteros no negativos m) es:

$p_m=-\sum _{\genfrac{}{}{0ex}{}{r_1+2r_2+\cdots +m{r}_m=m}{r_1\ge 0,\dots ,r_m\ge 0}}\frac{m(r_1+r_2+\cdots +r_m-1)!}{r_1!r_2!\cdots r_m!}\prod _{i=1}^m(-h_i{)}^{r_i}$

Expresiones como determinantes

Se pueden obtener fórmulas explícitas para las expresiones anteriores en forma de determinantes, considerando la primera n de las identidades de Newton (o sus contrapartes para los polinomios homogéneos completos) como ecuaciones lineales en las que se conocen las funciones simétricas elementales y las sumas de potencias son incógnitas (o viceversa), y aplicando la regla de Cramer para encontrar la solución para la incógnita final. Por ejemplo, tomando las identidades de Newton en la forma

$\begin{array}{cc}{e}_1& =1p_1,\\ 2e_2& =e_1{p}_1-1p_2,\\ 3e_3& =e_2{p}_1-e_1{p}_2+1p_3,\\ & ⋮\\ n{e}_n& =e_{n-1}{p}_1-e_{n-2}{p}_2+\cdots +(-1{)}^n{e}_1{p}_{n-1}+(-1{)}^{n-1}{p}_n\end{array}$

se consideran $p_1,-p_2,p_3,\dots ,(-1{)}^n{p}_{n-1}$ y $p_n$ como incógnitas, y se resuelve la última, dando

$\begin{array}{cc}{p}_n=& \left|\begin{array}{ccccc}1& 0& \cdots & & e_1\\ e_1& 1& 0& \cdots & 2e_2\\ e_2& e_1& 1& & 3e_3\\ ⋮& & \ddots & \ddots & ⋮\\ e_{n-1}& \cdots & e_2& e_1& n{e}_n\end{array}\right|{\left|\begin{array}{cccc}1& 0& \cdots & \\ e_1& 1& 0& \cdots \\ e_2& e_1& 1& \\ ⋮& & \ddots & \ddots \\ e_{n-1}& \cdots & e_2& e_1& 1\end{array}\right|}^{-1}\\ =(-1{)}^{n-1}& \left|\begin{array}{ccccc}1& 0& \cdots & & e_1\\ e_1& 1& 0& \cdots & 2e_2\\ e_2& e_1& 1& & 3e_3\\ ⋮& & \ddots & \ddots & ⋮\\ e_{n-1}& \cdots & e_2& e_1& n{e}_n\end{array}\right|\\ =& \left|\begin{array}{cccc}{e}_1& 1& 0& \cdots \\ 2e_2& e_1& 1& 0& \cdots \\ 3e_3& e_2& e_1& 1\\ ⋮& & & \ddots & \ddots \\ n{e}_n& e_{n-1}& \cdots & & e_1\end{array}\right|.\end{array}$

Resolver para $e_n$ en lugar de $p_n$ es un problema similar, como los cálculos análogos para los polinomios simétricos homogéneos completos. En cada caso, los detalles son un poco más confusos que los resultados finales, que son (Macdonald 1979, p. 20):

$\begin{array}{cc}{e}_n=\frac{1}{n!}& \left|\begin{array}{cccc}{p}_1& 1& 0& \cdots \\ p_2& p_1& 2& 0& \cdots \\ ⋮& & \ddots & \ddots \\ p_{n-1}& p_{n-2}& \cdots & p_1& n-1\\ p_n& p_{n-1}& \cdots & p_2& p_1\end{array}\right|\\ p_n=(-1{)}^{n-1}& \left|\begin{array}{cccc}{h}_1& 1& 0& \cdots \\ 2h_2& h_1& 1& 0& \cdots \\ 3h_3& h_2& h_1& 1\\ ⋮& & & \ddots & \ddots \\ n{h}_n& h_{n-1}& \cdots & & h_1\end{array}\right|\\ h_n=\frac{1}{n!}& \left|\begin{array}{cccc}{p}_1& -1& 0& \cdots \\ p_2& p_1& -2& 0& \cdots \\ ⋮& & \ddots & \ddots \\ p_{n-1}& p_{n-2}& \cdots & p_1& 1-n\\ p_n& p_{n-1}& \cdots & p_2& p_1\end{array}\right|.\end{array}$

Se debe tener en cuenta que el uso de determinantes hace que la fórmula para $h_n$ tenga signos menos adicionales en comparación con la de $e_n$, mientras que la situación para la forma desarrollada anterior es opuesta. Como se señaló en (Littlewood 1950, p. 84), se puede obtener alternativamente la fórmula para $h_n$ tomando el permanente de la matriz para $e_n$ en lugar del determinante y, de manera más general, se puede obtener una expresión para cualquier polinomio de Schur tomando el correspondiente inmanente de esta matriz.

Deducción de las identidades

Cada una de las identidades de Newton puede verificarse fácilmente mediante álgebra elemental; sin embargo, su validez en general necesita una prueba. Aquí hay algunas posibles maneras de demostrar su validez.

Caso especial n = k

Se puede obtener la k-ésima identidad de Newton en k variables por sustitución en

$\prod _{i=1}^k(t-x_i)=\sum _{i=0}^k(-1{)}^{k-i}{e}_{k-i}(x_1,\dots ,x_k)t^i$

como sigue. Sustituyendo x_j por t da

$0=\sum _{i=0}^k(-1{)}^{k-i}{e}_{k-i}(x_1,\dots ,x_k){x_j}^i\text{ para }1\le j\le k$

Sumando sobre todas las j se obtiene

$0=(-1{)}^{k}k{e}_k(x_1,\dots ,x_k)+\sum _{i=1}^k(-1{)}^{k-i}{e}_{k-i}(x_1,\dots ,x_k)p_i(x_1,\dots ,x_k),$

donde los términos para i = 0 quedan eliminados de la suma porque p₀ (generalmente) no está definido. Esta ecuación da inmediatamente la k-ésima identidad de Newton en k variables. Dado que esta es una identidad de polinomios simétricos (homogéneos) de grado k, su validez para cualquier número de variables se deriva de su validez para k variables. Concretamente, las identidades en las n < k variables se pueden deducir poniendo a cero las k − n variables. La identidad k-ésima de Newton en las n > k variables contiene más términos en ambos lados de la ecuación que el de las k variables, pero su la validez estará asegurada si los coeficientes de cualquier monomio coinciden. Dado que ningún monomio individual implica más de k de las variables, el monomio sobrevivirá a la sustitución de cero por algún conjunto de "n" − k (otras) variables, después de lo cual la igualdad de coeficientes es la que surge en la k-ésima identidad de Newton en k (adecuadamente elegidas) variables.

Comparación de coeficientes en serie

Se puede obtener otra deducción mediante cálculos en el anillo de series formales de potencias RPlantilla:Brackets, donde R es Z[x₁,..., x _n], el anillo de polinomios en n variables x₁,..., x_n sobre los enteros.

Partiendo de nuevo de la relación básica

$\prod _{i=1}^n(t-x_i)=\sum _{k=0}^n(-1{)}^k{a}_k{t}^{n-k}$

e invirtiendo los polinomios sustituyendo 1/t por t y luego multiplicando ambos lados por tⁿ para eliminar las potencias negativas de t, se obtiene

$\prod _{i=1}^n(1-x_{i}t)=\sum _{k=0}^n(-1{)}^k{a}_k{t}^k.$

(el cálculo anterior se debe realizar en el cuerpo de fracciones de RPlantilla:Brackets; alternativamente, la identidad se puede obtener simplemente evaluando el producto en el lado izquierdo)

Ahora, se intercambian los lados de la ecuación y se expresan los a_i como los polinomios simétricos elementales que representan, para obtener la identidad

$\sum _{k=0}^n(-1{)}^k{e}_k(x_1,\dots ,x_n)t^k=\prod _{i=1}^n(1-x_{i}t).$

Calculando las derivadas formales en ambos lados con respecto a t, y luego (por conveniencia) multiplicando por t, se obtiene

$\begin{array}{cc}\sum _{k=0}^n(-1{)}^{k}k{e}_k(x_1,\dots ,x_n)t^k& =t\sum _{i=1}^n[(-x_i)\prod _{j\ne i}(1-x_{j}t)]\\ & =-\left(\sum _{i=1}^n\frac{x_{i}t}{1-x_{i}t}\right)\prod _{j=1}^n(1-x_{j}t)\\ & =-[\sum _{i=1}^n\sum _{j=1}^{\mathrm{\infty }}(x_{i}t{)}^j][\sum _{\ell =0}^n(-1{)}^{\ell }{e}_{\ell }(x_1,\dots ,x_n)t^{\ell }]\\ & =[\sum _{j=1}^{\mathrm{\infty }}{p}_j(x_1,\dots ,x_n)t^j][\sum _{\ell =0}^n(-1{)}^{\ell -1}{e}_{\ell }(x_1,\dots ,x_n)t^{\ell }],\\ \end{array}$

donde el polinomio del lado derecho se reescribió primero como función racional para poder factorizar un producto del sumatorio, y luego la fracción en el sumando se desarrolló como una serie en t, usando la fórmula

$\frac{X}{1-X}=X+X^2+X^3+X^4+X^5+\cdots ,$

y finalmente se recogió el coeficiente de cada t ^j, dando una suma de potencias. La serie en t es una serie de potencias formal, pero alternativamente puede considerarse como una expansión de la serie para t lo suficientemente cerca de 0, para aquellos que se sientan más cómodos con esta interpretación. De hecho, a efectos de las identidades de Newton, solo interesan los coeficientes de la serie. Comparando los coeficientes de t^k en ambos lados, se obtiene

$(-1{)}^{k}k{e}_k(x_1,\dots ,x_n)=\sum _{j=1}^k(-1{)}^{k-j-1}{p}_j(x_1,\dots ,x_n)e_{k-j}(x_1,\dots ,x_n),$

lo que da la k-ésima identidad de Newton.

Como una suma telescópica de identidades de funciones simétricas

La siguiente deducción, presentada esencialmente en (Mead, 1992), está formulada en anillo de funciones simétricas para mayor claridad (todas las identidades son independientes del número de variables). Fíjense algunos k > 0, y defínase la función simétrica r(i) para 2 ≤ i ≤  k como la suma de todos los monomios distintos de grado k obtenidos al multiplicar una variable elevada a la potencia i por k − i distintas otras variables (esta es la función simétrica monomial m_γ donde γ es una forma de gancho (i,1,1,...,1)). En particular r(k) = p_k; para r(1) la descripción equivaldría a la de e_k, pero este caso fue excluido ya que aquí los monomios ya no tienen ninguna variable distinguida. Todos los productos p_ie_k−i pueden expresarse en términos de r(j) siendo el primer y último caso algo especial. Entonces, se tiene que

$p_i{e}_{k-i}=r(i)+r(i+1)\text{ para }1<i<k$

ya que cada producto de términos de la izquierda que involucra distintas variables contribuye a r(i), mientras que aquellos donde la variable de p_i ya se encuentra entre las variables del término de e_k−i contribuye a r(i + 1), y todos los términos de la derecha se obtienen exactamente una vez. Para i = k se multiplica por e₀ = 1, dando trivialmente

$p_k{e}_0=p_k=r(k).$

Finalmente el producto p₁e_k−1 por i = 1 da contribuciones a r(i + 1) = r(2) como para otros valores i < k, pero las contribuciones restantes producen k veces cada monomio de e_k, ya que cualquiera de las variables puede provenir del factor p₁; de este modo

$p_1{e}_{k-1}=k{e}_k+r(2).$

La identidad k-ésima de Newton ahora se obtiene tomando la suma alterna de estas ecuaciones, en las que todos los términos de la forma r(i) se anulan.

Demostración combinatoria

En (Zeilberger, 1984), se proporciona una breve demostración combinatoria de las identidades de Newton.

Véase también

• Polinomio simétrico suma de potencias
• Polinomio simétrico elemental
• Desigualdades de Newton
• Función simétrica
• Soluciones fluidas, un artículo que da una aplicación de las identidades de Newton para calcular el polinomio característico del tensor de Einstein en el caso de un fluido perfecto, y artículos similares sobre otros tipos de soluciones exactas en relatividad general.

Bibliografía

• Plantilla:Cite book
• Plantilla:Cite book
• Plantilla:Cite book
• Plantilla:Cite book
• Plantilla:Cite conference
• Plantilla:Cite book
• Plantilla:Cite book
• Plantilla:Cite book
• Plantilla:Cite journal
• Plantilla:Cite book
• Plantilla:Cite book
• Plantilla:Cite book

Enlaces externos

• Newton–Girard formulas on MathWorld
• A Matrix Proof of Newton's Identities in Mathematics Magazine
• Application on the number of real roots
• A Combinatorial Proof of Newton's Identities by Doron Zeilberger