定义 根据已知条件与求证结论的结构特征，选择综合法、分析法或反证法作为证明路径的策略。
从哪来 本节为初二第1讲起点，无前置知识点记录。
为什么 数学证明是逻辑推导过程，不同结构的问题适合不同的逻辑流向。
1. 综合法（由因导果）：当条件多、结论少，且条件能直接推导出中间量时，顺向推理路径最短，效率最高。
2. 分析法（执果索因）：当结论复杂、条件简单，或结论中的量与条件中的量无直接联系时，逆向倒推能明确需要补充的中间桥梁。
3. 反证法（归谬）：当直接推导困难，或结论是否定形式（如“不存在”、“唯一”、“至少”）时，假设结论不成立往往能导出与公理、定理或已知条件矛盾的结果，从而间接证明原命题。
选择方法的本质是寻找逻辑链条中阻力最小、步骤最少的那条路径。
适合类型
逻辑直觉较强、喜欢正向思维的学生。
核心比喻：“顺水推舟”。
讲解要点：
告诉学生，如果题目给的条件像一堆积木，结论像一座塔。如果你能直接拿积木一层层往上搭，直到搭出塔顶，就用综合法。这是最自然的思维，符合人类“因为...所以...”的日常逻辑。重点训练学生识别“条件能直接推出什么”，强调“由已知出发”。
适合类型
善于逆向思考、喜欢解谜或侦探推理的学生。
核心比喻：“倒推地图”。
讲解要点：
告诉学生，如果直接看条件不知道往哪走，那就盯着结论看。问自己：“要证明这个结论，我需要先知道什么？”“要得到那个中间量，我又需要什么？”像侦探破案一样，从结果倒推线索。当倒推的线索正好和已知条件接上时，证明就完成了。强调“由结论出发，寻找充分条件”。
适合类型
思维严谨、对否定性命题敏感、擅长排除法的学生。
核心比喻：“假设陷阱”。
讲解要点：
告诉学生，有些路直接走不通，或者路太绕。这时候我们假设“结论是错的”，然后沿着这个假设走下去，看看会不会撞墙（矛盾）。如果撞到了已知的真理或条件，说明假设错了，原结论就对。特别适用于证明“唯一性”、“不存在”或“至少有一个”这类难以直接构造的命题。强调“假设否定，导出矛盾”。