∠BDE=∠C+∠ABC/2……(1)
∠BAE=∠C+∠ABC
∴∠ABC/2=∠BAE/2-∠C/2……(2)
将(2)代入(1):
∴
∠BDE=∠C+∠BAE/2-∠C/2=(∠C+∠BAE)/2
给点分来