1 . 分析法又称执果索因法，若用分析法证明：“设，且，求证”，则索的因应是（       ）

A．	B．
C．	D．

2 . 若用反证法证明命题“已知，求证：，中至少有一个数大于”，则假设的内容是（       ）

A．假设，均小于	B．假设，均不大于
C．假设，均大于	D．假设，中有个大于

3 . 用反证法证明“已知，求证：.”时，应假设

A．

B．

C．且

D．或

4 . 用数学归纳法证明“”的过程中，从到时，左边增加的项数为（    ）

A．

B．

C．

D．

5 . 17世纪法国数学家费马在给朋友的一封信中曾提出一个关于三角形的有趣问题：在三角形所在平面内，求一点，使它到三角形每个顶点的距离之和最小.现已证明：在中，若三个内角均小于，则当点满足时，点到三角形三个顶点的距离之和最小，点被人们称为费马点.根据以上知识，已知，，，P为内一点，记，则的最小值为（       ）

A．

B．

C．

D．

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

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

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

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

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

7 . 数学里有一种证明方法为无字证明，是指仅用图形而无需文字解释就能不证自明的数学命题.在同一平面内有形状、大小相同的图1和图2，其中四边形为矩形，为等腰直角三角形，设，，则借助这两个图形可以直接无字证明的不等式是（       ）

A．	B．
C．	D．

8 . 《几何原本》中的几何代数法是以几何方法研究代数问题，这种方法是数学家处理问题的重要依据，很多代数公理、定理都可以根据这一原理实现证明，也称为“无字证明”．如图，是圆的直径，点为圆心，点是线段上的一点，且．过点作垂直于的半弦，连接，过点作垂直于点，则根据该图形我们可以完成的无字证明有：（       ）
   
① ②
③       ④

A．①②

B．①③

C．②③

D．②④

9 . 用反证法证明命题“ab可以被5整除，那么a、b中至少有一个能被5整除”时假设的内容应该是（       ）

A．a、b都不能被5整除	B．a、b都能被5整除
C．a、b不都能被5整除	D．b能被5整除

10 . 正多面体也称柏拉图立体，被誉为最有规律的立体结构，是所有面都只由一种正多边形构成的多面体（各面都是全等的正多边形）. 数学家已经证明世界上只存在五种柏拉图立体，即正四面体、正六面体、正八面体、正十二面体、正二十面体. 如图，已知一个正八面体的棱长为2，，分别为棱，的中点，则直线和夹角的余弦值为（       ）

A．	B．
C．	D．