设[tex=2.143x1.357]WMeNa8LwDXLK3KGhkKp0ng==[/tex]是命题:对具有[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]条边的简单多边形三角化时，这些三角形中至少有一个三角形的两条边都是多边形的外部边界。证明可以用强归纳法证明更强的断言:对所有[tex=2.5x1.143]K+Swr2cA+8b62T1YU7nuOw==[/tex]， [tex=2.0x1.357]EtwvG/5SWREL7jVhXfW2NA==[/tex]为真。其中[tex=2.0x1.357]EtwvG/5SWREL7jVhXfW2NA==[/tex]是命题:对简单多边形的任何三角化时，这些三角形中至少有两个三角形的两条边都是多边形的外部边界。