综合法的推理 — 数学选择题

已知：在△ABC中，AB=AC，AD是∠BAC的平分线。求证：AD⊥BC。证明过程如下：因为AD是∠BAC的平分线，所以∠BAD=∠CAD（角平分线的定义）；又AB=AC（已知），AD=AD（公共边），所以△ABD≌△ACD；所以∠ADB=∠ADC（全等三角形对应角相等）；又∠ADB+∠ADC=180°（平角定义），所以∠ADB=90°，即AD⊥BC。其中△ABD≌△ACD的依据是（　） A. SAS　B. SSS　C. ASA　D. HL