如图,在边长为4的正方形ABCD中,点O是对角线AC上的一个动点,以OA为半径的圆O与边AD交于E,以DE为半径