证明：
∵AD＝AE
∴∠ADE＝∠AED
∵∠AED＝∠EDC+∠C
∴∠ADE＝∠EDC+∠C
∵∠ADC＝∠B+∠BAD,∠ADC＝∠ADE+∠EDC
∴∠B+∠BAD＝∠ADE+∠EDC
∴∠B+∠BAD＝∠EDC+∠C+∠EDC
∴2∠EDC＝∠BAD+∠B-∠C
∵AB＝AC
∴∠B＝∠C
∴∠BAD＝2∠EDC