以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