直线裁减,多边形裁剪[1]