I came across the observation in russell & norvig's artificial intelligence book that the shortest path between two points while avoiding convex polygonal obstacles is a sequence of line segments between vertices of the polygonal obstacles.
This seems intuitive enough, but how do we prove this?
I have found several resources that seem to gloss over this:
1 and 2) Previous stackexchange answer, which says this problem is reducible to having lines as obstacles, but the Ph.D. thesis it refers to doesn't actually seem to provide a proof for this either, as there is no proof given for Corollary 5.1 on p. 112 (whereas the theorem it is a corollary to seems to have a very simple proof).
Stanford geometric algorithms lecture notes also gloss over this, no proof provided for lemma 2.
Another paper I found also says for the relevant Lemma 1 "we don't provide the simple proof [...]."
I can't tell if I'm just missing something obvious that most readers can just fill in the blanks with or not.
Any thoughts appreciated.