正方形EFGH内接于RT△ABC,∠A=90°,BE=4,FC=2,求EF的长 .