探究一 应用综合法证明命题
1．综合法是“由因导果”，它是从已知条件出发，顺着推证，经过一系列的中间推理，最后导出所证结论的真实性．用综合法证明题的逻辑关系是：AB1B2…BnB(A为已知条件或数学定义、定理、公理，B为要证结论)，它的常见书面表达是“∵，∴”或“”．
2．综合法的逻辑依据是三段论式的演绎推理方法，这就是保证前提正确，推理合乎规律，才能保证结论的正确性．
【典型例题1】设数列{an}满足a1＝0，且－＝1.
(1)求{an}的通项公式；
(2)设bn＝，记Sn＝b1＋b2＋…＋bn，证明：Sn＜1.
