原来也有北瓜

如果我们扩展这个算法，并确保在算法的每一步都能得到有效的最大公约数，那么我们就可以证明欧几里得算法的完备性。，我们可以使用欧几里得算法，通过反复取余数的方式，得到它们的最大公约数。构造一个对象（通常是序列、函数、集合等），证明它满足某种性质或条件，从而证明系统的完备性。假设原系统不完备，然后引入新的元素或规则，通过扩展系统来证明其完备性。对于递归定义的对象或概念，通过递归的性质和定义来证明系统的完备性。假设系统不完备，然后推导出一个矛盾结果，从而证明了系统的完备性。：证明欧几里得算法的完备性。

要证明这个命题，我们需要证明两个方向：首先证明如果一个整数是偶数，那么它可以被 2 整除；通过证明基础情况为真，再证明如果对某个特定的自然数命题成立，则它对下一个自然数也成立。，所以它要么是一个素数（不在列表中），要么有一个素因子不在列表中。因此，总是能够找到新的不在列表中的素数，这证明了存在无穷多个素数。通过构造一个满足条件的对象来证明命题的存在性，或者构造一个反例来证明命题的不存在性。用于证明某个命题的真假。假设要证明的命题为假，然后推导出一个矛盾结果，从而证明原命题为真。：我们可以使用构造法证明。

正投影 (Orthographic projection)Weak perspective projectionAffine projection形式1形式2

无符号距离函数（Unsigned Distance Function）是计算物体表面距离的一种数学函数。它通常用于计算机图形学中的体素渲染、几何形状重建和碰撞检测等应用。图1是一些常见无符号距离场的原理示意图。不够精确，只能用来确定大致的区域。的零等值面，该距离场对法向很敏感。： 表示向量的转置。

（a）点云建立的k近邻图（b）k近邻图上建立的最小生成树最小生成树 (Minimum Spanning Tree，简称 MST) 是一种在带权无向图中的树，它连接了图中所有节点并且总权重最小。在最小生成树中，任意两个节点之间有且仅有一条路径，同时这些路径的权重之和最小。最小生成树的应用场景非常广泛。网络设计：在计算机网络或通信网络中，最小生成树可以用来构建最优的网络拓扑结构，以便实现高效的数据传输和通信。