如图,正方形abcd对角线bd、ac交于o,e是oc上的一点,ag⊥de交bd于f,求证:ef//dc