BE⊥AC,△AFE是RT△,
〈2=90度-〈FAC,
〈FAC=〈BAC/2,
〈A+〈B+〈C=180度,
〈FAE=〈A/2=(180度-〈B-〈C)/2
=90度-(〈ABC+〈C),
〈2=90度-[90度-(〈ABC+〈C)/2]
∴