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

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

7 . 在空间直角坐标系中，以坐标原点为圆心，为半径的球体上任意一点，它到坐标原点的距离，可知以坐标原点为球心，为半径的球体可用不等式表示．还有很多空间图形也可以用相应的不等式或者不等式组表示，记满足的不等式组表示的几何体为．
（1）当表示的图形截所得的截面面积为时，求实数的值；
（2）请运用祖暅原理求证：记满足的不等式组所表示的几何体，当时，与的体积相等，并求出体积的大小．（祖暅原理：“幂势既同，则积不容异”．意思是：所有等高处横截面积相等的两个同高立体，其体积也必然相等）