如图,在正方形ABCD中,AB=4a,E是AB的中点,DF=3AF (1)求EF的长 (2)求证:△CEF是直角三角形