因为 全等
所以 角EAF=角DCF
因为 平行
所以 角BAC=角ACD
因为 折叠
所以 角BAC=角EAC BC=CE=4
所以 角CAF=角ACF
所以 AF=CF
设AF=X EF=4-X
X=25/8
EF=7/8