解:连接AC交EF于点o
∵折叠时点A与点C重合,所以AE=EC
∴∠EAo=∠ECo
同理∠FAo=∠FCo
又∵∠FAo=∠ECo
∴∠EAo=∠FCo
即AE‖FC,∵AF‖EC
∴四边形AECF是平行四边形
∴四边行AECF是菱形(因为平行四边形的一组邻边相等)
根据菱形的性质可得EF与AC相互垂直且平分
即∠AoE=90度,且EF=2Eo
在三角形ABE中,设BE=X,则AE=EC=8-X
勾股定理可得X=7/4,则AE=8-X=25/4
在三角形AoE中,AE=25/7,Ao=5
勾股定理得Eo=15/4
∴EF=2Eo=15/2
即折痕EF的长为15/2.
性质
(1)两条对角线相等;
(2)两条对角线互相平分;
(3)两组对边分别平行;
(4)两组对边分别相等;
(5)四个角都是直角;
(6)有2条对称轴(正方形有4条);
(7)具有不稳定性(易变形);
(8)顺次连接矩形各边中点得到的四边形是菱形。