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

2 . 科拉茨是德国数学家，他在1937年提出了一个著名的猜想：任给一个正整数，如果是偶数，就将它减半（即）；如果是奇数，则将它乘3加1（即），不断重复这样的运算，经过有限步后，一定可以得到1．这是一个很有趣的猜想，但目前还没有证明或否定．如果对正整数（首项）按照上述规则施行变换后得到，依次施行变换后所得到的数组成数列，是数列的前项和，若，则________．

3 . 古希腊几何学家阿波罗尼斯证明过这样一个命题：平面内到两定点距离之比为常数的点的轨迹是圆，后人将这个圆称为阿波罗尼斯圆.若平面内两定点A，B的距离为2，动点Р满足，若点Р不在直线AB上，则面积的最大值为（       ）

A．1

B．

C．2

D．

4 . 《九章算术》是我国古代数学专著，书中将底面为矩形且一条侧棱垂直于底面的四棱锥称为“阳马”.如图，在阳马中，平面，为的中点.

(1)求证：平面；
(2)若，求证：.

5 . 德国数学家高斯在证明“二次互反律”的过程中首次定义了取整函数，其中表示“不超过x的最大整数”，如，，．写出满足的一个x的值__________；关于x的方程的解集为__________．

6 . 某校积极开展社团活动，在一次社团活动过程中，一个数学兴趣小组发现《九章算术》中提到了“刍薨”这个五面体，于是他们仿照该模型设计了一道数学探究题，如图1，E、F、G分别是边长为4的正方形的三边的中点，先沿着虚线段将等腰直角三角形裁掉，再将剩下的五边形沿着线段折起，连接就得到了一个“刍甍”（如图2）.

(1)若O是四边形对角线的交点，求证：平面；
(2)若，求三棱锥的体积.

7 . 南宋时期，数学家秦九韶提出利用三角形的三边求面积的公式：如果一个三角形的三边长分别为，那么三角形的面积，后人称之为秦九韶公式，这与古希腊数学家海伦证明的面积公式实质是相同的.若在中，，则的内切圆半径的值为（       ）

A．

B．

C．

D．

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

A．	B．
C．	D．

9 . 《几何原本》中的几何代数法是以几何方法研究代数问题，这种方法是后西方数学家处理问题的重要依据，通过这一原理，很多代数公理或定理都能够通过图形实现证明，也称之为无字证明．现有图形如图所示，C为线段AB上的点，且，，O为AB的中点，以AB为直径作半圆．过点C作AB的垂线交半圆于D，连接OD，AD，BD，过点C作OD的垂线，垂足为E. 则该图形可以完成的所有的无字证明为（       ）

A．	B．
C．	D．

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