在矩形ABCD中,两条对角线AC、BD相交于O,∠ACB=30°,AB=4