性质定理是 由概念(公理)直接得到的定理,用于描述某个概念的所有性质。性质定理的主要功能是描述,它可以直接从概念或公理中推导出来,不需要额外的证明。例如,在几何学中,性质定理可以描述各种图形的特性,如三角形的内角和、平行线的性质等。
具体来说,性质定理可以包括以下几类:
例如,等腰三角形的两个底角度数相等,直角三角形的两个锐角互余等。
例如,平行线被第三条直线所截时,同位角相等、内错角相等、同旁内角互补等。
例如,圆的对称性、垂径定理及其推论等。
这些性质定理在解决几何问题时具有重要的应用价值,可以帮助我们快速判断和推导出其他相关的几何性质。