正方形ABCD中，AC、BD交于O，∠EOF=90°，已知AE=3，CF=4，则EF的长为________．
网友回答
5
解析分析：求证△AEO≌△BFO，可得AE=BF，求证△BOE≌△COF，可得BE=CF，根据EF=即可求得EF的值．
解答：解：∵∠1+∠2=90°，∠2+∠3=90°，∴∠1=∠3，∵AC，BD为正方形的对角线，∴∠OAE=∠OBF，OA=OB，在△AOE和△BOF中，，∴△AOE≌△BOF，∴AE=BF=3，同理可证：△BOE≌△COF，即CF=BE=4，∴EF==5．故