正方形ABCD中,E是AB的中点,F是AD的四等分点,且AF=1/4AD。试说明EF垂直于EC