BAC=80 AB=AC BE⊥AC 求证 AD=AF