某校"综合与实践"小组的同学测量水池$AB$宽度的方案如下:如图,先在$AB$的垂线$BF$上取两点$C$,$D$,使$CD=BC$,再过点$D$画出$BF$的垂线$DE$.当点$A$,$C$,$E$在同一直线上时,可证明$\triangle EDC$≌$\triangle ABC,$从而得到$ED=AB$,则测得$ED$的长就是$A$,$B$两点间的距离.其中判定$\triangle EDC$≌$\triangle ABC$的依据是（ ）