在直角三角形abc中,以直角三角形ABC做一个正方形BCDE,正方形的相交线为O,AB=4,AO=6根号2,求AC