定义 利用基本不等式、放缩法或构造函数，将不等式转化为恒等式或已知不等式进行推导的标准化解题流程。
从哪来 本节为高三第1讲起点，无前置知识点记录，直接基于高中数学核心逻辑构建。
为什么 不等式证明的核心难点在于“方向性”与“严谨性”。直接推导往往陷入死胡同，而模板化思维（如：目标倒推、结构匹配、单调性分析）能将开放性问题转化为封闭的计算或逻辑验证问题，降低认知负荷，确保逻辑链条无断裂。
结构匹配法
观察不等式两边结构，若出现 $a+b \ge 2\sqrt{ab}$ 形式，直接套用基本不等式；若出现 $f(x) \ge g(x)$，移项构造 $h(x)=f(x)-g(x)$，求导判断单调性。
适合：逻辑直观型，擅长识别代数结构，对抽象推理稍弱的学生。
目标倒推法
从结论出发，逆向分析需要哪些中间不等式成立。例如要证 $A \ge B$，先问“什么条件下 $A \ge B$ 成立？”，逐步拆解为已知条件或简单不等式，再正向书写。
适合：思维发散型，善于联想，但正向推导容易迷失方向的学生。
放缩控制法
当直接证明困难时，引入中间量 $C$，证明 $A \ge C$ 且 $C \ge B$。重点在于选取合适的“桥梁”$C$（如常数、对称式、已知不等式变形）。
适合：策略型选手，喜欢寻找捷径，对复杂代数变形有畏难情绪的学生。