prueba de $\sum\nolimits_{i = 1}^{n } {\prod\nolimits_{\substack{j = 1\\j \ne i}}^{n } {\frac{{x_i }}{{x_i - x_j }}} } = 1$

Question

Encontré una ecuación que se mantiene para cualquier número natural de n y cualquier $x_i \ne x_j$ como sigue:

$$\sum\limits_{i = 1}^{n } {\prod\limits_{\substack{j = 1\\j \ne i}}^{n } {\frac{{x_i }}{{x_i - x_j }}} } = 1$$

cuando n=2, viene dada por

$$\frac{x_1}{x_1-x_2}+\frac{x_2}{x_2-x_1}=\frac{x_1 - x_2}{x_1 - x_2} = 1$$

cuando n=3, viene dada por

$$\frac{x_1^2}{(x_1-x_2)(x_1-x_3)}+\frac{x_2^2}{(x_2-x_1)(x_2-x_3)}+\frac{x_3^2}{(x_3-x_1)(x_3-x_2)}=1$$

Pero, ¿cómo puedo probar para el general $n$ ?

Answer 1

Consideremos la interpolación de Lagrange del polinomio $f(x)=x^{n-1}$ con puntos de interpolación $x_1,\ldots,x_n$ . Tenemos: $$x^{n-1}=\sum_{i=1}^{n}x_i^{n-1}\prod_{j\neq i}\frac{x-x_j}{x_i-x_j},$$ por lo que, comparando los coeficientes principales del lado derecho y del lado izquierdo, se obtiene el resultado.

Answer 2

Para $n>1$ la descomposición fraccionaria parcial de $$ \frac1z\prod_{j=1}^{n-1}\frac{z}{z-x_j} =\frac{z^{n-2}}{\prod\limits_{j=1}^{n-1}(z-x_j)} =\sum_{i=1}^{n-1}\frac{A_i}{z-x_i}\tag{1} $$ utilizando el Método de Heaviside rinde $$ A_i=\frac{x_i^{n-2}}{\prod\limits_{\substack{j=1\\j\ne i}}^{n-1}(x_i-x_j)} =\prod_{\substack{j=1\\j\ne i}}^{n-1}\frac{x_i}{x_i-x_j}\tag{2} $$ Combine $(1)$ y $(2)$ : $$ \begin{align} \prod_{j=1}^{n-1}\frac{z}{z-x_j} &=\sum_{i=1}^{n-1}A_i\frac{z}{z-x_i}\\ &=\sum_{i=1}^{n-1}\frac{z}{z-x_i}\prod_{\substack{j=1\\j\ne i}}^{n-1}\frac{x_i}{x_i-x_j}\\ &=\sum_{i=1}^{n-1}\left(1-\frac{x_i}{x_i-z}\right)\prod_{\substack{j=1\\j\ne i}}^{n-1}\frac{x_i}{x_i-x_j}\tag{3} \end{align} $$ Set $z=x_n$ en $(3)$ : $$ \prod_{j=1}^{n-1}\frac{x_n}{x_n-x_j} =\sum_{i=1}^{n-1}\prod_{\substack{j=1\\j\ne i}}^{n-1}\frac{x_i}{x_i-x_j} -\sum_{i=1}^{n-1}\prod_{\substack{j=1\\j\ne i}}^n\frac{x_i}{x_i-x_j}\tag{4} $$ Añade el segundo término del lado derecho de $(4)$ a ambas partes: $$ \sum_{i=1}^n\prod_{\substack{j=1\\j\ne i}}^n\frac{x_i}{x_i-x_j} =\sum_{i=1}^{n-1}\prod_{\substack{j=1\\j\ne i}}^{n-1}\frac{x_i}{x_i-x_j}\tag{5} $$ Observando que el caso $n=1$ sigue de forma vacía, utilizando $(5)$ y la inducción demuestra que $$ \sum_{i=1}^n\prod_{\substack{j=1\\j\ne i}}^n\frac{x_i}{x_i-x_j}=1\tag{6} $$