根据已知条件求证四边形是矩形.如图,AB=AC,AE=AF,∠EAB=∠FAC,EF=BC.求证,四边形EBCF是矩形.