数学符号自己改一下哈
因为直角三角形ABE全等于直角三角形ECD
所以角BAE=角CED
由AB⊥BC
知 角AEB+角BAE=90度
所以有角AEB+角CED=90度
角AED=180度-(角AEB+角CED)=90度
所以AE⊥DE