数学的魅力无处不在,小明将一副直角三角形板按如图1所示摆放,发现等腰三角形ABC的斜边与含30°角的直角三角形DEF的长