1 . 下列命题正确的有：________.
①；
②已知，若，则.
③用反证法证明“已知，且，求证：.”时，应假设“且”；
④命题“若，则”的逆否命题是“若，则”.

2 . 新教材人教B版必修第二册课后习题：“求证方程只有一个解”.证明如下：“化为，设，则在上单调递减，且，所以原方程只有一个解”.解题思想是转化为函数.类比上述思想，不等式的解集是__________.

3 . 《几何原本》中的几何代数法是以几何方法研究代数问题，这种方法是后西方数学家处理问题的重要依据，通过这一原理很多的代数公理或定理都能够通过图形实现证明，也称之为无字证明，现有图形如图所示，为线段上的点，且为的中点，以为直径作半圆，过点作的垂线交半圆于，连结，过点作的垂线，垂足为，若不添加辅助线，则该图形可以完成的所有无字证明为_________．（填写序号）

①②
③④

4 . 用反证法证明命题“如果两个实数的和与积都为正数，那么这两个数都为正数”时，第一步应假设：__．

5 . 用反证法证明命题时，对结论：“自然数a､b､c中恰有一个偶数”的假设是___________.

6 . 用反证法证明命题“若实数、满足，则且”时，反设的内容应为假设__________.

7 . 已知正实数满足及，则中至少有一个小于1，用反证法证明该命题时，第一步是假设结论不成立，则____．

8 . 记，在用数学归纳法证明对于任意正整数，的过程中，从到时，不等式左边的比增加了______项.

9 . 古希腊数学家欧几里得所著《几何原本》中的“几何代数法”，很多代数公理、定理都能够通过图形实现证明，并称之为“无字证明“如图，为线段中点，为上的一点.以为直径作半圆，过点作的垂线，交半圆于.连结，，，过点作的垂线，垂足为.设，，则图中线段，线段，线段________；由该图形可以得出，，的大小关系为__________.

10 . 用反证法证明命题：“已知a、，若ab可被5整除，则a、b中至少有一个能被5整除”时，第一步应假设________成立．