2．综正当与分析法(1)综正当：证实不等式时，从已知条件出发，利用定义、公理、定理、性质等，经过___________而得出命题成立，综正当又叫顺推证法或由因导果法．(2)分析法：证实命题时，从待证不等式出发，逐步寻求使它成立___________，直至所需条件为已知条件或一个显著成立事实(定义、公理或已证实定理、性质等)，从而得出要证命题成立．这是一个_________思索和证实方法．
推理论证
充分条件
执果索因