证明:在三角形ADC和三角形ADB中,
因为BC等于2BD,所以CD=DB
又AD垂直于BD,所以∠ADC=∠ADB=90°
又AD=AD,(公共边)
所以三角形ADC全等于三角形ADB(边角边)
所以∠CAD=∠BAD
∠BAC=2∠DAB