过F作FG⊥AD于G,FH⊥BC于H,FPAE于P
则三角形FGB全等于三角形FHB
则FG＝FH
同理：FH＝FP
所以FG＝FP
连接AF
则三角形AFG全等于三角形AFP
则角FAD＝角FAE
即AF平分角DAE
即点F在角DAE的平分线上
如果学过“角平分线的一点到角的两边距离相等”就更容易了