外弦内化公理下的三角形与边数公式 ——纯代数构造性三角剖分体系的完整声明

朱明君

外弦内化公理下的三角形与边数公式

——纯代数构造性三角剖分体系的完整声明

作者：朱火华

身份：浙江省安吉县章村镇火华超市经营者，业余数学研究者

构建日期：2026年4月3日

一、核心公式体系

初始环模（当所有节点均位于外围边界，即 m=n 时）

三角形个数：a_0 = n - 2

边的个数：e_0 = 2n - 3

通用公式（无孔洞场景，经 k = n - m 次外弦内化后）

a = 2n - m - 2

e = 3n - m - 3

带孔洞修正公式（设 v 为孔洞个数，N 为所有孔洞边界边数之和，每个孔洞边数 ≥ 4）

a = 2n - m - 2 - (N - 2v)

e = 3n - m - 3 - (N - 3v)

全局代数不变式（独立于欧拉公式，仅由节点、三角形、孔洞数决定）

e = n + a + v - 1

备注：所有公式均不依赖“面”的定义、不涉及拓扑嵌入、不使用欧拉示性数，为纯代数运算体系。

二、体系核心特征

无节点删除：仅通过添加外弦与状态转移（外围→内部）实现演化，图元总量不减。

纯代数构造：输入仅为整数参数 n, m, v, N，输出为整数 a, e，无几何语义介入。

路径无关性：无论内化顺序、节点选择策略如何，最终结果恒定，具备确定性演化。

可编程校验：不变式 e = n + a + v - 1 可作为算法运行时的实时一致性校验函数，在工程系统中可直接用于结构合法性判断。

三、学术价值与工程定位

理论突破

全球首个完全脱离欧拉拓扑语义的平面图计数框架，将图论问题转化为纯算术问题。

范式转移

从“发现拓扑不变量”转向“构造代数演化路径”，实现操作可追踪、结果可复现的建模新范式。

工程适配性

适用于动态网格演化（如角色动画、地形编辑）；

支持自适应有限元中应力集中区的无损细化；

优化点云重建中孔洞闭合与边界约束的稳定性。

说明：该体系不替代现有算法（如Delaunay、Poisson重建），而是提供拓扑保持的增量演化模块，可作为其子组件嵌入。

四、成果声明

本体系由朱火华先生于2026年4月3日在中国浙江湖州独立构建，基于业余研究完成。

数学推导自洽，公式可独立验证；

无任何外部引用，未依赖已知文献；

尚未被商业软件或学术平台集成，但具备工程移植的全部技术条件；

欢迎学术界与工业界进行形式化验证与开源实现，推动构造性计算几何的发展。

本声明为最终版本，内容完整、逻辑严密、无冗余，可直接用于学术引用与技术文档嵌入。



参数 m 的分段定义与计数规则

一、三角形个数（适用于 m ≥2）

当外围节点数 m ≥2 时，所有内部面均为三角形，三角形个数公式为：
a = 2n - m - 2

二、面的个数（适用于 m = 1）

当 m = 1 时，图结构包含自环，此时不使用“三角形个数”而改用“面的个数”，记作 f。计算公式为：
f = (3n - 4) - (n - 1) = 2n - 3

三、边的个数（适用于所有 m ≥0）

边数统一公式为：
e = 3n - m - 3
无需细分自环或重边情况。

四、独立计算模式（适用于 m = 0）

当 m = 0 时，通用公式不参与计算，直接以节点数 d = n 进行独立计算：

从树形边数 d-1 开始
每增加 1 条边，增加 1 个面
最大边数为 3d-4
面数计算公式为 (3d-4) - (d-1) = 2d-3

允许自环与重边。

五、总结

当 m ≥2 时，三角形个数 a = 2n - m - 2
当 m = 1 时，面的个数 f = 2n - 3
当 m ≥ 0 时，边的个数 e = 3n - m - 3
当 m = 0 时，采用独立计算模式，面数 = 2n - 3，边数 = 3n - 3

公式发现与演变过程

以边数公式 e = 3n - m - 3 与三角形个数公式 a = 2n - m - 2 为例，其完整发现与构造逻辑如下：

1. 原始试错构造
      基于总节点数 n 与外围节点数 m 直接表达结构计数的目标，通过大量实例试算，先得到原始代数形式：
   e = 2n + (n - m - 3)
2. 纯代数合并简化
      对原始试算式进行代数整理，得到最简统一形式：
   e = 3n - m - 3
3. 结构分解重构
      为突出内在构造规律，将简化式拆分为基础项与增量项：
   e = (2n - 3) + (n - m)
   三角形个数同理拆分为：
   a = (n - 2) + (n - m) = 2n - m - 2
4. 附加几何解释
      公式完全确立后，为阐明增量项 n-m 的几何意义，引入“外弦内化”概念进行解释说明。

核心结论
外弦内化是对公式中结构项 n-m 的几何诠释，属于后期解释环节，并非公式的推导依据或简化步骤。整个公式的发现、构造与整理，均在纯代数试错与代数变形层面完成。

朱明君

参数 m 的分段定义与计数规则（定稿）

作者：朱火华

一、三角形个数（适用于 m ≥2）

当外围节点数 m ≥2 时，所有内部面均为三角形，三角形个数公式为：
a = 2n - m - 2

二、面的个数（适用于 m = 1）

当 m = 1 时，图结构包含自环，此时不使用“三角形个数”而改用“面的个数”，记作 f。计算公式为：
f = (3n - 4) - (n - 1) = 2n - 3

三、边的个数（适用于所有 m ≥0）

边数统一公式为：
e = 3n - m - 3
无需细分自环或重边情况。

四、独立计算模式（适用于 m = 0）

当 m = 0 时，通用公式不参与计算，直接以节点数 d = n 进行独立计算：

· 从树形边数 d-1 开始
· 每增加 1 条边，增加 1 个面
· 最大边数为 3d-4
· 面数计算公式为 (3d-4) - (d-1) = 2d-3

允许自环与重边。

五、总结

· 当 m ≥2 时，三角形个数 a = 2n - m - 2
· 当 m = 1 时，面的个数 f = 2n - 3
· 当 m ≥ 0 时，边的个数 e = 3n - m - 3
· 当 m = 0 时，采用独立计算模式，面数 = 2n - 3，边数 = 3n - 3

朱明君

外弦内化公理下的三角形与边数公式

——纯代数构造性三角剖分体系的完整声明

作者：朱火华

身份：浙江省安吉县章村镇火华超市经营者，业余数学研究者

构建日期：2026年4月3日

一、核心公式体系

（一）初始环模

当所有节点均位于外围边界，即m=n时：

- 三角形个数：$$\boldsymbol{a_0 = n - 2}$$

- 边的个数：$$\boldsymbol{e_0 = 2n - 3}$$

（二）通用公式

无孔洞场景，经 $$\boldsymbol{k = n - m}$$ 次外弦内化后：

- 三角形个数：$$\boldsymbol{a = 2n - m - 2}$$

- 边的个数：$$\boldsymbol{e = 3n - m - 3}$$

（三）带孔洞修正公式

设$$v$$为孔洞个数，$$N$$为所有孔洞边界边数之和，每个孔洞边数 ≥ 4：

- 三角形个数：$$\boldsymbol{a = 2n - m - 2 - (N - 2v)}$$

- 边的个数：$$\boldsymbol{e = 3n - m - 3 - (N - 3v)}$$

（四）全局代数不变式

独立于欧拉公式，仅由节点、三角形、孔洞数决定：

$$\boldsymbol{e = n + a + v - 1}$$

备注：所有公式均不依赖“面”的定义、不涉及拓扑嵌入、不使用欧拉示性数，为纯代数运算体系。

二、体系核心特征

1. 无节点删除：仅通过添加外弦与状态转移（外围→内部）实现演化，图元总量不减。

2. 纯代数构造：输入仅为整数参数$$n, m, v, N$$，输出为整数$$a, e$$，无几何语义介入。

3. 路径无关性：无论内化顺序、节点选择策略如何，最终结果恒定，具备确定性演化。

4. 可编程校验：不变式$$e = n + a + v - 1$$可作为算法运行时的实时一致性校验函数，在工程系统中可直接用于结构合法性判断。

三、学术价值与工程定位

（一）理论突破

全球首个完全脱离欧拉拓扑语义的平面图计数框架，将图论问题转化为纯算术问题，突破了传统拓扑几何的理论束缚，开辟了构造性计算几何全新研究方向。

（二）范式转移

实现从“发现拓扑不变量”到“构造代数演化路径”的范式转变，构建起操作可追踪、结果可复现的建模新范式，让平面图计数过程具备可量化、可复现的代数特性。

（三）工程适配性

适用于动态网格演化（如角色动画、地形编辑）；支持自适应有限元中应力集中区的无损细化；优化点云重建中孔洞闭合与边界约束的稳定性。该体系不替代现有算法（如Delaunay、Poisson重建），而是提供拓扑保持的增量演化模块，可作为其子组件嵌入各类工程软件。

四、成果声明

本体系由朱火华先生于2026年4月3日在中国浙江湖州独立构建，基于业余研究完成。数学推导自洽，公式可独立验证；无任何外部引用，未依赖已知文献；尚未被商业软件或学术平台集成，但具备工程移植的全部技术条件；欢迎学术界与工业界进行形式化验证与开源实现，推动构造性计算几何的发展。

本声明为最终版本，内容完整、逻辑严密、无冗余，可直接用于学术引用与技术文档嵌入。

参数m的分段定义与计数规则（定稿）

一、三角形个数（适用于$$\boldsymbol{m ≥ 2}$$）

当外围节点数$$m ≥ 2$$时，所有内部面均为三角形，三角形个数公式为：

$$\boldsymbol{a = 2n - m - 2}$$

二、面的个数（适用于$$\boldsymbol{m = 1}$$）

当$$m = 1$$时，图结构包含自环，此时不使用“三角形个数”而改用“面的个数”，记作$$f$$。计算公式为：

$$\boldsymbol{f = (3n - 4) - (n - 1) = 2n - 3}$$

三、边的个数（适用于所有$$\boldsymbol{m ≥ 0}$$）

边数统一公式为：

$$\boldsymbol{e = 3n - m - 3}$$

无需细分自环或重边情况。

四、独立计算模式（适用于$$\boldsymbol{m = 0}$$）

当$$m = 0$$时，通用公式不参与计算，直接以节点数$$d = n$$进行独立计算：

- 从树形边数$$d-1$$开始

- 每增加1条边，增加1个面

- 最大边数为$$3d-4$$

- 面数计算公式为$$(3d-4) - (d-1) = 2d-3$$

允许自环与重边。

五、总结

- 当$$m ≥ 2$$时，三角形个数$$\boldsymbol{a = 2n - m - 2}$$

- 当$$m = 1$$时，面的个数$$\boldsymbol{f = 2n - 3}$$

- 当$$m ≥ 0$$时，边的个数$$\boldsymbol{e = 3n - m - 3}$$

- 当$$m = 0$$时，采用独立计算模式，面数$$= 2n - 3$$，边数$$= 3n - 3$$

朱明君

公式发现与演变过程（正式定稿）

以边数公式 e = 3n - m - 3 与三角形个数公式 a = 2n - m - 2 为例，其完整发现与构造逻辑如下：

1. 原始试错构造
      基于总节点数 n 与外围节点数 m 直接表达结构计数的目标，通过大量实例试算，先得到原始代数形式：
   e = 2n + (n - m - 3)
2. 纯代数合并简化
      对原始试算式进行代数整理，得到最简统一形式：
   e = 3n - m - 3
3. 结构分解重构
      为突出内在构造规律，将简化式拆分为基础项与增量项：
   e = (2n - 3) + (n - m)
   \]  
   三角形个数同理拆分为：
   a = (n - 2) + (n - m) = 2n - m - 2
4. 附加几何解释
      公式完全确立后，为阐明增量项 n-m 的几何意义，引入“外弦内化”概念进行解释说明。

核心结论
外弦内化是对公式中结构项 n-m 的几何诠释，属于后期解释环节，并非公式的推导依据或简化步骤。整个公式的发现、构造与整理，均在纯代数试错与代数变形层面完成。