填空，完成下列证明过程．
如图，如果△ABC≌△A1B1C1，AD平分∠BAC，A1D1平分∠B1A1C1，那么AD=A1D1．
证明：∵△ABC≌△A1B1C1（已知）
∴________=________
∠B=∠B1∠________=∠________
又∵AD平分∠BAC，A1D1平分∠B1A1C1
∴∠BAD=∠BAC∠B1A1D1=∠B1A1C1
∴∠________=∠________
在△ABD与△A1B1D1中________
∴△ABD≌△A1B1D1________
∴AD=A1D1________．
网友回答
AB A1B1 BAC B1A1C1 BAD B1A1D1 （ASA） （全等三角形的对应边相等）
解析分析：由△ABC≌△A1B1C1，可得AB=A1B1，∠B=∠B1，∠BAC=∠B1A1C1，又由AD平分∠BAC，A1D1平分∠B1A1C1，可得∠BAD=∠B1A1D1，所以，△ABD≌△A1B1D1（ASA），即可证得；
解答：证明：∵△ABC≌△A1B1C1，
∴AB=A1B1，∠B=∠B1，∠BAC=∠B1A1C1，
又∵AD平分∠BAC，A1D1平分∠B1A1C1，
∴∠BAD=∠BAC，∠B1A1D1=∠B1A1C1，
∴∠BAD=∠B1A1D1，
在△ABD与△A1B1D1中，
∴△ABD≌△A1B1D1（ASA），
∴AD=A1D1（全等三角形的对应边相等）．
点评：本题主要考查了全等三角形的判定与性质，全等三角形的判定是结合全等三角形的性质证明线段和角相等的重要工具，在判定三角形全等时，关键是选择恰当的判定条件．