7
$\begingroup$

Given any convex polygon in the plane, is it always possible to find a point $p$ in its interior such that when we draw the line segments from $p$ to each of its vertices, the angles formed at $p$ are all (not necessarily equal) rational multiples of $\pi$?

For a triangle $T$, it's easy to construct such a point, namely the Steiner point $p$ will do, enjoying three angles of measure $2\pi/3$ each, between $p$ and any two adjacent vertices of $T$. But is this known in general?

Improve this question
$\endgroup$
1
  • 2
    $\begingroup$ What a beautiful question! $\endgroup$
    – Joseph O'Rourke
    Commented Nov 17, 2012 at 21:50

1 Answer 1

Reset to default
6
$\begingroup$

Consider the manifold of all $k$-sided polygons. This is $2k-3$ dimensional. Given a set of angles $\theta_1,...,\theta_k$, the manifold of polygons with those angles from a point is $k$-dimensional, since it's determined by the distances of the vertices from the point.

You're not going to cover a $2k-3$ - dimensional manifold with countably many $k$-dimensional manifolds if $k\geq 4$. In particular, these maps are real algebraic maps, and thus aren't anything like space-filling curves.

Improve this answer
$\endgroup$
12
  • 1
    $\begingroup$ So, it shouldn't be hard to give an explicit example of, say, a quadrilateral with no rational viewing point? $\endgroup$
    – Gerry Myerson
    Commented Nov 17, 2012 at 21:11
  • 1
    $\begingroup$ I was modding out by the symmetry group, which is $3$-dimensional. $\endgroup$
    – Will Sawin
    Commented Nov 17, 2012 at 22:52
  • 1
    $\begingroup$ Oh I wasn't counting scaling. You could also mod out by scaling, the result would be the same. But I think unmodded is actually the best way to go. $\endgroup$
    – Will Sawin
    Commented Nov 17, 2012 at 23:34
  • 2
    $\begingroup$ Isn't it the case then that almost all quadrilaterals have no rational viewing points? In particular, choose any one where all coordinates of the vertices are algebraically independent and you should be safe. $\endgroup$
    – j.c.
    Commented Nov 18, 2012 at 1:26
  • 2
    $\begingroup$ I think $\{(0,0),(1,0),(0,1),(1,\pi)\}$ is an explicit example, because for each list of four angles, the coordinates would have to satisfy some equation defined over the field generated by $\cos$ and $\sin$ of the angles, which would certainly be nontrivial in each coordinate. $\endgroup$
    – Will Sawin
    Commented Nov 18, 2012 at 16:40

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .