2、直接证明与间接证明三种证明方法的定义与步骤：1. 综合法 是由原因推导到结果的证明方法，它是利用已知条件和某些数学定义、公理、定理等，经过一系列的推理论证，最后推导出所要证明的结论成立的证明方法。2. 分析法 是从要证明的结论出发，逐步寻求推证过程中，使每一步结论成立的充分条件，直到最后，把要证明的结论归结为判定一个明显成立的条件（已知条件、定义、公理、定理等）为止的证明方法。3. 反证法 假设原命题的结论不成立,经过正确的推理,最后得出矛盾,由此说明假设错误,从而证明了原命题成立,这样的方法叫反证法；它是一种间接的证明方法.反证法法证明一个命题的一般步骤：(1) 假设命题的结论不成立； (2) 根据假设进行推理,直到推理中导出矛盾为止 (3) 断言假设不成立(4) 肯定原命题的结论成立题型一：用综合法证明数学命题 例1 ：对于定义域为的函数，如果同时满足以下三条：对任意的，总有；若，都有成立，则称函数为理想函数(1) 若函数为理想函数，求的值；(2)判断函数（）是否为理
