Un determinante de tipo Cauchy det((xi+xj)n−1)det((xi+xj)n−1)\det ((x_i+x_j)^{n-1})

El valor absoluto de la constante es$\prod_{k=0}^{n-1} \binom{n-1}{k}$, que es A001142 hasta un turno de apagado. Aquí hay una prueba; tal vez alguien pueda encontrar uno mejor.

Dejar$\vec{v}_j = ((x_i+x_j)^{n-1})_{i=1}^n$. Por el teorema del binomio,$\vec{v}_j = \sum_{k=0}^{n-1} \binom{n-1}{k} x_j^{n-1-k} (x_i^k)_{i=1}^n$. Por multilinealidad del determinante,

$$\begin{align*} \det(\vec{v}_1, \ldots, \vec{v}_n) &= \sum_{0 \leq k_1, \ldots, k_n \leq n-1} \binom{n-1}{k_1} \cdots \binom{n-1}{k_n} x_1^{n-1-k_1} \cdots x_n^{n-1-k_n} \det(x_i^{k_j})_{i,j=1}^n. \end{align*}$$

Dejar$x_i = t^{i-1}$ser la especialización principal. El$t$-grado del sumando es

$$\begin{align*} &(n-1-k_1) \cdot 0 + (n-1-k_2) \cdot 1 + \cdots + (n-1-k_n) \cdot (n-1) \\ &+(1-1) \cdot k_{[1]} + (2-1) \cdot k_{[2]} + \cdots + (n-1) \cdot k_{[n]} \end{align*}$$ dónde$k_{[1]} \leq \cdots \leq k_{[n]}$es el reordenamiento débilmente creciente de$k_1, \ldots, k_n$. Esto se maximiza únicamente cuando$k_n=0, k_{n-1}=1, \ldots, k_1=n-1$entonces$k_{[1]} = 0, k_{[2]} = 1, \ldots, k_{[n]} = n-1$. Por lo tanto, el coeficiente de grado superior es$\binom{n-1}{n-1} \binom{n-1}{n-2} \cdots \binom{n-1}{0} = \prod_{k=0}^{n-1} \binom{n-1}{k}$. El resultado sigue ya que$\prod_{1 \leq i < j \leq n} (t^{j-1} - t^{i-1})$es monic.