1 . 用反证法证明命题“已知x、，且，求证：或”时，应首先假设“______”.

2 . 用数学归纳法证明“已知n为正奇数，求证：能被整除”时，第二步假设当时命题为真后，需证________时命题也为真．

3 . 用反证法证明命题：“已知，则且”时，应假设______.

4 . 用数学归纳法证明“”时，第一步需要验证的不等式为___________

5 . 利用数学归纳法证明“”时，由到时，左边应添加因式__________.

7 . 《几何原本》卷2的几何代数法（以几何方法研究代数问题）成了后世西方数学家处理问题的重要依据．通过这一原理，很多代数的公理或定理都能够通过图形实现证明，也称之为无字证明．现有如图所示的图形，点在以为直径的半圆上，为圆心，点在半径上（不与点重合），且．设，则__________（用表示），由可以得出的关于的不等式为__________．

8 . 阅读下面题目及其解答过程．
如图，在直三棱柱中，，，分别为，的中点．

（1）求证：；
（2）求证：．
解：（1）取的中点，连接,，如图所示．

在中，，分别为，的中点，
，．
由题意知，四边形为_．
为的中点，
，．
,.
四边形为平行四边形，
．又_，平面，
．
（2）为直三棱柱，
平面．
又平面，
_．
，且，
_．
又平面，
．
_，
．
以上题目的解答过程中，设置了①~⑤五个空格，如下的表格中为每个空格给出了两个选项，其中只有一个符合逻辑推理．请选出符合逻辑推理的选项（只需填写“A”或“B”）．

空格序号	选项
①	A．矩形                                     B．梯形
②	A．平面       B．平面
③	A．                        B．
④	A．平面       B．平面
⑤	A．                        B．

9 . 用数学归纳法证明（，）的过程中，当时，左端应在时的左端上加上______

10 . 德国数学家高斯在证明“二次互反律”的过程中首次定义了取整函数，其中表示“不超过x的最大整数”，如，，，则 ________．