建立极坐标系[D;DA,DC,DD1]
设正方形边长为1
A1(1,0,1) B1(1,1,1) C(0,1,0) E(0,1/2,1) F(1,1/2,0)
设平面A1ECF的法向量n=(x,y,z)
A1F=(0,1/2,-1) A1E=(-1,1/2,0) A1B1=(0,1,0)
y/2-z=0
-x+y/2=0
解得n=(1,2,1)
cos〈n,A1B1〉=(n·A1B1)/(|n|·|A1B1|)
=(根号下6)/3
A1B1与截面A1ECF所成角为 π/2 -arccos(根号下6)/3