玩转内接多边形（三）：任意凸多边形内均存在内接菱形

当我们进一步考虑内接菱形时，情况有了一些变化——证明任意多边形内均存在内接菱形没有前几个问题那么容易了。但我们可以轻易证明一个弱化版的命题：任意凸多边形内均存在内接菱形。下面将给出这个命题的两种不同的证明，它们都相当经典。

证明 1 ：考虑凸多边形内的一条水平线段由上至下扫过，这条线段的中点所形成的轨迹就是一条连接凸多边形最顶端与最底端的折线段。类似地，考虑一条从左至右移动的竖直线段，它的中点就构成了从凸多边形最左端到最右端的连线。显然，这两条连线会有一个交点，也就是说我们找到了两条互相垂直且中点重合的线段，它们对应的四个端点显然就是一个菱形的四个顶点。

证明 2 ：考虑凸多边形内的任意一点 P ，过 P 点作水平直线和竖直直线，与凸多边形交于四个点 Pa 、 Pb 、 Pc 、 Pd 。令 f(P) 表示 Pa 、 Pb 、 Pc 、 Pd 的重心（也就是 Pa Pc 和 Pb Pd 的中垂线的交点）。由图形的凸性可知，这个重心一定位于凸多边形内部。另外，容易得出 f 是连续的，由 Brouwer 不动点定理可知，存在一个 P 点使得 P=f(P) ，这个 P 点所对应的 Pa 、 Pb 、 Pc 、 Pd 显然就是一个菱形的四个顶点。