Another graduate student and I are working on an research project and are looking for a paper or other source that has a proof for a result about polygons on an integer lattice structure. Suppose you have a convex polygon on an integer lattice structure with more than 5 integer points on its boundary. Is there a way to take a subset of 5 of the integer points on the boundary of this polygon and connect any points not already adjacent to each other to form a smaller convex polygon, while guaranteeing you are not introducing new integer points on the boundary of this smaller convex polygon?
$\begingroup$
$\endgroup$
4
-
2$\begingroup$ Just to understand what you mean: take the quadrilateral with the vertices $(2,0),(0,2),(-2,0),(-1,-1)$. Which points do you suggest to join? $\endgroup$fedja– fedja2020-10-08 22:54:21 +00:00Commented Oct 8, 2020 at 22:54
-
$\begingroup$ @fedja couldn't you just take $(-1,-1),(-2,0),(0,0),(1,0),(2,0)$? That's five integer points, they're all on the boundary of your polygon, and connecting them doesn't introduce any integer boundary points that weren't already on the boundary of your polygon? $\endgroup$Gerry Myerson– Gerry Myerson2020-10-09 11:58:40 +00:00Commented Oct 9, 2020 at 11:58
-
1$\begingroup$ @GerryMyerson It does not look like $(0,0)$ or $(1,0)$ is on the boundary to me, are they really? $\endgroup$fedja– fedja2020-10-09 14:58:44 +00:00Commented Oct 9, 2020 at 14:58
-
$\begingroup$ @fedja I think I mistook $(-1,-1)$ for $(-1,1)$. Sorry. $\endgroup$Gerry Myerson– Gerry Myerson2020-10-09 22:07:35 +00:00Commented Oct 9, 2020 at 22:07
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
4
Consider the convex polygon with vertices $(0,0),(5,1),(4,4),(0,11),(-4,4),(-5,1)$. There are no lattice points on its boundary other than the six vertices. If you take any two that aren't adjacent, the line segment joining them has an interior lattice point, so if you take five of them, the segment joining the two that were adjacent to the one you leave out will contain a new lattice point on the boundary of the polygon formed by the five you take.
-
-
$\begingroup$ Thank you @Gerry Myerson! This is very helpful for our search. $\endgroup$user6232872– user62328722020-10-09 18:10:21 +00:00Commented Oct 9, 2020 at 18:10
-
$\begingroup$ And thanks @M. Winter for the picture! $\endgroup$user6232872– user62328722020-10-09 18:11:48 +00:00Commented Oct 9, 2020 at 18:11
-
$\begingroup$ @M.Winter sure, go ahead. $\endgroup$Gerry Myerson– Gerry Myerson2020-10-09 22:07:21 +00:00Commented Oct 9, 2020 at 22:07