如图,正方形ABCD的边长为4,点E为DC的中点,点F为BC边上的一点,且CF=1,请你说明△AEF是直角三角形.