$$ x \cdot y = \frac{1}{2 \cdot 2 !} \left( (x + y)^2 - (x - y)^2 \right) $$ $$ \begin{eqnarray} x \cdot y \cdot z &=& \frac{1}{2^2 \cdot 3 !} ((x + y + z)^3 - (x + y - z)^3 \nonumber \\ &-& (x - y + z)^3 + (x - y - z)^3 ), \end{eqnarray} $$ $$ \begin{eqnarray} x \cdot y \cdot z \cdot w &=& \frac{1}{2^3 \cdot 4 !} ( (x + y + z + w)^4 \nonumber \\ &-& (x + y + z - w)^4 - (x + y - z + w)^4 \nonumber \\ &+& (x + y - z - w)^4 - (x - y + z + w)^4 \nonumber \\ &+& (x - y + z - w)^4 + (x - y - z + w)^4 \nonumber \\ &-& (x - y - z - w)^4 ). \end{eqnarray} $$ La identidad que reescribe un producto de $n$ variables $( n \ge 2$, $n \in \boldsymbol{\mathbb{Z}_+})$ como adiciones de $n$ th funciones de energía es como se indica a continuación: $$ \begin{eqnarray} & &x_0 \cdots x_1 \cdot x_{n-1} = \frac{1}{2^{n - 1} \cdot n !} \cdot \sum_{j = 0}^{2^{ n - 1} -1} ( - 1 )^{\sum_{m = 1}^{n - 1} \sigma_m(j)} \times ( x_0 + (-1)^{\sigma_1(j)} x_1 + \cdots + (- 1)^{\sigma_{n - 1}(j)} x_{n - 1})^n, \\ & &\sigma_m(j) = r(\left\lfloor \frac{j}{2^{m - 1}}\right\rfloor, 2), m (\ge 1), j (\ge 0) \in \mathbb{Z}_+, \; \left\lfloor x \right\rfloor = \max \{ n \in \mathbb{Z}_+ ; n \le x, x \in \mathbb{R} \} \end{eqnarray} $$ donde $r(\alpha, \beta)$, $\alpha, \beta (\ge 1) \in \mathbb{Z}_+$ significa que el resto de la división de $\alpha$ por $\beta$ tal que $r(\alpha, \beta)$ $=$ $\alpha - \beta \left\lfloor \frac{\alpha}{\beta}\right\rfloor$
Respuesta
¿Demasiados anuncios?
Aunque no es exactamente la misma, debido a $2^{n-1}$ en lugar de $2^n$ términos, el OP de la fórmula parece ser esencialmente el conocido polarización fórmula para polinomios homogéneos, que se expresa de la siguiente manera:
Cualquier polinomio $f$, homogénea de grado $n$ puede ser escrito como $f(x)=H(x,\ldots,x)$ específicos de una forma multilineal $H$. Uno tiene la siguiente polarización fórmula para $H$ (ver también este MO post): \begin{equation*} H(x_1,\ldots,x_n) = \frac{1}{2^n n!}\sum_{s \in \{\pm 1\}^n}s_1\ldots s_n f\Bigl(\sum\nolimits_{j=1}^n s_jx_j\Bigr) \end{ecuación*}
En su caso, $f=x^n$, lo $H(x_1,\ldots,x_n) = x_1\cdots x_n$ (por favor note off 1 de indexación).
