高中数学公式：定律·定理·概念速记掌中宝

1.1 集合的运算与性质

集合是数学的语言，其运算规则直接决定了后续逻辑判断的准确性。

1.2 充分必要条件判定

逻辑连接词是解不等式和证明题的基石。对于命题 p ⇒ q：

• 充分不必要条件：有 p 必有 q，有 q 未必有 p。
• 必要不充分条件：无 p 必无 q，有 p 未必有 q。
• 充要条件：p ⇔ q，等价转换。

示例：若 x > 2，则 x > 0。此时 x > 2 是 x > 0 的充分不必要条件。

1.3 复数的四则运算

复数 z = a + bi (a, b ∈ R) 是连接代数与几何的桥梁。

• 虚数单位：i² = -1。
• 共轭复数：z̄ = a - bi，满足 z · z̄ = a² + b²。
• 模长公式：|z| = √(a² + b²)。
• 除法技巧：分子分母同乘分母的共轭复数，实现分母实数化。

数列是离散函数的体现，掌握通项公式 a_n 与前 n 项和 S_n 的关系是解题关键。

1. 等差数列：
   • 通项：a_n = a₁ + (n-1)d
   • 求和：S_n = n(a₁+a_n)/2 = na₁ + n(n-1)d/2
   • 性质：a_m + a_n = a_p + a_q (若 m+n=p+q)
2. 等比数列：
   • 通项：a_n = a₁qⁿ⁻¹
   • 求和：S_n = a₁(1-qⁿ)/(1-q) (q≠1)
   • 性质：a_m · a_n = a_p · a_q (若 m+n=p+q)

非标准数列求和方法

• 裂项相消法：适用于形如 1/[n(n+k)] 的数列，将其拆分为 (1/k)[1/n - 1/(n+k)]。
• 错位相减法：适用于等差 × 等比型数列（如 n·2ⁿ）。
• 分组求和法：将数列拆分为几个可求和的子数列分别求和。

核心公式

• 向量数量积：a·b = |a||b|cosθ，坐标形式 x₁x₂ + y₁y₂ + z₁z₂。
• 线面角 θ：设直线方向向量为 s，平面法向量为 n，则 sinθ = |cos|。
• 二面角 α：设两平面法向量分别为 n₁, n₂，则 cosα = ±|cos|（需结合图形判断锐钝）。

4.1 计数原理

• 加法原理：分类完成，总数 = 各类方法数之和。
• 乘法原理：分步完成，总数 = 各步方法数之积。
• 排列数：A_n^m = n! / (n-m)! （有序）。
• 组合数：C_n^m = n! / [m!(n-m)!] （无序）。

经典模型：捆绑法（相邻元素）、插空法（不相邻元素）、平均分组问题（需除以组数的阶乘）。

Q1: 为什么我的公式背得很熟，做题却不会用？

A: 这通常是因为陷入了“机械记忆”的误区。数学公式不是孤立的字符，而是逻辑关系的载体。建议你在使用每个公式前，先问自己三个问题：①这个公式是从哪里推导出来的？②它的适用条件是什么（定义域、参数范围）？③它在什么类型的题目中最容易出现？只有理解了本质，才能灵活调用。

---

Q2: 导数题目中如何处理含参不等式恒成立问题？

A: 这类问题的核心在于分离参数与构造函数。
方法一：若能分离出参数 a，则转化为 a ≥ f(x)_max 或 a ≤ f(x)_min 的问题。
方法二：若无法分离，需构造关于 x 的函数 F(x)，讨论参数 a 对函数单调性的影响，进而求出最小值，令最小值 ≥ 0。

---

Q3: 立体几何中，什么时候必须建系，什么时候可以不用？

A: 如果题目中存在明显的垂直关系（如正方体、长方体、棱锥的高垂直底面），建系法（空间向量）通常是最稳妥、计算量最小的选择。但如果图形结构特殊（如正四面体），或者题目明确要求用几何法证明，则应优先考虑几何法，利用线面平行、垂直的判定定理进行逻辑推导。