Skip to main content
2 of 3
formatting
YCor
  • 63.9k
  • 5
  • 187
  • 286

Discrete isoperimetric inequality involving the diameter of an n-gon

I am interested in discrete isoperimetric-type inequalities that allow one to bound the perimeter of an $n$-gon from above (as opposed to below, as in the classical case when one bounds the perimeter by the square root of its area times a constant dependent on $n$).

If $P$ is a $n$-gon and $\operatorname{Diam}(P)$ is the diameter of $P$ (i.e., the largest distance attained by any two points of $P$), then I conjecture that the inequality

$$\frac{\operatorname{Perimeter}(P)}{\operatorname{Diam}(P)} \leq n\sin\frac{\pi}{n}\csc\frac{(n - \delta_n)\pi}{2n}$$

must hold true, with equality holding if and only if $P$ is a regular $n$-gon. Here $\delta_n = 1$ if $n$ is odd and $\delta_n = 0$ if $n$ is even. If this is indeed true, then this must be well-known. If so, can you share a reference to the proof of this fact?

It could also be that, instead of a diameter, it is more natural to bound the perimeter from above in terms of some other quantity associated with $P$. If so, what quantity would be more natural to consider, and where can I find the proof of the associated discrete isoperimetric inequality?

P.S. I would also appreciate a reference where I can find the proof of the inequality $4n\tan\frac{\pi}{n}\leq \frac{\operatorname{Perimeter}^2(P)}{\operatorname{Area}(P)}$, which allows one to bound the perimeter of $P$ from below.

Anton
  • 1.6k
  • 11
  • 20