如图,在正方形ABCD中,F为CD的中点,E为BC上一点,且EC=1/4 BC,求证:角EFA=90度