选择定理
选择定理给出了一种求端点为整数顶点的平面上多边形面积的方法。
晶格多边形
晶格点点的坐标都是整数,比如 , .所有格点的集合形成一个网格。一个晶格多边形是由直线构成的形状,顶点都是格点,匹克定理给出了格多边形面积的公式。
首先,观察任意晶格多边形 时,多边形的边界边包含一些格点 包括作为顶点的格点 并且可能在其内部包含一些晶格点(不包括边界上的点)。让
选择定理
让 是一个格多边形,设 为多边形边界上的点,令 为多边形内部的点数。然后
注意匹克定理适用于任何多边形,不仅仅是凸多边形。
对于矩形来说 的长度 和高度 有 沿矩形边界的点,和 矩形内部的点。应用匹克定理得到
如果没有匹克定理,我们可以通过将格多边形分解为三角形来计算格多边形的面积,然后使用正弦法则计算每个三角形的面积,然后将得到的三角形面积相加来得到格多边形的面积。作为一个强大的工具,鞋带定理可以同时计算给定坐标的任意图形的面积。匹克定理提供了一种不用进行所有这些计算就能求出晶格多边形面积的方法。匹克定理还包含以下有趣的推论:
格多边形的面积总是整数或半整数。
证明:由匹克定理,格多边形的面积 是由 在格多边形中,的内部点的数目 边界上的点数 都是整数。然后 为整数,如果 偶数和二分之一是整数吗 是奇数。
不可能把等边三角形画成格多边形。
证明:假设我们可以画一个等边三角形作为一个点阵多边形 , 而且 有边长 .通过距离公式而且勾股定理, 表示这两个顶点之间距离的平方,必须为整数。还要注意,等边三角形的面积可以表示为 ,则面积一定是无理数。
另一方面,的面积 根据前面的定理,必须是整数或半整数,这意味着面积必须是有理数,这是矛盾的。因此,不可能把等边三角形画成格多边形。
例子问题
证明示意图
我们可以使用以下步骤来证明这一点:
- 对于边长与坐标轴平行的矩形,这是正确的:这是显而易见的。一个 矩形有 边界上的点, 分在内部,和一个面积 .
- 对于底平行于坐标轴的直角三角形,这是正确的:我们可以将三角形加倍以形成一个矩形,并跟踪位于斜边上的点。
- 这对于任意三角形都是成立的:我们取一个边平行于包含这个三角形的两个轴的矩形,然后减去那些底平行于这些轴的直角三角形。
- 这对任何多边形都是正确的:我们对多边形进行三角剖分。
这里的主要思想是表明多边形的和和和差仍然服从匹克定理,这是什么允许我们粘/分离三角形。