arctan2,
证明:(1)连AO, ∵⊿ABC为正三角形, ∴AO⊥BC.
又∵A 1O⊥面ABC,∴A 1O⊥BC,∴BC⊥面A 1AO
∴面A 1AO⊥面BCC 1B 1………4分
(2)过O作OE⊥AC于E,连A 1E,
∵A 1O⊥面ABC,
∴
,∴∠A 1EO即为所求的平面角.
∵正⊿ ABC 的边长为
,∠A 1AO=45°,
∴
.
∴二面角A 1—AC—B的大小为arctan2 . …………8分
(3)过D作DF//A 1O交AO于F,则DF⊥面ABC,
连BF,要使BD⊥A 1C 1,只要使BF⊥AC,
∵⊿ABC为正三角形,
∴只要F为△ABC的中心即可,
∴
时,BD⊥A 1C 1. …………12分