Definition talk:Polygon/Chord
Jump to navigation
Jump to search
Definition
Sorry for the confusion. My source, the Joseph O'Rourke book has:
- p. 12: [the chord] is completely interior to $P$ (i.e. , does not intersect $\partial P$)
It was the last part that confused me, so I believed it was enough to require that the chord should not intersect any other sides of $P$, but that obviously does not work. Have changed it now.
- "should not intersect any other sides of $P$" could be made more rigorous by wording it as "does not intersect $\partial P$ except at the endpoints."
O'Rourke also uses the word internal diagonal, but he does not formally define it. Maybe we could do that. --Anghel (talk) 17:02, 18 November 2022 (UTC)
- If it's in there, it's worth defining. I have always found it a mistake to gloss over or ignore a definition given in a source work, as it is often the case that it is used later on when you are not expecting it. --prime mover (talk) 17:40, 18 November 2022 (UTC)
- I also wonder whether O'Rourke's constraint that it should lie entirely internal to $P$ may not be so much an "also defined as" as the main canonical definition. Can we find sources which allow $AF$ to be a chord? --prime mover (talk) 17:43, 18 November 2022 (UTC)
- Most sources use the word diagonal of polygonal instead of chord of polygon. The standard definition of diagonal does not require it to be entirely internal, so $AF$ , and $AE$ as well, are diagonals. I have not found any hard-copy sources that uses chord. There are a few questions on StackExchange and a few papers that use the term chord, most of them use it without the internal requirement. So no, I don't believe we should change our canonical definition.
- Maybe we should define internal chord, and make a rigorous definition like:
- ...expect for the two vertices, which are the endpoints of the chord, the chord lies entirely in the interior of the polygon.
- More examples, maybe: "$GE$ is an internal chord, $AF$ is a ..., $AE$ is a ...(more complicated thing) etc. --prime mover (talk) 00:25, 19 November 2022 (UTC)