三棱锥A-BCD的棱长都相等,E、F分别是棱AB、CD的中点,证明△AEF是直角三角形