小明采用反证法证明几何命题，这属于( )策略。
手段一目的分析
逆向工作法(逆向搜索)
计划法
联想法
解析：逆向工作法就是从问题的目的状态开始搜索，直至找到通往初始状态的通路或方法。反证法就是根据结论去逆推原因产生的过程。