热心网友

证明：在AF上截取AG=AC，连结GD，因为AD为角FAC的平分线，所以三角形ACD全等于三角形AGD（边角边），所以DC=DG，因为BA+AG