Additive colourful Carathéodory type results with an application to radii (Q725534)

Let \(\mathcal{K}^n\) be the set of all \(n\)-dimensional convex bodies in the Euclidean space \(\mathbb{R}^n\). The circumradius of a convex body \(K\) with respect to a second convex body \(C\) is the smallest rescalation \(\lambda C\) containing a translation of \(K\), and is denoted by \(R(K, C)\). The circumradius of \(K\) with respect to the unit ball is denoted by \(R(K)\). The authors establish several inequalities between \(\sum_{i=1}^j R(K_i, C)\) and \(R(\sum_{i=1}^j K_i, C)\), where \(K_i, C \in \mathcal{K}^n\). For illustration, we give below two such results. Theorem 1. \(\sum_{i=1}^j R(K_i, C) \leq \sqrt{j} R(\sum_{i=1}^j K_i, C)\). Equality holds if and only if there exist polyhedral cylinders \(C_i\) with facets parallel to \(\operatorname{aff} (K_1 + \dots +K_{i-1} + K_{i+1} + \dots + K_j)\) and some \(\lambda > 0\) and \(z \in \mathbb{R}^n\) such that \(\sum_{i=1}^jK_i \subset z + \lambda C \subset \bigcap_{i=1}^j C_i\) and \(R(K_1, C_1) = \dots = R(K_j, C_j) = 1\). Theorem 2. \(\sum_{i=1}^j R^2(K_i) \leq R^2(\sum_{i=1}^j K_i)\). Equality holds if \(K_k\) and \(K_l\) are mutually orthogonal, for any choice \(1 \leq k < l\leq j\).