Angles of the Gaussian simplex

Рассмотрим $d$-мерный симплекс, вершины которого являются независимыми стандартными гауссовскими векторами в $\mathbb{R}^d$. Мы покажем, что средняя сумма углов данного симплекса совпадает с суммой углов правильного симплекса той же размерности $d$. Библ. — 10 назв.