试题分析:(1)证法一:
FA⊥平面ABC,
平面ABC,
2分
又CA=CB且O为AB的中点,
平面ABDF, 4分
平面ABDF,
5分
证法二:如图,以O为原点,OB、OC、Oz分别为x轴、y轴、z轴建立空间直角坐标系,
2分
即
5分
(2)解法一:解:设平面ABC的法向量为
6分
设平面DEF的法向量为
由
得
,
解得
, 8分
所以
, 10分
故平面DEF与平面ABC相交所成锐二面角的大小为
11分
解法二:设平面DEF与平面ABC相交所成锐二面角的大小为
,依题中的条件可求得DE=
由空间射影定理得
故平面DEF与平面ABC相交所成锐二面角的大小为
11分
解法三:延长ED、FD交直线CB、AB于M、N两点,过B点作MN的垂线交MN于Q点,连结DQ,
平面BMN,
所以
为二面角的平面角,
,故平面DEF与平面ABC相交所成锐二面角的大小为
11分
(3)解法一:由(1)知
平面ABDF,且
平面ABC,
14分
所以多面体ABC—FDE的体积为
解法二:在原来的几何体再补一个相同的几何体得到一个直三棱柱,其底面为ABC,高为4,
所以多面体ABC—FDE的体积
所以多面体ABC—FDE的体积为
点评:中档题,立体几何题,是高考必考内容,往往涉及垂直关系、平行关系、角、距离、体积的计算。在计算问题中,有“几何法”和“向量法”。利用几何法,要遵循“一作、二证、三计算”的步骤,利用空间向量,省去繁琐的证明,也是解决立体几何问题的一个基本思路。对计算能力要求较高。