现有命题：若，且在两个区间上都是增函数，则在区间上也是增函数。若认为此命题为真，请给出证明；若认为此命题为假，请对原命题的条件予以补充（不允许变更命题的内容，不允许举例）使原命题成立，先写出补充条件，然后给出证明。

证明：假设___________，则∠B是直角或钝角.

（1）当∠B是直角时，因为∠C是直角，所以∠B+∠C=180°，与三角形的内角和定理矛盾.

（2）当∠B为钝角时，∠B+∠C＞180°，同理矛盾.故___________，原命题成立.

(1)利用已知条件和某些数学定义、公理、定理等,经过一系列的推理论证,最后推导出所要证明的结论成立,这种证明方法是__________.

(2)从要证明的结论出发,逐步寻求使它成立的充分条件,直至最后,要把证明的结论归结为判定一个明显成立的条件为止,这种证明方法是__________.?

(3)假设原命题不成立,经过正确的推理,最后得出矛盾,说明假设错误,从而证明原命题成立,这种证明方法为__________.

现有命题：若,且的两个区间上都是增函数,由在集合,若认为该命题为真，请给出证明；若认为该命题为假，请对原命题予以补充条件，使原命题能成立；先写出补充条件，然后证明给出的真命题.