仍成立,理由如下 ∵AD=AE,∴∠ADE=∠AED, ∴∠BAD+∠B=∠ADC=∠ADE+∠EDC=∠AED+∠EDC=(∠EDC+∠C)+∠EDC =2∠EDC+∠C 又∵AB=AC, ∴∠B=∠C ∴∠BAD=2∠EDC.