事实3 在n边形(n≥3)的任意一种三角剖分中 每一对相邻顶点中至少有一个顶点是某条对 角线的端点。 因为若相邻顶点V,V+都不是某条对角线 的端点，则区域(W;-1,V,V+,V+2)中没有对角 线，因而也就没有被三角剖分。 事实4如果VV:是三角剖分的一条对角线，则 一定存在某顶点Vk,使得VVk和VkV是多边形 的边或对角线。 因为若不然，一定存在以VV:为边界的某 个区域没有被三角剖分。 事实3 在n边形(n≥3)的任意一种三角剖分中, 每一对相邻顶点中至少有一个顶点是某条对 角线的端点。 因为若相邻顶点Vi ,Vi+1都不是某条对角线 的端点,则区域(Vi-1 ,Vi ,Vi+1,Vi+2)中没有对角 线,因而也就没有被三角剖分。 事实4 如果Vi Vj是三角剖分的一条对角线,则 一定存在某顶点Vk ,使得Vi Vk和Vk Vj是多边形 的边或对角线。 因为若不然,一定存在以Vi Vj为边界的某 个区域没有被三角剖分