证明：凸多边形裁剪一次最多能够新增一个凸多边形

前言

今天上课老师又布置证明作业。。。来记录一下。

题目是这样子的：有一凸多边形，经过一次裁剪，要证明它最多能够获得一个新增的凸多边形。

如图：裁剪一个非凸多边形一次，能够获得多个新增的多边形（图中为 3 个）：

那么一个凸多边形，裁剪一次，能够获得多个多边形吗？答案是否定的，请看证明。

引理

为了证明它，我们引入两个引理：

1. 在欧氏空间中凸集的定义如下：凸集 {𝑠} 中的两点连线组成的线段都在 {𝑠} 中。
2. 凸多边形的定义为 “内部为凸集的简单多边形”，所以凸多边形内任意两点的连线 都应该在凸多边形内（或者边上）。

总之：凸多边形内两点连线必定在凸多边形内部！

证明

根据我们的引理【凸多边形内两点连线必定在凸多边形内部】，我们利用反证法来进行证明。

1. 假设有一凸多边形 𝑠，其内的点组成集合 {𝑠} 。
2. 经过一次裁剪，得到了两个新增的凸多边形 𝑎 和 𝑏
3. 我们连接 𝑎 和 𝑏 内的两点，必定存