Simple polygons can be triangulated with their diagonals

by math_explorer, Oct 23, 2014, 11:55 AM

Blah, this must be the fourth time I've forgotten the proof, so this is a service to my future self:

First note that it suffices to find one internal diagonal in a simple polygon, since that will cut it into two simple polygons and induction completes the triangulation. Pick a vertex $A$ at which the angle is less than $180^\circ$. Let $B, C$ be the adjacent vertices. Either $BC$ is the internal diagonal we want, or it intersects the boundary, in which case, let $V$ be the vertex of the polygon in triangle $\triangle ABC$ that is furthest from $BC$. It exists and $AV$ is an internal diagonal.

(It's the proof cited in Proofs from the Book and also appears in an unnamed PDF hosted on princeton.edu you can find by searching.)

Also, an unsolved-by-me question: if $P$ is a vertex of a simple polygon at which the angle is greater than $180^\circ$, does there necessarily exist another vertex $Q$ such that $PQ$ is an internal diagonal (i.e. lies strictly inside the polygon, except, of course, for its endpoints)?

edit: I see now. The answer is yes; all you have to do is rotate a ray starting at $P$ around it and see the first time that the first edge of the polygon the ray hits changes. At that instant, the ray must be passing through a vertex, and connecting that vertex to $P$ does the trick. (If $P$'s angle is less than $180^\circ$ then it's possible the ray only hits one edge throughout the entire rotation, so this fails.)
This post has been edited 2 times. Last edited by math_explorer, Oct 25, 2014, 12:04 PM

Comment

0 Comments

♪ i just hope you understand / sometimes the clothes do not make the man ♫ // https://beta.vero.site/

avatar

math_explorer
Archives
+ September 2019
+ February 2018
+ December 2017
+ September 2017
+ July 2017
+ March 2017
+ January 2017
+ November 2016
+ October 2016
+ August 2016
+ February 2016
+ January 2016
+ September 2015
+ July 2015
+ June 2015
+ January 2015
+ July 2014
+ June 2014
inv
+ April 2014
+ December 2013
+ November 2013
+ September 2013
+ February 2013
+ April 2012
Shouts
Submit
  • how do you have so many posts

    by krithikrokcs, Jul 14, 2023, 6:20 PM

  • lol⠀⠀⠀⠀⠀

    by math_explorer, Jan 20, 2021, 8:43 AM

  • woah ancient blog

    by suvamkonar, Jan 20, 2021, 4:14 AM

  • https://artofproblemsolving.com/community/c47h361466

    by math_explorer, Jun 10, 2020, 1:20 AM

  • when did the first greed control game start?

    by piphi, May 30, 2020, 1:08 AM

  • ok..........

    by asdf334, Sep 10, 2019, 3:48 PM

  • There is one existing way to obtain contributorship documented on this blog. See if you can find it.

    by math_explorer, Sep 10, 2019, 2:03 PM

  • SO MANY VIEWS!!!
    PLEASE CONTRIB
    :)

    by asdf334, Sep 10, 2019, 1:58 PM

  • Hullo bye

    by AnArtist, Jan 15, 2019, 8:59 AM

  • Hullo bye

    by tastymath75025, Nov 22, 2018, 9:08 PM

  • Hullo bye

    by Kayak, Jul 22, 2018, 1:29 PM

  • It's sad; the blog is still active but not really ;-;

    by GeneralCobra19, Sep 21, 2017, 1:09 AM

  • dope css

    by zxcv1337, Mar 27, 2017, 4:44 AM

  • nice blog ^_^

    by chezbgone, Mar 28, 2016, 5:18 AM

  • shouts make blogs happier

    by briantix, Mar 18, 2016, 9:58 PM

91 shouts
Contributors
Tags
About Owner
  • Posts: 583
  • Joined: Dec 16, 2006
Blog Stats
  • Blog created: May 17, 2010
  • Total entries: 327
  • Total visits: 357059
  • Total comments: 368
Search Blog
a