1 . 已知函数的定义域为，为大于的常数，对任意，都满足，则称函数在上具有“性质”．
(1)试判断函数和函数是否具有“性质”（无需证明）；
(2)若函数具有“性质”，且，求证：对任意，都有；
(3)若函数的定义域为，且具有“性质”，试判断下列命题的真假，并说明理由，
①若在区间上是严格增函数，则此函数在上也是严格增函数；
②若在区间上是严格减函数，则此函数在上也是严格减函数．

2 . 证明不等式：
(1)若，，，都是正数，求证：；
(2)若，，是非负实数，则；
(3)若，是非负实数，则；
(4)若，，则．

3 . 我们用，，，…，（，且）表示n个变量，就如同a、b、c、d、e、f等表示变量一样．已知，，，…，（，且）均为正数．
(1)求证：；
(2)求证：；
(3)请将命题（1）、（2）推广到一般情形（不作证明）．

4 . 如图，边长为1的正方形ABCD内有一个内接四边形EFGH．求证：四边形EFGH至少有一条边不小于．

5 . 如图，为梯形，其中，，设O为对角线的交点.表示平行于两底且与它们等距离的线段（即梯形的中位线），表示平行于两底且使梯形与梯形相似的线段，表示平行于两底且过点O的线段，表示平行于两底且将梯形分为面积相等的两个梯形的线段.

试研究线段，，，与代数式，，，之间的关系，并据此推测它们之间的一个大小关系.你能用基本不等式证明所得到的猜测吗？

6 . 证明：
（1）；       
（2）.

7 . 《几何原本》中的几何代数法是指用几何方法研究代数问题，很多代数定理都能够通过图形实现证明，这种方法被称为“无字证明”．如图，点在半圆上，于（点不同于，，），且于，设，，请写出一个可以通过此图形实现“无字证明”的不等式：______．