以BC为x轴，AF为y轴构建直角坐标系。 ∵AB=AC，∴∠BAF=∠CAF 又由于AD和y轴半轴夹角等于∠BAF. ∴∠CAF等于AD和y轴正半轴夹角 做AG⊥DE于G. 由AD＝AE知∠DAG＝∠EAG ∴AG于y正半轴的夹角等于∠GAF 即AG⊥y轴====>AG⊥AF又∵AG⊥DE, ∴AF‖DE
