如图,求EF长度,