1 . 阳马，中国古代算数中的一种几何形体，是底面为长方形，两个三角面与底面垂直的四棱锥体．如图，四棱锥P－ABCD就是阳马结构，PD⊥平面ABCD，且，，．

(1)证明：平面；
(2)若，求三棱锥的体积．

2 . 《九章算术》卷第五《商功》中有记载：“刍甍者，下有袤有广，而上有袤无广.刍，草也，甍，屋盖也.”翻译为“底面有长有宽为矩形，顶部只有长没有宽为一条棱.刍甍字面意思为茅草屋顶，”现有“刍甍”如图所示，四边形EBCF为矩形，，且.

(1)若O是四边形EBCF对角线的交点，求证：平面GCF；
(2)若，且，求三棱锥的体积.

3 . 《九章算术》中，将底面为长方形且有一条侧棱与底面垂直的四棱锥称之为阳马，将四个面都为直角三角形的四面体称之为鳖臑．如图，在阳马中，侧棱底面，且，过棱的中点，作交于点，连接

(1)证明：．试判断四面体是否为鳖臑，若是，写出其每个面的直角（只需写出结论）；若不是，说明理由；
(2)记阳马的体积为，四面体的体积为，求的值；
(3)若面与面所成二面角的大小为，求的值．

4 . 2022年北京冬奥会标志性场馆——国家速滑馆的设计理念来源于一个冰和速度结合的创意，沿着外墙面由低到高盘旋而成的“冰丝带”，就像速度滑冰运动员高速滑动时留下的一圈圈风驰电掣的轨迹，冰上划痕成丝带，22条“冰丝带”又象征北京2022年冬奥会.其中“冰丝带”呈现出圆形平面、椭圆形平面、马鞍形双曲面三种造型，这种造型富有动感，体现了冰上运动的速度和激情这三种造型取自于球、椭球、椭圆柱等空间几何体，其设计参数包括曲率、挠率、面积体积等对几何图形的面积、体积计算方法的研究在中国数学史上有过辉煌的成就，如《九章算术》中记录了数学家刘徽提出利用牟合方盖的体积来推导球的体积公式，但由于不能计算牟合方盖的体积并没有得出球的体积计算公式直到200年以后数学家祖冲之、祖暅父子在《缀术》提出祖暅原理：“幂势既同，则积不容异”，才利用牟合方盖的体积推导出球的体积公式原理的意思是：两个等高的几何体若在所有等高处的水平截面的面积相等，则这两个几何体的体积相等.

（Ⅰ）利用祖暅原理推导半径为的球的体积公式时，可以构造如图②所示的几何体，几何体的底面半径和高都为，其底面和半球体的底面同在平面内.设与平面平行且距离为的平面截两个几何体得到两个截面，请在图②中用阴影画出与图①中阴影截面面积相等的图形并给出证明；

（Ⅱ）现将椭圆所围成的椭圆面分别绕其长轴、短轴旋转一周后得两个不同的椭球，（如图），类比（Ⅰ）中的方法，探究椭球的体积公式，并写出椭球，的体积之比.

5 . 如图是古希腊数学家阿基米德的墓碑文，墓碑上刻着一个圆柱，圆柱内有一个内切球，这个球的直径恰好与圆柱的高相等．相传这个图形表达了阿基米德最引以自豪的发现．我们来重温这个伟大发现：

（1）求圆柱的体积与球的体积之比；
（2）求圆柱的表面积与球的表面积之比．