等腰直角三角形DE AB DE=EF BEF=22.5