On the quantitative Steinitz theorem in the plane (Q2365327)

The following theorem of Steinitz is addressed here: For any point \(P\) in the interior of the convex hull of a set \(X\subset \mathbb{R}^d\) there exists a subset \(Y\) of \(X\) with at most \(2d\) points such that \(P\) lies in the interior of conv\((Y)\). \textit{I. Bárány, M. Katchalski} and \textit{J. Pach} [Proc. Am. Math. Soc. 86, 109-114 (1982; Zbl 0511.52005)] proved the following quantification of this theorem: For each dimension \(d\) there is a constant \(c_d\) such that conv\((Y)\) contains a ball with center \(P\) and radius \(c_dr\) if conv\((X)\) contains a ball centered at \(P\) with radius \(r\). Later, \textit{I. Bárány} and \textit{A. Heppes} [Discrete Comput. Geom. 12, 387-398 (1994; Zbl 0817.52011)] determined the exact value of the constant \(c_2\). In the present paper this is generalized by considering subsets \(Y\) of \(X\) with at most \(k\) points, for any \(k\geq 4\). Confirming a conjecture of Bárány and Heppes, the author determines the exact value of the constants corresponding to \(c_2\), for each \(k\geq 4\). The extremal case is attained if \(X\) consists of the vertices of a regular \((k+1)\)-gon.