AC⊥EF可以这样说明也许好理解一点:
设AC与EF交于点O
因为矩形沿EF折叠,使C点与A点重合
所以∠AOF与∠COF重合
所以∠AOF=∠COF
但A、O、C在同一直线上
所以∠AOF+∠COF=180度
所以∠AOF=∠COF=90度
即AC⊥EF
(EF=7.5,过程略)
供参考!JSWYC
相当于A、C为以EF为对称轴的轴对称点,所以EF垂直平分AC,根据意可算出AC=10,设AC、EF交于O,可证其实O就是ABCD的中心,即AC、BD的交点,所以AO=5,因为EF垂直于AC,AB垂直于BC,所以BC/AB=EO/AO,所以EO=15/4,则EF=EO*2=15/2