∠1=∠2,∠3=∠42∠兆尘2+2∠3+∠B+∠C=360度∠族乱禅B+∠C=180度∠2+∠陪者3=90度
延搭山长AE交DC的延长线于F。 因为AB∥CD,所以∠F=∠羡陵1。因为∠AED是△DEF的外角,所以∠AED=∠F+∠4=∠1+∠4.。 因为AEF三点在一条直线上,所以∠1+∠2+∠3+∠+4=180°,由于∠1=∠2,,∠3=∠4。所知派中以∠1+∠4=90°,即AE⊥DE。