将一个三角形剖分成更小的三角形,使得所有三角形都与其邻居完全边接触。将角标记为 1、2 和 3。用 1、2 或 3 标记所有顶点,限制是与数字相对的边的顶点缺少该数字。因此,与 1 相对的边不包含标记为 1 的顶点。
那么斯佩纳引理指出,任何这样的标记都必须包含奇数个顶点标记为 1、2、3 的三角形。
斯佩纳引理等价于布劳威尔不动点定理。
将一个三角形剖分成更小的三角形,使得所有三角形都与其邻居完全边接触。将角标记为 1、2 和 3。用 1、2 或 3 标记所有顶点,限制是与数字相对的边的顶点缺少该数字。因此,与 1 相对的边不包含标记为 1 的顶点。
那么斯佩纳引理指出,任何这样的标记都必须包含奇数个顶点标记为 1、2、3 的三角形。
斯佩纳引理等价于布劳威尔不动点定理。
Weisstein, Eric W. "斯佩纳引理。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/SpernersLemma.html