Inequalities for vector systems (Q858060)

Let \(\alpha_{1},\alpha_{2},\ldots,\alpha_{k}\) be \(k\) (\(2\leq k\leq n\)) nonvanishing vectors in \(E^{n}\) and \(e_{i}\,(1\leq i\leq k)\) the unit vector with the same direction as \(\alpha_{i}\). The authors denote \(D_{12\ldots k} = G(e_{1}, e_{2}, \ldots, e_{k})\), where \(G(e_{1}, e_{2}, \ldots, e_{k})\) is the Gram determinant of the vectors \(e_{1}, e_{2}, \ldots, e_{k}\) and they call \(\theta_{12\ldots k} = \arcsin\sqrt{D_{12\ldots k}}\) the \(k\)-dimensional space angle formed by the \(k\) vectors \(\alpha_{1},\alpha_{2},\ldots,\alpha_{k}\). Let \(m_{i}\; (0\leq i\leq N, N+1\geq n\geq 2)\) be nonnegative real numbers and \[ M_{k} = {\sum\sum\ldots\sum}_{0\leq i_{1}\leq i_{2}\leq\ldots\leq i_{N}\leq N}m_{i_{1}}m_{i_{2}}\ldots m_{i_{k}}\sin^{2}\theta_{i_{1}i_{2}\ldots i_{k}}. \] The main result is the following: \[ \frac{M_{k}^{l}}{M_{l}^{k}}\geq\frac{[(n-l)!l!]^{k}}{[(n-k)!k!]^{l}}.(n!)^{l-k} \] and \[ M_{k}^{2}\geq\frac{(n-k+1)(k+1)}{(n-k)k}M_{k-1}M_{k+1}. \] The authors give some applications thereof.