(7分)已知,如图13,AB⊥BD,CD⊥BD,垂足分别为B、D,AD和BC交于点E,EF⊥BD,垂足为F,我们可以证明