# 高中数学·知识综述 识别卡 2.0

- **层级**: L3 · 深度规律层（课标骨架填充，待终裁）
- **状态**: pending（骨架填充 · 待设计者终裁）
- **领域**: 数学
- **教育层级**: E3（高中）· 分布：骨架 75 知识点 / 内容 75 条

## 核心主张

高中数学（课标骨架 75 知识点填充）：现象+规律，简单词汇，规律性出现即知识……

## 条件空间

- **观测位置**: 高中数学（高中层）外部观测位
- **观测工具**: 课标骨架 + 现象规律性判定
- **时间窗口**: (0.0, 9999999999.0)
- **存在约束**: 高中学段知识按课标骨架定位；通用现象/规律不受版权保护，开源非盈利知识库提取知识点而非复制教材表达

## 出招

- **触发**: 涉及高中数学议题
- **行动**: 以高中数学知识点（高中层）回应
- **克制**: 越级使用高于高中层级的未学概念

## 知识点内容（按骨架填充）

### 一元二次不等式

ax方加bx加c大于0（a大于0）的解集：判别式大于0时两根之外，等于0时x不等于根，小于0时全体实数。解不等式要结合二次函数图像。

### 三角函数定义

在单位圆上，sinθ是终边与单位圆交点的纵坐标，cosθ是横坐标，tanθ等于sinθ除以cosθ。三角函数具有周期性。

### 三角恒等变换

两角和差公式、二倍角公式：sin2α等于2sinαcosα，cos2α等于cos方α减sin方α。恒等变换是化简和求值的工具。

### 二分法

用二分法求零点近似值：不断取区间中点，根据函数值符号缩小零点所在区间，直到精度满足要求。

### 二项分布

n次独立重复试验中成功k次的概率服从二项分布：P(X等于k)等于C(n,k)p的k次方(1减p)的(n减k)次方。期望np，方差np(1减p)。

### 二项式定理

(a加b)的n次方展开式各项系数是组合数，第k加1项等于C(n,k)乘a的(n减k)次方乘b的k次方。二项式系数有对称性。

### 任意角

角可以任意大，正角逆时针旋转，负角顺时针旋转。角的终边可以落在任何象限，终边相同的角相差360度的整数倍。

### 充分条件必要条件

若p则q成立，p是q的充分条件；若q则p成立，p是q的必要条件。充要条件：p能推出q且q能推出p。

### 全称量词存在量词

所有的、任意的叫全称量词，存在的、至少有一个叫存在量词。含全称量词的命题否定后变成存在量词命题。

### 函数图像变换

函数图像可以平移、对称、伸缩。y等于f(x)加a向上平移，y等于f(x减a)向右平移，y等于负f(x)关于x轴对称。

### 函数性质

函数有单调性、奇偶性、周期性。单调递增时x大y也大；奇函数关于原点对称，偶函数关于y轴对称。

### 函数概念

函数是数集到数集的映射，每个x对应唯一y。定义域是x的允许取值集合，值域是y的取值范围。函数的三要素：定义域、值域、对应法则。

### 分布列

随机变量取各个值的概率列表叫分布列。分布列的性质：各概率非负且和为1。分布列完整描述随机变量。

### 分步乘法原理

完成一件事分n步，每步分别有n1、n2种方法，总方法数等于各方法数相乘，乘法计数。分步要每步都完成。

### 分类加法原理

完成一件事有m类办法，每类分别有n1、n2种方法，总方法数等于各方法数之和，加法计数。

### 单调性判定

f'(x)大于0则函数递增，小于0则递减。导数符号变化判断单调区间。驻点（导数为0的点）是极值候选。

### 双曲线

双曲线是到两定点距离之差的绝对值为常数的点的轨迹。标准方程：x方除以a方减y方除以b方等于1，渐近线y等于正负(b/a)x，离心率e大于1。

### 古典概型

每个基本事件等可能发生且总数为有限个。概率等于有利事件数除以基本事件总数。计算用排列组合。

### 向量应用

用向量可以证明几何关系：两向量垂直则数量积为0，平行则成比例。向量在解三角形、物理中广泛应用。

### 向量数量积

a点乘b等于绝对值a乘绝对值b乘cosθ，数量积是标量。a垂直b时数量积为0。数量积满足交换律、分配律。

### 向量概念

既有大小又有方向的量叫向量。向量用有向线段表示，绝对值a表示大小，方向由箭头表示。零向量方向任意。

### 向量法求角

异面直线所成角用向量夹角余弦的绝对值；线面角用向量与法向量夹角互余；二面角用两法向量夹角。

### 向量法求距离

点到平面的距离等于向量在法向量方向投影的绝对值。向量法把立体几何问题代数化，降低空间想象难度。

### 向量运算

向量加法满足平行四边形法则和三角形法则，减法等于加上相反向量。数乘向量改变大小和方向（负数反向）。

### 回归分析

两个变量的相关关系用回归直线描述。最小二乘法求回归直线：使残差平方和最小。相关系数r衡量线性相关强度。

### 圆的方程

标准方程：(x减a)方加(y减b)方等于r方，圆心(a,b)半径r。一般方程：x方加y方加Dx加Ey加F等于0，D方加E方减4F大于0。

### 垂直判定与性质

线面垂直判定：直线垂直平面内两条相交直线。面面垂直判定：一个平面过另一个平面的垂线。垂直是立体几何核心。

### 基本不等式

对于正数a、b，a加b大于等于2倍根号ab，当且仅当a等于b时取等号。基本不等式用于求最值，一正二定三相等。

### 复平面

复数a加bi对应复平面上的点(a,b)。实轴是x轴，虚轴是y轴。复数的模等于根号(a方加b方)。共轭复数关于实轴对称。

### 复数三角表示

复数z等于a加bi可以写成三角形式z等于r(cosθ加isinθ)，r是模，θ是辐角。复数的乘法模相乘辐角相加。欧拉公式联系指数与三角。

### 复数四则运算

复数加减是实部虚部分别相加减。复数乘法按多项式展开，用i方等于负1化简。复数除法分子分母同乘共轭复数。

### 复数概念

形如a加bi（a、b为实数，i方等于负1）的数叫复数。a是实部，b是虚部。b不为0时是虚数，b等于0时是实数。

### 对数函数

y等于log以a为底x（a大于0且a不等于1）叫对数函数，定义域是正实数。对数函数是指数函数的反函数，图像过(1,0)点。

### 导数几何意义

f'(x0)是曲线y等于f(x)在点(x0,f(x0))处切线的斜率。切线方程：y减f(x0)等于f'(x0)(x减x0)。

### 导数应用

导数解决最大利润、最小成本等优化问题。导数研究函数图像，凹凸性与拐点。

### 导数概念

导数表示函数在一点的变化率，是瞬时速度、瞬时变化率的数学表达。导数的几何意义是切线斜率。

### 幂函数

形如y等于x的α次方（α为常数）叫幂函数。幂函数在第一象限的图像性质由α决定。

### 平行判定与性质

线面平行判定：线线平行则线面平行。面面平行判定：一个平面内两条相交直线都平行于另一个平面。

### 弧度制

把弧长等于半径的弧所对的圆心角叫1弧度。π弧度等于180度。弧度与度数可以换算。

### 抛物线

抛物线是到定点（焦点）与定直线（准线）距离相等的点的轨迹。y方等于2px，焦点(p/2,0)，准线x等于负p/2。

### 指数函数

y等于a的x次方（a大于0且a不等于1）叫指数函数。指数函数的图像过(0,1)点，a大于1时单调递增，0小于a小于1时单调递减。

### 排列

从n个不同元素中取出m个按顺序排列，排列数A(n,m)等于n!除以(n减m)!。排列与顺序有关。

### 数列概念

按一定顺序排列的一列数叫数列。数列的第n项用an表示。数列可以看作定义在正整数集上的函数。

### 数列求和

等差数列求和：Sn等于(a1加an)n除以2。等比数列求和（q不等于1）：Sn等于a1(1减q的n次方)除以(1减q)。错位相减、裂项相消是常用方法。

### 数学归纳法

证明与正整数n有关的命题：先证n等于1成立，再假设n等于k成立推n等于k加1成立，两步都完成则命题对一切n成立。

### 方差

方差D(X)等于E[(X减E(X))方]，反映随机变量取值的分散程度。方差越大波动越大。标准差是方差的平方根。

### 期望

期望E(X)等于Σx乘P(X等于x)，是随机变量的平均值。期望反映长期平均结果。期望有线性性质：E(aX加b)等于aE(X)加b。

### 条件概率

在B发生的条件下A发生的概率：P(A|B)等于P(AB)除以P(B)。条件概率是后验信息下的概率。

### 极值最值

极值是局部最值，f'(x)在x0两侧变号则x0是极值点。闭区间上最值：比较极值与端点值。导数求最值解决优化问题。

### 样本估计总体

用样本平均数、样本方差估计总体的平均数和方差。样本量越大，估计越准确，这是大数定律思想。

### 椭圆

椭圆是到两定点（焦点）距离之和为常数的点的轨迹。标准方程：x方除以a方加y方除以b方等于1（a大于b大于0），离心率e等于c除以a（0小于e小于1）。

### 正切函数

y等于tanx的定义域是x不等于π/2加kπ，周期是π，图像在每段间隔内单调递增，有渐近线。

### 正弦余弦函数图像

y等于sinx的图像是波浪形，周期2π，最大1最小负1。y等于cosx的图像由sinx向左平移π/2得到。

### 正态分布

正态分布是连续型随机变量的重要分布，图像是钟形曲线，关于均值对称。3σ原则：落在均值正负一个标准差内的概率约68%。

### 求导法则

基本初等函数求导公式、和差积商求导法则、复合函数链式法则。幂函数、指数函数、对数函数、三角函数的导数要记住。

### 点线面位置关系

空间中点、直线、平面的位置关系：点在线上、点在面上、线在面上、线线平行相交异面、线面平行相交、面面平行相交。

### 独立性检验

判断两个分类变量是否独立用卡方检验。卡方统计量越大，越有把握认为有关。

### 直线与圆位置关系

直线与圆相交（弦长）、相切（切线）、相离。判断用圆心到直线的距离d与半径r比较。

### 直线方程

直线的点斜式、斜截式、两点式、一般式。斜率k等于tanα，两点斜率公式。两条直线平行斜率相等，垂直斜率乘积为负1。

### 离散型随机变量

取值可以一一列出的随机变量叫离散型随机变量。比如掷骰子的点数。它取每个值的概率构成分布列。

### 空间几何体

柱体、锥体、台体、球体是基本的空间几何体。棱柱、棱锥、棱台、圆柱、圆锥、圆台各有特征。

### 空间向量坐标

空间向量用坐标(x,y,z)表示。空间向量的模、数量积用坐标计算：a点乘b等于x1x2加y1y2加z1z2。

### 空间向量运算

空间向量加法、减法、数乘与平面向量类似。空间向量的数量积、向量积用于解决空间问题。

### 空间角

异面直线所成角、线面角、二面角是三种空间角。求角的一般思路：作角、证角、算角。

### 等差数列

从第二项起，每一项与它前一项的差是同一个常数（公差d），叫等差数列。通项公式：an等于a1加(n减1)d。

### 等比数列

从第二项起，每一项与它前一项的比是同一个常数（公比q，q不为0），叫等比数列。通项公式：an等于a1乘q的(n减1)次方。

### 线性规划

在约束条件下求目标函数的最值叫线性规划。可行域是约束条件围成的区域，最值在可行域的顶点取得。

### 组合

从n个不同元素中取出m个不考虑顺序，组合数C(n,m)等于n!除以[m!(n减m)!]。组合与顺序无关。

### 表面积与体积

柱体体积等于底面积乘高，锥体体积等于底面积乘高除以3，球体积等于4/3πR的3次方，球表面积等于4πR方。

### 诱导公式

奇变偶不变，符号看象限。诱导公式把任意角的三角函数化为锐角三角函数。

### 随机抽样

简单随机抽样（抽签法、随机数法）、系统抽样、分层抽样。分层抽样按比例抽取各层，保证代表性。

### 集合

把一些确定的对象放在一起构成集合，集合中的元素具有确定性、互异性、无序性。集合用列举法或描述法表示。

### 集合运算

交集是两个集合的公共元素，并集是合并所有元素，补集是全集去掉子集。运算性质：交并互补。

### 零点

函数图像与x轴交点的横坐标叫函数的零点。零点存在定理：函数在区间端点异号，则区间内至少有一个零点。

### 频率分布

频率等于频数除以样本容量。频率分布直方图：小矩形面积等于频率，总面积等于1。频率分布表显示数据分布。

## 识别卡明细

- **observation_position**: 从高中数学（高中层）结构端透视
- **existence_preset**: 默认存在预设：高中学段知识按课标骨架存在
- **irreducible_start**: 不可约起点：高中数学的核心概念
- **observation_method**: 有效观测方式：课标骨架知识点 + 现象规律性格式
- **time_causality**: 时间与因果结构：按课标学段递进（高中）
- **condition_boundary**: 边界：高中数学知识点按课标骨架定位学段；具体数值/例题以教材为准
- **consistency**: 自洽性评估：知识点内容为现象+规律格式，待人工审校
- **protocol_mapping**: 可映射协议概念：高中数学与条件论知识图谱的接口
- **silent_preset**: 沉默预设：知识点内容为通用现象/规律，不声称终极解释

## 关系

- 课标骨架（similar）：高中数学与 knowledge_skeleton.json 的 高中 学段对应