1 . 用反证法证明命题“已知为非零实数，且，，求证中至少有两个为正数”时，要做的假设是

A．中至少有两个为负数	B．中至多有一个为负数
C．中至多有两个为正数	D．中至多有两个为负数

2 . 在中，，，求证：．证明：，，，．其中画线部分是演绎推理的

A．大前提	B．小前提
C．结论	D．三段论

3 . 十七世纪，数学家费马提出猜想：“对任意正整数，关于的方程没有正整数解”，经历三百多年，1995年数学家安德鲁怀尔斯给出了证明，使它终成费马大定理，则费马大定理的否定为（       ）

A．对任意正整数，关于的方程都没有正整数解

B．对任意正整数，关于的方程至少存在一组正整数解

C．存在正整数，关于的方程至少存在一组正整数解

D．存在正整数，关于的方程至少存在一组正整数解

4 . 用数学归纳法证明，从到，左边需要增乘的代数式为（　　）

A．

B．

C．

D．

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

A．	B．
C．	D．

6 . 《几何原本》卷Ⅱ的几何代数法成了后世西方数学家处理数学问题的重要依据.通过这一原理，很多代数的定理都能够通过图形实现证明，也称之为无字证明现有如图所示图形，点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）

7 . 数学里有一种证明方法叫做Proofswithoutwords，也称之为无字证明，一般是指仅用图象语言而无需文字解释就能不证自明的数学命题，由于这种证明方法的特殊性，无字证明被认为比严格的数学证明更为优雅.现有如图所示图形，在等腰直角三角形中，点为斜边的中点，点为斜边上异于顶点的一个动点，设，，则该图形可以完成的无字证明为（       ）

A．	B．
C．	D．

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

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

9 . 已知像2，3，5，7这样只能被1和它本身整除的正整数称为素数（也称为质数），设x是正整数，用表示不超过x的素数个数，事实上，数学家们已经证明，当x充分大时，，利用此公式求出不超过10000的素数个数约为（       ）

A．1086

B．1229

C．980

D．1060

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

A．

B．

C．

D．