如图,AD//BC,角A=90°,E为AB上的一点,且AE=BC,角EDC=角ECD,F为CD的中点,试说明EF=1/2