在正方形abcd中,点o是ac与bd的交点,过点o作oe⊥of,分别交ab,bc于点e和f,若ae=4,cf=3,求ef