已知:矩形ABCD,对角线AC,BD相交于O点,过O点EF垂直于AC,AB=3,BC=5.