证明：连接ad并延长至e
因为∠BDC是三角形ABD的外角,∠CDE是三角形ADC的外角
所以∠BDE=∠BAD+∠B
∠CDE=∠CAD+∠C
所以∠BDE+∠CDE=∠BAD+∠B+∠DAC+∠C
也就是∠BDC=∠BAC+∠B+∠C