]在正方形ABCD中,F是BC的中点,EC=四分之一DC,求证:三角形AEF是直角三角形