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