三角形ABD中
角BDA=180-B-BAD
而角BDA和ADC是邻补角
所以角BDA=180-ADC
所以180-B-BAD=180-ADC
B+BAD=ADC
因为DAC=B
所以角DAC+BDA=ADC
即角ADC=BAC