Определитель типа Коши det((xi+xj)n−1)det((xi+xj)n−1)\det ((x_i+x_j)^{n-1})

Абсолютное значение константы равно$\prod_{k=0}^{n-1} \binom{n-1}{k}$, то есть A001142 с точностью до одной смены. Вот одно доказательство; может кто найдет лучше.

Позволять$\vec{v}_j = ((x_i+x_j)^{n-1})_{i=1}^n$. По биномиальной теореме$\vec{v}_j = \sum_{k=0}^{n-1} \binom{n-1}{k} x_j^{n-1-k} (x_i^k)_{i=1}^n$. В силу полилинейности определителя

$$\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*}$$

Позволять$x_i = t^{i-1}$быть основной специализацией. $t$-степень слагаемого

$$\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*}$$ где$k_{[1]} \leq \cdots \leq k_{[n]}$представляет собой слабо возрастающую перестройку$k_1, \ldots, k_n$. Это однозначно максимизируется, когда$k_n=0, k_{n-1}=1, \ldots, k_1=n-1$так$k_{[1]} = 0, k_{[2]} = 1, \ldots, k_{[n]} = n-1$. Следовательно, коэффициент высшей степени равен$\binom{n-1}{n-1} \binom{n-1}{n-2} \cdots \binom{n-1}{0} = \prod_{k=0}^{n-1} \binom{n-1}{k}$. Результат следует, поскольку$\prod_{1 \leq i < j \leq n} (t^{j-1} - t^{i-1})$является моник.