等腰直角三角形;全等三角形的判定与性质.
连接AD,根据等腰直角三角形的性质可得AD平分∠BAC,过点D作DG⊥AB于G,作DH⊥AC于H,根据角平分线上的点到角的两边的距离相等可得DG=DH,再根据同角的余角相等求出∠EDG=∠FDH,然后利用“角角边”证明△EDG和△FDH全等,根据全等三角形对应边相等可得DE=DF,从而判定△DEF是等腰直角三角形,再根据垂线段最短可得当DE和DG重合时EF最小,然后求解即可.
本题考查了等腰直角三角形的判定与性质,全等三角形的判定与性质,垂线段最短的性质,作辅助线构造出全等三角形是解题的关键.