如图,正方形abcd的边长为4,f为dc中点,ce=1/4bc,求证:af⊥ef.