已知平行四邊形ABCD中，AC、BD交于點O，AE垂直BC，EF交AD于點F求證四邊形AECF是矩形（圖為平行四邊形逆時針方向字母從左上ABCD）