(1) The convex polygon C' lies inside the polygon C. Is it true that the perimeter of C' is no longer than the perimeter of C?

(2) C is the convex polygon with shortest perimeter enclosing the polygon C'. Is it true that the perimeter of C is no longer than the perimeter of C' ?

(3) The closed convex surface S' lies inside the closed surface S. Is it true that area S' ≤ area S?

(4) S is the smallest convex surface containing the closed surface S'. Is it true that area S ≤ area S'?

**Solution**

(1) True. On each side of C' take a semi-infinite strip perpendicular to the side and extending outwards from C'. Since C' is convex, these strips are all disjoint. But the intersection of C with each strip is at least as long as the corresponding side of C', hence the total length of C that intersects the strips is at least as long as the perimeter of C'.

(2) True. Take C as the convex hull of C'. If is sufficient to prove that the perimeter of C is no longer than the perimeter of C'. Evidently the vertices of C form a subset of the vertices of C'. If C' includes a vertex P which is not a vertex of C, then removing it does not increase the perimeter of C' (by the triangle inequality) and leaves C unaffected. So we can assume that C and C' have the same vertices. If C' just has the vertices of C permuted cyclically (or in reverse order), then its perimeter is the same. If not, then there are vertices A, B which are adjacent in C' but not in C. We show that in this case we can permute the vertices of C' so as to shorten the perimeter. We can repeat this process, shortening the perimeter each time. But there are only finitely many permutations so we must eventually reach a perimeter with the same length as C.

Suppose C' has vertices in the order X_{1}X_{2} ... X_{n}. wlog we may assume that X_{1} and X_{2} are not adjacent in C, so we can find X_{i} on one side of X_{1}X_{2} and X_{j} on the other. Then one of the pairs X_{i}X_{i+1}, X_{i+1}X_{i+2}, ... , X_{j-1}X_{j} must straddle X_{1}X_{2}. Suppose it is X_{k}X_{k+1}. Consider the quadrilateral X_{1}X_{k}X_{2}X_{k+1}. Suppose its diagonals X_{1}X_{2} and X_{k}X_{k+1} meet at O. Then X_{1}X_{2} + X_{k}X_{k+1} = X_{1}O + OX_{2} + X_{k}O + OX_{k+1} = (X_{1}O + OX_{k}) + (X_{2}O + OX_{k+1}) > X_{1}X_{k} + X_{2}X_{k+1}. So if we take C'' to have vertices in the order X_{1}X_{k}X_{k-1} ... X_{3}X_{2}X_{k+1}X_{k+2} ... X_{n}, then C'' has shorter perimeter.

(3) True. The same argument as (1) works. Take semi-infinite columns on each face of the inner polyhedron.

(4) False. Take the 4 vertices of a regular tetrahedron and its centre. We can find a surface S' with arbitrarily small area which contains these 5 points, but the convex hull S is the tetrahedron.

© John Scholes

jscholes@kalva.demon.co.uk

5 Mar 2002