be垂直平分线求证bf⊥fe