已知平行四边形ABCD中，AC、BD交于点O，AE垂直BC，EF交AD于点F求证四边形AECF是矩形（图为平行四边形逆时针方向字母从左上ABCD）