角ADC=180°-角C-角DAC,角BAC=180°-角C-角B,由于角DAC=角B,因此左边两个角相同。
ADC因为角DAC等于角B,且角bca等于角acd,所以三角形DAC相似于三角形ABC,所以,角ADC等于角BAC