证明:∵∠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