如图已知两个全等的等腰直角三角形ABC,三角形DEF