三角形ABC中,AD⊥BC,EF⊥BC,E为AB的中点,试证明AD=2EF.