叉乘(七)——线段是否在多边形内？

判断线段是否在多边形内：

　　线段在多边形内的一个必要条件是线段的两个端点都在多边形内，但由于多边形可能为凹，所以这不能成为判断的充分条件。

　　如果线段和多边形的某条边内交（两线段内交是指两线段相交且交点不在两线段的端点），

　　因为多边形的边的左右两侧分属多边形内外不同部分，所以线段一定会有一部分在多边形外(见图a)。

　　于是我们得到线段在多边形内的第二个必要条件：线段和多边形的所有边都不内交。