如图,在三角形ABC中,ab=ac=4 角a=90.d.e.f分别是BC,AC,AB上的点.DE垂直AC,df垂直ab.