It is very obvious that on the -plane I can select 4 vertices with all integer coordinates that form a regular 4-gon (a square).
Are there any other integers (besides 4) such that a regular -gon with all integer vertex coordinates can be drawn out of the points selected?
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.
By breaking down an n sided regular polygon with side length s into n isosceles triangles, (in cases n = 3 each isosceles triangle with a vertex at the polygon's circumcenter), the area of such a polygon is
4 tan n π n s 2 .
But by Pick's theorem , this area is an integer or half an integer. This means that (at very least) tan n π is rational.
However, by Niven's theorem , tan θ is only rational at θ = 4 π and θ = 0 (within the range we're working on here, 0 < θ ≤ 3 π ).
So the only possible values of n such that a regular polygon could be created with n lattice points is 4 , and we're given this works in the problem statement. Hence the answer is 'No'.
Extra: Well that's a (somewhat) high level solution (that generalises the n = 3 case in the Pick's Theorem wiki article). Anyone want to find a nicer solution? :)