在三角形ABC中,角a=45度,AB=7AC=4倍根号2,点D、E、F分别为BC、AB、AC上的动点,求三角形DEF的最