For any compact, convex polygon , define
What is the range of ?
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Claim: π L > 2
Proof: We represent the convex polygon as z 0 , z 1 , … , z n − 1 where z i ∈ C represent the vertices in that order.
Note that D L = max i , j ∣ z i − z j ∣ and that P L = ∑ k = 0 n − 1 ∣ z k + 1 − z k ∣ where the sub-scripts are modulo n .
Now, if D L = ∣ z r − z l ∣ , r < l , the following holds : D L ≤ i = r ∑ l − 1 ∣ z i + 1 − z i ∣ D L ≤ i = l ∑ r − 1 ∣ z i + 1 − z i ∣ ⟹ 2 D L ≤ P L
by the triangle inequality. Note that equality can't hold as the polygon is convex.
Claim: π L < π
Proof: Now, we construct a circle with the diameter as the end points z r and z l (using the previous notations).
Note that P L is bounded above (stricly) by the perimeter of this circle, i.e., P L < π D L