已知:如图,AB、CD互相平分于点O,过点O引直线EF分别与AD、BC相交于E、F两点,求证:AE=BF