已知AA1垂直面ABCAA1等于AB