用到内分的定比分点公式,x=(x1+λx2)/(1+λ),
y=(y1+λy2)/(1+λ),
z=(z1+λz2)/(1+λ),
λ=1/3,
以A为原点,分别以AB、AD、AA1为X、Y、Z轴建系,
A(0,0,0),B(1,0,0),D1(0,1,1),
E(3/4,1/4,1/4),
向量AE=(3/4,1/4,1/4)
|AE|=√(9/16+1/16+1/16)=√11/4,
因AB⊥平面BCC1B1,故向量AB是平面BCC1B1的一法向量,
向量AB=(1,0,0),
而AE和其法向量的成角就是AE和平面BCC1B1所成角的余角,
向量AE·AB=3/4,
cos