给出以下语句：
①空集是任何集合的真子集；
②三角函数是周期函数吗？
③一个数不是正数就是负数；
④老师写的粉笔字真漂亮！
⑤若x∈R，则x²+4x+5＞0；
⑥作△ABC≌△A₁B₁C₁．
其中为命题的是，真命题的序号为．

（2008•黄浦区一模）在长方体ABCD-A₁B₁C₁D₁中，AB=2a，BC=BB₁=a，B₁C与BC₁交于O点．
（1）求异面直线AB₁与BC₁所成角的大小（结果用反三角函数值表示）；
（2）求证：B₁O⊥平面ABC₁D₁；（3）求二面角B₁-AD₁-O的大小（结果用反三角函数值表示）．

（2005•东城区一模）已知直三棱柱ABC-A₁B₁C₁中，△ABC为等腰直角三角形，∠BAC=90°，且AB=AA₁，D、E、F分别为B₁A、C₁C、BC的中点．
（Ⅰ）求证：DE∥平面ABC；
（Ⅱ）求证：B₁F⊥平面AEF；
（Ⅲ）求二面角B₁-AE-F的大小（用反三角函数表示）．

（2012•青浦区一模）如图：三棱锥P-ABC中，PA⊥底面ABC，若底面ABC是边长为2的正三角形，且PB与底面ABC所成的角为

π

3

．若M是BC的中点，求：
（1）三棱锥P-ABC的体积；
（2）异面直线PM与AC所成角的大小（结果用反三角函数值表示）．

（2012•浦东新区一模）如图所示的几何体，是将高为2、底面半径为1的圆柱沿过旋转轴的平面切开后，将其中一半沿切面向右水平平移后形成的封闭体．O1，O2，

O

′ 2

分别为AB，BC，DE的中点，F为弧AB的中点，G为弧BC的中点．
（1）求这个几何体的表面积；
（2）求异面直线AF与

GO

′ 2

所成的角的大小（结果用反三角函数值表示）．