定义 从结论出发，逐步寻找使结论成立的充分条件，直至归结为已知事实的推理方法。
从哪来 本节为高三第1讲起点，图谱未记录前置知识点，故基于高中数学通用逻辑基础（充分条件、必要条件）构建。
为什么 分析法的核心逻辑是“逆推”。在综合法（由因导果）中，若已知条件复杂而目标结论遥远，直接推导路径往往难以寻找。分析法通过“倒推”，将陌生的结论转化为熟悉的、已知的或容易证明的中间结论。其本质是利用“若 $B$ 成立，则 $A$ 成立”的逻辑链条，反向构建 $A \Rightarrow B$ 的证明路径。这种方法降低了思维负荷，因为每一步只需思考“要证明这个，我需要先证明什么”，而非“从这个能推出什么”，后者往往发散且难以控制。
讲法
适合：逻辑思维较强、习惯正向推导但遇到瓶颈的学生
核心比喻：侦探破案（逆向追踪）
讲解时，将数学证明比作侦探破案。已知条件是“现场遗留物”，结论是“凶手是谁”。综合法是拿着线索去猜凶手，容易猜错或线索断裂。分析法是问自己：“如果凶手是张三，现场应该有什么证据？”然后检查这些证据是否已知或易证。
操作步骤：
1. 写出要证的结论 $Q$。
2. 问：“要证 $Q$，需要什么条件 $P_1$？”（即 $P_1 \Rightarrow Q$）
3. 问：“要证 $P_1$，需要什么条件 $P_2$？”（即 $P_2 \Rightarrow P_1$）
4. 直到 $P_n$ 是已知条件或公理。
5. 最后将链条倒过来写：$P_n \Rightarrow P_{n-1} \dots \Rightarrow Q$。
强调： 分析法的每一步都是找“充分条件”，而不是“必要条件”。
讲法
适合：对抽象逻辑感到困难、偏好直观操作的学生
核心比喻：搭积木（逆向拆解）
讲解时，把结论看作一座搭好的积木塔。综合法是试图从地基开始一块块往上搭，不知道哪块该放哪。分析法是把塔拆下来，问：“最上面这块积木，是放在哪块上面的？”“那块又是放在哪块上面的？”一直拆到地基（已知条件）。
操作步骤：
1. 画出结论 $Q$。
2. 在 $Q$ 下面画一个箭头指向它，箭头上写“需要”。
3. 写下“需要 $P_1$”。
4. 在 $P_1$ 下面画箭头，写“需要 $P_2$”。
5. 当 $P_n$ 是已知条件时停止。
6. 告诉学生：最后写证明时，箭头方向要反过来，变成“因为...所以...”。
强调： 这种视觉化方法能帮助学生看清逻辑链条的结构，避免逻辑跳跃。
讲法
适合：喜欢结构化、程序化思维的学生
核心比喻：算法流程图（逆向搜索）
讲解时，将分析法形式化为一个算法：
```
Input: 已知条件 S, 目标结论 T
Output: 证明路径
1. Current = T
2. While Current is not in S:
a. Find a condition P such that P => Current
b. If P is in S or P is a known theorem:
Break
c. Else:
Current = P
Add P to path
3. Reverse the path to get the proof sequence
```
强调： 这种方法强调“寻找充分条件”是一个搜索过程。每一步的选择不是唯一的，学生需要评估哪个 $P$ 更容易证明。这培养了学生的策略选择能力。