题目如图,△ABC\triangle ABC△ABC是等腰直角三角形,∠BAC=90∘\angle BAC=90^{\circ}∠BAC=90∘,DDD为BCBCBC中点,DE⊥DFDE\bot DFDE⊥DF,BE=3BE=3BE=3,CF=4CF=4CF=4,则EF=______.EF=\_\_\_\_\_\_.EF=______.知识点：勾股数章节：图形的性质 / 三角形
如图,是等腰直角三角形,,为中点,,,,则如图,是等腰直角三角形,,为中点,,,,则如图,是等腰直角三角形,,为中点,,,,则