證明，其实质是引用一些真实的命题来确定某一命题真实性的思维方式，它贯穿高中数学的始终，主要有直接证明和间接证明两类基本方法. 综合法是直接证明最常用的方法，其逻辑依据是演绎推理方法，其解题思路是由因导果. 综合法的证明步骤用符号表示：[P0]（已知）[?P1?…?Pn]（结论）.