18
$\begingroup$

How to prove or disprove that the boundary of any convex body in $\mathbb{R}^3$ includes 5 points which form a regular planar pentagon? The following consideration suggests the answer "yes": if we assume the boundary is described by the equation $f(x,y,z)=0$, then we have a system of $5+5+3=13$ equations in $15$ variables. In the general case an infinite solution set is expected. However, the convexity is not used here. The question was asked, but not answered, in MSE.

$\endgroup$
6
  • 1
    $\begingroup$ The title is a bit misleading. (And it suggests that the answer is "yes"...) Maybe something like "Does the boundary of a convex body contain a regular planar pentagon?" $\endgroup$ Commented Nov 13, 2014 at 20:26
  • $\begingroup$ @ Joonas Ilmavirta: Thank you. I have edited the title up to your suggestion. $\endgroup$ Commented Nov 13, 2014 at 20:31
  • $\begingroup$ Does a convex body need to have nonempty other interior? Otherwise the answer is no. $\endgroup$ Commented Nov 13, 2014 at 21:42
  • 2
    $\begingroup$ If so, perhaps this can be used together with some intermediate value argument. That is, take the quadrilateral made of 4 points of a regular pentagon, then it can be inscribed in any cross section. In some, the phantom fifth point falls outside the section and in some inside, but by IV it also sometimes falls on the boundary. $\endgroup$ Commented Nov 14, 2014 at 0:34
  • 1
    $\begingroup$ @Yoav Kallus: No non-square rhombus can be inscribed in a circle. Perhaps cyclic quadrilaterals have the property you need. $\endgroup$ Commented Nov 14, 2014 at 15:32

1 Answer 1

12
$\begingroup$

A MathSciNet search turns up the following paper: V. V. Makeev, Polygons inscribed in a closed curve and in a three-dimensional convex body, Journal of Mathematical Sciences 161 (2009), 419–423 (translated from Russian). The final result in the paper is:

Corollary. Each convex body $K\subset \mathbb{R}^3$ is circumscribed about an affine-regular pentagon whose vertices lie on planes of support of $K$ parallel to one line.

This doesn't directly answer your question, but the conspicuous absence of your question from the paper perhaps suggests that it is an open problem. Regardless, this paper would seem to be a good entry point into the literature.

$\endgroup$
1
  • 4
    $\begingroup$ The recent article mathnet.ru/php/… by V. Matveev almost answers it. $\endgroup$ Commented Nov 14, 2014 at 6:52

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.