高中数学全套逻辑概念区分：公理、定义、判定定理、性质定理、推论、引理、定理

一、总逻辑链条（从基础到衍生）

公理 / 定义（无需证明，起点）→ 定理（严谨证明得出）
定理再分出：判定定理、性质定理；简短衍生结论叫推论；辅助证明用的小结论叫引理

1. 公理（公设）

概念

不加证明、直接公认成立的基础事实，是整个体系的起点，所有定理都靠公理推导。

特征

1. 无法证明，也不需要证明；
2. 简洁直观，符合直观认知；
3. 是证明的底层依据。

高中例子

• 平面基本性质3条公理（三点确定平面、直线两点在面则整条线在面等）；
• 等量公理：等量加等量和相等；
• 平行公理：过直线外一点有且只有一条直线与已知直线平行。

句式：本来就成立，不用证

2. 定义

概念

对一个数学对象是什么给出严格规定，是区分事物的标准，兼具判定+性质双重功能。

特征

1. 人为规定，等价命题；“A的定义是B” ⇔ A⇔B；
2. 既能用来判定“是不是A”，也能由“A”推出B的性质。

例子

• 偶函数定义：\(\forall x\in D,f(-x)=f(x)\)；
  判定：满足式子→偶函数；性质：是偶函数→式子成立；
• 线面垂直定义：直线垂直平面内任意一条直线。

区分点：定义是“给名字下标准”，定理是“推导出来的规律”

3. 定理

概念

依靠公理、定义、其他已证定理，经过严格逻辑推理证明成立的命题。
细分三类：判定定理、性质定理、引理。

（1）判定定理

核心方向：条件 ⇒ 对象成立（证身份、证关系）

已知若干外部条件，推出「这个图形/函数/线面满足XX关系/是XX图形」
作用：证明、求证
句式：若具备条件…，则XX平行/垂直/相似/为XX函数
例：线面平行判定、三角形相似判定、面面垂直判定

（2）性质定理

核心方向：对象成立 ⇒ 导出特征

已知已经是XX图形/满足XX关系，推出它自带的等量、平行、垂直、等量关系
作用：题干给条件，转化推导
句式：若XX平行/垂直/相似，则必有…
例：线面平行性质、相似三角形对应边成比例

（3）引理

概念

为了证明某个复杂大定理，专门先证明的辅助小定理，本身无独立考题价值，只做中间跳板。
特征：单独不常用，服务于主定理证明。
例：立体几何里部分辅助平行结论、导数零点存在性前置引理。

4. 推论（系）

概念

由公理、定义、定理仅需一两步简单推导就能得到的附属结论。

特征

1. 依附于主干，不能独立存在；
2. 证明极短，课本常在对应定理后紧跟；
3. 考试可直接使用，不用再推导一遍。

例子

• 三角形内角和定理推论：三角形外角等于不相邻两内角和；
• 面面平行推论：垂直于同一平面的两条直线平行。

二、一张表完整对比

名称	是否需要证明	逻辑流向	核心作用	一句话记忆
公理	无需证明，底层起点	无推导，默认成立	整套数学的根基	公认事实，不用证
定义	人为规定，等价双向	\(A\Leftrightarrow B\)	界定“某物是什么”	给事物下标准
判定定理	必须证明	外部条件 → 是XX	证明平行/垂直/相似	凭条件，判身份
性质定理	必须证明	是XX → 自带特征	已知关系，推等量平行	知身份，得特点
引理	必须证明	小结论→支撑大定理	辅助证明难题主干定理	打杂辅助，只为证主定理
推论	由定理简易推出（简短证明）	主干定理一步导出	简化做题，快速结论	定理顺带衍生的小结论

三、做题快速分辨实操技巧

1. 看到题目要求求证：线∥面、三角形相似、垂直，书写依据优先用判定定理；
2. 题干给出“线面平行、菱形、奇函数”，用它转化条件，依据是性质定理；
3. 一句话就能从主定理推出来、课本写“推论”的，写依据直接填推论；
4. 立体几何开篇那几条不用证明的平面基础命题，是公理；
5. 题目问“什么是奇函数/异面直线”，用的是定义；
6. 做题很少单独考，课本只在证明大定理中间插的小结论，是引理。

四、易混易错区分

1. 定义 ≠ 判定定理
   定义是充要条件，双向都成立；判定定理只是单向充分条件。
   例：线面垂直定义（充要）；线面垂直判定（只需两条相交线垂直，充分不必要）
2. 推论 ≠ 定理
   推论是附属品；判定/性质定理是核心主干，二者层级不同。
3. 公理 ≠ 定义
   公理是客观规律；定义是人为给数学对象命名。