7 . 阅读以下材料，并按要求完成相应的任务：莱昂哈德欧拉是瑞士数学家，在数学上经常见到以他的名字命名的重要常数，公式和定理，下面就是欧拉发现的一个定理：在中，和分别为外接圆和内切圆的半径，和分别为其中外心和内心，则.

如图1，和分别是的外接圆和内切圆，与相切分于点，设的半径为，的半径为，外心（三角形三边垂直平分线的交点）与内心（三角形三条角平分线的交点）之间的距离，则有.
下面是该定理的证明过程（部分）
延长交于点，过点作的直径，连接，.
，（同弧所对的圆周角相等）.
.
，
，①
如图2，在图1（隐去，的基础上作的直径，
如图2，动手连接，，，.
是的直径，所以.
与相切于点，所以，
.
（同弧所对的圆周角相等），
，
.
②
(1)观察发现：___________，___________（用含，的代数式表示）；
(2)请观察式子①和式子②，并利用任务（1）的结论，按照上面的证明思路，完成该定理证明的剩余部分.

9 . 球面三角学是球面几何学的一部分，主要研究球面多边形(特别是三角形)的角､边､面积等问题，其在航海､航空､卫星定位等方面都有广泛的应用.定义：球的直径的两个端点称为球的一对对径点；过球心的平面与球面的交线称为该球的大圆；对于球面上不在同一个大圆上的点，，，过任意两点的大圆上的劣弧，，所组成的图形称为球面，记其面积为.易知：球的任意两个大圆均可交于一对对径点，如图1的和；若球面上，，的对径点分别为，，，则球面与球面全等.如图2，已知球的半径为，圆弧和所在平面交成的锐二面角的大小为，圆弧和所在平面､圆弧和所在平面交成的锐二面角的大小分别为，.记.

（1）请写出，，的值，并猜测函数的表达式；
（2）求(用，，，表示).