1 . 分析法又叫执果索因法，若使用分析法证明：设，且，求证：，则证明的依据应是

A．	B．
C．	D．

2 . 用反证法证明命题①：“已知，求证：”时，可假设“”；命题②：“若，则或”时，可假设“或”.以下结论正确的是

A．①与②的假设都错误	B．①与②的假设都正确
C．①的假设正确，②的假设错误	D．①的假设错误，②的假设正确

3 . 在用反证法证明命题“已知 求证、、不可能都大于1”时，反证假设时正确的是

A．假设都大于1

B．假设都小于1

C．假设都不大于1

D．以上都不对

4 . 用反证法证明“平面四边形中至少有一个内角不超过”，下列假设中正确的是（       ）

A．假设有两个内角超过	B．假设四个内角均超过
C．假设至多有两个内角超过	D．假设有三个内角超过

5 . 用数学归纳法证明“≥( N^*）”时，由到 时，不等试左边应添加的项是（       ）

A．	B．
C．	D．

6 . 用反证法证明命题“设，，为实数，若是无理数，则，，至少有一个是无理数”时，假设正确的是（       ）

A．假设，，不都是无理数	B．假设，，至少有一个是有理数
C．假设，，都是有理数	D．假设，，至少有一个不是无理数

7 . 《几何原本》卷Ⅱ的几何代数法成了后世西方数学家处理数学问题的重要依据.通过这一原理，很多代数的定理都能够通过图形实现证明，也称之为无字证明现有如图所示图形，点F在半圆O上，点C在直径AB上，且OF⊥AB，设AC＝a，BC＝b，可以直接通过比较线段OF与线段CF的长度完成的无字证明为（　　）

A．a2+b2≥2ab（a＞0，b＞0）	B．
C．（a＞0，b＞0）	D．（a＞0，b＞0）

8 . 用反证法证明：若整系数一元二次方程有有理数根，那么中至少有一个是偶数．用反证法证明时，下列假设正确的是（       ）

A．假设都是偶数	B．假设都不是偶数
C．假设至多有一个偶数	D．假设至多有两个偶数

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

A．	B．
C．	D．

10 . 用数学归纳法证明时，第一步应验证不等式（       ）

A．

B．

C．

D．