初三数学,已知正方形ABCD的边长是4,对角线AC,BD交于点O