# The missing (A, D, r) diagram

arXiv: https://arxiv.org/abs/2005.05749 · HTML: https://mlsanity.com/paper/2005.05749/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 12 May 2020.

## Built on by (most cited first, 1 of 1)

- [Numerical exploration of the range of shape functionals using neural networks](https://mlsanity.com/paper/2602.14881/) (2026)

## Abstract (arXiv)

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.