三角形ABD中,角B+角BAD=外角ADC,而角ADE=角ADC-角EDC=角B+角BAD-角EDC=角B+2倍的角EDC-角EDC=角B+角EDC
再看三角形CDE,角C+角EDC=外角AED
又因为角B等于角C,所以角ADE=角AED