npm - @furongjun1999/dsh-memory - Versions diffs - 0.4.10 → 0.5.0 - Mend

@furongjun1999/dsh-memory 0.4.10 → 0.5.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (3224) hide show

package/md_cg/whitebox_kb/knowledge//351/253/230/344/270/255/346/225/260/345/255/246/302/267/347/237/245/350/257/206/347/273/274/350/277/260.md DELETED Viewed

@@ -1,566 +0,0 @@
-# 高中数学·知识综述 识别卡 2.0
-- **层级**: L3 · 深度规律层（课标骨架填充，待终裁）
-- **状态**: pending（骨架填充 · 待设计者终裁）
-- **领域**: 数学
-- **教育层级**: E3（高中）· 分布：骨架 75 知识点 / 内容 75 条
-## 核心主张
-高中数学（课标骨架 75 知识点填充）：现象+规律，简单词汇，规律性出现即知识……
-## 条件空间
-- **观测位置**: 高中数学（高中层）外部观测位
-- **观测工具**: 课标骨架 + 现象规律性判定
-- **时间窗口**: (0.0, 9999999999.0)
-- **存在约束**: 高中学段知识按课标骨架定位；通用现象/规律不受版权保护，开源非盈利知识库提取知识点而非复制教材表达
-## 出招
-- **触发**: 涉及高中数学议题
-- **行动**: 以高中数学知识点（高中层）回应
-- **克制**: 越级使用高于高中层级的未学概念
-## 知识点内容（按骨架填充）
-### 一元二次不等式
-- **生效条件**: 问一元二次不等式 | 问ax方加 | 问解不等式
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-ax方加bx加c大于0（a大于0）的解集：判别式大于0时两根之外，等于0时x不等于根，小于0时全体实数。解不等式要结合二次函数图像。
-### 三角函数定义
-- **生效条件**: 问三角函数定义 | 问在单位圆 | 问三角函数
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-在单位圆上，sinθ是终边与单位圆交点的纵坐标，cosθ是横坐标，tanθ等于sinθ除以cosθ。三角函数具有周期性。
-### 三角恒等变换
-- **生效条件**: 问三角恒等变换 | 问两角 | 问恒等变换
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-两角和差公式、二倍角公式：sin2α等于2sinαcosα，cos2α等于cos方α减sin方α。恒等变换是化简和求值的工具。
-### 二分法
-- **生效条件**: 问二分法 | 问线性收敛 | 问二分法稳 | 问用二分法
-- **不适用条件**: 问参数曲线 | 问弧长参数 | 问弗雷内标架 | 问曲率挠率 | 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-用二分法求零点近似值：不断取区间中点，根据函数值符号缩小零点所在区间，直到精度满足要求。
-### 二项分布
-- **生效条件**: 问二项分布 | 问n次独立 | 问期望np | 问P等
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词 | 问随机事件 | 问概率定义 | 问条件概率 | 问全概率贝叶斯公式
-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 | 问若q则p | 问充要条件
-- **不适用条件**: 问集合 | 问集合运算 | 问全称量词存在量词 | 问函数概念
-若p则q成立，p是q的充分条件；若q则p成立，p是q的必要条件。充要条件：p能推出q且q能推出p。
-### 全称量词存在量词
-- **生效条件**: 问全称量词存在量词 | 问含全称量
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问函数概念
-所有的、任意的叫全称量词，存在的、至少有一个叫存在量词。含全称量词的命题否定后变成存在量词命题。
-### 函数图像变换
-- **生效条件**: 问函数图像变换 | 问函数图像 | 问y等
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-函数图像可以平移、对称、伸缩。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'大于 | 问导数符号 | 问驻点
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-f'(x)大于0则函数递增，小于0则递减。导数符号变化判断单调区间。驻点（导数为0的点）是极值候选。
-### 双曲线
-- **生效条件**: 问双曲线 | 问标准方程
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-双曲线是到两定点距离之差的绝对值为常数的点的轨迹。标准方程：x方除以a方减y方除以b方等于1，渐近线y等于正负(b/a)x，离心率e大于1。
-### 古典概型
-- **生效条件**: 问古典概型 | 问每个基本 | 问概率等 | 问计算用排
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-每个基本事件等可能发生且总数为有限个。概率等于有利事件数除以基本事件总数。计算用排列组合。
-### 向量应用
-- **生效条件**: 问向量应用 | 问用向量可 | 问向量在解
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-用向量可以证明几何关系：两向量垂直则数量积为0，平行则成比例。向量在解三角形、物理中广泛应用。
-### 向量数量积
-- **生效条件**: 问向量数量积 | 问a点乘b | 问a垂直b | 问数量积满
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-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加 | 问实轴 | 问复数
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-复数a加bi对应复平面上的点(a,b)。实轴是x轴，虚轴是y轴。复数的模等于根号(a方加b方)。共轭复数关于实轴对称。
-### 复数三角表示
-- **生效条件**: 问复数三角表示 | 问复数z等 | 问复数 | 问欧拉公
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-复数z等于a加bi可以写成三角形式z等于r(cosθ加isinθ)，r是模，θ是辐角。复数的乘法模相乘辐角相加。欧拉公式联系指数与三角。
-### 复数四则运算
-- **生效条件**: 问复数四则运算 | 问复数加减 | 问复数乘法 | 问复数除法
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-复数加减是实部虚部分别相加减。复数乘法按多项式展开，用i方等于负1化简。复数除法分子分母同乘共轭复数。
-### 复数概念
-- **生效条件**: 问复数概念 | 问形如a加 | 问b不为0
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-形如a加bi（a、b为实数，i方等于负1）的数叫复数。a是实部，b是虚部。b不为0时是虚数，b等于0时是实数。
-### 对数函数
-- **生效条件**: 问对数函数 | 问y等 | 问复对数 | 问主值分支 | 问多值性来
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词 | 问可分离变量 | 问齐次方程 | 问一阶线性方程 | 问伯努利方程
-y等于log以a为底x（a大于0且a不等于1）叫对数函数，定义域是正实数。对数函数是指数函数的反函数，图像过(1,0)点。
-### 导数几何意义
-- **生效条件**: 问导数几何意义 | 问f' | 问切线方程
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-f'(x0)是曲线y等于f(x)在点(x0,f(x0))处切线的斜率。切线方程：y减f(x0)等于f'(x0)(x减x0)。
-### 导数应用
-- **生效条件**: 问导数应用 | 问导数解决 | 问导数研究
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-导数解决最大利润、最小成本等优化问题。导数研究函数图像，凹凸性与拐点。
-### 导数概念
-- **生效条件**: 问导数概念 | 问导数：函 | 问可导必连 | 问导数表示 | 问导数
-- **不适用条件**: 问数列极限 | 问函数极限 | 问极限运算法则 | 问两个重要极限 | 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-导数表示函数在一点的变化率，是瞬时速度、瞬时变化率的数学表达。导数的几何意义是切线斜率。
-### 幂函数
-- **生效条件**: 问幂函数 | 问形如y等 | 问幂函数在
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-形如y等于x的α次方（α为常数）叫幂函数。幂函数在第一象限的图像性质由α决定。
-### 平行判定与性质
-- **生效条件**: 问平行判定与性质 | 问线面平行 | 问面面平行
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-线面平行判定：线线平行则线面平行。面面平行判定：一个平面内两条相交直线都平行于另一个平面。
-### 弧度制
-- **生效条件**: 问弧度制 | 问把弧长等 | 问π弧度等 | 问弧度
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-把弧长等于半径的弧所对的圆心角叫1弧度。π弧度等于180度。弧度与度数可以换算。
-### 抛物线
-- **生效条件**: 问抛物线 | 问y方等
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-抛物线是到定点（焦点）与定直线（准线）距离相等的点的轨迹。y方等于2px，焦点(p/2,0)，准线x等于负p/2。
-### 指数函数
-- **生效条件**: 问指数函数 | 问y等
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-y等于a的x次方（a大于0且a不等于1）叫指数函数。指数函数的图像过(0,1)点，a大于1时单调递增，0小于a小于1时单调递减。
-### 排列
-- **生效条件**: 问排列 | 问从n个不
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-从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等 | 问计算公 | 问性质：D | 问方差等 | 问方差越小 | 问方差反映 | 问方差越大 | 问标准差
-- **不适用条件**: 问随机事件 | 问概率定义 | 问条件概率 | 问全概率贝叶斯公式 | 问有理数 | 问实数 | 问代数式 | 问整式 | 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-方差D(X)等于E[(X减E(X))方]，反映随机变量取值的分散程度。方差越大波动越大。标准差是方差的平方根。
-### 期望
-- **生效条件**: 问期望 | 问期望E等 | 问期望反映
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-期望E(X)等于Σx乘P(X等于x)，是随机变量的平均值。期望反映长期平均结果。期望有线性性质：E(aX加b)等于aE(X)加b。
-### 条件概率
-- **生效条件**: 问条件概率 | 问在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等
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-y等于tanx的定义域是x不等于π/2加kπ，周期是π，图像在每段间隔内单调递增，有渐近线。
-### 正弦余弦函数图像
-- **生效条件**: 问正弦余弦函数图像 | 问y等
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-y等于sinx的图像是波浪形，周期2π，最大1最小负1。y等于cosx的图像由sinx向左平移π/2得到。
-### 正态分布
-- **生效条件**: 问正态分布 | 问3σ原则
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-正态分布是连续型随机变量的重要分布，图像是钟形曲线，关于均值对称。3σ原则：落在均值正负一个标准差内的概率约68%。
-### 求导法则
-- **生效条件**: 问求导法则 | 问基本初等 | 问幂函数
-- **不适用条件**: 问数列极限 | 问函数极限 | 问极限运算法则 | 问两个重要极限 | 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-基本初等函数求导公式、和差积商求导法则、复合函数链式法则。幂函数、指数函数、对数函数、三角函数的导数要记住。
-### 点线面位置关系
-- **生效条件**: 问点线面位置关系 | 问空间中点
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-空间中点、直线、平面的位置关系：点在线上、点在面上、线在面上、线线平行相交异面、线面平行相交、面面平行相交。
-### 独立性检验
-- **生效条件**: 问独立性检验 | 问判断两个 | 问卡方统计
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-判断两个分类变量是否独立用卡方检验。卡方统计量越大，越有把握认为有关。
-### 直线与圆位置关系
-- **生效条件**: 问直线与圆位置关系 | 问直线 | 问判断用圆
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-直线与圆相交（弦长）、相切（切线）、相离。判断用圆心到直线的距离d与半径r比较。
-### 直线方程
-- **生效条件**: 问直线方程 | 问直线 | 问斜率k等 | 问两条直线
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-直线的点斜式、斜截式、两点式、一般式。斜率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个不
-- **不适用条件**: 问集合 | 问集合运算 | 问充分条件必要条件 | 问全称量词存在量词
-从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 的 高中 学段对应