The missing (A, D, r) diagram

TL;DR

This paper extends the understanding of geometric inequalities involving area, diameter, and inradius of convex bodies, providing a complete solution for the 2D case and generalizing to higher dimensions, thereby fully characterizing the (A, D, r) diagram.

Contribution

It generalizes the maximization problem to n-dimensional convex bodies and completely solves the 2D maximization problem, leading to a full description of the (A, D, r) diagram.

Findings

Complete solution to the 2D maximization problem.

Generalization of the minimization problem to n dimensions.

Full characterization of the (A, D, r) diagram for planar convex bodies.

Abstract

In this paper we are interested in "optimal" universal geometric inequalities involving the area, diameter and inradius of convex bodies. The term "optimal" is to be understood in the following sense: we tackle the issue of minimizing/maximizing the Lebesgue measure of a convex body among all convex sets of given diameter and inradius. The minimization problem in the two-dimensional case has been solved in a previous work, by M. Hernandez-Cifre and G. Salinas. In this article, we provide a generalization to the n-dimensional case based on a different approach, as well as the complete solving of the maximization problem in the two-dimensional case. This allows us to completely determine the so-called 2-dimensional Blaschke-Santal{\'o} diagram for planar convex bodies with respect to the three magnitudes area, diameter and inradius in euclidean spaces, denoted (A, D, r). Such a diagram is used to determine the range of possible values of the area of convex sets depending on their diameter and inradius. Although this question of convex geometry appears quite elementary, it had not been answered until now. This is likely related to the fact that the diagram description uses unexpected particular convex sets, such as a kind of smoothed nonagon inscribed in an equilateral triangle.