因为 OE⊥OF、AE=4,CF=3,所以正方形边长为7(因为是正方形,O为中心,OE⊥OF,所以当E、F为两边中点时,AE=CF,其中边长就是AE+CF,但题中AE≠CF,由此可知E、F不在中点上),所以BE=3,BF=4,最后根据勾股定理得出EF=5