Среднее геометрическое выпуклых множеств

На основе свойств $p$-сложений Фаэри: I) устанавливается монотонность по $p$ для $p$-средних нескольких выпуклых множеств; 2) вводится понятие среднего геометрического двух выпуклых тел; 3) доказывается сходимость одного итерационного способа извлечения квадратного корня из положительно определенной матрицы.