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

2 . 完成反证法证题的全过程.设a₁,a₂,…,a₇是1,2,…,7的一个排列,求证:乘积p=(a₁-1)(a₂-2)…(a₇-7)为偶数.
证明:假设p为奇数,则a₁-1,a₂-2,…,a₇-7均为奇数.因奇数个奇数之和为奇数,故有奇数=_____=_______=0.但0≠奇数,这一矛盾说明p为偶数.

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

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

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

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

7 . 《无字证明》就是将数学命题和简单、有创意而且易于理解的几何图形呈现出来.请根据下图写出该图所验证的一个三角恒等变换公式：______.

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