1 . 用反证法证明“设，求证”时，第一步的假设是______________．

2 . 用反证法证明命题“设，则方程与至少有一个实根”时要做的假设是___．

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

4 . 对于下面这个等式我们除了可以用等比数列的求和公式获得，还可以用数学归纳法对其进行证明“”，那么在应用数学归纳法证明时，当验证是否成立时，左边的式子应该是_______．

5 . 已知，用数学归纳法证明时，_________．

6 . 用数学归纳法证明1+++…+<n(n∈N^*,n>1)时,第一步应验证的不等式是____.