1 . 正多面体也称柏拉图立体（被誉为最有规律的立体结构），是所有面都只由一种正多边形构成的多面体（各面都是全等的正多边形）．数学家已经证明世界上只存在五种柏拉图立体，即正四面体、正六面体、正八面体、正十二面体、正二十面体．已知一个正八面体的棱长都是2（如图），则（       ）

A．平面

B．直线与平面所成的角为60°

C．若点为棱上的动点，则的最小值为

D．若点为棱上的动点，则三棱锥的体积为定值

2 . 某校积极开展社团活动，在一次社团活动过程中，一个数学兴趣小组发现《九章算术》中提到了“刍薨”这个五面体，于是他们仿照该模型设计了一道数学探究题，如图1，E、F、G分别是边长为4的正方形的三边的中点，先沿着虚线段将等腰直角三角形裁掉，再将剩下的五边形沿着线段EF折起，连接就得到了一个“刍甍”     (如图2)。

(1)若O是四边形对角线的交点，求证：平面；
(2)若二面角的大小为求平面与平面夹角的余弦值.

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

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

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

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

5 . 《九章算术》是我国古代数学专著，书中将底面为矩形且一条侧棱垂直于底面的四棱锥称为“阳马”.如图，在阳马中，平面，为的中点.

(1)求证：平面；
(2)若，求证：.