如图,矩形ABCD中,O是两对角线交点,AE垂直于BD于点E,若