在直角三角形ABC中,角c等于90度,点D、E、 F分别是三角形abc的三边中点,ef等于4,求