因為∠2=∠3,∠2+∠ACD=∠3+∠ACD,即∠ACB =∠ECD;
因為∠E+∠3=∠1+∠CAB(三角形的外角等於兩個不相鄰的內角之和),又因為∠1=∠3,∠E =∞。
因為AC=EC
因此,三角形ABC與三角形EDC全等。
所以AB=DE