1.综合法的定义
从命题的条件出发,利用定义、公理、定理及运算法则,通过演绎推理,一步一步地接近要证明的结论,直到完成命题的证明,这种思维方法称为综合法.
2.综合法证明的思维过程
用P表示已知条件、已知的定义、公理、定理等,Q表示所要证明的结论,则综合法的思维过程可用框图表示为:
→→→…→
思考:综合法的证明过程属于什么思维方式?
[提示] 综合法是由因导果的顺推思维.
1.综合法是从已知条件、定义、定理、公理出发,寻求命题成立的( )
A.充分条件 B.必要条件
C.充要条件 D.既不充分又不必要条件
[答案] B
2.在△ABC中,若sin Asin BAcos B,则△ABC一定是( )
A.直角三角形 B.锐角三角形
C.钝角三角形 D.等边三角形
C [由条件可知cos Acos B-sin Asin B=cos(A+B)=-cos C>0,即cos C<0,∴C为钝角,故△ABC一定是钝角三角形.]
3.命题“函数f(x)=x-xln x在区间(0,1)上是增函数”的证明过程“对函数f(x)=x-xln x求导,得f′(x)=-ln x,当x∈(0,1)时,f′(x)=-ln x>0,故函数f(x)在区间(0,1)上是增函数”,应用了________的证明方法.