正三棱柱ABC-A1B1C1所有棱长都为2 D为CC1中点 求证:AB1垂直平面A1BD为什么AD=B1D AO=B1O