教材呈现：如图是华师版九年级上册数学教材第78页的部分内容.
请根据教材提示，结合图①，写出完整的证明过程.

 

结论应用：在 ▱ ABCD中，对角线AC、BD、交于点O，E为边BC的中点，AE、BD交于点F.