在正方形ABCD中,E是AB的中点,AF=¼AD,试判断EF与EC是否垂直,请说明理由. 勾股定理