证明：
延长AB,DE,使之相交于一点G,
则由AD⊥AB,BE⊥DC知角ADG=角GBE=角ABF,
因为角CAF=角BAD
则角CAF-角BAC=角BAD-角BAC,即角FAB=角DAC,
又因为AD=AB,
所以由AAS,可知三角形BAF全等于三角形DAC.
可得AF=AC,则角AFC=角ACF,
又因为可知AF平行于BC,所以角AFC=角BFC,
所以角ACF=角BFC