1 . 对于正实数有基本不等式：，其中，为的算术平均数，，为的几何平均数．现定义的对数平均数：
(1)设，求证：：
(2)①证明不等式：：
②若不等式对于任意的正实数恒成立，求正实数的最大值．

4 . 给出下列两个定义：
I.对于函数，定义域为，且其在上是可导的，若其导函数定义域也为，则称该函数是“同定义函数”.
II.对于一个“同定义函数”，若有以下性质：
①；②，其中为两个新的函数，是的导函数.
我们将具有其中一个性质的函数称之为“单向导函数”，将两个性质都具有的函数称之为“双向导函数”，将称之为“自导函数”.
(1)判断函数和是“单向导函数”，或者“双向导函数”，说明理由.如果具有性质①，则写出其对应的“自导函数”；
(2)已知命题是“双向导函数”且其“自导函数”为常值函数，命题.判断命题是的什么条件，证明你的结论；
(3)已知函数.
①若的“自导函数”是，试求的取值范围；
②若，且定义，若对任意，不等式恒成立，求的取值范围.

5 . 对于函数，若存在非零常数M，使得对任意的，都有成立，我们称函数为“M函数”；对于函数，若存在非零常数M，使得对任意的，都有成立，我们称函数为“严格M函数”.
(1)求证：，是“M函数”；
(2)若函数，是“函数”，求k的取值范围；
(3)对于定义域为R的函数对任意的正实数M，均是“严格M函数”，若，求实数a的最小值.

7 . 对在直角坐标系的第一象限内的任意两点作如下定义：若，那么称点是点的“上位点”．同时点是点的“下位点”；
(1)试写出点的一个“上位点”坐标和一个“下位点”坐标；
(2)已知点是点的“上位点”，判断点是否是点的“下位点”，证明你的结论；
(3)设正整数满足以下条件：对集合内的任意元素 ，总存在正整数，使得点既是点的“下位点”，又是点的“上位点”，求满足要求的一个正整数的值，并说明理由．

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

A．	B．
C．	D．