等腰直角三角形ABC中,角A=90度,D为BC中点,
角BAD=角ACB=45度
AD=1/2BC=CD
EA=CF
三角形EAD全等于三角形FCD
DE=DF,角ADE=角CDF
角EDF=角ADE+角ADF=角CDF+角ADF=角ADC=90度
DE⊥DF