On planar sections of 3D convex bodies

Question

Consider the space of planar sections of any given convex 3D body.

Basic Question: What is the lower bound for the ratio $$\frac{\text{area of section of greatest perimeter}} {\text{area of section of greatest area}}\ ?$$

And which convex solid gives it?

It appears that right circular cones can be constructed such that the planar section with highest area and the section with highest perimeter are different, indeed perpendicular to each other. E.g. the ratio seems to be $2/\pi$ if the cone's height equals the diameter of its base.

Generalization: Consider the set of quantities: {area, perimeter, diameter, width,...}. Take each pair (x,y) of such quantities. What are bounds on the corresponding ratios for those pairs?

(For this, we can define the diameter of a planar convex region as the greatest distance between any pair of points in the region, and the width of a convex region as the least distance between a pair of parallel lines that just touch it.)

Further questions: From among bodies for which two quantities x and y from the above set are maximized on the same planar section, will a third quantity z be maximized on another plane? If so how to quantify this difference?

E.g.: From among 3D solids with both area and perimeter maximized on the same planar section, are there any solids whose width is maximized on another planar section? And if so, which solid gives the lower bound on the ratio between the width of the section maximizing both area and perimeter and the width of the section maximizing width?

Answer 1

That's a mighty large question, considering all choices of the parameters.

To the basic question:

It seems that the area ratio can be arbitrarily close to zero.

Consider a hexahedron that has eight vertices at $(\pm L, 0, \pm 1)$ and $(\pm 2L, h, \pm w)$, with the parameters suitably chosen. For a concrete example take $(L,h,w) = (250,0.0001,0.01)$. The idea is that this shape is very elongated in $x$ direction, extremely thin in $y$ direction, and moderately wide in $z$ direction.

This shape is difficult to visualize due to its thinness, but as noted in the comments, it is like a flattened axe head. The following figure has nonuniform scaling in the $x$, $y$ and $z$ axes.

The maximum-area cut, shown red in the figure, is along the face that lies on the $y=0$ plane ("butt" of the axe): this is a rectangle of dimensions $2L \times 2$, with area $4L = 1000$, and perimeter $4L+4=1004$.

The maximum-perimeter cut, shown blue in the figure, is along the opposite face ("blade" of the axe), which lies at $y=h$: this is a narrow rectangle of dimensions $4L \times 2w$, with area $8Lw = 20$, and perimeter $8L+4w = 2000.04$.

Note that with these parameters, the top and bottom trapezoidal faces ("cheeks" of the axe) have perimeter $\approx 2000.00392$, slightly smaller than the blade.

So with these parameters the area ratio is $\frac{8Lw}{4L} = 2w = 1/50$.

It seems (although I haven't done that formally) that one can tune the three parameters carefully to make the area ratio arbitrarily small. When making $w$ smaller, one should simultaneously make $h$ smaller and $L$ bigger (roughly, $L > 1/w$ to keep the trapezoidal perimeter smaller than the blade perimeter).

To the last question:

(Area and perimeter maximized by one section, but width by another)

Yes, for example the unit cube.

The rectangle that spans between two diagonally opposite edges (shown red in the following figure) has the maximal area $\sqrt{2} \approx 1.414213$. Clearly it also has the maximal diameter $\sqrt{3} \approx 1.732051$, since this is the longest diagonal of the cube. Also it has the maximal perimeter $2(1+\sqrt{2}) \approx 4.828427$. However, its width $1$ is not maximal.

The maximum width is $\sqrt{3/2} \approx 1.224745$. This is attained by the regular hexagon, obtained by slicing through the midpoints of six edges; it has smaller area, smaller diagonal and smaller perimeter than the previous rectangle. The maximum width is also attained by an equilateral triangle that goes through three of the cube's vertices (shown yellow).

This is just one small example (well, you could make it bigger by taking a bigger cube). I'm eager to see a full answer that takes into account the various choices of two or three parameters, over various convex bodies, and also provides bounds on the differences!

The figures were made with the help of Ayad Al-Rumaithi's MATLAB code Intersection of Polyhedron with Plane, which is extremely handy for studying plane sections.

Answer 2

This is more a reference than an answer but the keyword you are looking for is 'isoperimetric'. A lot of closely related questions are studied under the heading of 'isoperimetric inequality', the wikipedia article gives an overview and a bunch of references. 'Isoperimetric problem' is also a good searching keyword.