矩形ABCD中,O是AC与BD的交点,过O点的直线EF与AB,CD的延长线分别交于E,F.