如图,正方形ABCD中,O是对角线的交点,∠BEC=90°