1 . 变分法是研究变元函数达到极值的必要条件和充要条件，欧拉、拉格朗日等数学家为其奠定了理论基础，其中“平缓函数”是变分法中的一个重要概念．设是定义域为的函数，如果对任意的均成立，则称是“平缓函数”．
(1)若．试判断和是否为“平缓函数”?并说明理由；（参考公式：①时，恒成立；②．）
(2)若函数是周期为2的“平缓函数”，证明：对定义域内任意的，均有；
(3)设为定义在上的函数，且存在正常数，使得函数为“平缓函数”．现定义数列满足：，试证明：对任意的正整数．
（参考公式：且时，．）

4 . 设锐角三角形ABC的内角A、B、C所对的边分别为a、b、c，已知．
(1)求证：B＝2A；
(2)求的取值范围．

5 . 在长方体中，求证：.

6 . 设，求证：．

7 . 在推导很多三角恒等变换公式时，我们可以利用平面向量的有关知识来研究，在一定程度上可以简化推理过程.如我们就可以利用平面向量来推导两角差的余弦公式:
具体过程如下：
如图，在平面直角坐标系内作单位圆O，以为始边作角.它们的终边与单位圆O的交点分别为A，B.

则
由向量数量积的坐标表示，有：

设的夹角为θ，则

另一方面，由图3.1—3（1）可知，；由图可知，

.于是.
所以，也有，
所以，对于任意角有：（）
此公式给出了任意角的正弦、余弦值与其差角的余弦值之间的关系，称为差角的余弦公式，简记作.
有了公式以后，我们只要知道的值，就可以求得的值了.
阅读以上材料，利用下图单位圆及相关数据（图中M是AB的中点），采取类似方法（用其他方法解答正确同等给分）解决下列问题：
（1）判断是否正确？（不需要证明）
（2）证明：
（3）利用以上结论求函数的单调区间.

8 . 已知是定义在上的函数，如果存在常数，对区间的任意划分：，和式恒成立，则称为上的“绝对差有界函数”。注：。
（1）证明函数在上是“绝对差有界函数”。
（2）证明函数不是上的“绝对差有界函数”。
（3）记集合存在常数，对任意的，有成立，证明集合中的任意函数为“绝对差有界函数”，并判断是否在集合中，如果在，请证明并求的最小值；如果不在，请说明理由。

9 . 一个函数，如果对任意一个三角形，只要它的三边长、、都在的定义域内，就有、、也是某个三角形的三边长，则称为“双三角形函数”.
（1）判断，，中，哪些是“双三角形函数”，哪些不是，并说明理由；
（2）若是定义在上周期函数，值域为，求证：不是“双三角形函数”；
（3）已知函数，，求证：函数是“双三角形函数”.（可利用公式“”）