1 . 如图一：球面上的任意两个与球心不在同一条直线上的点和球心确定一个平面，该平面与球相交的图形称为球的大圆，任意两点都可以用大圆上的劣弧进行连接.过球面一点的两个大圆弧，分别在弧所在的两个半圆内作公共直径的垂线，两条垂线的夹角称为这两个弧的夹角.如图二：现给出球面上三个点，其任意两个不与球心共线，将它们两两用大圆上的劣弧连起来的封闭图形称为球面三角形.两点间的弧长定义为球面三角形的边长，两个弧的夹角定义为球面三角形的角.现设图二球面三角形的三边长为，，，三个角大小为，，，球的半径为.

(1)求证：
(2)①求球面三角形的面积（用，，，表示）.
②证明：.

2 . 悬索桥（如图）的外观大漂亮，悬索的形状是平面几何中的悬链线.年莱布尼兹和伯努利推导出某链线的方程为，其中为参数.当时，该方程就是双曲余弦函数，类似的我们有双曲正弦函数.

(1)从下列三个结论中选择一个进行证明，并求函数的最小值；
①；
②；
③.
(2)求证：，.

3 . 在平面直角坐标系中，利用公式①（其中，，，为常数），将点变换为点的坐标，我们称该变换为线性变换，也称①为坐标变换公式，该变换公式①可由，，，组成的正方形数表唯一确定，我们将称为二阶矩阵，矩阵通常用大写英文字母，，…表示．

(1)在平面直角坐标系中，将点绕原点按逆时针旋转得到点（到原点距离不变），求点的坐标；
(2)如图，在平面直角坐标系中，将点绕原点按逆时针旋转角得到点（到原点距离不变），求坐标变换公式及对应的二阶矩阵；
(3)向量（称为行向量形式），也可以写成，这种形式的向量称为列向量，线性变换坐标公式①可以表示为：，则称是二阶矩阵与向量的乘积，设是一个二阶矩阵，，是平面上的任意两个向量，求证：．