已知正方形ABCD的边长为8,两条对角线ACBD相交于点O