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