几何与组合中的一些问题
皮克定理
Theorem (Pick)
对于一个顶点坐标均是整数(顶点均为格点)的简单多边形,其面积满足
其中边界格点包括多边形的顶点和其它在边界上的格点。
Proof
分成两个阶段进行证明,首先引入一个概念:称一个三角形为格点三角形(本原三角形),如果三角形的顶点是格点,但是边界和内部不含其它格点。 我们首先证明:任意格点三角形的面积均为
格点三角形的性质可以保证,这个坐标变换是
因此
一个顶点为格点的多边形总是可以剖分为若干个格点三角形,可以证明划分的格点三角形个数是固定的,并且满足如下关系
可以通过对内角和算两次进行证明:剖分后的格点三角形内角和显然为
也可以通过对格点的分类进行计算,首先边界格点分为两类
三类格点对内角和的贡献分别为:
-
顶点:
;(即整个多边形的内角和) -
非顶点的边界格点:
; -
内部格点:
。
因此
这个等式的右侧与剖分无关,因此剖分得到的格点三角形个数是固定的。 由于每一个格点三角形的面积必然为
Remark
皮克定理在高维情况并不适用。皮克定理和欧拉公式(
欧拉公式
Theorem (欧拉公式)
对于任何一个凸多面体,始终满足
其中
Example
例如对于立方体,
凸正多面体(柏拉图立体)
Definition
称一个凸多面体是凸正多面体(柏拉图立体),如果满足:所有面都是全等的正多边形,而且每一个顶点处有相同数目的棱相交。
记凸正多面体的每一个面为正
Proposition
凸正多面体(柏拉图立体)只有五种,分别是:正四面体(

五种凸正多面体(柏拉图立体)
Proof
可以基于欧拉公式给出证明。 由于每条边被两个面共享,每个面有
代入欧拉公式可得
整理得到
并且有
注意到若
必然无解,同理若
正方形剖分为小正方形
Problem
证明一个正方形可以拆分为
Solution
直接构造即可,如下图所示,取

满二叉树的叶子数与节点数
Proposition
对于一棵满二叉树(即每个内部节点都恰好有2个子节点),若其叶子节点数为
Proof
设内部节点数为
方法一(递归归纳法): 当
归纳完成。
方法二(图论、算两次): 对树的边数量
-
第一次“向上数”:除根节点外,每个节点有且仅有一条边连向父节点,故
。 -
第二次“向下数”:由于每个内部节点恰好向下发出2条边(满二叉树性质),故
。
因此
结合