如图,矩形ABCD中,AB=4,以点B为圆心,BA为半径画弧交BC于点E,以点O为圆心的⊙O与弧AE,边AD,DC都相切