如图所示，已知E为▱ABCD中DC边的延长线上的一点，且CE=DC，连结AE，分别交BC，BD于点F，G，连结AC交BD于点O，连结OF。

求证：AB=2OF。