• 1. (2019八下·北京期末) 如图，正方形ABCD是出四个全等的角三角形围成的，若 ， ，则EF的长为。