AD垂直EF
在△ADE和△ADF中
角EAD=角FAD,角DEA=角DFA=90°,AD=AD
所以:△ADE和△ADF全等
AE=AF
AE=AF,AS=AS(AD与EF的交点为S)角EAS=角FAS
所以:△AES和△AFS全等
ES=FS,角ASE=角ASF
因为:角ASE+角ASF=180°
所以:角ASE=角ASF=90°
AD垂直EF
AD垂直EF
在△ADE和△ADF中
角EAD=角FAD,角DEA=角DFA=90°,AD=AD
所以:△ADE和△ADF全等
AE=AF
AE=AF,AS=AS(AD与EF的交点为S)角EAS=角FAS
所以:△AES和△AFS全等
ES=FS,角ASE=角ASF
因为:角ASE+角ASF=180°
所以:角ASE=角ASF=90°
AD垂直EF