几何证明中的反证法实际就是手段—目的分析法。