AD垂直AC AB垂直AC AB=AC=AD=1 E,F分别是AB CD中点 M;N分别为BC BD中点 证明 向量EF