On extrema of functions which satisfy certain symmetry conditions. (Q2589615)

Beweis des folgenden Satzes: \[ S(x_1, \dots, x_n), \;V_1 (x_1, \dots, x_n),\dots, V_\varkappa (x_1, \dots, x_n), \quad (\varkappa < n) \] seien Funktionen mit stetigen zweiten Ableitungen, welche in den Variablen \(x_1, \dots, x_{n - \varkappa +1}\) symmetrisch sind. Ferner sei: \[ V_\varrho (a,\dots, a, a_{n - \varkappa +2}, \dots, a_n) = 0, \quad \varrho = 1, 2, \dots, \varkappa. \] Es sei \[ I= \frac {\partial (V_1, \dots, V_\varkappa)}{ \partial (x_{n- \varkappa + 1}, x_{n - \varkappa + 2}, \dots, x_n)} \] für \(x_1 = \cdots = x_{n - \varkappa +1} = a\), \(x_{n -\varkappa+2} = a_{n- \varkappa+2}, \dots,x_n = a_n\) nicht Null. Dann hat \(S\) an dieser Stelle unter den Nebenbedingungen \(V_\varrho =0 \) ein Minimum bzw. Maximum im Kleinen, wenn dort \[ \frac 1I \begin{vmatrix} S_{x_1 x_1} & -S_{x_1 x_2} & S_{x_{n - \varkappa + 1}} & \cdots & S_{x_n} \\ V_{1x_1 x_1} & -V_{1x_1 x_2} & V_{1x_{n - \varkappa + 1}} & \cdots & V_{1x_n} \\ \hdotsfor{5} \\ V_{\varkappa x_1 x_1} & -V_{\varkappa x_1 x_2} & V_{\varkappa x_{n - \varkappa + 1}} & \cdots & V_{\varkappa x_n} \end{vmatrix} \] positiv bzw. negativ ist.