延长AD交BC于F
因为 BE平分角ABC
所以 角ABD=角FBD
因为 AD垂直BE
所以 角BDA=角BDF
因为 角ABD=角FBD,BD=BD
所以 三角形BDA全等于三角形BDF
所以 角BAD=角BFD
因为 角BFD=角DAC+角C
所以 角BAD=角DAC+角C