△ADB≌△ADC(HL)
这两个三角形的直角还没出来
相反△BDE≌△CDF(HL)
这两个三角形的直角是已知条件
而且证全等的剩下的两个边相等
一个是已知,另外一个很容易得出
所以证明这个比较方便
做题总是从容易出发