如图,正方形ABCD的对角线AC,BD相交于点O,E为OC上任意一点,作AG⊥BE交BD于F,交BC于G,求证:EF//