定义 利用已知几何图形的性质（如全等、轴对称），推导出线段相等、角相等或位置关系的过程。
从哪来 本节为初二数学起点，无前置知识点记录，直接基于初中几何基础公理与定义构建。
为什么 几何证明的本质是逻辑演绎。性质是“已知条件”与“待证结论”之间的桥梁。例如，全等三角形的对应边相等，这一性质将“三角形全等”这一复杂状态转化为“线段长度相等”这一具体数量关系，从而让抽象的空间关系变得可计算、可推导。不讲性质，就无法建立条件与结论的逻辑链条。