THEOREM OF THE DAY: The Art-Gallery Theorem

Theorem

Let P be the subset of the Euclidean plane consisting of an n-vertex simple polygon and its interior. Then P contains a finite subset S, of cardinality at most ⌊n/3⌋, such that every point of P is joined to some point of S by a straight line contained in P.

Click on the image.