如图，在菱形ABCD中，对角线AC、BD交于点O，过点A作AE⊥BC于E，延长BC到点F，使CF＝BE，连接DF.