边长为4的正方形ABCD中,点O是对角线AC上一动点