正三棱锥A-BCD中正三棱锥A-BCD中,A为顶点,E,F分别为AB,BC中点,EF⊥DE,证明:(见补充问题)