三角形ADC和ADF全等不难证吧 都是直角三角形,而且有公共边ac=af cd=Df 所以 Cf垂直AD
可以推出三角形ACD与三角形AFD是全等三角形。角边角
不好意思字不好看
证明1中,DF=DC的证明是不需要用全等的结论的。DF=DC可以由角平分线的性质定理直接得到的。因为 AD为角CAB的角平分线,BC垂直AC,DF垂直AB,所以 DF=DC(角平分线上的任意一点到角的两边的距离相等)。